logisim

  A digital logic designer and circuit simulator.

翻译 - 数字逻辑设计器和电路模拟器。