Discovery Verification Platform

Smart RTL Verification

- Overview
– Pioneer-NTB SystemVerilog Testbench
– Leda RTL Checker
– MVRC
– MVSIM
– VCS RTL Verification
– Magellan Hybrid Formal
– Vera Testbench Automation

Functional Equivalence Checking

- ES
– Formality

Formality Mixed-Signal

- Cosmos
– Circuit Explorer
– HSIM
– HSPICE
– NanoSim
– SpiceExplorer
– WaveView Analyzer