Solutions de vérification de haut niveau

Fournissant des produits et une méthodologie de pointe pour la conception de haut niveau, Siemens propose des solutions à de multiples étapes du processus de conception. Vérification de la conception, couverture du code et des fonctionnalités et vérification formelle pour la vérification d'équivalence en C++ et SystemC.

Prochains événements du HLS et du HLV Bibliothèque de ressources HLS et HLV

Solutions de vérification de haut niveau Catapult

Accélérez votre flux de vérification de haut niveau (HLV) à l'aide de méthodes connues et fiables grâce à la plateforme Catapult HLV. Réduisez le délai et les coûts globaux de vérification de votre SoC jusqu'à 80 % grâce à une vérification de conception de haut niveau, à une couverture code/fonctionnelle et à des méthodes statiques et formelles.

Catapult Coverage

Couverture de code compatible HLS, y compris la prise en charge des déclarations, des branches, des conditions, des expressions (FEC) et de la couverture d'accès aux tableaux, ainsi qu'une couverture fonctionnelle inspirée de SystemVerilog avec prise en charge des groupes de couverture, des points de couverture, des bacs et des croix.

Outils de vérification formelle Catapult Formal Verification

Détectez formellement 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. Malgré les différences de synchronisation et d'interface, Catapult Formal permet la vérification et un flux de fermeture de couverture.

Système SLEC

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

Vérification de haut niveau

Questa HL-SystemC

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

Solutions de vérification de haut niveau