Pregled
Preverjevalnik oblikovanja katapulta
Catapult prinaša vlakna in formalno analizo za potrditev pravilnosti vaših C++/SystemC modelov pred sintezo. Izogibajte se težavam pri načrtovanju, povezanim z neinicializiranim branjem pomnilnika, dostopom zunaj vezanih matrik, nepopolnimi izjavami stikala in težavami s QoR, ki se lahko pojavijo pri kodiranju za HLS.
Preverjanje na C++ zmanjša stroške do 80%
Formalna in statična vlakna za C++/SystemC
Catapult Design Checker ponuja več načinov preverjanja, ki odpravljajo potrebo po odpravljanju napak težav v vašem zasnovi na podlagi simulacije. Težave s kodiranjem, težave s QoR in morebitne neusklajenosti in dvoumnosti C ++/SystemC do RTL so hitro zajete in dajejo natančne povratne informacije o viru in vzroku.
Statična vlakna za QoR
Iskanje pogostih težav pri kodiranju pred sintezo je enostavno s katapult Design Checker.
Osredotočite se na posebne težave
Catapult Design Checker omogoča uporabniku, da prilagodi in daje prednost preverjanjem, da se osredotoči na pereče težave, hkrati pa zmanjša hrup zaradi že znanih težav.
Katapult usposabljanje na zahtevo
Knjižnica usposabljanja na zahtevo Catapult High-Level Synthesis (HLS) vsebuje niz učnih poti z moduli za seznanitev inženirjev s HLS in preverjanjem na visoki ravni.
Skupina za sintezo in preverjanje na visoki ravni
Skupina za razpravo o natančnejših točkah oblikovanja in preverjanja z uporabo orodij Siemens EDA HLS in HLV. Pridružite se razpravi o novih temah, funkcijah, vsebini in tehničnih strokovnjakih.
HLSLibs
rezplačen in odprt nabor knjižnic, implementiranih v standardnem C ++ za bitno natančno oblikovanje strojne in programske opreme. Gre za odprto skupnost za izmenjavo znanja in intelektualne lastnine za HLS, ki jo je mogoče uporabiti za pospešitev raziskav in oblikovanja.
Blog o oblikovanju in preverjanju HLS
Blog, ki zajema metodologije in tehnike oblikovanja in preverjanja sinteze na visoki ravni (HLS) naslednje generacije.
Podpora za katapult
Dostopajte do podrobne dokumentacije, izdaj, virov in še več.
EDA svetovanje
Pomagamo vam doseči največji poslovni vpliv z reševanjem zapletenih tehnoloških in podjetniških izzivov z edinstveno mešanico razvojnih in oblikovalskih izkušenj ter metodološkega strokovnega znanja.