OpenVera

OpenVera es un lenguaje de descripción de hardware de alto nivel y un entorno de verificación desarrollado por Synopsys. Se basa en la norma IEEE 1364 Verilog y es compatible con la norma SystemVerilog. OpenVera ofrece un completo conjunto de funciones de verificación, como aserciones, cobertura y bancos de pruebas. También incluye un potente conjunto de herramientas de depuración.