High-Level Verification Solutions

En fournissant des produits et une méthodologie de pointe pour la conception de haut niveau, Siemens fournit des solutions à plusieurs étapes du processus de conception. Vérification de la conception, couverture de code et fonctionnelle et vérification formelle pour la vérification de l'équivalence C++ et SystemC.

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

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.