OpenVera

OpenVera ist eine von Synopsys entwickelte High-Level-Hardwarebeschreibungssprache und Verifikationsumgebung. Sie basiert auf dem IEEE 1364 Verilog-Standard und unterstützt den SystemVerilog-Standard. OpenVera bietet einen vollständigen Satz an Verifikationsfunktionen, einschließlich Assertions, Coverage und Testbenches. Außerdem enthält es eine Reihe leistungsstarker Debugging-Tools.