Keď dizajnéri presúvajú popisy na vysokej úrovni do RTL alebo vykonávajú optimalizáciu výkonu na RTL, musia vedieť, či je výsledok funkčne ekvivalentný originálu. Motory SLEC poskytujú riešenia pre manuálnu syntézu na vysokej úrovni (generovanú katapultom) a kontrolu ekvivalencie RTL optimalizovanej výkonu.
Tento výkonný overovací prístup v kombinácii s radom najlepších motorov vo svojej triede umožňuje lov chýb, kontrolu hraníc a stratégie plnej odolnosti. SLEC je navrhnutý tak, aby dopĺňal typické overovanie založené na simulácii a je integrovaný s ladiacimi nástrojmi, ako je Siemens EDA Visualizer na pochopenie falšovania.
Pre najťažšie výzvy manuálneho formálneho overovania zahŕňajúce komplexné implementácie v ručne kódovanom RTL. Systém SLEC poskytuje možnosti umožňujúce formálny dôkaz konštrukčných blokov tak náročných, ako je dvojitá presnosť násobenia s pohyblivým bodom, mult-add a ďalšie problémy, ktoré jednoducho nemožno vyčerpávajúco simulovať v RTL.
Školiaca knižnica Catapult High-Level Synthesis (HLS) na požiadanie obsahuje súbor vzdelávacích ciest s modulmi, ktoré predstavujú inžinierom HLS a overovanie na vysokej úrovni.
Skupina, ktorá bude diskutovať o jemnejších bodoch návrhu a overovania pomocou nástrojov Siemens EDA HLS a HLV. Pripojte sa k diskusii o nových témach, funkciách, obsahu a technických odborníkoch.
Voľná a otvorená sada knižníc implementovaných v štandardnom C++ pre bitovú presnosť hardvéru a softvéru. Je to otvorená komunita pre výmenu vedomostí a IP pre HLS, ktorá môže byť použitá na urýchlenie výskumu aj dizajnu.
Blog pokrývajúci metodológie a techniky návrhu a overovania syntézy na vysokej úrovni (HLS) novej generácie.
Prístup k podrobnej dokumentácii, vydaniam, zdrojom a ďalším.
Pomáhame vám dosiahnuť maximálny obchodný vplyv riešením komplexných technologických a podnikových výziev s jedinečnou zmesou skúseností s vývojom a dizajnom a odborných znalostí v oblasti metodológie.