HL-centrerede apps er plug-in-kompatible med eksisterende RTL-flows og UVM-principper, målrettet mod:
Catapult Design Checker giver flere statiske og formelle kontroltilstande med trykknapper, der mindsker behovet for simuleringsbaseret verifikation af dit design. Kodningsproblemer, tvetydigheder i designkilder, QoR-bekymringer og kilder til potentielle HLS C++/SystemC til RTL-mismatches fanges hurtigt, og der gives feedback om kilden og årsagen.
Catapult Formal Assert er en formel verifikationsapp integreret med Catapult HLS. Påstande skrevet i C-Source vil blive evalueret med kraftfulde formelle løsere, der giver hurtig respons, konfigurerbare timeouts og løsningsstrategier, og et robust fejlfindingsmiljø. Hævde, antage og hylster understøttes. Modeksempler opretter en testbænk på C-niveau og standard gdb-indstillinger samt en SEDAs Visualizer grafiske bølgeform debugger.
Catapult High-Level Synthesis (HLS) on-demand-træningsbiblioteket indeholder et sæt læringsstier med moduler til at introducere ingeniører til HLS og verifikation på højt niveau.
En gruppe til at diskutere de finere punkter i design og verifikation ved hjælp af Siemens EDA HLS- og HLV-værktøjer. Deltag i diskussionen om nye emner, funktioner, indhold og tekniske eksperter.
Et gratis og åbent sæt biblioteker implementeret i standard C ++ til bit-nøjagtigt hardware- og softwaredesign. Det er et åbent samfund for udveksling af viden og IP for HLS, der kan bruges til at fremskynde både forskning og design.
Blog, der dækker næste generations syntese på højt niveau (HLS) design og verifikationsmetoder og teknikker.
Få adgang til detaljeret dokumentation, udgivelser, ressourcer og mere.
Hjælper dig med at opnå maksimal forretningsmæssig effekt ved at tackle komplekse teknologi- og virksomhedsudfordringer med en unik blanding af udviklings- og designopplevelse og metodeekspertise.
