OpenVera

OpenVera er et maskinvareverifiseringsspråk som ble utviklet av System Science og senere ble oppkjøpt av Synopsys.^[1] Det var et interoperabilt, åpent språk for testbenching. Det ble brukt som basis for avanserte verifikasjonsegenskaper i standarden IEEE Std. 1800 SystemVerilog, og brukes av selskaper som produserer halvledere, systemer, IP og EDA-industrien sammen med verifikasjonstjenester.

Referansemanualen til OpenVera (LRM) kan tilegnes uten kostnader, men modifikasjoner av språket må gå gjennom Synopsys.

• ASIC World Vera Tutorial