Catapult Coverage

Catapult Coverage gir HLS-bevisst kodedekning som, i motsetning til programvaresentriske dekningsverktøy, gjenkjenner hvordan designkonstruksjoner og HLS-direktiver påvirker den resulterende post-HLS-maskinvaren og tar dermed disse i betraktning når du samler inn og rapporterer kodedekning på HLS-designkilde. Eksempler inkluderer funksjonslining og sløyfe-utrullingsdirektiver. Catapult Coverage støtter også nødvendige dekningstyper på HLS-designkilde, for eksempel Condition and Focused Expression (FEC) -dekning pluss arraytilgangsdekning.

Catapult Coverage gir SV-inspirert funksjonell dekning med støtte for Covergroups, Coverpoints, Bins og Crosses innenfor C++/SystemC testbenker. En sample () -metode støttes også for å spesifisere når en covergruppe skal samples. Som med tradisjonell RTL, kan denne funksjonelle dekningen knyttes til testplankrav.

Catapult Coverage skriver dekningsdata til Questa UCDB (Unified Coverage Database) for et komplett sett med etterbehandlingsverktøy for verifisering. UCDB muliggjør datadrevet verifiseringsstyring med støtte for analyse og rapportering av dekningsresultater, sammenslåing og rangering av tester, bruk av unntak og integrering av testplaner.

Integrasjon med Questa Visualizer sørger for GUI-basert analyse av dekningsdata. Dette inkluderer analyse av dekningsresultater kommentert på HLS-designkilden og hierarkiet, et dekningsgruppevindu for å gjennomgå funksjonell dekning, muligheten til lett å utføre ønsket rangering og enkel museknapp-klikkspesifikasjon for ønskede dekningsekskluderinger.