Když návrháři přesunou popisy na vysoké úrovni do RTL nebo provedou optimalizace výkonu do RTL, musí vědět, zda je výsledek funkčně ekvivalentní originálu. Motory SLEC poskytují řešení pro ruční, vysokoúrovňovou syntézu (generované katapultem) a kontrolu ekvivalence RTL optimalizované pro výkon.
Tento výkonný ověřovací přístup ve spojení s řadou nejlepších motorů ve své třídě umožňuje lov chyb, omezenou kontrolu a úplné strategie. SLEC je navržen tak, aby doplnil typické ověřování založené na simulaci, a je integrován s ladicími nástroji, jako je Siemens EDA Visualizer, pro pochopení padělání.
Pro nejnáročnější výzvy manuálního formálního ověřování zahrnující složité implementace v ručně kódovaném RTL. Systém SLEC poskytuje funkce umožňující formální prokazování konstrukčních bloků tak náročné, jako je dvojitá přesnost násobení s plovoucí desetinnou čárkou, vícenásobné přidávání a další problémy, které jednoduše nelze vyčerpávajícím způsobem simulovat v RTL.
Knihovna školení Catapult High-Level Synthesis (HLS) na vyžádání obsahuje sadu výukových cest s moduly, které inženýrům seznámí s HLS a ověřováním na vysoké úrovni.
Skupina, která bude diskutovat o jemnějších bodech návrhu a ověřování pomocí nástrojů Siemens EDA HLS a HLV. Připojte se k diskusi o nových tématech, funkcích, obsahu a technických expertech.
Volná a otevřená sada knihovek implementovaných ve standardním C++ pro bitově přesný návrh hardwaru a softwaru. Je to otevřená komunita pro výměnu znalostí a IP pro HLS, kterou lze použít k urychlení výzkumu i designu.
Blog pokrývající metodiky a techniky návrhu a ověřování syntézy na vysoké úrovni (HLS) nové generace.
Získejte přístup k podrobné dokumentaci, vydáním, zdrojům a dalším.
Pomáháme vám dosáhnout maximálního obchodního dopadu řešením složitých technologických a podnikových výzev s jedinečnou kombinací zkušeností s vývojem a designem a odborných znalostí metodologie.