Questa One Sim Xact je inovativní formální analýza a automatizace toku, která zjednodušuje zavádění GLS a vede k lepšímu a úplnějšímu ověřování odpisu.
Questa One Sim Xact umožňuje mnohem rychlejší spuštění simulace na úrovni brány tím, že automaticky eliminuje otravné falešné X, podmínky závodu s nulovým zpožděním a chyby modelování knihovny a zároveň izoluje obtížně diagnostikovatelné problémy s připojením. Navíc podporuje pokročilé nástroje pro sledování skutečné příčiny X.
Formálně vylepšená logická simulace dynamicky provádí analýzu X-pesimismu, analyzuje šíření X v datových pásech a logice řízených hodin a opravuje za běhu.
GLS s nulovým zpožděním může prokázat podmínky závodu, zejména v konstrukcích s bráněnými hodinovými a zpožděnými liniemi. Generátor „Pseudo-SDF“ efektivně řeší problémy se stavem závodu bez nutnosti upravovat knihovny buněk.
Analýza šíření síla/uvolnění potvrzuje, kdy byly síly optimalizovány a již nepohání žádnou logiku ventilace. Analýza konektivity najde moduly s neřízenými vstupy, které vytvářejí zdroje X.
Questa One Sim Xact přináší vylepšenou metodiku pro rychlé a snadné spuštění simulace na úrovni brány. Jeho patentovaná technologie může efektivně analyzovat simulaci pomocí kombinatorické analýzy k určení, zda hodnoty X na D-vstupech flip-flopu jsou falešné kvůli X-pesimismu nebo skutečné. Automaticky eliminuje falešná X, která umožňují simulaci na úrovni brány produkovat správné výsledky.
Siemens EDA nabízí prvotřídní zákaznickou podporu pro Questa One Sim a všechny naše produkty.
Verification Academy poskytuje dovednosti nezbytné pro zdokonalení schopností procesu funkčního ověřování organizace, poskytuje metodický most mezi hodnotnými návrhy na vysoké úrovni a detaily na nízké úrovni.
Abychom vám pomohli porozumět pokročilým funkčním ověřovacím technologiím a jak je nejefektivněji aplikovat, navštivte náš blog, kde najdete přehled a aktualizace konceptů, hodnot, standardů, metodik a příkladů.
