OpenVera

OpenVera est un langage de description de matériel de haut niveau et un environnement de vérification développé par Synopsys. Il est basé sur la norme IEEE 1364 Verilog et supporte la norme SystemVerilog. OpenVera fournit un ensemble complet de fonctionnalités de vérification, y compris les assertions, la couverture et les bancs de test. Il comprend également un ensemble puissant d'outils de débogage.