Detail předmětu
Funkční verifikace číslicových systémů
FIT-FVSAk. rok: 2017/2018
Aktuální důležitost funkční verifikace. Specifikace požadavků a verifikační plán. Simulace a příprava testovacích prostředí. Funkční verifikace a její metody (generování pseudo-náhodných verifikačních stimulů, verifikace řízená pokrytím, verifikace založená na tvrzeních, samokontrolní mechanismy). Verifikační metodiky a jazyk SystemVerilog. Reportování a oprava nalezených chyb. Emulace a FPGA prototypování.
Jazyk výuky
Počet kreditů
Garant předmětu
Zajišťuje ústav
Výsledky učení předmětu
Prerekvizity
Způsob a kritéria hodnocení
Zápočet není ustanoven.
Osnovy výuky
- Osnova přednášek:
- Důvody funkční verifikace číslicových systémů. Historie funkční verifikace, jazyků HDL a HVL. Specifikace požadavků a verifikační plán.
- Testování modelů číslicových systémů pomocí simulace. Jazyk VHDL. Tvorba testovacích prostředí. Nejpoužívanější simulátory.
- Úvod do funkční verifikace. Techniky funkční verifikace.
- Metodiky tvorby verifikačních prostředí. HVL jazyky.
- Generovaní verifikačních testů ve formě pseudo-náhodných stimulů. Přímé testy. Omezující podmínky.
- Verifikace řízená pokrytím. Metriky pokrytí. Měření a analýza pokrytí.
- Samo-kontrolní mechanizmy.
- Tvorba tvrzení. Jazyky pro tvorbu tvrzení. Hlášení chyb.
- Verifikace založená na tvrzeních.
- Emulace a prototypování.
- Ladění přímo v obvodě.
- Zvaná přednáška hosta z praxe.
- Speciální případy verifikace číslicových obvodů. Další verifikační přístupy. Výzvy a otevřené problémy verifikace.
- Tvorba testovacích okolí pro aritmeticko-logickou jednotku (ALU).
- Tvorba verifikačního prostředí pro ALU.
- Verifikace ALU řízena pokrytím.
- Verifikace ALU založena na tvrzeních.
Osnova laboratorních cvičení:
Osnova ostatní - projekty, práce:
Návrh a implementace verifikačního prostředí pro vybraný číslicový systém.
Učební cíle
Vymezení kontrolované výuky a způsob jejího provádění a formy nahrazování zameškané výuky
Základní literatura
Doporučená literatura
Zařazení předmětu ve studijních plánech
- Program IT-MGR-2 magisterský navazující
obor MMI , 0 ročník, letní semestr, volitelný
obor MBI , 0 ročník, letní semestr, volitelný
obor MSK , 0 ročník, letní semestr, volitelný
obor MMM , 0 ročník, letní semestr, volitelný
obor MBS , 0 ročník, letní semestr, volitelný
obor MPV , 0 ročník, letní semestr, volitelný
obor MIS , 0 ročník, letní semestr, volitelný
obor MIN , 0 ročník, letní semestr, volitelný
obor MGM , 0 ročník, letní semestr, volitelný
Typ (způsob) výuky
Přednáška
Vyučující / Lektor
Osnova
- Důvody funkční verifikace číslicových systémů. Historie funkční verifikace, jazyků HDL a HVL. Specifikace požadavků a verifikační plán.
- Testování modelů číslicových systémů pomocí simulace. Jazyk VHDL. Tvorba testovacích prostředí. Nejpoužívanější simulátory.
- Úvod do funkční verifikace. Techniky funkční verifikace.
- Metodiky tvorby verifikačních prostředí. HVL jazyky.
- Generovaní verifikačních testů ve formě pseudo-náhodných stimulů. Přímé testy. Omezující podmínky.
- Verifikace řízená pokrytím. Metriky pokrytí. Měření a analýza pokrytí.
- Samo-kontrolní mechanizmy.
- Tvorba tvrzení. Jazyky pro tvorbu tvrzení. Hlášení chyb.
- Verifikace založená na tvrzeních.
- Emulace a prototypování.
- Ladění přímo v obvodě.
- Zvaná přednáška hosta z praxe.
- Speciální případy verifikace číslicových obvodů. Další verifikační přístupy. Výzvy a otevřené problémy verifikace.
Laboratorní cvičení
Vyučující / Lektor
Osnova
- Tvorba testovacích okolí pro aritmeticko-logickou jednotku (ALU).
- Tvorba verifikačního prostředí pro ALU.
- Verifikace ALU řízena pokrytím.
- Verifikace ALU založena na tvrzeních.