Best in class SoC Integration Platform, IP-XACT, Verilog VHDL, UPF
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.
An HDL alternative to PCB graphical schematic capture tools.
Java Decision Diagrams (BDD) libraries: JDD and JBDD