Veripool
Gspice for Linux
FreeGet a generalized spice preprocessor and post processor.
LinuxVerilator for Linux
FreeGet a Verilog HDL simulator for your Linux system.
LinuxIPC Locker for Linux
FreeProvide cross cluster locking on your Linux machine.
LinuxDinotrace for Linux
FreeGet a X-11 waveform viewer which understands Verilog Value Change Dumps, ASCII, and other trace formats.
LinuxVoneline for Linux
FreeGet a pipe filter which takes Verilog structural netlists in stdin.
Linux