to je ena izbira omogoča veliko hitrejše izvajanje simulacije na ravni vrat z samodejnim odpravljanjem nadležnih lažnih X, pogojev dirke z ničelno zamudo in napak pri modeliranju knjižnic, hkrati pa izolira težko diagnosticirane težave s povezljivostjo. 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.
to je ena izbira 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 odstrani lažne X, ki simulaciji na ravni vrat omogočajo pravilne rezultate.
Siemens Eda ponuja svetovno podporo strankam za to samo 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.
