Catapult Coverage

Catapult Coverage fournit une couverture de code compatible HLS qui, contrairement aux outils de couverture centrés sur les logiciels, reconnaît l'impact des structures de conception et des directives HLS sur le matériel post-HLS qui en résulte et en tient donc compte lors de la collecte et de la publication de la couverture de code sur la source de conception HLS. Les exemples incluent les directives d'intégration de fonctions et de déroulement en boucle. Catapult Coverage prend également en charge les types de couverture nécessaires sur la source de conception HLS, tels que la couverture Condition and Focused Expression (FEC) et la couverture d'accès au réseau.

Catapult Coverage propose une couverture fonctionnelle inspirée de la réalité virtuelle, en prenant en charge les groupes de couverture, les points de couverture, les bacs et les croix sur les bancs d'essai C++/SystemC. Une méthode sample () est également prise en charge pour spécifier quand un groupe de couverture doit être échantillonné. Comme pour le RTL traditionnel, cette couverture fonctionnelle peut être liée aux exigences du plan de test.

Catapult Coverage écrit les données de couverture dans la Questa UCDB (Unified Coverage Database) pour obtenir un ensemble complet d'outils de gestion de la vérification après traitement. L'UCDB permet une gestion des vérifications basée sur les données en permettant d'analyser et de communiquer les résultats de couverture, de fusionner et de classer les tests, d'appliquer des exclusions et d'intégrer des plans de test.

L'intégration à Questa Visualizer permet une analyse des données de couverture basée sur l'interface graphique. Cela inclut l'analyse des résultats de couverture annotés selon la source et la hiérarchie du design HLS, une fenêtre de groupe de couverture pour passer en revue la couverture fonctionnelle, la possibilité d'effectuer facilement le classement souhaité et la spécification des exclusions de couverture souhaitées en un clic de souris.