OpenVera
Hopp til navigering
Hopp til søk
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.