Catapult Coverage

As with RTL, HLS design and verification teams need a way to perform metrics driven verification on their designs. As Catapult Coverage understands HLS concepts such as function inlining and loop unrolling, it provides HLS aware code coverage for C++ and SystemC HLS design source. Catapult Coverage also supports SystemVerilog-inspired functional coverage thus providing for capturing both code and functional coverage within a single run. Catapult Coverage writes its coverage data to the UCDB (Unified Coverage Database) thus providing the user with a complete set of post-processing tools. Using Catapult Coverage on the HLS source enables readily achieving the equivalent coverage metrics on the resulting RTL and closing RTL coverage.