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
…