Aplikácie zamerané na HL sú pluginom kompatibilné s existujúcimi RTL tokmi a UVM princípmi, ktoré sa zameriavajú na:
Catapult Design Checker poskytuje viacero režimov statickej a formálnej kontroly tlačidiel, ktoré znižujú potrebu overovania vášho dizajnu založeného na simulácii. Problémy s kódovaním, nejasnosti zdroja dizajnu, obavy o QoR a zdroje potenciálnych nesúladov HLS C++/SystemC až RTL sú rýchlo zachytené a poskytuje sa spätná väzba k zdroju a príčine.
Catapult Formal Assert je aplikácia na formálne overovanie integrovaná s Catapult HLS. Tvrdenia napísané v C-Source budú hodnotené pomocou výkonných formálnych riešiteľov, ktoré poskytujú rýchlu odozvu, konfigurovateľné časové limity a stratégie riešenia a robustné ladenie. Tvrdiť, predpokladať a veko sú podporované. Protipríklady vytvárajú testovací stôl na úrovni C a predvolené nastavenia gdb, ako aj grafický ladič vlny od SEDA Visualizer.
Š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.
