Questa FPU | Siemens

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

Επικοινωνήστε με την ομάδα πωλήσεών μας 1-800-547-3000

Βασικά χαρακτηριστικά

Επίσημη επαλήθευση του υλικού κινητού σημείου IEEE 754

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

Η εφαρμογή Questa FPU έχει σχεδιαστεί για να διασφαλίζει ότι οι FPUs συμμορφώνονται με το πρότυπο IEEE 754, το οποίο αποτελεί το σημείο αναφοράς για την ακρίβεια υπολογισμού κυμαινόμενου σημείου. Είναι ζωτικής σημασίας για την επιστημονική, ηχητική, ψηφιακή και γραφική υπολογιστική, όπου η ακρίβεια είναι υψίστης σημασίας σε ποικίλες σειρές τιμών. Η χρησιμότητα του εργαλείου επεκτείνεται σε μια ποικιλία υλικού, συμπεριλαμβανομένων των τσιπ ASIC και FPGA, τα οποία είναι αναπόσπαστα σε συστήματα όπου η ασφάλεια είναι αδιαπραγμάτευτη, όπως στα όργανα αυτοκινήτων και πυρηνικών σταθμών ηλεκτροπαραγωγής.

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

Επίσημη επαλήθευση

Προτεινόμενα λευκά χαρτιά

Επίσημη επαλήθευση

Προσεχείς και κατά παραγγελία εκδηλώσεις

Δείτε όλες τις διαθέσιμες επίσημες εγγραφές βίντεο επαλήθευσης στο Ακαδημία Επαλήθευσης.