Översikt
Katapultdesignkontroll
Catapult ger ludd och formell analys för att validera dina C++/SystemC-mönster för korrekthet före syntes. Undvik designproblem i samband med oinitialiserade minnesläsningar, åtkomst utanför bunden array, ofullständiga switchsatser och QoR-problem som kan uppstå vid kodning för HLS.
Verifiering på C++ sänker kostnaderna med upp till 80%
Formell och statisk ludd för C++/SystemC
Catapult Design Checker tillhandahåller flera kontrolllägen som tar bort behovet av simuleringsbaserad felsökning av problem i din design. Kodningsproblem, QoR-problem och potentiella C++/SystemC till RTL-felmatchningar och oklarheter fångas snabbt och ger exakt feedback om källa och orsak.
Statisk ludd för QoR
Att hitta vanliga problem i kodning före syntes är enkelt med Catapult Design Checker.
Fokusera på specifika problem
Catapult Design Checker gör det möjligt för användaren att anpassa och prioritera kontroller för att fokusera på pressande problem samtidigt som buller från redan kända problem reduceras.
Catapult on-demand-utbildning
Catapult High-Level Synthesis (HLS) on-demand-utbildningsbibliotek innehåller en uppsättning inlärningsvägar med moduler för att introducera ingenjörer till HLS och verifiering på hög nivå.
Syntes- och verifieringsgrupp på hög nivå
En grupp för att diskutera de finare punkterna i design och verifiering med Siemens EDA HLS- och HLV-verktyg. Gå med i diskussionen om nya ämnen, funktioner, innehåll och tekniska experter.
HLSLIBs
En fri och öppen uppsättning bibliotek implementerade i standard C ++ för bit-exakt hårdvaru- och mjukvarudesign. Det är en öppen gemenskap för utbyte av kunskap och IP för HLS som kan användas för att påskynda både forskning och design.
HLS-design- och verifieringsblogg
Blogg som täcker nästa generations högnivåsyntes (HLS) design- och verifieringsmetoder och tekniker.
Katapultstöd
Få tillgång till detaljerad dokumentation, releaser, resurser och mer.
EDA-konsultation
Hjälper dig att uppnå maximal affärseffekt genom att hantera komplexa teknik- och företagsutmaningar med en unik blandning av utvecklings- och designerfarenhet och metodexpertis.