Ko oblikovalci premaknejo opise na visoki ravni v RTL ali optimizirajo moč v RTL, morajo vedeti, ali je rezultat funkcionalno enakovreden izvirniku. Motorji SLEC zagotavljajo rešitve za ročno sintezo na visoki ravni (generirano s katapultom) in preverjanje enakovrednosti RTL, optimizirano za moč.
Ta zmogljiv pristop preverjanja v kombinaciji z vrsto najboljših motorjev v svojem razredu omogoča lov na hrošče, preverjanje meja in strategije popolne zaščite. SLEC je zasnovan tako, da dopolnjuje tipično preverjanje, ki temelji na simulaciji, in je integriran z orodji za odpravljanje napak, kot je Siemens EDA Visualizer za razumevanje ponaredkov.
Za najtežje izzive ročnega formalnega preverjanja, ki vključujejo zapletene izvedbe v ročno kodiranem RTL. SLEC-sistem ponuja zmogljivosti, ki omogočajo formalno dokazovanje oblikovalskih blokov, tako zahtevnih, kot so dvojno natančno množenje s plavajočimi točkami, večkratno dodajanje in druge težave, ki jih preprosto ni mogoče izčrpno simulirati v RTL.
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 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.
Brezplač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, ki zajema metodologije in tehnike oblikovanja in preverjanja sinteze na visoki ravni (HLS) naslednje generacije.
Dostopajte do podrobne dokumentacije, izdaj, virov in še več.
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.