Catapult Coverage
Acoperirea codului conștient de HLS, inclusiv suport pentru declarație, ramură, condiție, expresie (FEC) și acoperire de acces la matrice plus acoperire funcțională inspirată de SystemVerilog cu suport pentru grupuri de acoperire, puncte de acoperire, coșuri și încrucișări.
