A circuit simulator with graphical user interface (GUI)
IEEE LRM compliant System Verilog Parser in Java with Python, Tcl API
JQM - Java Quine McCluskey for minimization of Boolean functions.
show and configure
GDS visualization and parallelized capacitance extraction