Preverjanje brez spodbud

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

Questa Check Connect aplikacija 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 Increase Coverage je samodejna formalna rešitev za hitrejše zapiranje pokritosti s kodo, ki obravnava neizpodbitno dejstvo preverjanja: del nepokrite kode vedno ostane.

njižnice Questa Formal 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.

Questa Verify Property izčrpno odkrije morebitne oblikovalske napake, 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.

Questa Check Register aplikacija avtomatizira izčrpno preverjanje vedenja registra nadzora in stanja glede na specifikacijo registra CSV ali IP-XACT.

Questa Verify Secure aplikacija 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 Equivalent RTL samodejno primerja specifikacijo RTL in implementacijske kodne bloke RTL z uporabo izčrpne formalne analize. Poznavanje formalnih jezikov ali jezikov specifikacij lastnine ni potrebno.

Questa Check X je avtomatizirana aplikacija, ki brez testne mize izčrpno izkorišča težave »X« na ravni RTL.

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

Questa GapFree optimizira kakovost digitalnih modelov tako, da dokazuje vso funkcionalnost 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.

Questa Verify Trust 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.

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

Questa Analyze Fault aplikacija je rešitev, ki temelji na Questa formal tehnologiji, ki analizira napake tako, da jih vbrizga in formalno preveri njihov rezultat glede varnosti in varnosti strojne opreme.

Analyze Architecture je prelomna rešitev, ki uporabniku omogoča preverjanje velikih strojnih sistemov, ali so skladni z določeno arhitekturo.

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.