HL-orientierte Apps sind Plug-in-kompatibel mit bestehenden RTL-Flows und UVM-Prinzipien und zielen auf Folgendes ab:
Catapult Design Checker bietet mehrere statische und formale Prüfmodi auf Knopfdruck, die den Bedarf an simulationsgestützter Überprüfung Ihres Entwurfs verringern. Programmierprobleme, Unklarheiten bei der Designquelle, QoR-Bedenken und Quellen potenzieller Abweichungen zwischen HLS C++/SystemC und RTL werden schnell erkannt und es wird Feedback zur Quelle und Ursache gegeben.
Catapult Formal Assert ist eine formale Verifizierungs-App, die in Catapult HLS integriert ist. In Csource geschriebene Assertionen werden mit leistungsstarken formalen Solvern bewertet, die schnelle Antworten, konfigurierbare Timeouts und Lösungsstrategien sowie eine robuste Debug-Umgebung bieten. Bestätigen, annehmen und decken werden unterstützt. Gegenbeispiele erstellen einen C-Level-Testbench und Standard-GDB-Einstellungen sowie einen grafischen Wellenform-Debugger von SEDA Visualizer.
Die On-Demand-Schulungsbibliothek Catapult High-Level Synthesis (HLS) enthält eine Reihe von Lernpfaden mit Modulen zur Einführung von Ingenieuren in HLS und Verifikation auf hoher Ebene.
Eine Gruppe, um die Feinheiten des Entwurfs und der Verifizierung mit den EDA HLS- und HLV-Tools von Siemens zu besprechen. Nehmen Sie an der Diskussion über neue Themen, Features, Inhalte und technische Experten teil.
Ein kostenloser und offener Satz von Bibliotheken, implementiert in Standard-C++ für bitgenaues Hardware- und Softwaredesign. Es ist eine offene Community für den Austausch von Wissen und geistigem Eigentum für HLS, die genutzt werden kann, um sowohl die Forschung als auch das Design zu beschleunigen.
Blog über Entwurfs- und Verifikationsmethoden und -techniken der nächsten Generation auf hoher Ebene (HLS).
Greifen Sie auf ausführliche Dokumentation, Veröffentlichungen, Ressourcen und mehr zu.
Wir helfen Ihnen dabei, maximale geschäftliche Auswirkungen zu erzielen, indem wir komplexe Technologie- und Unternehmensherausforderungen mit einer einzigartigen Mischung aus Entwicklungs- und Designerfahrung und Methodenkompetenz angehen.
