High-Level Verification Solutions

Παρέχοντας κορυφαία προϊόντα και μεθοδολογία για σχεδιασμό υψηλού επιπέδου, η Siemens παρέχει λύσεις σε πολλά σημεία της διαδικασίας σχεδιασμού. Έλεγχος σχεδίασης, Κώδικας και Λειτουργικής Κάλυψης και Επίσημη επαλήθευση για έλεγχο ισοδυναμίας C ++ και SystemC.

Επικείμενες εκδηλώσεις HLS & HLV Βιβλιοθήκη πόρων HLS & HLV

Καταπέλτης High-Level Verification Solutions

Επιταχύνετε τη ροή επαλήθευσης υψηλού επιπέδου (HLV) με γνωστές και αξιόπιστες μεθόδους χρησιμοποιώντας την πλατφόρμα Catapult HLV. Μειώστε τον συνολικό χρόνο διεκπεραίωσης επαλήθευσης SoC και το κόστος έως και 80% αξιοποιώντας τον Έλεγχο Σχεδιασμού Υψηλού Επιπέδου, την Κωδική/Λειτουργική Κάλυψη και τις στατικές και επίσημες μεθόδους.

Catapult Coverage

Κάλυψη κώδικα με γνώμονα το HLS, συμπεριλαμβανομένης της υποστήριξης για δήλωση, κλάδο, κατάσταση, έκφραση (FEC) και κάλυψη πρόσβασης συστοιχίας, καθώς και λειτουργική κάλυψη εμπνευσμένη από το SystemVerilog με υποστήριξη για ομάδες κάλυψης, σημεία κάλυψης, κάδους και διασταυρώσεις.

Catapult Formal Verification Tools

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

SLEC System

Ελέγξτε την ορθότητα του RTL έναντι των μοντέλων υψηλού επιπέδου χρησιμοποιώντας το SLEC. Επιτρέπει την απόδειξη ότι οι προδιαγραφές και η εφαρμογή είναι πανομοιότυπες παρά τις διαφορές στη γλώσσα, το χρονοδιάγραμμα ή την αφαίρεση.

Επαλήθευση υψηλού επιπέδου

Questa HL-SystemC

επαλήθευση σχεδιασμού υψηλού επιπέδου με την επέκταση Questa HL-SYC βοηθά στην εξάλειψη προβλημάτων πριν από τη σύνθεση ξεκινώντας την επαλήθευση νωρίτερα στη ροή.