Questa One Sim Xact je inovatívna formálna analýza a automatizácia toku, ktorá zjednodušuje vznik GLS, čo vedie k lepšiemu a úplnejšiemu overovaniu registrácie.
Questa One Sim Xact umožňuje oveľa rýchlejšie vyvíjanie simulácie na úrovni brány automaticky elimináciou otravných falošných X, podmienok pretekov s nulovým oneskorením a chýb modelovania knižníc a zároveň izoluje ťažko diagnostikovateľné problémy s pripojením. Navyše podporuje pokročilé nástroje na sledovanie skutočných príčin X.
Formálne vylepšená logická simulácia dynamicky vykonáva analýzu X-pesimizmu, analyzuje šírenie X v dátových priestoroch a logike zamknutých hodín a opravuje za chodu.
GLS s nulovým oneskorením môže preukázať podmienky pretekov, najmä v dizajnoch s ohraničenými hodinovými a oneskorenými čiarami. Generátor „Pseudo-SDF“ efektívne rieši problémy s rasovými podmienkami bez potreby upravovať knižnice buniek.
Analýza šírenia sily a uvoľnenia potvrdzuje, kedy boli sily optimalizované a už nepoháňajú žiadnu logiku fanútu. Analýza konektivity nájde moduly s nejazdnými vstupmi, ktoré vytvárajú X zdroje.
Questa One Sim Xact poskytuje vylepšenú metodiku na rýchle a jednoduché vylepšenie simulácie na úrovni brány. Jeho patentovaná technológia dokáže efektívne analyzovať simuláciu pomocou kombinatorickej analýzy s cieľom určiť, či hodnoty X na D-vstupoch flip-flopu sú falošné kvôli X-pesimizmu alebo skutočné. Automaticky eliminuje falošné X, ktoré umožňujú simulácii na úrovni brány priniesť správne výsledky.
Siemens EDA ponúka špičkovú zákaznícku podporu pre Questa One Sim a všetky naše produkty.
Verification Academy poskytuje zručnosti potrebné na dosiahnutie schopností procesu funkčného overovania organizácie a poskytuje metodický most medzi návrhmi hodnôt na vysokej úrovni a detailmi na nízkej úrovni.
Ak chcete pomôcť pochopiť pokročilé technológie funkčného overovania a ako ich najefektívnejšie aplikovať, navštívte náš blog, kde nájdete informácie a aktualizácie konceptov, hodnôt, štandardov, metodík a príkladov.
