Overovanie bez stimulu

Plne automatická aplikácia na hľadanie formálnych problémov, ktorá nájde hlboko skryté problémy v dôsledku bežných chýb kódovania RTL, Questa Inspect umožňuje eliminovať širokú škálu problémov bez testovacieho stola.

Questa Check Connect Aplikácia je plne automatizované riešenie pre vyčerpávajúce overenie statickej a dynamickej konektivity bez potreby znalosti formálnych jazykov alebo jazykov špecifikácie vlastností.

Questa Increase Coverage je automatické formálne riešenie na rýchlejšie ukončenie pokrytia kódom, ktoré rieši nespornú skutočnosť overovania: určitý zlomok nekrytého kódu vždy zostáva.

nižnice Questa Formal VIP AMBA & OnChip zlepšujú kvalitu a znižujú harmonogramy vytváraním odborných znalostí o protokole a metodológii do balíkov opakovane použiteľných tvrdení, ktoré podporujú populárne štandardné rozhrania v priemysle.

Questa Verify Property vyčerpávajúce zistí akékoľvek chyby v dizajne, ktoré sa môžu vyskytnúť, bez toho, aby ste potrebovali konkrétny stimul na zistenie problému. To zaisťuje, že overený dizajn je bezproblémový vo všetkých scenároch právneho vstupu.

Questa Check Register Aplikácia automatizuje vyčerpávajúce overenie správania sa registra kontroly a stavu podľa špecifikácie registra CSV alebo IP-XACT.

Questa Verify Secure Aplikácia je plne automatizované riešenie na vyčerpávajúce overenie, či iba zadané cesty môžu dosiahnuť bezpečnostné alebo bezpečnostné úložné prvky kritického hľadiska.

Questa Equivalent RTL automaticky porovnáva špecifikačné RTL a implementačné bloky kódov RTL pomocou vyčerpávajúcej formálnej analýzy. Nie je potrebná znalosť formálnych jazykov alebo jazykov špecifikácie majetku.

Questa Check X je automatizovaná aplikácia, ktorá bez testovacieho stola vyčerpáva problémy „X“ na úrovni RTL.

Siemens Questa Equivalent FPGA riešenie zaisťuje, že implementačné toky FPGA, ako je syntéza a optimalizácia miesta a trasy, neprinášajú funkčné chyby.

Questa GapFree optimalizuje kvalitu digitálnych návrhov tým, že preukáže všetky funkcie pre všetky vstupy, čo vedie k bezprecedentne nízkej miere úniku problémov.

Overovanie dizajnu na vysokej úrovni s rozšírením Questa HL-SYC pomáha eliminovať problémy pred syntézou spustením overovania skôr v priebehu toku.

Questa Verify Trust využíva automatizovanú analýzu na odhaľovanie a nahlásenie problémov týkajúcich sa zraniteľnosti v súvislosti

Zabezpečuje súlad návrhov RISC-V s ISA a funkčnými predpokladmi, urýchľuje overovanie elimináciou potreby vytvárania testovacieho stola.

Questa FPU aplikácia výrazne minimalizuje overovacie pracovné zaťaženie a zabezpečuje presné vyrovnanie implementácií s pohyblivým bodom s požadovanými výsledkami.

Questa Analyze Fault aplikácia je riešenie založené na formálnej technológii Questa, ktorá analyzuje chyby ich injekciou a formálne kontroluje ich výsledok z hľadiska bezpečnosti a bezpečnosti hardvéru.

Analyze Architecture je priekopnícke riešenie, ktoré poskytuje používateľovi možnosť overiť veľké hardvérové systémy, či sú v súlade so špecifikovanou architektúrou.

Aplikácia Questa Post Silicon Debug využíva formálnu analýzu a syntézu vlastností na rýchle odstránenie problémov v logike hlboko v SoC a dokáže, že opravy neporušia nič iné.