Verificare fără stimul

O aplicație formală complet automată de vânătoare a problemelor care găsește probleme profund ascunse din cauza erorilor comune de codare RTL, Formal Inspection face posibilă eliminarea unei game largi de probleme fără un test bench.

Analiza conectivității în cadrul Questa One SFV este o soluție complet automatizată pentru verificarea exhaustivă a conectivității statice și dinamice, fără a necesita cunoașterea limbajelor formale sau de specificații ale proprietății.

Questa Increase Coverage este o soluție formală automată pentru a obține închiderea mai rapidă a acoperirii codului, care abordează un fapt incontestabil de verificare: o parte din codul descoperit rămâne întotdeauna.

Bibliotecile formale VIP AMBA & OnChip îmbunătățesc calitatea și reduc programele prin construirea de expertiză în protocol și metodologie în pachete de afirmații reutilizabile care acceptă interfețe populare standard din industrie.

Questa One SFV Property Verification descoperă exhaustiv orice erori de proiectare care pot apărea, fără a fi nevoie de stimul specific pentru a detecta problema. Acest lucru asigură faptul că designul verificat este lipsit de probleme în toate scenariile de intrare legală.

Analiza registrului Questa One SFV automatizează verificarea exhaustivă a controlului și comportamentului registrului de stare în funcție de specificațiile registrului CSV sau IP-XACT.

Analiza de securitate în cadrul Questa One SFV este o soluție complet automatizată pentru verificarea exhaustivă a faptului că numai căile pe care le specificați pot ajunge la elemente de stocare critice de securitate sau de siguranță.

Questa One SFV RTL Equivalence compară automat specificațiile RTL și blocurile de cod RTL de implementare folosind o analiză formală exhaustivă. Nu este necesară cunoașterea limbajelor formale sau de specificare a proprietății.

Analiza sensibilității X în cadrul Questa One SFV este o soluție automatizată care elimină exhaustiv problemele „X” la nivel RTL fără un test bench.

Soluția Siemens Questa Equivalent FPGA asigură faptul că fluxurile de implementare FPGA, cum ar fi sinteza și optimizările loce-and-route, nu introduc erori funcționale.

Verificarea Gap Free optimizează calitatea proiectelor digitale dovedind toată funcționalitatea pentru toate intrările, ceea ce duce la rate scăzute de evacuare a problemelor fără precedent.

Verificarea proiectării la nivel înalt cu expansiunea Questa HL-SYC ajută la eliminarea problemelor înainte de sinteză, începând verificarea mai devreme în flux.

Questa One SFV Trust Analysis utilizează analize automate pentru a detecta și raporta preocupările legate de vulnerabilitate în ceea ce privește securitatea.

Asigură conformitatea proiectelor RISC-V cu ISA și cerințele funcționale, accelerând verificarea prin eliminarea nevoii de creare a testbenchului.

Analiza Questa One SFV FPU minimizează semnificativ volumul de muncă de verificare, asigurând alinierea precisă a implementărilor în virgulă mobilă cu rezultatele dorite.

Analiza de protecție împotriva defecțiunilor este o soluție bazată pe tehnologie formală, care analizează defecțiunile injectându-le și verifică formal rezultatul acestora pentru securitatea și siguranța hardware.

Aplicația Questa Post Silicon Debug utilizează analiza formală și sinteza proprietăților pentru a înlătura rapid problemele cauzale din logică adânc într-un SoC și pentru a dovedi că remedierile nu vor rupe nimic altceva.