Smart GUI/Commandline tools to create IP-XACT( 2009/2014) files
Best in class SoC Integration Platform, IP-XACT, Verilog VHDL, UPF
JQM - Java Quine McCluskey for minimization of Boolean functions.
Eclipse-based IDE for design verification tasks
Penthode simulates, draw and plot electrical power distributions
Visually build and simulate boolean logic circuits