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