Incisive Assertion Library de Cadence
Cette solution de vérification intégrée dans un environnement de vérification fonctionnelle d’un circuit intègre désormais la gestion d’assertions multilangages.
Support d’assertions en langage PSL (Property Specification Language), SVA (System Verilog Assertion) et OVL (Open Verification Library)
50 assertions complexes
Codes annexes pour la personnalisation
Eléments de la bibliothèque disponibles gratuitement
…
Cet article n'est pas accessible publiquement.
Connectez-vous pour accéder à ce contenu.
