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.