Catapult Coverage

Catapult Coverage bietet HLS-fähige Codeabdeckung, die im Gegensatz zu softwareorientierten Coverage-Tools erkennt, wie sich Designkonstrukte und HLS-Direktiven auf die resultierende Post-HLS-Hardware auswirken, und diese daher bei der Erfassung und Meldung der Codeabdeckung auf der HLS-Designquelle berücksichtigt. Zu den Beispielen gehören Direktiven für das Inlining von Funktionen und das Entrollen von Schleifen. Catapult Coverage unterstützt auch die benötigten Coverage-Typen auf der HLS-Designquelle wie Condition and Focused Expression (FEC) -Coverage plus Array Access Coverage.

Catapult Coverage bietet von SV-inspirierten Funktionen mit Unterstützung für Covergroups, Coverpoints, Bins and Crosses innerhalb von C++/SystemC-Prüfständen. Eine sample () -Methode wird ebenfalls unterstützt, um anzugeben, wann eine Covergroup abgetastet werden soll. Wie bei herkömmlichem RTL kann dieser Funktionsumfang mit den Anforderungen des Testplans verknüpft werden.

Catapult Coverage schreibt Coverage-Daten in die Questa UCDB (Unified Coverage Database) für einen kompletten Satz von Tools zur Nachbearbeitung des Verifizierungsmanagements. UCDB ermöglicht ein datengesteuertes Verifizierungsmanagement mit Unterstützung für die Analyse und Berichterstattung von Abdeckungsergebnissen, Zusammenführung und Rangfolge von Tests, Anwenden von Ausschlüssen und Integration von Testplänen.

Die Integration mit Questa Visualizer ermöglicht eine GUI-basierte Analyse von Abdeckungsdaten. Dazu gehören die Analyse der Abdeckungsergebnisse, die mit Anmerkungen zur HLS-Entwurfsquelle und -hierarchie versehen sind, ein Covergroup-Fenster zur Überprüfung der Funktionsabdeckung, die Fähigkeit, die gewünschte Rangfolge schnell durchzuführen und die gewünschten Deckungsausschlüsse einfach per Mausklick zu spezifizieren.