Catapult Coverage

Catapult Coverage fornisce una copertura del codice compatibile con HLS che, a differenza degli strumenti di copertura incentrati sul software, riconosce l'impatto dei costrutti di progettazione e delle direttive HLS sull'hardware post-HLS risultante e quindi li tiene in considerazione quando raccoglie e riporta la copertura del codice sulla fonte di progettazione HLS. Gli esempi includono le direttive Function Inline e Loop Unrolling. Catapult Coverage supporta anche i tipi di copertura necessari sulla fonte di progettazione HLS, come la copertura Condition and Focused Expression (FEC) più la copertura dell'accesso all'array.

Catapult Coverage fornisce una copertura funzionale ispirata a SV con supporto per Covergroups, Coverpoint, Bins and Cross all'interno dei banchi di prova C++/SystemC. È supportato anche un metodo sample () per specificare quando deve essere campionato un gruppo di copertura. Come per l'RTL tradizionale, questa copertura funzionale può essere collegata ai requisiti del piano di test.

Catapult Coverage scrive i dati di copertura su Questa UCDB (Unified Coverage Database) per un set completo di strumenti di gestione delle verifiche post-elaborazione. L'UCDB consente una gestione delle verifiche basata sui dati con supporto per l'analisi e la rendicontazione dei risultati della copertura, l'unione e la classificazione dei test, l'applicazione delle esclusioni e l'integrazione dei piani di test.

L'integrazione con Questa Visualizer fornisce un'analisi basata su GUI dei dati di copertura. Ciò include l'analisi dei risultati della copertura annotati nell'origine e nella gerarchia di progettazione HLS, una finestra del gruppo di copertura per esaminare la copertura funzionale, la capacità di eseguire facilmente la classifica desiderata e la semplice specificazione delle esclusioni di copertura desiderate con un semplice clic del pulsante del mouse.