Áttekintés
Katapult tervezési ellenőrző
A Catapult szösz és formális elemzést kínál a C++/SystemC tervek helyességének ellenőrzéséhez a szintézis előtt. Kerülje el a nem inicializált memóriaolvasással, a kötött tömbkön kívüli hozzáférésekkel, a hiányos kapcsolóutasításokkal és a QoR-problémákkal kapcsolatos tervezési problémákat, amelyek a HLS kódolásakor fordulhatnak elő.
A C++ ellenőrzés akár 80% -kal csökkenti a költségeket
Formális és statikus zsinór a C++/SystemC-hez
Catapult Design Checker több ellenőrzési módot biztosít, amelyek kiküszöbölik a tervezés során fellépő problémák szimulációs alapú hibakeresésének szükségességét. A kódolási problémák, a QoR-problémák és a lehetséges C++/SystemC és RTL közötti eltérések és kétértelműségek gyorsan felderülnek, és pontos visszajelzést adnak a forrásról és az okról.
Statikus szalag a QoR-hez
Catapult Design Checker segítségével könnyű megtalálni a kódolással kapcsolatos gyakori problémákat a Synthesis előtt.
Koncentráljon a konkrét problémákra
A Catapult Design Checker lehetővé teszi a felhasználó számára, hogy testreszabhassa és rangsorolja az ellenőrzéseket, hogy a sürgős problémákra összpontosítson, miközben csökkenti a már ismert problémák zaját.
Katapult igény szerinti képzés
A Catapult High-Level Synthesis (HLS) igény szerinti képzési könyvtár olyan modulokkal ellátott tanulási útvonalakat tartalmaz, amelyek megismertetik a mérnököket a HLS-be és a magas szintű ellenőrzéssel.
Magas szintű szintézis és ellenőrző csoport
Egy csoport, amely megvitatja a tervezés és az ellenőrzés finomabb pontjait a Siemens EDA HLS és HLV eszközök segítségével. Csatlakozzon az új témákról, funkciókról, tartalomról és műszaki szakértőkről szóló vitához.
HLSLibs
Szabványos C ++ nyelven megvalósított ingyenes és nyitott könyvtárakat a bitpontos hardver- és szoftvertervezéshez. Ez egy nyílt közösség a tudáscserére és az IP HLS számára, amely felhasználható mind a kutatás, mind a tervezés felgyorsítására.
HLS tervezési és ellenőrzési blog
következő generációs magas szintű szintézis (HLS) tervezési és ellenőrzési módszereit és technikáit bemutató blog.
Katapult támogatás
Hozzáférhet a részletes dokumentációhoz, kiadásokhoz, forrásokhoz és egyebekhez
EDA tanácsadás
Segít a maximális üzleti hatás elérésében az összetett technológiai és vállalati kihívások kezelésével a fejlesztési és tervezési tapasztalatok és a módszertani szakértelem egyedülálló keverékével.