Софт для моделирования цифровых логических цепей (подскажите)

Смотрел когда-то Ksimus, убого.

klogic - http://www.a-rostin.de/klogic/

qucs - http://qucs.sourceforge.net/

Сейчас разбираюсь с kicad. Он похож на PCAD, а там было, возможно будет и тут, раз они его за оригинал взяли. Но судя по состоянию разработки делать там полно, так что неизвестно, есть ли

Xilinx ISE Foundation

http://home.nc.rr.com/gtkwave/ + iverilog (Icarus Verilog)