Les applications centrées sur HL sont compatibles avec les plug-ins avec les flux RTL et les principes UVM existants, ciblant :
Catapult Design Checker propose plusieurs modes de vérification statiques et formels par boutons-poussoirs qui permettent de réduire la nécessité de vérifier votre design par simulation. Les problèmes de codage, les ambiguïtés des sources de conception, les problèmes de QoR et les sources de possibles incohérences entre HLS C++/SystemC et RTL sont rapidement détectés et des informations sont fournies quant à la source et à la cause.
Catapult Formal Assert est une application de vérification formelle intégrée à Catapult HLS. Les assertions écrites en C-Source seront évaluées à l'aide de puissants solveurs formels qui fournissent une réponse rapide, des délais d'attente et des stratégies de résolution configurables, ainsi qu'un environnement de débogage robuste. Affirmer, assumer et couverture sont prises en charge. Les contre-exemples créent un banc d'essai de niveau C et les paramètres GDB par défaut, ainsi qu'un débogueur graphique de formes d'onde SEDA's Visualizer.
La bibliothèque de formation à la demande Catapult High-Level Synthesis (HLS) contient un ensemble de parcours d'apprentissage avec des modules destinés à initier les ingénieurs au HLS et à la 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 les nouveaux sujets, les fonctionnalités, le contenu et les experts techniques.
Un ensemble de bibliothèques gratuites et ouvertes implémentées en C++ standard pour une conception matérielle et logicielle précise au bit par bit. C'est 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 les méthodologies et techniques de conception et de vérification de synthèse de haut niveau (HLS) de nouvelle génération.
Accédez à une documentation détaillée, à des communiqués, à des ressources et plus encore.
Vous aider à 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.
