Synthèse et vérification de haut niveau de Catapult

Catapult possède le plus vaste portefeuille de solutions de conception matérielle pour le C++ et la synthèse de haut niveau (HLS) basée sur le système. Le mode multi-VT physiquement sensible de Catapult, avec estimation et optimisation à faible consommation, ainsi qu'une gamme de solutions de vérification de pointe font de Catapult HLS plus qu'un simple « C to RTL ».

Événements à venir HLS & HLV Bibliothèque de ressources HLS et HLV

Catapulte High-Level Synthesis Solutions

Les

solutions de synthèse de haut niveau Catapult offrent la prise en charge des langages C++ et SystemC, l'indépendance FPGA et ASIC, l'estimation et l'optimisation de la puissance ASIC ainsi que les dernières avancées en matière de zone multi-VT physiquement consciente et d'optimisation des performances pour améliorer vos conceptions.

C++/SystemC Synthesis

Flux HLS complet utilisant C++ ou SystemC comme entrée de conception et ciblant de manière optimale les implémentations ASIC, eFPGA ou FPGA réglées pour la fréquence et la technologie cible.

Solutions à faible consommation d'énergie

En ce qui concerne la conception précoce de l'exploration spatiale, l'estimation de la puissance et l'optimisation pour les ASIC RTL de faible puissance, Catapult génère des RTL très efficaces optimisés avec notre PowerPro la technologie sous le capot.

Graphique vectoriel d'une catapulte avec des parties étiquetées telles que « bras », « contrepoids » et « déclencheur ».

Solutions d'IA

Catapult AI améliore le HLS pour accélérer l'exploration de la conception, l'analyse de quantification et la performance, la puissance et la prédiction de surface.

Catapulte High-Level Verification Solutions

Accélérez votre flux de vérification de haut niveau (VHL) avec des méthodes connues et fiables à l'aide de la plateforme Catapult HLV. Réduisez jusqu'à 80 % les délais et les coûts de vérification globale de votre SoC en tirant parti de la vérification de la conception de haut niveau, de la couverture code/fonctionnelle et des méthodes statiques et formelles.

Catapult Coverage

Couverture de

code tenant compte du HLS, y compris la prise en charge de la couverture des relevés, des branches, des conditions, des expressions (FEC) et de l'accès aux baies, ainsi qu'une couverture fonctionnelle inspirée de SystemVerilogg avec prise en charge des groupes de couverture, des points de couverture, des bacs et des croisements.

Catapult Formal Verification Tools

Déceler officiellement les erreurs, les ambiguïtés et les problèmes de conception des problèmes ou les erreurs liées aux contraintes de l'utilisateur dès le début du processus HLS. Même avec des différences de temps et d'interfaces, Catapult Formal permet la vérification et un flux de fermeture de la couverture.

SLEC System

Vérifiez l'exactitude du RTL par rapport à vos modèles de haut niveau à l'aide de SLEC. Permettre la preuve que la spécification et la mise en œuvre sont identiques malgré les différences de langage, de calendrier ou d'abstraction.

Vérification de haut niveau

Questa HL-SystemC

La vérification de la conception de haut niveau avec l'extension Questa HL-SYC aide à éliminer les problèmes avant la synthèse en commençant la vérification plus tôt dans le flux.