This category contains sites that are relevant to high level verification languages and development environments: such as Specman, Vera, and SystemC. The category is mainly dedicated to sites that contain free information in the form of tutorials, scripts, and developer forums.
0-In Design Automation
This company provides functional verification products that help verify multi-million gate ASICs and SOC designs.
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.
IKOS Systems
Provides a solution for verifying hardware and software in parallel.
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.
Model Technology
This company is the provider of a PC-based simulator.
Specman and SystemVerilog blog
A weblog for HVL (Specman - e and SystemVerilog) users, an extensive Specman tutorial and a verification methodology guide.
specman egroup
This is a group for specman users to ask questions, share code, techniques, and experience.
SynaptiCAD
Provider of EDA and verification products.
Tau Simulation
Tau Simulation produces high performance simulation software for integrated circuit verification.
Teradyne
Teradyne provides application of systems technology to practical problems in the design, production, and servicing of electronics.
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.
VERA Group of Synopsys
Provides testbench automation solution for functional verification - The VERATM System Verifier.
Verification Central
To purchase the book "The Art of Verification with Vera" online.
VeriSure
Provides verification engineering and consulting services in Europe and Israel.
[Computer Mozilla]
Last update:
April 21, 2016 at 10:24:05 UTC
Science
Shopping
Society
Sports
All Languages
Arts
Business
Computers
Games
Health
Home
News
Recreation
Reference
Regional