Questa One Sim Xact je inovativna formalna analiza i automatizacija protoka koja pojednostavljuje donošenje GLS-a, što dovodi do bolje i potpunije verifikacije potpisa.
Questa One Sim Xact omogućava mnogo brže uspostavljanje simulacije na nivou vrata automatskim uklanjanjem dosadnih lažnih Ks-ova, uslova trke sa nultim kašnjenjem i grešaka u modeliranju biblioteke, istovremeno izolujući probleme povezivanja koje je teško dijagnostikovati. Pored toga, podržava napredne prave alate za praćenje osnovnih uzroka Ks.
Formalno poboljšana logička simulacija dinamički vrši analizu Ks-pesimizma, analizira širenje Ks u datapatima i logiku zatvorenog sata i popravlja u letu.
GLS sa nultim kašnjenjem može pokazati uslove trke, posebno u dizajnu sa zatvorenim linijama takta i kašnjenja. Generator „Pseudo-SDF“ efikasno rešava probleme sa rasnim uslovima bez potrebe za modifikacijom ćelijskih biblioteka.
Analiza širenja sile/oslobađanja potvrđuje kada su sile optimizovane i više ne pokreću nikakvu logiku ventilatora. Analiza povezivanja pronalazi module sa nepokretnim ulazima koji stvaraju Ks izvore.
Questa One Sim Xact pruža poboljšanu metodologiju za brzo i lako pokretanje simulacije na nivou vrata. Njegova patentirana tehnologija može efikasno analizirati simulaciju koristeći kombinatornu analizu kako bi se utvrdilo da li su vrednosti Ks na D-ulazima flip-flopa lažne zbog Ks-pesimizma ili stvarne. Automatski eliminiše lažne Ks-ove, koji omogućavaju simulaciji na nivou vrata da proizvede tačne rezultate.
Siemens EDA nudi korisničku podršku svetske klase za Kuesta One Sim i sve naše proizvode.
Akademija za verifikaciju pruža veštine potrebne za sazrevanje sposobnosti funkcionalnog procesa verifikacije organizacije, pružajući metodološki most između predloga vrednosti na visokom nivou i detalja niskog nivoa.
Da biste pomogli u razumevanju naprednih tehnologija funkcionalne verifikacije i kako ih najefikasnije primeniti, posetite naš blog za uvid i ažuriranja koncepata, vrednosti, standarda, metodologija i primera.
