  |
Innoveda - http://www.innoveda.com
A merging of design software companies, which creates a complete PC based design environment. This includes everything from ASIC design to PCB design. |
  |
Icarus Verilog Interactive - http://ivi.sourceforge.net/
An Open Source interactive simulator frontend for Verilog and VHDL circuit simulation. |
  |
Tharas Systems, Inc. - http://www.tharas.com
Tharas Systems, Inc. provides hardware accelerated RTL simulation for SoC, up to 1000x the performance of software based simulators. |
  |
TransEDA - http://www.transeda.com
Developers of innovative design verification and coverage software. |
  |
Atrenta, Inc. - http://www.atrenta.com/
The Spyglass suite of tools uses predictive analysis technique that performs structural analysis on Verilog and VHDL RTL to detect design problems in SoCs and ASICs. |