Επαλήθευση χωρίς ερέθισμα

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

Η Ανάλυση Συνδεσιμότητας στο Questa One SFV είναι μια πλήρως αυτοματοποιημένη λύση για εξαντλητική επαλήθευση στατικής και δυναμικής συνδεσιμότητας χωρίς να απαιτείται γνώση επίσημων γλωσσών ή γλωσσών προδιαγραφών ιδιοκτησίας.

Το Questa Increase Coverage είναι μια αυτόματη επίσημη λύση για την επίτευξη γρηγορότερου κλεισίματος κάλυψης κώδικα, που αντιμετωπίζει ένα αναμφισβήτητο γεγονός επαλήθευσης: κάποιο κλάσμα ακάλυπτου κώδικα παραμένει πάντα.

Οι επίσημες βιβλιοθήκες VIP AMBA & OnChip βελτιώνουν την ποιότητα και μειώνουν τα χρονοδιαγράμματα δημιουργώντας τεχνογνωσία πρωτοκόλλων και μεθοδολογίας σε πακέτα επαναχρησιμοποιήσιμων ισχυρισμών που υποστηρίζουν δημοφιλείς διεπαφές βιομηχανικού προτύπου.

Το Questa One SFV Property Verification ανακαλύπτει εξαντλητικά τυχόν σφάλματα σχεδιασμού που μπορεί να προκύψουν, χωρίς να χρειάζεται συγκεκριμένο ερέθισμα για τον εντοπισμό του προβλήματος. Αυτό διασφαλίζει ότι ο επαληθευμένος σχεδιασμός είναι απαλλαγμένος από προβλήματα σε όλα τα σενάρια νομικών εισροών.

Η Ανάλυση Μητρώου Questa One SFV αυτοματοποιεί την εξαντλητική επαλήθευση της συμπεριφοράς του μητρώου ελέγχου και κατάστασης έναντι των προδιαγραφών μητρώου CSV ή IP-XACT.

Η ανάλυση ασφαλείας στο Questa One SFV είναι μια πλήρως αυτοματοποιημένη λύση για την εξαντλητική επαλήθευση ότι μόνο οι διαδρομές που καθορίζετε μπορούν να φτάσουν σε στοιχεία αποθήκευσης που είναι κρίσιμα για την ασφάλεια ή την ασφάλεια.

Το Questa One SFV RTL Equivalence συγκρίνει αυτόματα τις προδιαγραφές RTL και τα μπλοκ κώδικα RTL υλοποίησης χρησιμοποιώντας εξαντλητική επίσημη ανάλυση. Δεν απαιτείται γνώση επίσημων γλωσσών ή γλωσσών προδιαγραφών ιδιοκτησίας.

Η ανάλυση ευαισθησίας X στο Questa One SFV είναι μια αυτοματοποιημένη λύση που εξαλείφει εξαντλητικά τα ζητήματα «X» σε επίπεδο RTL χωρίς δοκιμαστικό πάγκο.

Η λύση Questa Equivalent FPGA της Siemens διασφαλίζει ότι οι ροές υλοποίησης FPGA, όπως η σύνθεση και οι βελτιστοποιήσεις τοποθεσίας και διαδρομής, δεν εισάγουν λειτουργικά σφάλματα.

Η επαλήθευση Gap Free βελτιστοποιεί την ποιότητα των ψηφιακών σχεδίων αποδεικνύοντας όλη τη λειτουργικότητα για όλες τις εισόδους που οδηγούν σε πρωτοφανή χαμηλά ποσοστά διαφυγής ζητημάτων.

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

Η Questa One SFV Trust Analysis χρησιμοποιεί αυτοματοποιημένη ανάλυση για τον εντοπισμό και την αναφορά προβλημάτων ευπάθειας σχετικά με την ασφάλεια.

Εξασφαλίζει τη συμμόρφωση των σχεδίων RISC-V με ISA και λειτουργικές προϋποθέσεις, επιταχύνοντας την επαλήθευση εξαλείφοντας την ανάγκη δημιουργίας πάγκων δοκιμών.

Η ανάλυση Questa One SFV FPU ελαχιστοποιεί σημαντικά τον φόρτο εργασίας επαλήθευσης, διασφαλίζοντας την ακριβή ευθυγράμμιση των υλοποιήσεων κυμαινόμενου σημείου με τα επιθυμητά αποτελέσματα.

Η ανάλυση προστασίας σφαλμάτων είναι μια λύση βασισμένη στην επίσημη τεχνολογία, η οποία αναλύει σφάλματα εγχύνοντάς τα και ελέγχει επίσημα το αποτέλεσμά τους για ασφάλεια και ασφάλεια υλικού.

Η εφαρμογή Questa Post Silicon Debug αξιοποιεί την επίσημη ανάλυση και τη σύνθεση ιδιοτήτων για να ριζώσει γρήγορα τα προβλήματα αιτιών στη λογική βαθιά μέσα σε ένα SoC και να αποδείξει ότι οι διορθώσεις δεν θα σπάσουν τίποτα άλλο.