Questa One Sim Xact on uuenduslik ametlik analüüs ja voogude automatiseerimine, mis lihtsustab GLS-i juurutamist, viies parema ja täielikuma allkirjastamise kontrollimiseni.
Questa One Sim Xact võimaldab palju kiiremat väravatasemel simulatsiooni tõstmist, kõrvaldades automaatselt tüütud valed X-id, nullviivitusega võistlustingimused ja raamatukogu modelleerimise vead, isoleerides samal ajal raskesti diagnoosivad ühenduvusprobleemid. Lisaks toetab see täiustatud reaalsete X algpõhjuste jälgimise tööriistu.
Formaalselt täiustatud loogika simulatsioon teostab dünaamiliselt X-pessimismi analüüsi, analüüsib X levikut andmepaatides ja suletud kella loogikas ning parandab lennu ajal.
Nullviivitusega GLS võib näidata võistlustingimusi, eriti suletud kella- ja viivitusjoontega disainilahendustes. „Pseudo-SDF” generaator lahendab tõhusalt rassitingimuste probleemid, ilma et oleks vaja muuta rakuteeke.
Jõu/vabastamise leviku analüüs kinnitab, kui jõud on eemale optimeeritud ja ei ajenda enam mingit fändi loogikat. Ühenduvusanalüüs leiab sõidumata sisenditega moodulid, mis loovad X-allikaid.
Questa One Sim Xact pakub täiustatud metoodikat värava taseme simulatsiooni kiireks ja hõlpsaks tõstmiseks. Selle patenteeritud tehnoloogia suudab kombinatoorse analüüsi abil simulatsiooni tõhusalt analüüsida, et teha kindlaks, kas flip-flopi D-sisendidel olevad X väärtused on X-pessimismi tõttu valed või reaalsed. See kõrvaldab automaatselt valed X-id, mis võimaldavad värava taseme simulatsioonil anda õigeid tulemusi.
Siemens EDA pakub Questa One Simile ja kõigile Questa One Sim maailmatasemel klienditugi.
Verifitseerimisakadeemia pakub oskusi, mis on vajalikud organisatsiooni funktsionaalse kontrolliprotsessi võimete küpsemiseks, pakkudes metoodilist silda kõrgetasemeliste väärtusettepanekute ja madala taseme detailide vahel.
Et aidata mõista täiustatud funktsionaalseid kontrollitehnoloogiaid ja kuidas neid kõige tõhusamalt rakendada, külastage meie ajaveebi, et saada ülevaadet ja värskendusi kontseptsioonide, väärtuste, standardite, metoodikate ja näidete kohta.
