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
Powerfull pre-processor
A graphical Finite State Machine (FSM) designer.
FIBEX format viewer and navigator
An HDL alternative to PCB graphical schematic capture tools.
Java Decision Diagrams (BDD) libraries: JDD and JBDD