Icarus Verilog

ASIC设计使用的verilog编译器、模拟器。与gtkwave配合可以进行集成电路的设计。