Questa One Sim Xact est une analyse formelle innovante et une automatisation des flux qui rationalise le montage de GLS, conduisant à une vérification de validation meilleure et plus complète.
Questa One Sim Xact permet une simulation beaucoup plus rapide au niveau de la porte en éliminant automatiquement les faux X agaçants, les conditions de course sans retard et les erreurs de modélisation de la bibliothèque, tout en isolant les problèmes de connectivité difficiles à diagnostiquer. De plus, il prend en charge les outils avancés de recherche des causes profondes X réelles.
La simulation logique améliorée formelle effectue dynamiquement une analyse du pessimisme X, analyse la propagation X dans les datapaths et la logique de l'horloge à distance et effectue des réparations à la volée.
Le GLS à retard nul peut démontrer les conditions de course, en particulier dans les conceptions avec un cadençage et des lignes de retard fermés. Le générateur « pseudo-SDF » résout efficacement les problèmes de conditions de race sans avoir besoin de modifier les bibliothèques cellulaires.
L'analyse de propagation force/libération confirme quand les forces ont été optimisées et n'entraînent plus aucune logique de fanout. L'analyse de connectivité trouve des modules avec des entrées non pilotées qui créent X sources.
Questa One Sim Xact offre une méthodologie améliorée pour mettre en place la simulation au niveau de la porte rapidement et facilement. Sa technologie brevetée peut analyser efficacement une simulation à l'aide de l'analyse combinatoire pour déterminer si les valeurs X aux entrées D d'une bascule sont fausses en raison du pessimisme X ou réelles. Il élimine automatiquement les faux X, qui permettent à la simulation au niveau de la porte de produire les résultats corrects.
Siemens EDA offre un support client de classe mondiale pour Questa One Sim et tous nos produits.
Verification Academy fournit les compétences nécessaires pour faire mûrir les capacités de processus de vérification fonctionnelle d'une organisation, fournissant un pont méthodologique entre les propositions de valeur de haut niveau et les détails de bas niveau.
Pour aider à comprendre les technologies avancées de vérification fonctionnelle et comment les appliquer le plus efficacement possible, visitez notre blog pour obtenir des informations et des mises à jour sur les concepts, les valeurs, les normes, les méthodologies et les exemples.
