Übersicht
Katapult-Designchecker
Catapult bietet Lint- und Formanalysen, um Ihre C++/SystemC-Designs vor der Synthese auf Richtigkeit zu überprüfen. Vermeiden Sie Designprobleme im Zusammenhang mit nicht initialisierten Speicherlesevorgängen, Array-Zugriffen außerhalb der Grenze, unvollständigen Switch-Anweisungen und QoR Problemen, die beim Codieren für HLS auftreten können.
Die Überprüfung in C++ senkt die Kosten um bis zu 80%
Formale und statische Lint für C++/SystemC
Catapult Design Checker bietet mehrere Prüfmodi, die das simulationsbasierte Debuggen von Problemen in Ihrem Design überflüssig machen. Codierungsprobleme, QoR-Probleme und potenzielle Nichtübereinstimmungen und Mehrdeutigkeiten von C++/SystemC zu RTL werden schnell erkannt und geben genaues Feedback zu Quelle und Ursache.
Static Lint für QoR
Mit dem Catapult Design Checker ist es einfach, häufig auftretende Probleme beim Programmieren vor der Synthese zu finden.
Konzentrieren Sie sich auf spezifische Probleme
Catapult Design Checker ermöglicht es dem Benutzer, Prüfungen anzupassen und zu priorisieren, um sich auf dringende Probleme zu konzentrieren und gleichzeitig den Lärm bereits bekannter Probleme zu reduzieren.
Bereit für ein Gespräch über Design Checker?
Wenn Sie Fragen haben, wir haben die Antworten!
Catapult-Schulung auf Abruf
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 die Überprüfung auf hoher Ebene.
Hochrangige Gruppe für Synthese und Verifikation
Eine Gruppe, in der die Feinheiten des Entwurfs und der Verifizierung mit den EDA HLS- und HLV-Tools von Siemens erörtert werden. Nehmen Sie an der Diskussion über neue Themen, Funktionen, Inhalte und technische Experten teil.
HLS-Libs
Ein kostenloser und offener Satz von Bibliotheken, implementiert in Standard-C++ für bitgenaues Hardware- und Softwaredesign. Es handelt sich um eine offene Community für den Austausch von Wissen und geistigem Eigentum für HLS, mit der sowohl die Forschung als auch das Design beschleunigt werden können.
HLS Blog für Design und Verifizierung
Blog über Entwurfs- und Verifikationsmethoden und -techniken auf hoher Ebene (HLS) der nächsten Generation.
Katapult-Unterstützung
Greifen Sie auf detaillierte Dokumentationen, Veröffentlichungen, Ressourcen und mehr zu.
EDA-Beratung
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 methodischem Fachwissen bewältigen.