High-Level Verification Solutions

En fournissant des produits et une méthodologie de pointe pour une 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 HLS & HLV Bibliothèque de ressources HLS et HLV

Catapult High-Level Verification Solutions

Accélérez votre flux de vérification de haut niveau (HLV) grâce à des méthodes connues et fiables à l'aide de la plateforme Catapult HLV. Réduisez les délais 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 de la couverture des déclarations, des branches, des conditions, des expressions (FEC) et de l'accès aux baies, 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.

Catapult Formal Verification Tools

Identifiez 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. Même avec des différences de synchronisation et d'interfaces, Catapult Formal permet la vérification et un flux de fermeture de couverture.

SLEC System

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

Vérification de haut niveau

Questa HL-SystemC

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