La lecture de cet article est réservée aux abonnés.
Connectez-vous ou abonnez-vous pour y accéder.
Solution de vérification formelle
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 Rens.:…
