Yleiskatsaus
Katapultin suunnittelun tarkistaja
Catapult tuo nukkaa ja muodollisen analyysin C++/SystemC-mallien oikeellisuuden validoimiseksi ennen synteesiä. Vältä suunnitteluongelmia, jotka liittyvät alustamattomiin muistilukuihin, sidotun taulukon ulkopuolisiin käyttöoikeuksiin, epätäydellisiin kytkinlausekkeisiin ja QoR-ongelmiin, joita voi ilmetä HLS-koodauksen yhteydessä.
Verifiointi C ++: lla vähentää kustannuksia jopa 80%
Muodollinen ja staattinen nukka C ++/SystemC: lle
Catapult Design Checker tarjoaa useita tarkistustiloja, jotka poistavat suunnittelun ongelmien simulaatiopohjaisen virheenkorjauksen tarpeen. Koodausongelmat, QoR-ongelmat ja mahdolliset C++/SystemC - RTL -yhteensopimattomuudet ja epäselvyydet saadaan nopeasti antamalla tarkkaa palautetta lähteestä ja syystä.
Staattinen nukka QoR:lle
Yleisten koodausongelmien löytäminen ennen synteesiä on helppoa Catapult Design Checkerin avulla.
Keskity erityisiin ongelmiin
Catapult Design Checker antaa käyttäjälle mahdollisuuden mukauttaa ja priorisoida tarkistuksia keskittyäkseen kiireellisiin ongelmiin ja vähentäen samalla jo tunnettujen ongelmien aiheuttamaa melua.
Catapult-tilauskoulutus
Catapultin korkean tason synteesin (HLS) on-demand-koulutuskirjasto sisältää joukon oppimispolkuja moduuleilla, jotka tutustuttavat insinööreihin HLS: ään ja korkean tason todentamiseen.
Korkean tason synteesi- ja todentamisryhmä
Ryhmä keskustelemaan suunnittelun ja todentamisen hienoista kohdista Siemens EDA HLS- ja HLV-työkalujen avulla. Liity keskusteluun uusista aiheista, ominaisuuksista, sisällöstä ja teknisistä asiantuntijoista.
HLSLIB:t
Vapaa ja avoin joukko kirjastoja, jotka on toteutettu tavallisessa C ++: ssa bittitarkkaa laitteisto- ja ohjelmistosuunnittelua varten. Se on avoin yhteisö tiedon ja IP: n vaihdolle HLS: lle, jota voidaan käyttää sekä tutkimuksen että suunnittelun nopeuttamiseen.
HLS-suunnittelu- ja todentamisblogi
Blogi, joka kattaa seuraavan sukupolven korkean tason synteesin (HLS) suunnittelu- ja todentamismenetelmät ja tekniikat.
Katapultin tuki
Käytä yksityiskohtaista dokumentaatiota, julkaisuja, resursseja ja paljon muuta.
EDA-konsultointi
Autamme sinua saavuttamaan maksimaalisen liiketoiminnan vaikutuksen vastaamalla monimutkaisiin teknologia- ja yrityshaasteisiin ainutlaatuisella sekoituksella kehitys- ja suunnittelukokemusta sekä metodologiaosaamista.