Catapult Couverture fournit une couverture de code HLS qui, contrairement aux outils de couverture centrés sur le logiciel, reconnaît l'impact des constructions de conception et des directives HLS sur le matériel post-HLS résultant et en prend donc en compte lors de la collecte et de la déclaration de 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 les sources de conception HLS telles que la couverture de condition et d'expression focalisée (FEC) et la couverture d'accès aux baies.

Catapult Coverage fournit une couverture fonctionnelle inspirée de la SV avec prise en charge des groupes de couverture, des points de couverture, des bacs et des croix dans les bancs de test C++/SystemC. Un exemple de méthode () est également pris 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 Couverture Database) pour un ensemble complet d'outils de gestion de la vérification après traitement. UCDB permet la gestion de la vérification basée sur les données avec prise en charge de l'analyse et de la communication des résultats de couverture, de la fusion et du classement des tests, de l'application des exclusions et de l'intégration des plans de test.

L'intégration avec Questa Visualizer permet une analyse des données de couverture basée sur l'interface graphique. Cela comprend l'analyse des résultats de couverture annotés sur la source et la hiérarchie de conception HLS, une fenêtre de groupe de couverture pour examiner la couverture fonctionnelle, la possibilité d'effectuer facilement le classement souhaité et la spécification facile en cliquant sur le bouton de la souris des exclusions de couverture souhaitées.