Aperçu
Vérificateur de conception de catapulte
Catapult apporte une analyse charpie et formelle pour valider l'exactitude de vos conceptions C++/SystemC avant la synthèse. Évitez les problèmes de conception associés aux lectures de mémoire non initialisées, aux accès aux baies hors limites, aux déclarations de commutation incomplètes et aux problèmes de QoR qui peuvent survenir lors du codage pour HLS.
La vérification au C++ réduit les coûts jusqu'à 80 %
Chimie formelle et statique pour C++/Systemc
Catapult Design Checker fournit plusieurs modes de vérification qui éliminent le besoin de débogage basé sur la simulation des problèmes dans votre conception. Les problèmes de codage, les problèmes de QoR et les éventuelles inadéquations et ambiguïtés entre C++/SystemC et RTL sont rapidement détectés, ce qui donne une rétroaction exacte sur la source et la cause.
Lint statique pour Qor
est facile de trouver des problèmes courants dans le codage avant la synthèse avec Catapult Design Checker.
Mettre l'accent sur des problèmes particuliers
Catapult Design Checker permet à l'utilisateur de personnaliser et de hiérarchiser les vérifications pour se concentrer sur les problèmes urgents tout en réduisant le bruit provenant de problèmes déjà connus.
Formation sur demande sur Catapult
La bibliothèque de formation à la demande Catapult Hors Niveau Synthesis (HLS) contient un ensemble de parcours d'apprentissage avec des modules pour initier les ingénieurs à la HLS et à la vérification de haut niveau.
Groupe de synthèse et de vérification de haut niveau
Un groupe pour discuter des points les plus subtils de la conception et de la vérification à l'aide des outils EDA HLS et HLV de Siemens. Participez à la discussion sur de nouveaux sujets, fonctionnalités, contenu et experts techniques.
HLSlibs
Un ensemble libre et ouvert de bibliothèques mises en œuvre en C++ standard pour une conception matérielle et logicielle précise au bit. C'est une communauté ouverte d'échange de connaissances et de PI pour le HLS qui peut être utilisée pour accélérer la recherche et la conception.
Blog sur la conception et la vérification HLS
Blogue sur les méthodes et techniques de conception et de vérification de la prochaine génération de synthèse de haut niveau (HLS).
Soutien des catapultes
Accédez à la documentation détaillée, aux communiqués, aux ressources et plus encore.
Conseil en matière d'EDA
Vous aider à obtenir un impact commercial maximal en abordant les défis complexes liés à la technologie et à l'entreprise grâce à un mélange unique d'expérience en développement et en conception et d'expertise méthodologique.