HL-sentriske apper er plugin-kompatible med eksisterende RTL-strømmer og UVM-prinsipper, målrettet mot:
Catapult Design Checker gir flere statiske og formelle kontrollmoduser med trykknapper som reduserer behovet for simuleringsbasert verifisering av designet ditt. Kodingsproblemer, tvetydigheter i designkilder, QoR-bekymringer og kilder til potensielle HLS C++/SystemC til RTL-misforhold blir raskt fanget opp og tilbakemelding gis om kilden og årsaken.
Catapult Formal Assert er en formell bekreftelsesapp integrert med Catapult HLS. Påstander skrevet i C-Source vil bli evaluert med kraftige formelle løsere som gir rask respons, konfigurerbare timeouts og løsningsstrategier, og et robust feilsøkingsmiljø. Påstå, anta og dekke støttes. Moteksempler oppretter en testbenk på C-nivå og standard gdb-innstillinger, samt en SEDAs Visualizer grafiske bølgeformfeilsøker.
Catapult High-Level Synthesis (HLS) on-demand treningsbibliotek inneholder et sett læringsveier med moduler for å introdusere ingeniører for HLS og verifisering på høyt nivå.
En gruppe for å diskutere de finere punktene med design og verifisering ved hjelp av Siemens EDA HLS- og HLV-verktøy. Bli med i diskusjonen om nye emner, funksjoner, innhold og tekniske eksperter.
Et gratis og åpent sett med biblioteker implementert i standard C ++ for bit-nøyaktig maskinvare- og programvaredesign. Det er et åpent fellesskap for utveksling av kunnskap og IP for HLS som kan brukes til å akselerere både forskning og design.
Blogg som dekker neste generasjons høynivåsyntese (HLS) design- og verifiseringsmetoder og teknikker.
Få tilgang til detaljert dokumentasjon, utgivelser, ressurser og mer.
Hjelper deg med å oppnå maksimal forretningspåvirkning ved å adressere komplekse teknologi- og bedriftsutfordringer med en unik blanding av utviklings- og designopplevelse og metodikkekspertise.
