Catapult Coverage

“Catapult Coverage” suteikia HLS žinomą kodo aprėptį, kuri, skirtingai nei į programinę įrangą orientuotos aprėpties priemonės, atpažįsta, kaip dizaino konstrukcijos ir HLS direktyvos daro įtaką susidariusiai aparatinei įrangai po HLS, todėl į jas atsižvelgia renkant ir pranešant apie kodo aprėptį HLS projektavimo šaltinyje. Pavyzdžiai apima funkcijų inlining ir kilpos išvyniojimo direktyvas. “Catapult Coverage” taip pat palaiko reikiamus aprėpties tipus HLS dizaino šaltiniame, pvz., “Condition” ir “Focused Expression” (FEC) aprėptį ir prieigos prie masyvo aprėptį.

“Catapult Coverage” suteikia SV įkvėptą funkcinę aprėptį, palaikant “Covergroups”, “Coverpoints”, šiukšliadėžes ir kryžius “C++/SystemC” bandymų suoluose. Taip pat remiamas imties () metodas, nustatantis, kada turėtų būti imami dengimo grupės mėginiai. Kaip ir tradiciniame RTL, ši funkcinė aprėptis gali būti susieta su bandymų plano reikalavimais.

“Catapult Coverage” rašo aprėpties duomenis į “Questa UCDB” (“Unified Coverage Database”), kad gautų visą poapdorojimo patikros valdymo įrankių rinkinį. UCDB leidžia duomenimis pagrįstą patikros valdymą, palaikant aprėpties rezultatų analizę ir ataskaitas, testų sujungimą ir reitingavimą, išimčių taikymą ir bandymų planų integravimą.

Integracija su “Questa Visualizer” suteikia GUI pagrįstą aprėpties duomenų analizę. Tai apima aprėpties rezultatų analizę, anotuotus HLS dizaino šaltinyje ir hierarchijoje, “covergroup” langą, skirtą peržiūrėti funkcinę aprėptį, galimybę lengvai atlikti norimą reitingą ir lengvai pelės mygtuko paspaudimu norimų aprėpties išimčių specifikaciją.