PureTime 3.2 de Real Intent
Ce logiciel de vérification formelle s’enrichit de deux outils affinant la validation à travers toutes les phases de la conception.
- Validation avancée des contraintes
- Gestion avancée des exceptions de timing
- Débogage rapide
- Mise en œuvre sur la totalité du flot de conception
Rens.: www.realintent.com
Cet article n'est pas accessible publiquement.
Connectez-vous pour accéder à ce contenu.
