
Formální a další normální
WEBINÁŘ NA VYŽÁDÁNÍ
V tomto webináři se dozvíte, proč je formální ověření klíčovou součástí úspěchu v éře Next Normal, kde je klíčový úspěch křemíku v prvním průchodu a zajištění kvality v celém ověřovacím cyklu je zásadní.
Okamžitou výzvou je „pozorovatelnost“, pokud máte podezření, že viníkem je určitý klastr nebo IP. Schopnost nastavit konkrétní počáteční testovací podmínky, sondy a omezené náhodné podněty k dosažení vnitřních oblastí DUT je skutečnou výzvou vzhledem k tomu, že SoC je ve svém plně realizovaném stavu.
Spojte se s naším prodejním týmem 1-800-547-3000

Jakmile jsou tvrzení popisující požadované chování syntetizována do DUT na palubě hardwarově podporované ověřovací platformy, aplikace Questa Post-Silicon Debug využívá formální aplikaci Questa Property Checking (PropCheck) k hledání hlavní příčiny pozorovaného selhání.
Zobrazit všechny dostupné formální ověřovací videozáznamy na Verifikační akademie.
Jsme připraveni odpovědět na vaše otázky.
Spojte se s naším prodejním týmem 1-800-547-3000
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.
Přehled a aktualizace konceptů, hodnot, standardů, metodik a příkladů, které pomáhají porozumět tomu, co pokročilé technologie funkčního ověřování dokážou a jak je nejúčinněji aplikovat.
Publikace Verification Horizons poskytuje koncepty, hodnoty, metodiky a příklady, které pomáhají porozumět tomu, co mohou pokročilé funkční ověřovací technologie dělat a jak je nejúčinněji aplikovat.