Best in class SoC Integration Platform, IP-XACT, Verilog VHDL, UPF
Integrated Development Environment (IDE) for learning HDL
Simple and intuitive 2D vector drawing for electronics and not only.
Eclipse-based IDE for design verification tasks
Java Decision Diagrams (BDD) libraries: JDD and JBDD