Vue d'ensemble
Catapulte Design Checker
Catapult apporte une analyse de charpie et une analyse 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 hors limites à des tableaux, aux instructions de commutation incomplètes et aux problèmes de QoR qui peuvent survenir lors du codage pour HLS.
La vérification en C++ permet de réduire les coûts jusqu'à 80 %
Lint formel et statique pour C++/SystemC
Catapult Design Checker propose plusieurs modes de vérification qui éliminent le besoin de déboguer les problèmes de votre conception par simulation. Les problèmes de codage, les problèmes de QoR et les éventuelles incohérences et ambiguïtés entre C++/SystemC et RTL sont détectés rapidement et fournissent des informations précises sur la source et la cause.
Static Lint pour QoR
est facile de trouver les problèmes courants liés au codage avant la synthèse avec Catapult Design Checker.
Concentrez-vous sur des problèmes spécifiques
Catapult Design Checker permet à l'utilisateur de personnaliser et de hiérarchiser les contrôles pour se concentrer sur les problèmes urgents tout en réduisant le bruit des problèmes déjà connus.
Formation à la demande Catapult
La bibliothèque de formation à la demande Catapult High-Level Synthesis (HLS) contient un ensemble de parcours d'apprentissage avec des modules visant à initier les ingénieurs au HLS et à la vérification de haut niveau.
Groupe de synthèse et de vérification de haut niveau
Un groupe pour discuter des subtilités de la conception et de la vérification à l'aide des outils Siemens EDA HLS et HLV. Participez à la discussion sur de nouveaux sujets, fonctionnalités, contenus et experts techniques.
Libs HLS
Un ensemble gratuit et ouvert de bibliothèques implémentées en C++ standard pour une conception matérielle et logicielle précise au bit. Il s'agit d'une communauté ouverte d'échange de connaissances et de propriété intellectuelle sur 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
Blog couvrant les méthodologies et techniques de conception et de vérification de synthèse de haut niveau (HLS) de nouvelle génération.
Support de catapulte
Accédez à une documentation détaillée, à des versions, à des ressources et plus encore.
Conseil EDA
Nous vous aidons à obtenir un impact commercial maximal en relevant des défis technologiques et commerciaux complexes grâce à une combinaison unique d'expérience en matière de développement et de conception et d'expertise méthodologique.