Catapult Coverage

Το Catapult Coverage παρέχει κάλυψη κώδικα με γνώμονα το HLS που, σε αντίθεση με τα εργαλεία κάλυψης με επίκεντρο το λογισμικό, αναγνωρίζει πώς οι κατασκευές σχεδιασμού και οι οδηγίες HLS επηρεάζουν το προκύπτον υλικό μετά το HLS και έτσι τα λαμβάνει υπόψη κατά τη συλλογή και αναφορά κάλυψης κώδικα στην πηγή σχεδιασμού HLS. Παραδείγματα περιλαμβάνουν οδηγίες ενσωμάτωσης συνάρτησης και ξετύλιξης βρόχου. Το Catapult Coverage υποστηρίζει επίσης τους απαραίτητους τύπους κάλυψης στην πηγή σχεδιασμού HLS, όπως κάλυψη Condition and Focused Expression (FEC) και κάλυψη πρόσβασης συστοιχίας.

Το Catapult Coverage παρέχει λειτουργική κάλυψη εμπνευσμένη από SV με υποστήριξη για ομάδες κάλυψης, σημεία κάλυψης, κάδους και διασταυρώσεις σε πάγκους δοκιμών C++/SystemC. Υποστηρίζεται επίσης μια μέθοδος sample () για να καθορίσει πότε θα πρέπει να γίνει δειγματοληψία μιας ομάδας κάλυψης. Όπως και με το παραδοσιακό RTL, αυτή η λειτουργική κάλυψη μπορεί να συνδεθεί με τις απαιτήσεις του σχεδίου δοκιμών.

Το Catapult Coverage γράφει δεδομένα κάλυψης στο Questa UCDB (Unified Coverage Database) για ένα πλήρες σύνολο εργαλείων διαχείρισης επαλήθευσης μετά την επεξεργασία. Το UCDB επιτρέπει τη διαχείριση επαλήθευσης βάσει δεδομένων με υποστήριξη για ανάλυση και αναφορά αποτελεσμάτων κάλυψης, συγχώνευση και κατάταξη δοκιμών, εφαρμογή εξαιρέσεων και ενσωμάτωση σχεδίων δοκιμών.

Η ενσωμάτωση με το Questa Visualizer παρέχει ανάλυση δεδομένων κάλυψης βάσει GUI. Αυτό περιλαμβάνει την ανάλυση των αποτελεσμάτων κάλυψης που σχολιάζονται στην πηγή και την ιεραρχία σχεδιασμού HLS, ένα παράθυρο ομάδας κάλυψης για τον έλεγχο της λειτουργικής κάλυψης, τη δυνατότητα εύκολης εκτέλεσης της επιθυμητής κατάταξης και εύκολη προδιαγραφή με κλικ στο κουμπί του ποντικιού για τις επιθυμητές εξαιρέσεις κάλυψης.