Intellitech Corporation develops Intellectual Property for efficient configuration, debug and test of electronic products.
http://www.intellitech.com
Design for Testability review services
http://www.genesysind.com/dft.html
Develops software which aids your ASIC flow from design through verification.
http://www.forteds.com
EDA tools such as a VHDL/Verilog RTL source level debugger, which instruments the target circuit with custom debugging logic.
http://www.bridges2silicon.com/
Provides a solution for verifying hardware and software in parallel.
http://www.ikos.com/
John Cooley's independent newsletter on Synthesis and related silicon design automation software. Originally the e-mail Synopsys Users Group (ESNUG). A compiled set of emails contributed by synthesis tool users and edited by John along with his columns and industry analysis. Many discussions of inter vendor issues and workarounds. Very piquant observations with good understanding of technology.
http://www.deepchip.com/
The Company provides EDA tools, products and services to verify functionality of advanced integrated circuits and system-on-chip.
http://www.axiscorp.com/
A moderated mailing list where verification professionals can discuss any issues and challenges presented by this most difficult task.
http://www.janick.bergeron.com/guild/