Amikor a tervezők a magas szintű leírásokat áthelyezik az RTL-be, vagy energiaoptimalizálást hajtanak végre az RTL-re, tudniuk kell, hogy az eredmény funkcionálisan egyenértékű-e az eredetivel. Az SLEC motorok megoldásokat kínálnak kézi, magas szintű szintézishez (katapult által generált) és teljesítményoptimalizált RTL-ekvivalencia-ellenőrzéshez.
Az osztályának legjobb motorjaival párosítva ez a hatékony ellenőrzési módszer lehetővé teszi a hibakadászatot, a határellenőrzést és a teljes körű ellenőrzési stratégiákat. Az SLEC-t úgy tervezték, hogy kiegészítse a tipikus szimulációs alapú ellenőrzést, és integrálva van olyan hibakeresési eszközökkel, mint a Siemens EDA Visualizer a hamisítások megértéséhez.
A legnehezebb kézi formális ellenőrzési kihívásokhoz, amelyek összetett implementációkat magukban foglalnak a kézzel kódolt RTL-ben. A SLEC-rendszer olyan képességeket kínál, amelyek lehetővé teszik a tervezési blokkok formális bizonyítását, amelyek olyan kihívást jelentenek, mint a kettős pontosságú lebegőpontos szorzás, a mult-add és más olyan problémák, amelyeket egyszerűen nem lehet kimerítően szimulálni az RTL-ben.
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.