HL-centrerade appar är plugin-kompatibla med befintliga RTL-flöden och UVM-principer, inriktade på:
Catapult Design Checker tillhandahåller flera statiska och formella kontrolllägen med tryckknappar som minskar behovet av simuleringsbaserad verifiering av din design. Kodningsproblem, tvetydigheter i designkällor, QoR-problem och källor till potentiella HLS C++/SystemC till RTL-felmatchningar fångas snabbt och feedback ges om källa och orsak.
Catapult Formal Assert är en formell verifieringsapp integrerad med Catapult HLS. Påståenden skrivna i C-Source kommer att utvärderas med kraftfulla formella lösare som ger snabb respons, konfigurerbara timeouts och lösningsstrategier, och en robust felsökningsmiljö. Hävda, antar och omslag stöds. Motexempel skapar en testbänk på C-nivå och standard gdb-inställningar samt en SEDAs Visualizer grafiska vågformsfelsökare.
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å.
En grupp för att diskutera de finare punkterna i design och verifiering med hjälp av Siemens EDA HLS- och HLV-verktyg. Gå med i diskussionen om nya ämnen, funktioner, innehåll och tekniska experter.
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.
Blogg som täcker nästa generations högnivåsyntes (HLS) design- och verifieringsmetoder och tekniker.
Få tillgång till detaljerad dokumentation, releaser, resurser och mer.
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.
