OpenVera

OpenVera é uma linguagem de descrição de hardware de alto nível e um ambiente de verificação desenvolvido pela Synopsys. Baseia-se na norma IEEE 1364 Verilog e suporta a norma SystemVerilog. OpenVera fornece um conjunto completo de características de verificação incluindo asserções, cobertura, e bancos de testes. Inclui também um poderoso conjunto de ferramentas de depuração.