Το Questa One Sim Xact είναι μια καινοτόμος επίσημη ανάλυση και αυτοματοποίηση ροής που βελτιστοποιεί την εγκατάσταση GLS, οδηγώντας σε καλύτερη και πληρέστερη επαλήθευση εγγραφής.
Το Questa One Sim Xact επιτρέπει πολύ πιο γρήγορη εγκατάσταση προσομοίωσης σε επίπεδο πύλης, εξαλείφοντας αυτόματα τα ενοχλητικά ψευδή X, τις συνθήκες αγώνα μηδενικής καθυστέρησης και τα σφάλματα μοντελοποίησης βιβλιοθήκης, ενώ απομονώνει προβλήματα συνδεσιμότητας που είναι δύσκολο να διαγνωσθούν. Επιπλέον, υποστηρίζει προηγμένα εργαλεία ανίχνευσης πραγματικών αιτιών X.
Η τυπικά ενισχυμένη λογική προσομοίωση εκτελεί δυναμικά ανάλυση X-απαισιοδοξίας, αναλύει τη διάδοση Χ σε διαστήματα δεδομένων και λογική κλειστού ρολογιού και επιδιορθώνει εν κινήσει.
Το GLS μηδενικής καθυστέρησης μπορεί να επιδείξει συνθήκες αγώνα, ειδικά σε σχέδια με κλειστές γραμμές χρονισμού και καθυστέρησης. Η γεννήτρια «ψευδο-SDF» επιλύει αποτελεσματικά ζητήματα κατάστασης αγώνων χωρίς την ανάγκη τροποποίησης βιβλιοθηκών κυττάρων.
Η ανάλυση διάδοσης δύναμης/απελευθέρωσης επιβεβαιώνει πότε οι δυνάμεις έχουν βελτιστοποιηθεί μακριά και δεν οδηγούν πλέον καμία λογική εξαερισμού. Η ανάλυση συνδεσιμότητας βρίσκει ενότητες με μη καθοδηγούμενες εισόδους που δημιουργούν πηγές Χ.
Το Questa One Sim Xact προσφέρει μια βελτιωμένη μεθοδολογία για την γρήγορη και εύκολη εμφάνιση προσομοίωσης σε επίπεδο πύλης. Η κατοχυρωμένη με δίπλωμα ευρεσιτεχνίας τεχνολογία της μπορεί να αναλύσει αποτελεσματικά μια προσομοίωση χρησιμοποιώντας συνδυαστική ανάλυση για να προσδιορίσει εάν οι τιμές Χ στις εισόδους D ενός flip-flop είναι ψευδείς λόγω της X-απαισιοδοξίας ή πραγματικές. Εξαλείφει αυτόματα τα ψευδή Χ, τα οποία επιτρέπουν στην προσομοίωση επιπέδου πύλης να παράγει τα σωστά αποτελέσματα.
Η Siemens EDA προσφέρει υποστήριξη πελατών παγκόσμιας κλάσης για το Questa One Sim και όλα τα προϊόντα μας.
Η Ακαδημία Επαλήθευσης παρέχει τις δεξιότητες που απαιτούνται για την ωρίμανση των δυνατοτήτων λειτουργικής διαδικασίας επαλήθευσης ενός οργανισμού, παρέχοντας μια μεθοδολογική γέφυρα μεταξύ προτάσεων αξίας υψηλού επιπέδου και λεπτομερειών χαμηλού επιπέδου.
Για να βοηθήσετε στην κατανόηση των προηγμένων τεχνολογιών λειτουργικής επαλήθευσης και τον τρόπο αποτελεσματικότερης εφαρμογής τους, επισκεφθείτε το ιστολόγιό μας για πληροφορίες και ενημερώσεις σχετικά με έννοιες, αξίες, πρότυπα, μεθοδολογίες και παραδείγματα.
