OpenVera

Fra Wikipedia, den frie encyklopedi

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]