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