Questa One Sim Xact ist eine innovative formale Analyse und Ablaufautomatisierung, die die GLS-Einführung optimiert und zu einer besseren und vollständigeren Abnahmeüberprüfung führt.
Questa One Sim Xact ermöglicht einen viel schnelleren Start der Simulation auf Gate-Ebene, indem lästige falsche X-Werte, verzögerungsfreie Rennbedingungen und Bibliotheksmodellierungsfehler automatisch eliminiert werden und gleichzeitig schwer zu diagnostizierende Verbindungsprobleme isoliert werden. Außerdem unterstützt es erweiterte Tools zur Ursachenverfolgung von Real X.
Die formell erweiterte Logiksimulation führt dynamisch X-Pessimismus-Analysen durch, analysiert die X-Ausbreitung in Datenpfaden und Gated Clock-Logik und repariert im laufenden Betrieb.
GLS ohne Verzögerung kann Rennbedingungen nachweisen, insbesondere bei Designs mit Gated Clock- und Verzögerungslinien. Der „Pseudo-SDF“ -Generator löst effizient Probleme mit den Rennbedingungen, ohne dass die Zellbibliotheken geändert werden müssen.
Die Force-Release-Propagationsanalyse bestätigt, wenn Kräfte wegoptimiert wurden und keine Fanout-Logik mehr antreiben. Die Konnektivitätsanalyse findet Module mit ungesteuerten Eingaben, die X-Quellen erzeugen.
Questa One Sim Xact bietet eine verbesserte Methode, um die Simulation auf Gate-Ebene schnell und einfach zu starten. Seine patentierte Technologie kann eine Simulation mithilfe kombinatorischer Analysen effektiv analysieren, um festzustellen, ob X-Werte an D-Eingängen eines Flipflops aufgrund von X-Pessimismus falsch oder real sind. Es entfernt automatisch die falschen X-Werte, wodurch die Simulation auf Gate-Ebene die richtigen Ergebnisse liefert.
Siemens EDA bietet erstklassigen Kundensupport für Questa One Sim und all unsere Produkte.
Die Verification Academy vermittelt die Fähigkeiten, die erforderlich sind, um die Fähigkeiten eines Unternehmens im Bereich der funktionalen Verifizierung weiterzuentwickeln, und bietet eine methodische Brücke zwischen Leistungsversprechen auf hoher Ebene und Details auf niedriger Ebene.
Besuchen Sie unseren Blog, um Einblicke und Updates zu Konzepten, Werten, Standards, Methoden und Beispielen zu erhalten, um Ihnen das Verständnis fortschrittlicher Technologien zur Funktionsüberprüfung zu erleichtern und zu erfahren, wie Sie sie am effektivsten anwenden können.
