JasperGold de Jasper Design Automation
La version de cette suite d’outil de vérification à base de preuves formelles se dote de trois modules Proof Accelerators supplémentaires.
- Formal Scoreboard 2 : performances de vérification des transferts de données améliorées et interface utilisateur plus polyvalente
- Model RAM pour les mémoires Ram
- Model Multiplier pour la modélisation des multiplieurs
…
Cet article n'est pas accessible publiquement.
Connectez-vous pour accéder à ce contenu.
