Simple and intuitive 2D vector drawing for electronics and not only.
Eclipse-based IDE for design verification tasks
The Future of the Java Circuit Simulator
An HDL alternative to PCB graphical schematic capture tools.
Java Decision Diagrams (BDD) libraries: JDD and JBDD