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.
Referanser rediger
Eksterne lenker rediger
Denne artikkelen er en spire. Du kan hjelpe Wikipedia ved å utvide den.