Aplicațiile centrate pe HL sunt compatibile cu plug-in-urile existente cu fluxurile RTL și principiile UVM, vizând:
Catapult Design Checker oferă mai multe moduri de verificare statică și formală cu butoane care diminuează nevoia de verificare bazată pe simulare a designului dvs. Problemele de codificare, ambiguitățile sursei de proiectare, preocupările QoR și sursele de potențiale nepotriviri HLS C++/SystemC la RTL sunt surprinse rapid și se oferă feedback cu privire la sursă și cauză.
Catapult Formal Assert este o aplicație formală de verificare integrată cu Catapult HLS. Afirmațiile scrise în C-Source vor fi evaluate cu rezolvatori formali puternici care oferă răspuns rapid, perioade de timp configurabile și strategii de rezolvare și un mediu robust de depanare. Afirmăm, presupune și copertă sunt susținute. Contra-exemplele creează un testbench de nivel C și setări gdb implicite, precum și un depanator grafic al formei de undă a SEDA Visualizer.
Biblioteca de instruire la cerere Catapult High-Level Synthesis (HLS) conține un set de căi de învățare cu module pentru a introduce inginerii în HLS și verificarea la nivel înalt.
Un grup pentru a discuta punctele mai fine de proiectare și verificare folosind instrumentele Siemens EDA HLS și HLV. Alăturați-vă discuției pe teme noi, caracteristici, conținut și experți tehnici.
Un set liber și deschis de biblioteci implementate în C ++ standard pentru proiectarea hardware și software cu precizie de biți. Este o comunitate deschisă pentru schimbul de cunoștințe și IP pentru HLS care poate fi utilizată pentru a accelera atât cercetarea, cât și proiectarea.
Blog care acoperă metodologiile și tehnicile de proiectare și verificare de sinteză la nivel înalt (HLS) de generație următoare.
Accesați documentație detaliată, versiuni, resurse și multe altele.
Ajutându-vă să obțineți un impact maxim asupra afacerii prin abordarea provocărilor complexe de tehnologie și de întreprindere cu un amestec unic de experiență în dezvoltare și proiectare și expertiză metodologică.
