Catapult Coverage

Catapult Coverage provides HLS-aware code coverage that, unlike software-centric coverage tools, recognizes how design constructs and HLS directives impact the resulting post-HLS hardware and thus takes these into consideration when collecting and reporting code coverage on HLS design source. Examples include function inlining and loop unrolling directives. Catapult Coverage also supports needed coverage types on HLS design source such as Condition and Focused Expression (FEC) coverage plus array access coverage.

Catapult Coverage provides for SV-inspired functional coverage with support for Covergroups, Coverpoints, Bins and Crosses within C++/SystemC test benches. A sample() method is also supported to specify when a covergroup should be sampled. As with traditional RTL, this functional coverage can be linked to test plan requirements.

Catapult Coverage writes coverage data to the Questa UCDB (Unified Coverage Database) for a complete set of post-processing Verification Management tools. UCDB enables data-driven verification management with support for analysis and reporting of coverage results, merging and ranking of tests, applying exclusions and integration of test plans.

Integration with Questa Visualizer provides for GUI-based analysis of coverage data. This includes analyzing coverage results annotated on the HLS design source and hierarchy, a covergroup window to review functional coverage, the ability to readily perform desired ranking and easy mouse-button click specification of desired coverage exclusions.