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