A HL-központú alkalmazások beépülő modullal kompatibilisek a meglévő RTL-áramlásokkal és UVM elvekkel, amelyek a következőket céloznak
A Catapult Design Checker több nyomógombos statikus és formális ellenőrzési módot biztosít, amelyek csökkentik a tervezés szimulációs alapú ellenőrzésének szükségességét. A kódolási problémák, a tervezési források kétértelműségei, a QoR-aggályok és a potenciális HLS C ++/SystemC és RTL közötti eltérések forrásai gyorsan felderülnek, és visszajelzést kapnak a forrásról és az okról.
A Catapult Formal Assert egy hivatalos ellenőrző alkalmazás, amely integrálva van a Catapult HLS-be. A C-Source alkalmazásban írt állításokat hatékony formális megoldásokkal értékeljük, amelyek gyors választ, konfigurálható időtúlásokat és megoldási stratégiákat, valamint robusztus hibakeresési környezetet biztosítanak. Állítson, feltételezni és borító támogatottak. Az ellenpéldák létrehoznak egy C-szintű tesztpadot és az alapértelmezett gdb beállításokat, valamint a SEDA Visualizer grafikus hullámforma hibakeresőjét.
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.
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.
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.
A következő generációs magas szintű szintézis (HLS) tervezési és ellenőrzési módszereit és technikáit bemutató blog.
Hozzáférhet a részletes dokumentációhoz, kiadásokhoz, forrásokhoz és egyebekhez
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.
