OpenVera

OpenVera je vysokoúrovňový jazyk na opis hardvéru a verifikačné prostredie vyvinuté spoločnosťou Synopsys. Je založený na štandarde IEEE 1364 Verilog a podporuje štandard SystemVerilog. OpenVera poskytuje kompletnú sadu verifikačných funkcií vrátane tvrdení, pokrytia a testovacích polí. Obsahuje aj výkonnú sadu ladiacich nástrojov.