Specman & SystemVerilog blog
- A blog for HVL (Specman - e & SystemVerilog) users, an extensive Specman tutorial and a verification methodology guide.
- http://www.specman-verification.com

Verifica
- The company provides verification tools, consulting and training services.
- http://www.verifica.org/

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

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

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

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/

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/

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

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

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

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

VeriSure
- Provides verification engineering and consulting services in Europe and Israel.
- http://www.veri-sure.com

Model Technology
- This company is the provider of a PC-based simulator.
- http://www.model.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/

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

SynaptiCAD
- Provider of EDA and verification products.
- http://www.syncad.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/

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/

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/

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/