Verification 

Delivering a New Level of Verification Excellence to Accelerate Innovation 

The Discovery Verification Platform is an integrated portfolio of functional, AMS, debugformal, low-power and hardware-assisted verification tools. Discovery provides high performance, high accuracy and efficient interactions among best-in-class technologies including mixed-HDL simulation, mixed-signal simulation, assertions, coverage, testbench automation, verification IP, formal analysis, unified debug, equivalence checking, acceleration, emulation and rapid prototyping. Discovery’s components support industry standards including SystemVerilog, SystemC, VHDL, UPF, OpenVera, Verilog-A, Verilog-AMS, SPICE, and more.

  • Tools
 

Verification Compiler
Comprehensive, best-in-class verification in one product
PDF DOWNLOAD DATASHEET (PDF)


VCS
High-performance simulation


VCS AMS
Mixed-signal verification solution


VCS Xprop
X-propagation support for X-related simulation and debug


Verification IP
Broad portfolio of Verification IP


MVSIM
Multi-voltage simulator
PDF DOWNLOAD DATASHEET (PDF)


MVRC
Multi-voltage rule checker
PDF DOWNLOAD DATASHEET (PDF)


Certitude
Functional qualification system
PDF DOWNLOAD DATASHEET (PDF)


ZeBu Emulation
Billion-gate ASIC and SoC acceleration and emulation


Leda
Static checker


Magellan
Formal hybrid verification


Pioneer-NTB with Vera
Testbench automation


HECTOR
Next-generation formal block-level consistency checker

  • Debug
  • Open debug solutions for design and verificationmore

Verdi
Automated debug system
PDF DOWNLOAD DATASHEET (PDF)


Verdi HW SW Debug
Hardware/software debug
PDF DOWNLOAD DATASHEET (PDF)


Siloti
Visibility automation system
PDF DOWNLOAD DATASHEET (PDF)


ProtoLink
Probe visualizer
PDF DOWNLOAD DATASHEET (PDF)


ESP-CV
Functional verification for full custom designs


Formality
Comprehensive, fast, intuitive equivalence checking
PDF DOWNLOAD DATASHEET (PDF)


VCS AMS
Mixed-signal verification solution


Circuit Simulation
Performance, accuracy and capacity for AMS verification


Reliability & Circuit Checks
Transistor-level reliability analysis and electrical violation checking


Waveform Analysis & Debug
Avoid wasted simulation time. Better mixed-signal chips... faster!


Custom Extraction
Unified gold-standard extraction to accelerate custom IC design


MVSIM
Multi-voltage simulator
PDF DOWNLOAD DATASHEET (PDF)


MVRC
Multi-voltage rule checker
PDF DOWNLOAD DATASHEET (PDF)


HSIM
Hierarchical, full-chip circuit simulation and analysis


HSPICE
Gold standard for accurate circuit simulation
PDF DOWNLOAD DATASHEET (PDF)


Emulation
HW-based simulation engines for SoC Verification


FPGA-Based Prototyping
A comprehensive at-speed system validation platform that dramatically accelerates HW/SW co-design and embedded SW development



NewsArticlesBlogsSuccess StoriesWhite PapersWebinarsVideosTraining Courses