Oversikt
Katapult Design Checker
Catapult bringer lo og formell analyse for å validere C++/SystemC-designene dine for korrekthet før syntese. Unngå designproblemer knyttet til ikke-initialiserte minnelesninger, tilgang utenfor bundet array, ufullstendige brytersetninger og QoR-problemer som kan oppstå når du koder for HLS.
Verifisering ved C ++ reduserer kostnadene med opptil 80%
Formell og statisk lint for C ++/SystemC
Catapult Design Checker gir flere kontrollmoduser som fjerner behovet for simuleringsbasert feilsøking av problemer i designet ditt. Kodingsproblemer, QoR-problemer og potensielle C++/SystemC til RTL misforhold og tvetydigheter blir raskt fanget og gir eksakt tilbakemelding om kilden og årsaken.
Statisk lo for QoR
er enkelt å finne vanlige problemer i koding før syntese med Catapult Design Checker.
Fokuser på spesifikke problemer
Catapult Design Checker gjør det mulig for brukeren å tilpasse og prioritere kontroller for å fokusere på presserende problemer samtidig som støy fra allerede kjente problemer reduseres.
Catapult on-demand-opplæring
Opplæringsbiblioteket Catapult High-Level Synthesis (HLS) på forespørsel inneholder et sett læringsveier med moduler for å introdusere ingeniører for HLS og verifisering på høyt nivå.
Syntese- og verifiseringsgruppe 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.
HLSLIBs
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.
HLS-design- og verifiseringsblogg
Blogg som dekker neste generasjons høynivåsyntese (HLS) design- og verifiseringsmetoder og teknikker.
Katapultstøtte
Få tilgang til detaljert dokumentasjon, utgivelser, ressurser og mer.
EDA-rådgivning
Hjelper deg med å oppnå maksimal forretningspåvirkning ved å adressere komplekse teknologi- og bedriftsutfordringer med en unik blanding av utviklings- og designopplevelse og metodikkekspertise.