Discovery Verification Platform

 

Smart RTL Verification

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

Functional Equivalence Checking

– ESP_CV
– Formality

Formality Mixed-Signal

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