Circuits : des outils qui simplifient la vérification formelle

Le 22/03/2007 à 0:00 par Cédric Lardière

L’Américain Jasper Design Automation a introduit GamePlan 1.1, qui permet de créer des plans de vérification et d’en suivre les étapes, ainsi que la version 4.3 de son logiciel de vérification formelle au niveau système, JasperGold.

Les principales améliorations de ce dernier résident dans la disponibilité d’InFormal Design Analyst, un outil évitant le développement de

Cet article n'est pas accessible publiquement.
Connectez-vous pour accéder à ce contenu.

Copy link
Powered by Social Snap