Syntéza a ověřování na vysoké úrovni katapultu

Catapult má nejširší portfolio řešení návrhu hardwaru pro C ++ a systémovou syntézu na vysoké úrovni (HLS). Díky fyzicky uvědomělému režimu Multi-VT společnosti Catapult s odhadem a optimalizací nízkého výkonu a řada špičkových ověřovacích řešení činí z Catapult HLS více než jen „C to RTL“.

HLS & HLV nadcházející události Knihovna zdrojů HLS a HLV

Catapult High-Level Synthesis Solutions

Řešení Catapult High-Level Synthesis poskytují podporu jazyků C ++ a SystemC, nezávislost FPGA a ASIC, odhad a optimalizaci výkonu ASIC plus nejnovější v oblasti fyzicky uvědomělé multi-VT a optimalizaci výkonu pro zvýšení vašich návrhů.

C++/SystemC Synthesis

Komplexní tok HLS, který využívá C++ nebo SystemC jako návrhový vstup a optimálně cílí implementace ASIC, eFPGA nebo FPGA vyladěné pro frekvenční a cílovou technologii.

Řešení s nízkým výkonem

Pokud jde o časný průzkum vesmíru, odhad výkonu a optimalizaci pro nízkoenergetický ASIC RTL, Catapult generuje vysoce efektivní RTL, který je optimalizován pomocí našeho PowerPro technologie pod kapotou.

Vektorová grafika katapultu s označenými částmi, jako je „Arm“, „Protiváha“ a „Spouštěč“.

Řešení AI

Catapult AI vylepšuje HLS pro zrychlený průzkum designu, kvantizační analýzu a výkon, predikci výkonu a oblasti.

Catapult High-Level Verification Solutions

Zrychlete tok ověřování na vysoké úrovni (HLV) pomocí známých a důvěryhodných metod pomocí platformy Catapult HLV. Zkraťte celkovou dobu zpracování a náklady na ověření SoC až o 80% využitím kontroly návrhu na vysoké úrovni, kódu/funkční pokrytí a statickými a formálními metodami.

Catapult Coverage

Pokrytí kódu založeného na HLS včetně podpory příkazů, větve, podmínek, výrazů (FEC) a pokrytí přístupu k poli plus funkční pokrytí inspirované SystemVerilogem s podporou krycích skupin, krycích bodů, zásobníků a křížů.

Catapult Formal Verification Tools

Formálně najděte chyby, nejasnosti a problémy s návrhem problémů nebo chyby uživatelských omezení na začátku procesu HLS. I při rozdílech v časování a rozhraních umožňuje Catapult Formal ověření a tok uzavření pokrytí.

SLEC System

Zkontrolujte správnost RTL oproti vašim modelům na vysoké úrovni pomocí SLEC. Umožňuje důkaz, že specifikace a implementace jsou identické navzdory rozdílům v jazyce, načasování nebo abstrakci.