Provjera bez stimulusa

Potpuno automatska formalna aplikacija za traženje problema koja pronalazi duboko skrivene probleme zbog uobičajenih pogrešaka RTL kodiranja, Questa Inspect omogućuje uklanjanje širokog raspona problema bez testbenka.

Questa Check Connect aplikacija je potpuno automatizirano rješenje za iscrpnu provjeru statičke i dinamičke povezanosti bez potrebe za poznavanjem formalnih jezika ili jezika specifikacije imovine.

Questa Increase Coverage je automatsko formalno rješenje za brže zatvaranje pokrivenosti kodom, koje rješava nepobitnu činjenicu provjere: neki djelić nepokrivenog koda uvijek ostaje.

Questa Formal VIP AMBA & OnChip knjižnice poboljšavaju kvalitetu i smanjuju rasporede ugrađujući stručnost o protokolu i metodologiji u pakete tvrdnji za višekratnu upotrebu koji podržavaju popularna sučelja u industriji.

Questa Verify Property iscrpno otkriva sve pogreške u dizajnu koje se mogu dogoditi, bez potrebe za posebnim poticajem za otkrivanje problema. To osigurava da provjereni dizajn bude bez problema u svim pravnim scenarijima unosa.

Questa Check Register aplikacija automatizira iscrpnu provjeru ponašanja registra kontrole i statusa prema CSV ili IP-XACT specifikaciji registra.

Questa Verify Secure aplikacija je potpuno automatizirano rješenje za iscrpnu provjeru da samo putanje koje navedete može doći do sigurnosnih ili sigurnosno-kritičnih elemenata za pohranu.

Questa Equivalent RTL automatski uspoređuje specifikaciju RTL i implementaciju RTL kodnih blokova koristeći iscrpnu formalnu analizu. Nije potrebno poznavanje formalnih jezika ili jezika specifikacije imovine.

Questa Check X je automatizirana aplikacija koja iscrpno iskorijenjuje 'X' probleme na RTL razini bez testbenka.

Siemens Questa Equivalent FPGA rješenje osigurava da protoci implementacije FPGA, poput sinteze i optimizacije mjesta i rute, ne unose funkcionalne pogreške.

Questa GapFree optimizira kvalitetu digitalnih dizajna dokazujući svu funkcionalnost za sve ulaze što dovodi do neviđenih niskih stopa izbjegavanja problema.

Provjera dizajna na visokoj razini s proširenjem Questa HL-SYC pomaže u uklanjanju problema prije sinteze započinjanjem verifikacije ranije u toku.

Questa Verify Trust koristi automatiziranu analizu za otkrivanje i prijavljivanje zabrinutosti zbog ranjivosti u pogledu sigurnosti.

Osigurava usklađenost RISC-V dizajna s ISA i funkcionalnim preduvjetima, ubrzavajući provjeru eliminirajući potrebu za izradom testbenka.

Questa FPU aplikacija značajno smanjuje opterećenje verifikacije, osiguravajući točno usklađivanje implementacija s plutajućom točkom sa željenim ishodima.

Questa Analyze Fault aplikacija je rješenje temeljeno na Questa formal tehnologiji, koja analizira greške ubrizgavanjem i formalno provjerava njihov ishod radi sigurnosti i sigurnosti hardvera.

Analyze Architecture je revolucionarno rješenje koje korisniku pruža mogućnost provjere velikih hardverskih sustava jesu li u skladu s navedenom arhitekturom.

Aplikacija Questa Post Silicon Debug koristi formalnu analizu i sintezu svojstava kako bi brzo ukorijenila probleme u logici duboko unutar SoC-a i dokazala da popravci neće slomiti ništa drugo.