IEEE VHDL-93 LRM supported parser implemented in Java, APIs Python/Tcl
A circuit simulator with graphical user interface (GUI)
Free Liberty, UPF, SDC and VCD Parsers with Python, Java and Tcl APIs
DSpice: Design and Simulation of Circuits using Spice
IEEE LRM compliant System Verilog Parser in Java with Python, Tcl API
Solves symbolic electrical AC circuit equations
JQM - Java Quine McCluskey for minimization of Boolean functions.
TimingEditor is a tool to graphically draw and edit timing diagrams.
kicad StepUp allows exporting kicad 3D board and comps in STEP AP214
Mod Direct Panoramic Spectrum Analyzer
Eclipse-based IDE for design verification tasks
Penthode simulates, draw and plot electrical power distributions
Convert DXF drawings of circuit boards to gEDA-PCB files.
TCAD Device Simulator
A graphical Finite State Machine (FSM) designer.