IEEE VHDL-93 LRM supported parser implemented in Java, APIs Python/Tcl
Free Liberty, UPF, SDC and VCD Parsers with Python, Java and Tcl APIs
IEEE LRM compliant System Verilog Parser in Java with Python, Tcl API
DSpice: Design and Simulation of Circuits using Spice
Solves symbolic electrical AC circuit equations
Eclipse-based IDE for design verification tasks
Convert DXF drawings of circuit boards to gEDA-PCB files.
TCAD Device Simulator
A graphical Finite State Machine (FSM) designer.