Catégorie : Electronique     09/05/2007

Unisys améliore la productivité des équipes de conception logique avec Cadence Incisive Formal Verifier

Cadence Design Systems, Inc. , leader mondial de l'innovation en conception électronique, annonce qu’Unisys Corporation a incorporé Cadence® Incisive® Formal Verifier à son flot de conception pour assurer l'analyse formelle basée sur les assertions. Incisive Formal Verifier a permis à Unisys de réaliser des gains de productivité et d'améliorer la qualité globale, en approvisionnant des sites multiples en composants complexes.

Partie intégrante de l'approche Cadence "conception avec vérification" de Logic Design Team Solution, Incisive Formal Verifier a dévoilé de nombreux bugs fonctionnels difficiles à détecter lors des phases précoces du cycle de conception Unisys, accroissant ainsi la productivité de l'équipe et accélérant la finalisation du projet. Les concepteurs de la logique ont été en mesure de vérifier les blocs plusieurs mois avant la simulation utilisant les vecteurs de tests. En conséquence, la vérification des composants s'est montrée plus rapide et plus économique. Autre avantage, les assertions développées par l'équipe dès le début du cycle de conception ont pu être réutilisées intégralement lors des phases ultérieures de simulation et d'accélération/émulation. Résultat : un meilleur suivi, un débogage plus rapide et un cycle de vérification plus court.

Pour plus d'informations, rendez-vous sur le site de Cadence Design Systems, Inc