Stimulusfreie Überprüfung

Questa Inspect ist eine vollautomatische App zur formalen Problemsuche, die tief verborgene Probleme aufgrund häufiger RTL-Codierungsfehler findet. Questa Inspect ermöglicht es, eine Vielzahl von Problemen ohne Testbench zu beheben.

Die Questa Check Connect Connect-App ist eine vollautomatische Lösung für die umfassende Überprüfung der statischen und dynamischen Konnektivität, ohne dass Kenntnisse der formalen oder der Eigenschaftsspezifikationssprachen erforderlich sind.

Questa Increase Coverage ist eine automatische formale Lösung, um das Schließen der Codeabdeckung schneller zu erreichen, die einer unbestreitbaren Tatsache der Überprüfung Rechnung trägt: Ein Teil des aufgedeckten Codes bleibt immer übrig.

Die Questa Formal VIP AMBA & OnChip Libraries verbessern die Qualität und reduzieren Zeitpläne, indem sie Protokoll- und Methodenkenntnisse in Pakete wiederverwendbarer Assertions integrieren, die gängige Industriestandard-Schnittstellen unterstützen.

Questa Verify Property deckt umfassend alle Konstruktionsfehler auf, die auftreten können, ohne dass spezielle Anregungen erforderlich sind, um das Problem zu erkennen. Dadurch wird sichergestellt, dass das verifizierte Design in allen rechtlichen Eingabeszenarien problemlos ist.

Die Questa Check Register-App automatisiert die umfassende Überprüfung des Verhaltens von Kontroll- und Statusregistern anhand der CSV- oder IP-XACT-Registerspezifikation.

Die Questa Verify Secure Secure-App ist eine vollautomatische Lösung zur umfassenden Überprüfung, ob nur die von Ihnen angegebenen Pfade sicherheits- oder sicherheitskritische Speicherelemente erreichen können.

Questa Equivalent RTL vergleicht anhand einer umfassenden formalen Analyse automatisch Spezifikations-RTL- und Implementierungs-RTL-Codeblöcke. Es sind keine Kenntnisse der formalen oder Eigenschaftsspezifikationssprachen erforderlich.

Questa Check X ist eine automatisierte Anwendung, die X-Probleme auf RTL-Ebene ohne Testbench umfassend ausfindig macht.

Die Siemens Questa Equivalent FPGA FPGA-Lösung stellt sicher, dass FPGA-Implementierungsabläufe, wie Synthese und Place-and-Route-Optimierungen, nicht zu Funktionsfehlern führen.

Questa GapFree optimiert die Qualität digitaler Designs, indem alle Funktionen für alle Eingänge geprüft werden, was zu beispiellos niedrigen Escape-Raten bei Problemen führt.

Die Designverifizierung auf hoher Ebene mit der Questa HL-SYC-Erweiterung hilft, Probleme vor der Synthese zu vermeiden, indem die Überprüfung früher im Arbeitsablauf gestartet wird.

Questa Verify Trust verwendet automatische Analysen, um Sicherheitslücken zu erkennen und zu melden.

Stellt sicher, dass RISC-V-Designs den ISA- und Funktionsvoraussetzungen entsprechen, wodurch die Überprüfung beschleunigt wird, da keine Testbench-Erstellung erforderlich ist.

Die Questa FPU FPU-Anwendung minimiert den Überprüfungsaufwand erheblich und gewährleistet die genaue Ausrichtung der Gleitkomma-Implementierungen auf die gewünschten Ergebnisse.

Die Questa Analyze Fault Fault-Anwendung ist eine Lösung, die auf der formalen Questa-Technologie basiert, die Fehler analysiert, indem sie sie einschleust und ihr Ergebnis im Hinblick auf die Hardwaresicherheit formell überprüft.

Analyze Architecture ist eine bahnbrechende Lösung, die einem Benutzer die Möglichkeit bietet, große Hardwaresysteme zu überprüfen, ob sie der angegebenen Architektur entsprechen.

Die Questa Post Silicon Debug App nutzt formale Analysen und Eigenschaftssynthese, um schnell Ursachen von Problemen in der Logik tief in einem SoC zu finden und zu beweisen, dass Fixes nichts anderes kaputt machen.