Synopsys stellt die aktuelle Verifikationsplattform Discovery vor, eine integrierte Verifikationslösung für Analog-/Mixed-Signal-(AMS)- und Digital-Designs. Discovery 2009 beinhaltet Low-Power-Verifikationsmöglichkeiten auf mehreren Abstraktionsebenen, von RTL bis zur Transistorebene. VCS mit MVSIM bietet betriebsspannungsabhängige RTL- und Gatterlevel-Simulation, automatisierte Assertions sowie Verification-Coverage, wie im neuen Verification-Methodology-Manual-for-Low-Power-Buch (VMM-LP-Buch) definiert.
CustomSim verifiziert komplexe Power-Management-Designs auf Transistorebene, indem Probleme bezüglich Spannungsabfall, Elektromigration und Standby-Leckströmen identifiziert werden. Es werden standardisierte Hardware-Entwurfs- und Verifikationssprachen wie SystemVerilog, Verilog, Verilog-AMS, VHDL, SystemC, OpenVera-Sprache, UPF, die VMM-Methodik und verwandte VMM-Anwendungen unterstützt.
