Questa AutoCheck
Eine vollautomatische App zur formalen Fehlersuche, die Fehler aufgrund von häufigen RTL-Codierungsfehlern findet
Questa AutoCheck hilft Ihnen, Fehler frühzeitig in Ihrem Design zu finden. Es generiert automatisch Properties , um eine ständig wachsende Vielfalt an statischen und dynamischen Prüfungen zu unterstützen, wie z.B. Dead-Code-Analyse, Finite-State-Machine-Deadlock, kombinatorische Schleifen und Liveness; es deckt häufige Designfehler und ungeahnte Sonderfälle ab.
Questa Formal Solutions
Questa AutoCheck ist ein Angebot von Siemens Digital Industries. Es ist Teil der Questa Formal Solutions, die die "Macht des Formalen“ sowohl für Jedermann als auch für Experten zugänglich macht.
Whitepaper
Dieses Whitepaper soll den Einsatz formaler Methoden für die Hardware-Verifikation enträtseln. In dieser Diskussion werden wir zunächst die formalen Methoden so klar und prägnant wie möglich erklären. Anschließend werden wir uns mit dem Stand der Industrie und den Veränderungen der letzten zehn Jahre befassen, die den weit verbreiteten Einsatz von formalen Methoden für die Hardware-Verifikation ermöglicht haben. Mit diesem Wissen werden wir den Inhalt von DO-254 Appendix B 3.3.3 "Formal Methods" untersuchen und erklären. Schließlich werden wir diese Informationen zusammenführen und Empfehlungen für die Verwendung formaler Methoden in einem DO-254-Projekt geben.
Vorteile von Questa AutoCheck Benefits
EINFACH ZU BEDIENENDE JAGD VON BUGS AUF KNOPFDRUCK
- Keine Kenntnisse über formale Verifikation oder ABV erforderlich!
- Es entfällt die Notwendigkeit, Assertions zu schreiben durch automatische Erstellung von Assertions
- Nutzt die gemeinsame Debug-Plattform Visualizer
FINDET FEHLER IN EINEM FRÜHEN STADIUM DES ENTWURFSZYKLUS
- Anwender können mit der Verifizierung beginnen, sobald RTL-Code geschrieben oder geändert wird
- Keine Testbench oder Assertions erforderlich!
- Anwender müssen sich nicht die Mühe machen, einfache Tests zu schreiben
Automatisch verbesserte Entwurfsqualität
- Untersucht das sequenzielle Designverhalten, um Sonderfall-Bugs zu finden, die von Lint nicht erfasst werden können
- Findet allgemeine funktionale Designprobleme in Registern, FSMs, Bussen und Speichern
Find out more about lorem ipsium
Erfahren Sie mehr über Questa AutoCheck
Laden Sie die Präsentation runter, um mehr über RTL Debug und andere Features von Questa AutoCheck zu erfahren.
Tools for Simulation and Verification
Questa Base
Entdecken Sie den Simulator der nächsten Generation, der auf der bewährten QuestaSim-Engine basiert. Erleben Sie...
Questa CDC
Questa CDC von Siemens identifiziert Fehler mithilfe einer Strukturanalyse, um Taktdomänen, Synchronisierer und Strukturen mit...
HDL Designer
HDL Designer bietet eine umfassende HDL-Entwurfsumgebung, die einen strukturierten FPGA/ASIC Design Flow gewährleistet.
Questa Advanced Simulator
Der Questa Advanced Simulator ist ein Simulator und eine Debug-Engine, die das Risiko bei der...
Questa Verification IP
Questa Verification IP befreit Ingenieure von der Zeit, die sie für die Entwicklung von BFMs,...
FPGA Design Verification mit Questa Prime
Die Questa-Verifikationslösung ist eine Suite von Technologien, Methodologien und Bibliotheken für die moderne ASIC- und...
Sie wünschen mehr Information über Questa AutoCheck?
Kontaktieren Sie uns und wir werden Ihre Fragen so schnell wie möglich beantworten.
Kostenlose Demo buchen
Vereinbaren Sie einen Termin mit einem unserer Experten, um die Software in der Praxis zu sehen!
Der Experte zeigt Ihnen kostenlos, wie Sie die Software einsetzen können, um die spezifischen Herausforderungen zu meistern, die Ihre Projekte an Ihr Team und Ihr Unternehmen stellen.