Cadence Design Systems, Inc. (NASDAQ : CDNS), leader de l’innovation pour la conception électronique annonce aujourd’hui à CDNLive ! Silicon Valley, Cadence Incisive Enterprise Verifier (IEV), une solution de vérification intégrée offrant des fonctionnalités nouvelles et uniques avec la double puissance de l’analyse formelle et des moteurs de simulation. IEV peut aider le concepteur à trouver les bogues correspondants à des circonstances exceptionnellement atypiques et à atteindre des cas insaisissables manqués par la simulation et la preuve formelle pris séparément. IEV améliore la productivité par une prise en compte plus rapide des designs et une détection des bogues plus précoces ; il augmente la prédictibilité en générant plus de métriques facilitant la convergence de la vérification ; il améliore la qualité en détectant plus de bogues dans le design.
L’intégration de la simulation et de fonctionnalités formelles dans IEV offre aux ingénieurs de nouvelles manières de tirer parti des assertions. Les assertions utilisées en analyse formelle peuvent être utilisées automatiquement par le moteur de simulation. Au-delà, IEV peut basculer automatiquement entre l’analyse formelle et la simulation pour bénéficier de la vitesse d’exploration de la simulation et des certitudes de l’analyse formelle. Concepteurs et ingénieurs de vérification bénéficient d’un meilleur retour sur investissement de chaque assertion, et l’adoption est plus aisée parce qu’IEV fournit une puissante analyse formelle dans un environnement de simulation familier.
IEV permet la détection de plus de bogues et l’utilisation de plus de métriques de couverture tôt dans le projet, avant qu’un banc de test ne soit disponible. L’intégration étroite de la simulation et de l’analyse formelle fournit des fonctionnalités bien au delà de celles offertes par les solutions hybrides existantes sur le marché. Les fonctionnalités nouvelles originales incluent une mise en œuvre simplifiée, un fonctionnement automatique pour la plupart des utilisateurs, un contrôle fin pour les utilisateurs avancés, et des fonctionnalités de débogage des assertions. IEV supporte également les fonctionnalités de planification de la vérification, les opérations de régression sur les fermes de serveurs et la consolidation des métriques collectées au cours des différentes taches. IEV se relie naturellement à Incisive Enterprise Manager pour la vérification pilotée par les métriques de très grand projet.