CheckerWare Library de Mentor Graphics

Cette solution de vérification de blocs IP supporte désormais l’interface de communication OCP version 2.1.

Vérification d’un bloc IP OCP en simulation ou bien en vérification formelle fonctionnelle
Solution composée d’un checker à base d’assertions associé à un moniteur de visualisation des résultats.
Appartient à la bibliothèque de vérification CheckerWare

…