Catapult Coverage

Catapult Coverage giver HLS-opmærksom kodedækning, der i modsætning til softwarecentrerede dækningsværktøjer anerkender, hvordan designkonstruktioner og HLS-direktiver påvirker den resulterende post-HLS-hardware og dermed tager disse i betragtning, når der indsamles og rapporteres kodedækning på HLS-designkilde. Eksempler inkluderer funktionsindslinings- og loop-unrolling-direktiver. Catapult Coverage understøtter også nødvendige dækningstyper på HLS-designkilden, såsom Condition and Focused Expression (FEC) -dækning plus dækning af arrayadgang.

Catapult Coverage giver SV-inspireret funktionel dækning med understøttelse af Covergroups, Coverpoints, Bins og Crosses inden for C++/SystemC testbænke. En sample () -metode understøttes også til at angive, hvornår en covergruppe skal udtages. Som med traditionel RTL kan denne funktionelle dækning knyttes til testplankrav.

Catapult Coverage skriver dækningsdata til Questa UCDB (Unified Coverage Database) for et komplet sæt efterbehandlingsværktøjer til verifikationsstyring. UCDB muliggør datadrevet verifikationsstyring med support til analyse og rapportering af dækningsresultater, sammenlægning og rangordning af test, anvendelse af udelukkelser og integration af testplaner.

Integration med Questa Visualizer giver mulighed for GUI-baseret analyse af dækningsdata. Dette inkluderer analyse af dækningsresultater, der er kommenteret på HLS-designkilden og hierarkiet, et covergroup-vindue til gennemgang af funktionel dækning, evnen til let at udføre ønsket placering og nem museknap-klikspecifikation for ønskede dækningsudelukkelser.