Preverjanje brez spodbud

Popolnoma samodejna aplikacija za iskanje uradnih težav, ki najde globoko skrite težave zaradi pogostih napak pri kodiranju RTL, Formal Inspection omogoča odpravo širokega spektra težav brez testne mize.

Analiza povezljivosti v Questa One SFV je popolnoma avtomatizirana rešitev za izčrpno preverjanje statične in dinamične povezljivosti brez potrebe po poznavanju formalnih jezikov ali jezikov specifikacij lastnosti.

Questa Povečajte pokritost je samodejna formalna rešitev za hitrejše zapiranje pokritosti kode, ki obravnava neizpodbitno dejstvo preverjanja: del nepokrite kode vedno ostane.

Formalne knjižnice VIP AMBA & OnChip izboljšujejo kakovost in zmanjšujejo urnike z gradnjo strokovnega znanja o protokolih in metodologiji v pakete trditev za večkratno uporabo, ki podpirajo priljubljene vmesnike v industriji.

Preverjanje lastnosti Questa One SFV izčrpno odkrije morebitne napake pri oblikovanju, ki se lahko pojavijo, ne da bi potrebovali posebne spodbude za odkrivanje težave. To zagotavlja, da je preverjena zasnova brez težav v vseh pravnih scenarijih vnosa.

Analiza registra Questa One SFV avtomatizira izčrpno preverjanje vedenja registra nadzora in stanja glede na specifikacijo registra CSV ali IP-XACT.

Analiza Security v Questa One SFV je popolnoma avtomatizirana rešitev za izčrpno preverjanje, ali lahko le poti, ki jih določite, dosežejo varnostne ali varnostno kritične pomnilniške elemente.

Questa One SFV RTL Equivalencia samodejno primerja specifikacijo RTL in implementacijske kodne bloke RTL z uporabo izčrpne formalne analize. Poznavanje formalnih jezikov ali jezikov specifikacij lastnine ni potrebno.

Analiza občutljivosti X znotraj Questa One SFV je avtomatizirana rešitev, ki izčrpno odpravlja težave »X« na ravni RTL brez testne mize.

Rešitev Siemens Questa Equivalent FPGA zagotavlja, da tokovi izvajanja FPGA, kot so sinteza in optimizacije mesta in poti, ne povzročajo funkcionalnih napak.

Preverjanje Gap Free optimizira kakovost digitalnih modelov tako, da dokazuje vse funkcionalnosti za vse vhode, kar vodi do izjemno nizkih stopenj izpustov.

Preverjanje zasnove na visoki ravni z razširitvijo Questa HL-SYC pomaga odpraviti težave pred sintezo z začetkom preverjanja prej v toku.

Analiza zaupanja Questa One SFV uporablja avtomatizirano analizo za odkrivanje in poročanje o pomislekih glede ranljivosti glede varnosti.

Zagotavlja skladnost modelov RISC-V z ISA in funkcionalnimi predpogoji ter pospešuje preverjanje z odpravljanjem potrebe po ustvarjanju testne mize.

Analiza Questa One SFV FPU bistveno zmanjša delovno obremenitev preverjanja in zagotavlja natančno uskladitev izvedb s plavajočimi točkami z želenimi rezultati.

Analiza zaščite napak je rešitev, ki temelji na formalni tehnologiji, ki analizira napake z vbrizgavanjem in formalno preveri njihov rezultat glede varnosti in varnosti strojne opreme.

Aplikacija Questa Post Silicon Debug uporablja formalno analizo in sintezo lastnosti, da hitro povzroči težave v logiki globoko v SoC in dokaže, da popravki ne bodo pokvarili ničesar drugega.