Cadence annonce la disponibilité de sa plateforme de vérification formelle intelligente JasperGold: Page 2 of 3

14 mai 2019 //Par A.Dieul
Cadence annonce la disponibilité de sa plateforme de vérification formelle intelligente JasperGold
Cadence Design Systems, Inc. annonce la troisième génération de sa plateforme de vérification formelle Cadence JasperGold, qui intègre une technologie d’apprentissage automatique (Machine Learning) et perfectionne les fonctions centrales de vérification formelle. Les améliorations apportées à cette plateforme permettent de relever les défis de capacité et de complexité qui caractérisent les systèmes sur puce (SoC) avancés, tout en augmentant la vitesse de vérification.
couverture formelle de la plateforme permettent aux ingénieurs de valider complètement les blocs IP avec la plateforme JasperGold. Ces nouvelles technologies de validation (signoff) formelle bénéficient d’une précision « proof-core » accrue, de nouvelles techniques permettant de dériver une couverture pertinente à partir d’une chasse aux bogues approfondie (deep bug hunting) et de nouvelles vues d’analyse de couverture formelle. L’ensemble de ces fonctionnalités procure des métriques de couverture formelle de qualité « sign-off » et une clôture de vérification multimoteurs au niveau du circuit intégré complet.

« La première génération de la plateforme JasperGold a fait figure de pionnier sur le marché de la vérification formelle commerciale et de ses applications, tandis que la deuxième a intégré des technologies Cadence pour déployer un flot de vérification formelle chez tous les utilisateurs », a déclaré Ziyad Hanna, vice-président, Fabric and Formal Solutions, System & Verification Group chez Cadence. « Notre plateforme intelligente JasperGold de troisième génération marque une avancée considérable du cœur de la technologie formelle en s’appuyant sur l’apprentissage automatique pour apporter à nos clients de meilleures performances et des évolutivité tangibles. »

Partie intégrante de la Cadence Verification Suite, la plateforme de vérification formelle JasperGold offre une couverture exhaustive au sein de la plateforme de validation à base de métriques vManager Metric-Driven Signoff, qui associe les résultats formels fournis par JasperGold aux métriques de simulation Xcelium™ et d’émulation Palladium® afin d’accélérer la clôture de la totalité de la vérification. Cette plateforme s’inscrit dans le cadre de la stratégie System Design Enablement de Cadence qui permet aux fabricants de systèmes et de semiconducteurs de créer des produits finaux complets et différenciateurs avec une efficacité accrue. La suite « Cadence Verification Suite » se compose des meilleurs moteurs JasperGold, Xcelium, Palladium et Protium, ainsi que des technologies et solutions de vérification qui augmentent la qualité et la productivité de conception, répondant ainsi aux exigences de vérification d’un large éventail d’applications et de secteurs industriels.

www.cadence.com/go/smartjasper

Cadence étend sa suprématie sur le


Vous êtes certain ?

Si vous désactivez les cookies, vous ne pouvez plus naviguer sur le site.

Vous allez être rediriger vers Google.