Catapult Coverage tillhandahåller HLS-medveten kodtäckning som, till skillnad från programvarucentrerade täckningsverktyg, känner igen hur designkonstruktioner och HLS-direktiv påverkar den resulterande post-HLS-hårdvaran och därmed tar hänsyn till dessa när man samlar in och rapporterar kodtäckning på HLS-designkälla. Exempel är funktioner inlining och loop unrolling direktiv. Catapult Coverage stöder också nödvändiga täckningstyper på HLS-designkälla som Condition and Focused Expression (FEC) -täckning plus täckning för arrayåtkomst.

Catapult Coverage ger SV-inspirerad funktionell täckning med stöd för Covergroups, Coverpoints, Bins och Crosses inom C++/SystemC testbänkar. En sample () -metod stöds också för att ange när en covergroup ska samplas. Liksom med traditionell RTL kan denna funktionella täckning kopplas till testplankrav.

Catapult Coverage skriver täckningsdata till Questa UCDB (Unified Coverage Database) för en komplett uppsättning verktyg för efterbehandling av Verification Management. UCDB möjliggör datadriven verifieringshantering med stöd för analys och rapportering av täckningsresultat, sammanslagning och rangordning av tester, tillämpning av undantag och integration av testplaner.

Integration med Questa Visualizer ger GUI-baserad analys av täckningsdata. Detta inkluderar analys av täckningsresultat kommenterade på HLS-designkällan och hierarkin, ett täckgruppfönster för att granska funktionell täckning, förmågan att enkelt utföra önskad ranking och enkel musknappsspecifikation för önskade täckningsundantag.