Apžvalga
Katapultų dizaino tikrintuvas
“Catapult” suteikia pūkelių ir formalią analizę, kad prieš sintezę patvirtintų jūsų C ++/SystemC dizaino teisingumą. Venkite projektavimo problemų, susijusių su neinicializuotais atminties skaitymais, iš surištų masyvo prieigomis, neišsamiais jungiklio teiginiais ir QoR problemomis, kurios gali atsirasti koduojant HLS.
Patikrinimas C++ sistemoje sumažina išlaidas iki 80%
Formalus ir statinis pūkelis, skirtas C++/SystemC
“Catapult Design Checker” suteikia kelis tikrinimo režimus, kurie pašalina modeliavimu pagrįstą jūsų dizaino problemų derinimo poreikį. Kodavimo problemos, QoR problemos ir galimi C ++/SystemC ir RTL nesutapimai ir dviprasmiškumai greitai sugaunami, suteikiant tikslius atsiliepimus apie šaltinį ir priežastį.
Statinis pūkelis, skirtas “QoR”
Catapult Design Checker” lengva rasti bendrų kodavimo problemų prieš “Synthesis”.
Dėmesys konkrečioms problemoms
“Catapult Design Checker” leidžia vartotojui pritaikyti ir nustatyti prioritetus patikrinimus, kad būtų sutelktas dėmesys į neatidėliotinas problemas, tuo pačiu sumažinant triukšmą nuo jau žinomų problemų.
“Catapult” mokymai pagal pareikalavimą
“Catapult High-Level Synthesis” (HLS) užsakomųjų mokymo bibliotekoje yra mokymosi takų rinkinys su moduliais, skirtais supažindinti inžinierius su HLS ir aukšto lygio patikrinimu.
Aukšto lygio sintezės ir tikrinimo grupė
Grupė, skirta aptarti smulkesnius projektavimo ir tikrinimo taškus naudojant Siemens EDA HLS ir HLV įrankius. Prisijunkite prie diskusijos naujomis temomis, funkcijomis, turiniu ir techniniais ekspertais.
HLSLibs
Nemokamas ir atviras bibliotekų rinkinys, įdiegtas standarte C ++, skirtas bitų tiksliam aparatinės ir programinės įrangos projektavimui. Tai atvira bendruomenė, skirta keistis žiniomis ir IP HLS, kuri gali būti naudojama siekiant pagreitinti tiek mokslinius tyrimus, tiek dizainą.
HLS projektavimo ir tikrinimo tinklaraštis
Dienoraštis, apimantis naujos kartos aukšto lygio sintezės (HLS) projektavimo ir tikrinimo metodikas ir metodus.
Katapultų palaikymas
Pasiekite išsamią dokumentaciją, leidimus, išteklius ir dar daugiau.
EDA konsultacijos
Padedame pasiekti maksimalų verslo poveikį sprendžiant sudėtingus technologijų ir įmonių iššūkius su unikaliu kūrimo ir projektavimo patirties ir metodologijos patirties deriniu.