IEEE VHDL-93 LRM supported parser implemented in Java, APIs Python/Tcl
Solves symbolic electrical AC circuit equations
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
Eclipse-based IDE for design verification tasks
Electronic design and programming tools suite like Eagle, MpLab
Convert DXF drawings of circuit boards to gEDA-PCB files.
TCAD Device Simulator
A graphical Finite State Machine (FSM) designer.