gEDA : ACS
ACS is a general purpose circuit simulator. It performs nonlinear dc and transient analyses, fourier analysis, and ac analysis linearized at an operating point.
gEDA : Icarus Verilog
Icarus Verilog is a GPLed Verilog Compilation System.
Linux for EDA: The choice of a GNU generation...
Linux for EDA. About using Linux for ASIC and FPGA design.