Catapult Coverage

Catapult Coverage oferă o acoperire de cod conștientă de HLS care, spre deosebire de instrumentele de acoperire centrate pe software, recunoaște modul în care construcțiile de proiectare și directivele HLS influențează hardware-ul post-HLS rezultat și, astfel, ia în considerare acestea atunci când colectează și raportează acoperirea codului pe sursa de proiectare HLS. Exemplele includ directivele de inserare a funcțiilor și derularea buclei. Catapult Coverage acceptă, de asemenea, tipurile de acoperire necesare pe sursa de proiectare HLS, cum ar fi acoperirea Condition and Focused Expression (FEC) plus acoperirea de acces la matrice.

Catapult Coverage oferă o acoperire funcțională inspirată de SV cu suport pentru Covergroups, Coverpoints, Bins și Crosses în bancurile de testare C++/SystemC. O metodă sample () este, de asemenea, acceptată pentru a specifica când trebuie eșantionat un grup de acoperire. Ca și în cazul RTL tradițional, această acoperire funcțională poate fi legată de cerințele planului de testare.

Catapult Coverage scrie datele de acoperire în Questa UCDB (Unified Coverage Database) pentru un set complet de instrumente de gestionare a verificării post-procesare. UCDB permite gestionarea verificării bazate pe date cu suport pentru analiza și raportarea rezultatelor acoperirii, fuzionarea și clasificarea testelor, aplicarea excluderilor și integrarea planurilor de testare.

Integrarea cu Questa Visualizer asigură analiza bazată pe GUI a datelor de acoperire. Aceasta include analiza rezultatelor acoperirii adnotate pe sursa și ierarhia de proiectare HLS, o fereastră de grup de acoperire pentru a revizui acoperirea funcțională, capacitatea de a efectua cu ușurință clasamentul dorit și specificarea ușoară a clicurilor pe butonul mouse-ului pentru excluderile dorite de acoperire.