Okamžitou výzvou je „pozorovateľnosť“, keď máte podozrenie, že vinníkom je určitý klaster alebo IP. Schopnosť nastaviť konkrétne počiatočné testovacie podmienky, sondy a obmedzené náhodné podnety na dosiahnutie vnútorných oblastí DUT je skutočnou výzvou vzhľadom na to, že SoC je v plne realizovanom stave.
Kontaktujte náš predajný tím 1-800-547-3000
Akonáhle sú tvrdenia popisujúce požadované správanie syntetizované do DUT na palube hardvérovej overovacej platformy, aplikácia Questa Post-Silicon Debug využíva formálnu aplikáciu Questa Property Checking (PropCheck) na hľadanie hlavnej príčiny pozorovaného zlyhania.
Pozrite si všetky dostupné formálne overovacie videozáznamy na Overovacia akadémia.
Sme pripravení odpovedať na vaše otázky.
Kontaktujte náš predajný tím 1-800-547-3000
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.
Prehľad a aktualizácie konceptov, hodnôt, štandardov, metodík a príkladov, ktoré pomôžu pochopiť, čo pokročilé technológie funkčného overovania dokážu a ako ich najefektívnejšie aplikovať.
Publikácia Verification Horizons poskytuje koncepty, hodnoty, metodiky a príklady, ktoré pomáhajú pochopiť, čo pokročilé technológie funkčného overovania dokážu a ako ich najefektívnejšie aplikovať.
