Το FormalPro χρησιμοποιεί στατικές επίσημες τεχνικές επαλήθευσης για να αποδείξει ότι ένα σχέδιο είναι λειτουργικά πανομοιότυπο με τη χρυσή αναφορά του. Αυτή είναι τάξεις μεγέθους ταχύτερη από την παραδοσιακή προσομοίωση σε επίπεδο πύλης - τα σχέδια που διαρκούν ημέρες ή εβδομάδες μπορούν να επαληθευτούν σε ώρες ή και λεπτά χρησιμοποιώντας το FormalPro.
Αποδείξτε γρήγορα ότι ένα σχέδιο είναι λειτουργικά πανομοιότυπο - συγκρίνετε το RTL με το gate netlist για σύνθεση, netlists από πύλη σε πύλη για περιστροφές διάταξης. Χρησιμοποιήστε ένα εργαλείο και ροή για όλα τα σχέδιά σας.
Ταχεία επαλήθευση σχεδίων πύλης πολλών εκατομμυρίων και δραματική μείωση του χρόνου επαλήθευσης χρησιμοποιώντας στατικές επίσημες τεχνικές επαλήθευσης. Ταχύτερη διαδρομή για τη διόρθωση του σχεδιασμού με ένα ολοκληρωμένο εργαλείο εντοπισμού σφαλμάτων που προσδιορίζει την τοποθεσία/αιτία των σφαλμάτων και τη μοναδική δυνατότητα «what-if» για τη διερεύνηση τροποποιήσεων σχεδιασμού εντός της υπάρχουσας περιόδου επαλήθευσης.
Λάβετε μέρος στη συζήτηση για νέα θέματα, χαρακτηριστικά, περιεχόμενο και τεχνικούς εμπειρογνώμονες.
Αποκτήστε πρόσβαση σε λεπτομερείς σημειώσεις εφαρμογών χρήστη, εκπαιδευτικούς πόρους και πολλά άλλα.
Βοηθώντας σας να επιτύχετε το μέγιστο επιχειρηματικό αντίκτυπο αντιμετωπίζοντας πολύπλοκες τεχνολογικές και επιχειρηματικές προκλήσεις με ένα μοναδικό μείγμα εμπειρίας ανάπτυξης και σχεδιασμού και τεχνογνωσίας μεθοδολογίας.
