Όταν οι σχεδιαστές μετακινούν περιγραφές υψηλού επιπέδου στο RTL ή κάνουν βελτιστοποιήσεις ισχύος στο RTL, πρέπει να γνωρίζουν εάν το αποτέλεσμα είναι λειτουργικά ισοδύναμο με το πρωτότυπο. Οι κινητήρες SLEC παρέχουν λύσεις για χειροκίνητη σύνθεση υψηλού επιπέδου (παραγόμενη από καταπέλτη) και βελτιστοποιημένο έλεγχο ισοδυναμίας RTL.
Σε συνδυασμό με μια σειρά από καλύτερους κινητήρες στην κατηγορία, αυτή η ισχυρή προσέγγιση επαλήθευσης επιτρέπει την αναζήτηση σφαλμάτων, τον περιορισμένο έλεγχο και τις στρατηγικές πλήρους προστασίας. Το SLEC έχει σχεδιαστεί για να συμπληρώνει την τυπική επαλήθευση βάσει προσομοίωσης και είναι ενσωματωμένο με εργαλεία εντοπισμού σφαλμάτων όπως το Siemens EDA Visualizer για την κατανόηση παραποιήσεων.
Για τις πιο δύσκολες προκλήσεις χειροκίνητης επίσημης επαλήθευσης που περιλαμβάνουν πολύπλοκες υλοποιήσεις σε χειρόγραφα RTL. Το σύστημα SLEC παρέχει δυνατότητες που επιτρέπουν την επίσημη απόδειξη των σχεδιαστικών μπλοκ τόσο απαιτητικών όσο ο πολλαπλασιασμός κυμαινόμενου σημείου διπλής ακρίβειας, η πολλαπλή προσθήκη και άλλα προβλήματα που απλά δεν μπορούν να προσομοιωθούν εξαντλητικά στο RTL.
Η βιβλιοθήκη κατάρτισης Catapult High-Level Synthesis (HLS) κατά παραγγελία περιέχει ένα σύνολο μαθησιακών μονοπατιών με ενότητες για την εισαγωγή μηχανικών στο HLS και την επαλήθευση υψηλού επιπέδου.
Μια ομάδα για να συζητήσει τα λεπτότερα σημεία σχεδιασμού και επαλήθευσης χρησιμοποιώντας εργαλεία Siemens EDA HLS και HLV. Λάβετε μέρος στη συζήτηση για νέα θέματα, χαρακτηριστικά, περιεχόμενο και τεχνικούς εμπειρογνώμονες.
Ένα ελεύθερο και ανοιχτό σύνολο βιβλιοθηκών που υλοποιούνται σε πρότυπο C ++ για σχεδιασμό υλικού και λογισμικού με ακρίβεια bit. Είναι μια ανοιχτή κοινότητα για ανταλλαγή γνώσεων και IP για το HLS που μπορεί να χρησιμοποιηθεί για την επιτάχυνση τόσο της έρευνας όσο και του σχεδιασμού.
Ιστολόγιο που καλύπτει μεθοδολογίες και τεχνικές σχεδιασμού και επαλήθευσης σύνθεσης υψηλού επιπέδου επόμενης γενιάς (HLS).
Αποκτήστε πρόσβαση σε λεπτομερή τεκμηρίωση, εκδόσεις, πόρους και άλλα.
Βοηθώντας σας να επιτύχετε το μέγιστο επιχειρηματικό αντίκτυπο αντιμετωπίζοντας πολύπλοκες τεχνολογικές και επιχειρηματικές προκλήσεις με ένα μοναδικό μείγμα εμπειρίας ανάπτυξης και σχεδιασμού και τεχνογνωσίας μεθοδολογίας.