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, Formal Inspection umožňuje eliminovať širokú škálu problémov bez testovacieho stola.

Analýza konektivity v rámci Questa One SFV je plne automatizované riešenie na vyčerpávajúce overenie statickej a dynamickej konektivity bez potreby znalosti formálnych jazykov alebo jazykov špecifikácie vlastností.

Questa Increase Coverage pokrytia 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.

Formálne knižnice 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.

Verifikácia vlastností Questa One SFV vyčerpávajúce zistí akékoľvek chyby v dizajne, ktoré sa môžu vyskytnúť, bez toho, aby bol potrebný špecifický stimul na zistenie problému. To zaisťuje, že overený dizajn je bezproblémový vo všetkých scenároch právneho vstupu.

Analýza registra Questa One SFV automatizuje vyčerpávajúce overenie správania sa registra kontroly a stavu voči špecifikácii registra CSV alebo IP-XACT.

Analýza zabezpečenia v rámci Questa One SFV 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é.

Questa One SFV RTL Equivalencia automaticky porovnáva špecifikácie 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.

Analýza X-Sensitivity v rámci Questa One SFV je automatizované riešenie, ktoré vyčerpávajúce vykoreňuje problémy „X“ na úrovni RTL bez testovacieho stola.

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

Overovanie Gap Free 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 One SFV Trust Analysis využíva automatizovanú analýzu na detekciu a hlásenie obáv o zraniteľnosti v súvislosti s bezpečnosťou.

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.

Analýza Questa One SFV FPU významne minimalizuje pracovné zaťaženie overovania a zaisťuje presné vyrovnanie implementácií s pohyblivým bodom s požadovanými výsledkami.

Analýza ochrany pred poruchami je riešenie založené na formálnej technológii, ktoré analyzuje chyby ich vstrekovaním a formálne kontroluje ich výsledok z hľadiska bezpečnosti a bezpečnosti hardvéru.

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