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