Pārskats
Katapulta dizaina pārbaudītājs
Catapult nodrošina savilkumu un formālu analīzi, lai pirms sintēzes apstiprinātu jūsu C++/SystemC dizainu pareizību. Izvairieties no dizaina problēmām, kas saistītas ar neinicializētu atmiņas nolasīšanu, piekļuvi ārpus saistītiem masīviem, nepilnīgiem slēdža paziņojumiem un QoR problēmām, kas var rasties, kodējot HLS.
Verifikācija C++ samazina izmaksas līdz pat 80%
Formāla un statiska linka priekš C++/SystemC
Catapult Design Checker nodrošina vairākus pārbaudes režīmus, kas novērš nepieciešamību pēc simulācijas balstītas problēmas atkļūdošanas jūsu dizainā. Kodēšanas problēmas, QoR problēmas un iespējamās C ++/SystemC līdz RTL neatbilstības un neskaidrības tiek ātri uztvertas, sniedzot precīzu atgriezenisko saiti par avotu un cēloni.
Statiskā līme QoR
Izmantojot Catapult Design Checker, pirms sintēzes ir viegli atrast kopīgas kodēšanas problēmas.
Koncentrējieties uz īpašām problēmām
Catapult Design Checker ļauj lietotājam pielāgot un noteikt prioritātes pārbaudes, lai koncentrētos uz aktuālām problēmām, vienlaikus samazinot troksni no jau zināmām problēmām.
Katapultas apmācība pēc pieprasījuma
Katapult augsta līmeņa sintēzes (HLS) apmācības bibliotēkā pēc pieprasījuma ir mācību ceļu kopums ar moduļiem, lai iepazīstinātu inženierus ar HLS un augsta līmeņa verifikāciju.
Augsta līmeņa sintēzes un verifikācijas grupa
Grupa, lai apspriestu smalkākos projektēšanas un verifikācijas punktus, izmantojot Siemens EDA HLS un HLV rīkus. Pievienojieties diskusijai par jaunām tēmām, funkcijām, saturu un tehniskajiem ekspertiem.
HLSLibs
Bezmaksas un atvērts bibliotēku komplekts, kas ieviests standarta C ++ bitu precīzai aparatūras un programmatūras projektēšanai. Tā ir atvērta kopiena zināšanu un IP apmaiņai HLS, ko var izmantot, lai paātrinātu gan pētniecību, gan dizainu.
HLS dizaina un verifikācijas emuārs
Emuārs, kas aptver nākamās paaudzes augsta līmeņa sintēzes (HLS) projektēšanas un verifikācijas metodoloģijas un metodes.
Katapultas atbalsts
Piekļūstiet detalizētai dokumentācijai, izlaidumiem, resursiem un citiem.
EDA konsultācijas
Palīdzot sasniegt maksimālu biznesa ietekmi, risinot sarežģītas tehnoloģijas un uzņēmumu problēmas ar unikālu izstrādes un dizaina pieredzes un metodoloģijas pieredzes sajaukumu.