Skip to main content
K zobrazení této stránky byl použit automatický překlad. Chcete ji raději zobrazit v angličtině?

Přehled

Kontrola návrhu katapultu

Catapult přináší vlákna a formální analýzu k ověření správnosti vašich návrhů C++/SystemC před syntézou. Vyhněte se problémům s návrhem spojeným s neinicializovaným čtením paměti, přístupem mimo vázané pole, neúplnými příkazy přepínače a problémy QoR, které mohou nastat při kódování pro HLS.


Ověření v C++ snižuje náklady až o 80%

Promo kontrola designu katapultu
KLÍČOVÉ FUNKCE

Formální a statické vlákno pro C ++/SystemC

Catapult Design Checker poskytuje několik kontrolních režimů, které odstraňují potřebu ladění problémů v návrhu založené na simulaci. Problémy s kódováním, problémy QoR a potenciální nesoulady a nejednoznačnosti C++/SystemC k RTL jsou rychle zachyceny a poskytují přesnou zpětnou vazbu ohledně zdroje a příčiny.

NAJÍT PROBLÉMY S QOR

Statické vlákno pro QoR

Nalezení běžných problémů v kódování před syntézou je snadné s Catapult Design Checker.

statické vlákna pro tok QoR: Nalezení běžných problémů při kódování před syntézou je snadné s Catapult Design Checker.
Režim vlastní kontroly

Zaměřte se na konkrétní problémy

Catapult Design Checker umožňuje uživateli přizpůsobit a upřednostňovat kontroly tak, aby se zaměřili na naléhavé problémy a zároveň snížili hluk z již známých problémů.

Diagram vývojového diagramu zobrazující kroky pro vlastní proces kontroly se šipkami spojujícími různé tvary a textové prvky.

Jste připraveni na rozhovor o Design Checker?

Jakékoli dotazy, které můžete mít, budeme mít odpovědi!

subject=catapult%20design%20checker%20inquiry%20> Napište nám

Školení katapultu na vyžádání

Školicí knihovna 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 pro syntézu a ověřování 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 odborníků.

HLSLIB

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.

Ikona s modrou kapkou vody a bílým obrysem knihy.

Blog o návrhu a ověřování HLS

Blog pokrývající metodiky a techniky návrhu a ověřování syntézy na vysoké úrovni (HLS) nové generace.

Náhlavní souprava

Podpora katapultu

Získejte přístup k podrobné dokumentaci, vydáním, zdrojům a dalším.

Poradenství EDA

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.