High-Level Verification Solutions

Fournissant des produits et une méthodologie de pointe pour la conception de haut niveau, Siemens fournit des solutions à plusieurs moments 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 & HLV

High-Level Verification Solutions Catapult

Accélérez votre flux de vérification de haut niveau (HLV) avec des méthodes connues et fiables à l'aide de la plateforme Catapult HLV. Réduisez votre temps et vos coûts globaux de vérification SoC jusqu'à 80 % 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 des relevés, des succursales, des conditions, des expressions (FEC) et de la couverture d'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 croix.

Catapult Formal Verification Tools

Trouvez formellement les erreurs, les ambiguïtés et les problèmes de conception de problèmes ou les erreurs de contrainte utilisateur au 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 la preuve que la spécification et la mise en œuvre sont identiques malgré les différences de langage, de timing 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.

High-Level Verification Solutions