Cadence Design Systems annonce la dernière version de sa plate-forme de vérification fonctionnelle
Incisive, établissant un nouveau standard de performances et de productivité pour la vérification pour l'ensemble de la vérification. Conçue pour relever les défis de vérification des systèmes sur puce (SoC) ainsi que de la propriété intellectuelle (IP) du niveau bloc jusqu'à la puce, la plate-forme Incisive 13.2 assure des performances considérablement plus rapides grâce à deux nouveaux moteurs et des fonctions d'automatisation supplémentaires qui accélèrent la vérification des systèmes sur puce …
S'agissant de la vérification de la propriété intellectuelle du niveau bloc jusqu'à la puce, les améliorations apportées sont les suivantes :
• Nouveau moteur Trident dans les outils de vérification Incisive Formal Verifier et Incisive Enterprise Verifier, qui multiplie par 20 les performances d'analyse formelle.
• Nouveau moteur de contraintes dans le simulateur Incisive Enterprise Simulator, qui multiplie par 10 la vitesse de la simulation des tests UVM et SystemVerilog ainsi que l'accélération de la simulation avec la plate-forme Palladium.
Concernant la vérification des systèmes sur puce, les améliorations portent sur les éléments suivants :
• Prise en charge complète de la propagation de l'état x dans le simulateur Incisive Enterprise Simulator et le système de vérification Incisive Enterprise Verifier pour accélérer la simulation de la basse consommation et la réinitialisation des systèmes sur puce (jusqu'à 5 fois plus rapide).
• Prise en charge de la modélisation RNM (Real Number Modeling) SystemVerilog selon la norme IEEE 1800-2012 dans l'option Digital Mixed Signal, ce qui multiplie par plus de 100 la vitesse de simulation des circuits à signal mixte.
Référence :
Incisive 13.2
Fournisseur :
Cadence
|
DATASHEET |
PLUS D'INFOS |
PRODUITS SIMILAIRES |
