ASIC PLD FPGA Digital Logic Design

About Real Intent
Breakthrough in logic verification. Funded by very experienced people from EDA
http://www.realintent.com/

Atrenta, Inc.
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.
http://www.atrenta.com/

CoreEL Technologies Pvt. Ltd
Offers design services in the area of FPGA design, Embedded Design, PCB Design and ASIC design.
http://www.coreel.com/

Forte Design Systems
Develops software which aids your ASIC flow from design through verification.
http://www.forteds.com

Icarus Verilog Interactive
An Open Source interactive simulator frontend for Verilog and VHDL circuit simulation.
http://ivi.sourceforge.net/

Innoveda
A merging of design software companies, which creates a complete PC based design environment. This includes everything from ASIC design to PCB design.
http://www.innoveda.com

NEF Design, Inc.
Tools for FPGA design and testing, evaluation boards for FPGA prototyping, hardware and system design consulting.
http://www.nefdesign.com/

TransEDA
Developers of innovative design verification and coverage software.
http://www.transeda.com