HES-DVM - solution allowing acceleration of HDL simulation (10x to 50x verification time reduction), emulation of the entire design and hardware/software co-simulation (useful in Embedded System development).
Spec-TRACER - unified requirements life-cycle management application designed specifically for FPGA and ASIC designs.