Questa One Sim Xact inovativna je formalna analiza i automatizacija protoka koja pojednostavljuje donošenje GLS-a, što dovodi do bolje i potpunije provjere potpisa.
Questa One Sim Xact omogućuje mnogo brže pokretanje simulacije na razini vrata automatskim uklanjanjem dosadnih lažnih X-ova, uvjeta utrke s nultim kašnjenjem i pogrešaka u modeliranju knjižnice, istovremeno izolirajući teško dijagnosticirane probleme povezivanja. Osim toga, podržava napredne prave alate za praćenje uzroka X.
Formalno poboljšana logička simulacija dinamički provodi analizu X-pesimizma, analizira širenje X u datapatima i logiku zatvorenog sata i popravlja u letu.
GLS s nultim kašnjenjem može pokazati uvjete utrke, posebno u izvedbama s zatvorenim linijama takta i kašnjenja. Generator "Pseudo-SDF" učinkovito rješava probleme stanja rase bez potrebe za izmjenom knjižnica ćelija.
Analiza širenja sile/oslobađanja potvrđuje kada su sile optimizirane i više ne pokreću nikakvu logiku ventilatora. Analiza povezanosti pronalazi module s nepokretnim ulazima koji stvaraju X izvore.
Questa One Sim Xact pruža poboljšanu metodologiju za brzo i jednostavno pokretanje simulacije na razini vrata. Njegova patentirana tehnologija može učinkovito analizirati simulaciju pomoću kombinatorne analize kako bi se utvrdilo jesu li vrijednosti X na D-ulazima flip-flopa lažne zbog X-pesimizma ili stvarne. Automatski uklanja lažne X, koji omogućuju simulaciji na razini vrata da proizvede točne rezultate.
Siemens EDA nudi korisničku podršku svjetske klase za Questa One Sim i sve naše proizvode.
Akademija za provjeru pruža vještine potrebne za sazrijevanje sposobnosti funkcionalnog procesa provjere organizacije, pružajući metodološki most između prijedloga vrijednosti na visokoj razini i detalja niske razine.
Kako biste pomogli u razumijevanju naprednih tehnologija funkcionalne provjere i kako ih najučinkovitije primijeniti, posjetite naš blog za uvid i ažuriranja koncepata, vrijednosti, standarda, metodologija i primjera.
