OpenVera

OpenVera je vysokoúrovňový jazyk pro popis hardwaru a verifikační prostředí vyvinuté společností Synopsys. Je založen na standardu IEEE 1364 Verilog a podporuje standard SystemVerilog. OpenVera poskytuje kompletní sadu verifikačních funkcí včetně tvrzení, pokrytí a testovacích polí. Obsahuje také výkonnou sadu ladicích nástrojů.