Aplikace zaměřené na HL jsou pluginy kompatibilní se stávajícími toky RTL a principy UVM, cílené na:
Catapult Design Checker poskytuje několik režimů statické a formální kontroly pomocí tlačítek, které snižují potřebu ověřování vašeho návrhu na základě simulace. Problémy s kódováním, nejasnosti zdroje návrhu, obavy QoR a zdroje potenciálních nesouladů HLS C++/SystemC k RTL jsou rychle zachyceny a je poskytována zpětná vazba ohledně zdroje a příčiny.
Catapult Formal Assert je formální ověřovací aplikace integrovaná s Catapult HLS. Tvrzení napsaná v C-Source budou vyhodnocena pomocí výkonných formálních řešitelů, které poskytují rychlou odezvu, konfigurovatelné časové limity a strategie řešení, a robustní ladicí prostředí. Tvrdit, předpokládat a obal jsou podporovány. Protipříklady vytvářejí testovací stůl na úrovni C a výchozí nastavení gdb, stejně jako grafický ladicí program Vizualizeru SEDA.
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.
