Questa One Sim Xact je inovativna formalna analiza in avtomatizacija pretoka, ki poenostavi vzpostavitev GLS, kar vodi do boljšega in popolnejšega preverjanja odpisa.
Questa One Sim Xact omogoča veliko hitrejše izvajanje simulacije na ravni vrat z samodejnim odpravljanjem nadležnih lažnih X, dirkalnih pogojev brez zamude in napak pri modeliranju knjižnic, hkrati pa izolira težave s povezljivostjo, ki jih je težko diagnosticirati. Poleg tega podpira napredna orodja za sledenje osnovnih vzrokov resničnih X.
Formalno izboljšana logična simulacija dinamično izvaja analizo X-pesimizma, analizira širjenje X v podatkovnih zapatih in logiki zaprtih ur ter popravlja v letu.
GLS z ničelno zamudo lahko pokaže dirkaške razmere, zlasti pri modelih z zaprtimi urami in zakasnitvijo. Generator »psevdo-SDF« učinkovito rešuje težave z rasnimi pogoji brez potrebe po spreminjanju celičnih knjižnic.
Analiza širjenja sile in sproščanja potrjuje, kdaj so bile sile optimizirane in ne poganjajo več logike ventilatorja. Analiza povezljivosti najde module z nepoganjanimi vhodi, ki ustvarjajo X vire.
Questa One Sim Xact ponuja izboljšano metodologijo za hitro in enostavno vzpostavitev simulacije na ravni vrat. Njegova patentirana tehnologija lahko učinkovito analizira simulacijo s kombinatorno analizo, da ugotovi, ali so vrednosti X na D-vhodih flip-flopa napačne zaradi X-pesimizma ali resnične. Samodejno odpravi lažne X, ki omogočajo simulaciji na ravni vrat, da proizvede pravilne rezultate.
Siemens EDA ponuja svetovno podporo strankam za Questa One Sim in vse naše izdelke.
Akademija za preverjanje zagotavlja veščine, potrebne za dozorevanje zmogljivosti funkcionalnega procesa preverjanja organizacije, kar zagotavlja metodološki most med ponudbami vrednosti na visoki ravni in podrobnostmi na nizki ravni.
Če želite pomagati pri razumevanju naprednih tehnologij funkcionalnega preverjanja in kako jih najučinkoviteje uporabiti, obiščite naš blog za vpogled in posodobitve konceptov, vrednot, standardov, metodologij in primerov.
