Questa One Sim Xact est une analyse formelle innovante et une automatisation des flux qui rationalise la mise en place du GLS, permettant ainsi une vérification de signature plus efficace et plus complète.
Questa One Sim Xact permet de lancer des simulations beaucoup plus rapidement au niveau de la porte en éliminant automatiquement les faux X embêtants, les conditions de course sans délai et les erreurs de modélisation des bibliothèques, tout en identifiant les problèmes de connectivité difficiles à diagnostiquer. De plus, il prend en charge les outils avancés de traçage des causes de Real X Root Cause.
La simulation logique améliorée effectue une analyse du pessimisme X de manière dynamique, analyse la propagation du X dans les chemins de données et la logique d'horloge fermée et effectue des réparations à la volée.
Le GLS à retard zéro peut être adapté aux conditions de course, en particulier dans les modèles dotés d'un chronomètre et de lignes à retard. Le générateur « pseudo-SDF » résout efficacement les problèmes liés aux conditions de course sans avoir à modifier les bibliothèques de cellules.
L'analyse de la propagation de la force et du relâchement confirme quand les forces ont été optimisées et qu'il n'y a plus de logique de fanout. L'analyse de la connectivité permet de trouver des modules dotés d'entrées non pilotées qui créent X sources.
Questa One Sim Xact propose une méthodologie améliorée qui permet de créer rapidement et facilement des simulations au niveau de la porte. Sa technologie brevetée permet d'analyser efficacement une simulation à l'aide d'une analyse combinatoire afin de déterminer si les valeurs X sur les entrées D d'une bascule sont fausses ou réelles pour des raisons de pessimisme X. Il élimine automatiquement les faux X, ce qui permet à la simulation au niveau de la porte de produire les bons résultats.
Siemens EDA propose un support client de premier ordre pour Questa One Sim et tous nos produits.
Verification Academy fournit les compétences nécessaires pour développer les capacités fonctionnelles des processus de vérification d'une organisation, en jetant un pont méthodologique entre les propositions de valeur de haut niveau et les détails de bas niveau.
Pour vous aider à comprendre les technologies avancées de vérification fonctionnelle et la manière de les appliquer le plus efficacement possible, rendez-vous sur notre blog pour obtenir des informations et des mises à jour sur les concepts, les valeurs, les normes, les méthodologies et des exemples.
