Ověření stimulu zdarma

Plně automatická formální aplikace pro vyhledávání problémů, která najde hluboce skryté problémy kvůli běžným chybám kódování RTL, Questa Inspect umožňuje eliminovat širokou škálu problémů bez testbenchu.

The Questa Check Connect app je plně automatizované řešení pro vyčerpávající ověření statické a dynamické konektivity bez nutnosti znalosti formálních nebo vlastnostních specifikačních jazyků.

Questa Increase Coverage je automatické formální řešení pro rychlejší uzavření pokrytí kódu, které řeší nezpochybnitelný fakt ověření: nějaký zlomek nekrytého kódu vždy zůstává.

Knihovny Questa Formal VIP AMBA & OnChip zlepšují kvalitu a snižují plány tím, že vytvářejí odborné znalosti protokolů a metodiky do balíčků opakovaně použitelných tvrzení, která podporují oblíbená průmyslová standardní rozhraní.

Questa Verify Property vyčerpávajícím způsobem odhalí jakékoli chyby návrhu, které mohou nastat, aniž by bylo zapotřebí specifického podnětu k detekci problému. Tím je zajištěno, že ověřený návrh je bezproblémový ve všech scénářích právních vstupů.

The Questa Check Register aplikace automatizuje vyčerpávající ověření chování kontrolního a stavového registru proti specifikaci registru CSV nebo IP-XACT.

The Questa Verify Secure app je plně automatizované řešení pro vyčerpávající ověření, že pouze vámi zadané cesty mohou dosáhnout bezpečnostních nebo bezpečnostně kritických úložných prvků.

Questa Equivalent RTL automaticky porovnává specifikace RTL a implementační RTL kódové bloky pomocí vyčerpávající formální analýzy. Není vyžadována žádná znalost formálních jazyků nebo jazyků specifikací vlastností.

Questa Check X je automatizovaná aplikace, která vyčerpávajícím způsobem vykořenuje problémy „X“ na úrovni RTL bez testbenchu.

Siemens Questa Equivalent FPGA řešení zajišťuje, že implementační toky FPGA, jako jsou syntézy a optimalizace místa a cesty, nezpůsobují funkční chyby.

Questa GapFree optimalizuje kvalitu digitálních návrhů tím, že prokáže veškerou funkčnost všech vstupů, což vede k bezprecedentně nízké únikové rychlosti problémů.

ř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.

Questa Verify Trust využívá automatizovanou analýzu k detekci a hlášení obav o zranitelnosti týkající se zabezpečení.

Zajišťuje soulad návrhů RISC-V s ISA a funkčními předpoklady, urychluje ověřování tím, že eliminuje potřebu vytváření testbenchů.

The Questa FPU aplikace výrazně minimalizuje pracovní zátěž při ověřování a zajišťuje přesné vyrovnání implementací s plovoucí desetinnou čárkou s požadovanými výsledky.

The Questa Analyze Fault aplikace je řešení založené na formální technologii Questa, která analyzuje závady jejich vstřikováním a formálně kontroluje jejich výsledek z hlediska zabezpečení a bezpečnosti hardwaru.

Analyze Architecture je průkopnické řešení, které poskytuje uživateli možnost ověřit velké hardwarové systémy, zda odpovídají zadané architektuře.

Aplikace Questa Post Silicon Debug využívá formální analýzu a syntézu vlastností k rychlému zakořenění problémů v logice hluboko v SoC a prokáže, že opravy nic jiného nepoškodí.