360 MV RootCauseAnalyzer d’OneSpin Solutions
Enrichi de quatre outils de débogage, ce vérificateur formel simplifie et accélère l’établissement des assertions et le débogage des conceptions.
- Détection de l’origine des fautes
- Test du code d’assertion
- Détection des contraintes manquantes
- Test du code source RTL
Rens.: www.onespin-solutions.com
Cet article n'est pas accessible publiquement.
Connectez-vous pour accéder à ce contenu.
