360 MV 5.01 d’OneSpin Solutions Cette solution de vérification fonctionnelle, basée sur des diagrammes de temps, utilise les assertions au format SystemVerilog (SVA). Identification des fonctions RTL non vérifiées Bibliothèque d’assertions intégrée Détection des erreurs de spécification Transcription des diagrammes de temps en propriétés vérifiables par assertionsRens. : www.onespin-solutions.com