PyAMS (Python for Analog and Mixed Signals) CAD approach
VHDL Verification and Simulation Tool
Solves symbolic electrical AC circuit equations
A logic gate simulator for linux developed with Gtk and python.
TCAD Device Simulator
A graphical Finite State Machine (FSM) designer.
GDS visualization and parallelized capacitance extraction
Labcoat; the VHDL graphic emulator.