Catapult Coverage

Catapult Coverage poskytuje pokrytí kódu založeným na HLS, které, na rozdíl od softwarově zaměřených nástrojů pokrytí, rozpoznává, jak konstrukční konstrukty a směrnice HLS ovlivňují výsledný hardware po HLS, a proto je bere v úvahu při shromažďování a hlášení pokrytí kódu na zdroji návrhu HLS. Příklady zahrnují direktivy pro vložení funkcí a odvíjení smyčky. Catapult Coverage také podporuje potřebné typy pokrytí na zdroji návrhu HLS, jako je pokrytí Condition and Focused Expression (FEC) a pokrytí přístupu k poli.

Catapult Coverage poskytuje funkční pokrytí inspirované SV s podporou Covergroups, Coverpoints, Bins a Crosses v testovacích stolicích C++/SystemC. Je také podporována metoda sample (), která určuje, kdy má být vzorkována skupina pokrytí. Stejně jako u tradičního RTL lze toto funkční pokrytí propojit s požadavky plánu testování.

Catapult Coverage zapisuje data pokrytí do Questa UCDB (Unified Coverage Database) pro kompletní sadu nástrojů pro správu ověření po zpracování. UCDB umožňuje správu ověřování založenou na datech s podporou analýzy a vykazování výsledků pokrytí, slučování a hodnocení testů, uplatňování výjimek a integrace testovacích plánů.

Integrace s Questa Visualizer poskytuje analýzu dat pokrytí na základě GUI. To zahrnuje analýzu výsledků pokrytí anotovaných na zdroji návrhu a hierarchii HLS, okno krycí skupiny pro kontrolu funkčního pokrytí, schopnost snadno provést požadované hodnocení a snadné kliknutí na tlačítko myši požadovaných výjimek pokrytí.