Cadence annonce la disponibilité de sa plateforme de vérification formelle intelligente JasperGold: Page 3 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.

Vous êtes certain ?

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

Vous allez être rediriger vers Google.