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
Solves symbolic electrical AC circuit equations
IEEE LRM compliant System Verilog Parser in Java with Python, Tcl API
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.