Tau Simulation produces high performance simulation software for integrated circuit verification.
http://www.tausim.com/
Provider of ready-to-use verification solutions for the SoC (system-on-a-chip), ASIC (application-specific integrated circuit) and FPGA (field-programmable gate array) markets.
http://www.transeda.com/
An Open Source interactive simulator frontend for Verilog and VHDL circuit simulation.
http://ivi.sourceforge.net/
This is a group for specman users to ask questions, share code, techniques, and experience.
http://groups.yahoo.com/group/specman
Provides testbench automation solution for functional verification - The VERATM System Verifier.
http://www.systems.com/
Developers of innovative design verification and coverage software.
http://www.transeda.com
Designs, develops and markets field programmable gate arrays and associated software development systems and programming hardware.
http://www.actel.com/
Provides the VerilogTool software and IP for creating and managing digital designs.
http://www.jad-research.com