Οι εφαρμογές με επίκεντρο το HL είναι συμβατές με τις υπάρχουσες ροές RTL και τις αρχές UVM, στοχεύοντας:
Το Catapult Design Checker παρέχει πολλαπλές στατικές και επίσημες λειτουργίες ελέγχου με κουμπιά που μειώνουν την ανάγκη για επαλήθευση βάσει προσομοίωσης του σχεδίου σας. Ζητήματα κωδικοποίησης, ασάφειες πηγής σχεδιασμού, ανησυχίες QoR και πηγές πιθανών αναντιστοιχιών HLS C++/SystemC προς RTL εντοπίζονται γρήγορα και παρέχονται σχόλια σχετικά με την πηγή και την αιτία.
Το Catapult Formal Assert είναι μια επίσημη εφαρμογή επαλήθευσης ενσωματωμένη στο Catapult HLS. Οι ισχυρισμοί που γράφονται στο C-Source θα αξιολογηθούν με ισχυρούς επίσημους επιλύτες που παρέχουν γρήγορη απόκριση, διαμορφώσιμα χρονικά όρια και στρατηγικές επίλυσης, και ένα ισχυρό περιβάλλον εντοπισμού σφαλμάτων. Διεκδικήστε, υποθέτω και εξώφυλλο υποστηρίζονται. Τα αντίθετα παραδείγματα δημιουργούν έναν πάγκο δοκιμών επιπέδου C και προεπιλεγμένες ρυθμίσεις gdb, καθώς και ένα πρόγραμμα εντοπισμού σφαλμάτων γραφικών κυματομορφών του SEDA Visualizer.
Η βιβλιοθήκη κατάρτισης Catapult High-Level Synthesis (HLS) κατά παραγγελία περιέχει ένα σύνολο μαθησιακών μονοπατιών με ενότητες για την εισαγωγή μηχανικών στο HLS και την επαλήθευση υψηλού επιπέδου.
Μια ομάδα για να συζητήσει τα λεπτότερα σημεία σχεδιασμού και επαλήθευσης χρησιμοποιώντας εργαλεία Siemens EDA HLS και HLV. Λάβετε μέρος στη συζήτηση για νέα θέματα, χαρακτηριστικά, περιεχόμενο και τεχνικούς εμπειρογνώμονες.
Ένα ελεύθερο και ανοιχτό σύνολο βιβλιοθηκών που υλοποιούνται σε πρότυπο C ++ για σχεδιασμό υλικού και λογισμικού με ακρίβεια bit. Είναι μια ανοιχτή κοινότητα για ανταλλαγή γνώσεων και IP για το HLS που μπορεί να χρησιμοποιηθεί για την επιτάχυνση τόσο της έρευνας όσο και του σχεδιασμού.
Ιστολόγιο που καλύπτει μεθοδολογίες και τεχνικές σχεδιασμού και επαλήθευσης σύνθεσης υψηλού επιπέδου επόμενης γενιάς (HLS).
Αποκτήστε πρόσβαση σε λεπτομερή τεκμηρίωση, εκδόσεις, πόρους και άλλα.
Βοηθώντας σας να επιτύχετε το μέγιστο επιχειρηματικό αντίκτυπο αντιμετωπίζοντας πολύπλοκες τεχνολογικές και επιχειρηματικές προκλήσεις με ένα μοναδικό μείγμα εμπειρίας ανάπτυξης και σχεδιασμού και τεχνογνωσίας μεθοδολογίας.
