High-Level Verification Solutions

Společnost

Siemens poskytuje špičkové produkty a metodiku pro návrh na vysoké úrovni a dodává řešení v různých bodech procesu návrhu. Kontrola návrhu, kódové a funkční pokrytí a formální ověření pro kontrolu ekvivalence C++ a SystemC.

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

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.

Ověření na vysoké úrovni

Questa HL-SystemC

Ově@@

ření návrhu na vysoké úrovni pomocí rozšíření Questa HL-SYC pomáhá eliminovat problémy před syntézou zahájením ověřování dříve v průběhu toku.