Cadence annonce la disponibilité de sa plateforme de vérification formelle intelligente JasperGold

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.

Technologie Smart Proof
La nouvelle plateforme JasperGold marque la toute dernière étape des améliorations en cours sur l’orchestration et l’algorithme de solveur de preuve (proof solver). Cette plateforme intègre la technologie Smart Proof qui améliore la vitesse de vérification de toutes les applications JasperGold. La technique d’apprentissage automatique est utilisée pour sélectionner et paramétrer les solveurs en vue d’accélérer la délivrance de preuves dès la première tentative (first-time proofs). L’apprentissage automatique est également utilisé pour optimiser les opérations successives des tests de non-régression, que ce soit sur site ou sur le cloud. Grâce à la technologie Smart Proof, la vitesse de délivrance des preuves peut tre multipliée par 4 et jusqu’à 6 fois en non-régression.
« Avec la nouvelle plateforme intelligente JasperGold utilisée en mode standard (out of the box), nous avons mesuré en moyenne une accélération de 2X pour obtenir les preuves et de 5X pour l’exécution des tests de non-régression sur nos designs », a déclaré Mirella Negro Marcigaglia, responsable de la vérification des conceptions numériques, STMicroelectronics. « Nous constatons également une réduction de plus de 50 % des propriétés non convergentes. Ensemble, ces améliorations augmentent considérablement notre productivité dans le domaine de la vérification. »

Une évolutivité de conception avancée
À l’heure où les systèmes sur puce (SoC) sont toujours plus gros et plus complexes, le processus de compilation fixe la taille maximale du design et les ressources de calcul nécessaires pour lancer l’analyse formelle. Par rapport aux performances enregistrées l’année dernière, la nouvelle plateforme JasperGold se distingue par une capacité de compilation des designs multipliée par plus de 2, avec une réduction moyenne de 50 % de l’utilisation de la mémoire au cours de la phase de compilation. De plus, les ingénieurs peuvent moduler efficacement la capacité de conception grâce à des technologies de compilation parallèle avancées qui optimisent l’utilisation des ressources de calcul disponibles et en exécutant les preuves sur le cloud.

Un processus de validation perfectionné
Les nouvelles technologies de


Vous êtes certain ?

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

Vous allez être rediriger vers Google.