Questa One Sim Xact ir novatoriska formāla analīze un plūsmas automatizācija, kas racionalizē GLS ieviešanu, nodrošinot labāku un pilnīgāku pierakstīšanās pārbaudi.
Questa One Sim Xact nodrošina daudz ātrāku vārtu līmeņa simulāciju, automātiski novēršot nepatīkamus viltus X, nulles kavēšanās sacensību apstākļus un bibliotēkas modelēšanas kļūdas, vienlaikus izolējot grūti diagnosticējamas savienojamības problēmas. Turklāt tas atbalsta uzlabotus reālu X pamatcēloņu izsekošanas rīkus.
Formāli uzlabota loģikas simulācija dinamiski veic X-pesimisma analīzi, analizē X izplatīšanos datu bāzēs un slēgtā pulksteņa loģikā un remontē lidojuma laikā.
GLS ar nulles kavēšanos var demonstrēt sacensību apstākļus, īpaši projektos ar ierobežotām pulksteņa un aizkavēšanās līnijām. “Pseido-SDF” ģenerators efektīvi atrisina rases nosacījumu problēmas bez nepieciešamības modificēt šūnu bibliotēkas.
Spēka/atbrīvošanas izplatīšanās analīze apstiprina, kad spēki ir optimizēti un vairs nevirza nekādu fanout loģiku. Savienojamības analīze atrod moduļus ar nevadāmām ievadēm, kas rada X avotus.
Questa One Sim Xact nodrošina uzlabotu metodoloģiju vārtu līmeņa simulācijas ātri un ērtai uzlabošanai. Tās patentētā tehnoloģija var efektīvi analizēt simulāciju, izmantojot kombinatorisko analīzi, lai noteiktu, vai X vērtības pie flip-flopa D-ieejām ir nepatiesas X-pesimisma dēļ vai reālas. Tas automātiski novērš viltus X, kas ļauj vārtu līmeņa simulācijai iegūt pareizus rezultātus.
Siemens EDA piedāvā pasaules klases klientu atbalstu Questa One Sim un visiem mūsu produktiem.
Verifikācijas akadēmija nodrošina prasmes, kas nepieciešamas, lai nobriestu organizācijas funkcionālās verifikācijas procesa iespējas, nodrošinot metodisku tiltu starp augsta līmeņa vērtību piedāvājumiem un zema līmeņa detaļām.
Lai palīdzētu izprast uzlabotas funkcionālās verifikācijas tehnoloģijas un to visefektīvāko piemērošanu, apmeklējiet mūsu emuāru, lai iegūtu ieskatu un atjauninājumus par jēdzieniem, vērtībām, standartiem, metodoloģijām un piemēriem.
