Stiimulivaba kontrollimine

Täisautomaatne ametlik probleemide jahirakendus, mis leiab levinud RTL-i kodeerimisvigade tõttu sügavalt varjatud probleeme, Questa Inspect võimaldab kõrvaldada mitmesuguseid probleeme ilma testbenkiita.

The Questa Check Connect rakendus on täielikult automatiseeritud lahendus staatilise ja dünaamilise ühenduvuse ammendavaks kontrollimiseks, ilma et oleks vaja formaalsete või vara spetsifikatsioonide keelte tundmist.

Questa Increase Coverage on automaatne ametlik lahendus koodikatvuse kiiremaks sulgemiseks, mis käsitleb vaieldamatut kontrollifakti: osa katmata koodist jääb alati alles.

Questa Formal VIP AMBA & OnChip teegid parandavad kvaliteeti ja vähendavad ajakavasid, luues protokolli- ja metoodikateadmised korduvkasutatavate väidete pakettideks, mis toetavad populaarseid tööstusharu standardseid liideseid.

Questa Verify Property avastab ammendavalt kõik võimalikud disainivead, ilma et oleks probleemi avastamiseks vaja konkreetset stiimulit. See tagab, et kontrollitud disain on kõigis seaduslike sisendstsenaariumide korral probleemivaba.

The Questa Check Register rakendus automatiseerib kontrolli- ja olekuregistri käitumise ammendava kontrollimise CSV või IP-XACT registri spetsifikatsiooniga.

The Questa Verify Secure rakendus on täielikult automatiseeritud lahendus ammendavaks kontrollimiseks, kas ainult teie määratud teed pääsevad turvalisuse või ohutuskriitiliste salvestuselementideni.

Questa Equivalent RTL võrdleb automaatselt spetsifikatsiooni RTL-i ja rakendamise RTL-koodiplokke, kasutades ammendavat ametlikku analüüsi. Ametlike või vara spetsifikatsioonide keelte tundmine pole vajalik.

Questa Check X on automatiseeritud rakendus, mis juurib ammendavalt X-probleemid RTL-i tasemel ilma testbenkiita.

Siemens Questa Equivalent FPGA lahendus tagab, et FPGA rakendusvood, nagu süntees ning koha ja marsruudi optimeerimine, ei põhjusta funktsionaalseid vigu.

Questa GapFree optimeerib digitaalsete disainilahenduste kvaliteeti, tõestades kõigi sisendite funktsionaalsust, mille tulemuseks on enneolematult madal probleemide väljapääsu.

Kõrgetasemeline disaini kontrollimine Questa HL-SYC laiendusega aitab kõrvaldada probleemid enne sünteesi, alustades kontrollimist voolu ajal varem.

Questa Verify Trust kasutab automatiseeritud analüüsi, et tuvastada ja teatada turvalisusega seotud haavatavusega seotud probleemidest.

Tagab RISC-V disainilahenduste vastavuse ISA ja funktsionaalsetele eeldustele, kiirendades kontrollimist, välistades vajaduse testbenki loomise järele.

The Questa FPU rakendus minimeerib oluliselt kontrollimise töökoormust, tagades ujukpunktide rakenduste täpse joondamise soovitud tulemustega.

The Questa Analyze Fault rakendus on Questa formaalsel tehnoloogial põhinev lahendus, mis analüüsib vigu, süstides neid ja kontrollib ametlikult nende tulemusi riistvara turvalisuse ja ohutuse osas.

Analyse Architecture on murranguline lahendus, mis annab kasutajale võimaluse kontrollida suuri riistvarasüsteeme, kas need vastavad määratud arhitektuurile.

Rakendus Questa Post Silicon Debug kasutab ametlikku analüüsi ja omaduste sünteesi, et tekitada kiiresti loogikaprobleeme sügaval SoC-s ja tõestada, et parandused ei riku midagi muud.