Aptix Corporation  
   The company develops, manufactures and markets products for designing and verifying complex electronic systems and system-on-chip designs such as digital wireless cellular phones, wireless base stations, network routers, and graphics and multimedia device
   http://www.aptix.com/

0-In Design Automation  
   This company provides functional verification products that help verify multi-million gate ASICs and SOC designs.
   http://www.0-in.com/

Summit Design  
   Provider of electronic design automation (EDA) software and services that enhance and accelerate the design and building of advanced electronic systems critical to the delivery of electronic products.
   http://www.summit-design.com/

Axis Systems  
   The Company provides EDA tools, products and services to verify functionality of advanced integrated circuits and system-on-chip.
   http://www.axiscorp.com/

SynaptiCAD  
   Provider of EDA and verification products.
   http://www.syncad.com/

Fintronic USA  
   This company provides solutions for hardware verification using Verilog.
   http://www.fintronic.com/

IKOS Systems  
   Provides a solution for verifying hardware and software in parallel.
   http://www.ikos.com/

Dynalith Systems  
   The company provides EDA solutions that enable electronic system designers to verify their algorithms in real hardware environments at an early design stage using C/C++/SystemC.
   http://www.dynalith.com/

Model Technology  
   This company is the provider of a PC-based simulator.
   http://www.model.com/

VeriSure - Verification Consulting and Engineering  
   VeriSure provides verification engineering and consulting services in Europe and Israel.
   http://www.veri-sure.com

Tanner EDA  
   Provides integrated circuit design tools for PC platforms.
   http://www.tanner.com/eda/

VERA Group of Synopsys  
   Provides testbench automation solution for functional verification - The VERATM System Verifier.
   http://www.systems.com/

Tau Simulation  
   Tau Simulation produces high performance simulation software for integrated circuit verification.
   http://www.tausim.com/

Teradyne  
   Teradyne provides application of systems technology to practical problems in the design, production, and servicing of electronics.
   http://www.teradyne.com/

TransEDA  
   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/

Verisity Design  
   Verisity provides technologies and software products used to efficiently verify designs of electronic systems and complex integrated circuits that are essential to the communications and other segments of the electronics industry.
   http://www.verisity.com/

Verification Guild Mailing List  
   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/

InnoLogic Symbolic Simulation  
   ESP is an event driven Verilog symbolic simulator. ESP increases functional coverage and reduces verification runtime. ESP is ideal for memory and block level verification.
   http://www.innologic-systems.com

specman egroup  
   This is a group for specman users to ask questions, share code, techniques, and experience.
   http://groups.yahoo.com/group/specman

Standard Logic  
   Standard Logic specializes in the field of software and hardware verification.
   http://www.stdlogic.com

Verification Central  
   To purchase the book "The Art of Verification with Vera" online.
   http://www.verificationcentral.com

E language Tutorial  
   An unofficial Specman and E language tutorial including code examples and tips for both beginners and experienced users.
   http://www.geocities.com/avidan_e

Verifica  
   This company provides verification tools and consulting and training services. The website offers a free library with many tutorials on verification issues.
   http://www.verifica.org/