Catapult Coverage

Catapult Coverage pruža pokrivenost koda svesna HLS-a koja, za razliku od softverski usmerenih alata za pokrivanje, prepoznaje kako konstrukcije dizajna i HLS direktive utiču na rezultirajući post-HLS hardver i na taj način ih uzima u obzir prilikom prikupljanja i izveštavanja o pokrivenosti koda na izvoru dizajna HLS. Primeri uključuju direktive za postavljanje funkcija i odmotavanje petlje. Catapult Coverage takođe podržava potrebne tipove pokrivenosti na izvoru HLS dizajna, kao što su pokrivenost stanja i fokusirane ekspresije (FEC) plus pokrivenost pristupa nizu.

Catapult Coverage obezbeđuje funkcionalnu pokrivenost inspirisanu SV-om uz podršku za pokrivne grupe, pokrivne tačke, kante i krstove unutar testnih klupa C++/SistemC. Takođe je podržana metoda uzorka () kako bi se odredilo kada treba uzorkovati pokrivnu grupu. Kao i kod tradicionalnog RTL-a, ova funkcionalna pokrivenost može se povezati sa zahtevima plana ispitivanja.

Catapult Coverage piše podatke o pokrivenosti u Kuesta UCDB (Unified Coverage Database) za kompletan skup alata za upravljanje verifikacijom naknadne obrade. UCDB omogućava upravljanje verifikacijom zasnovano na podacima uz podršku za analizu i izveštavanje o rezultatima pokrivenosti, spajanje i rangiranje testova, primenu isključenja i integraciju testnih planova.

Integracija sa Kuesta Visualizer-om omogućava analizu podataka o pokrivenosti zasnovanu na GUI-ju. Ovo uključuje analizu rezultata pokrivenosti označenih na izvoru dizajna i hijerarhiji HLS, prozor pokrivne grupe za pregled funkcionalne pokrivenosti, mogućnost lakog izvođenja željenog rangiranja i jednostavnu specifikaciju klika mišem željenih isključenja pokrivenosti.