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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Το Analyze Architecture είναι μια πρωτοποριακή λύση που παρέχει στον χρήστη τη δυνατότητα να επαληθεύει μεγάλα συστήματα υλικού εάν συμμορφώνονται με την καθορισμένη αρχιτεκτονική.

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