Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail předmětu
FIT-FVSAk. rok: 2019/2020
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í
Učební cíle
Základní literatura
Doporučená literatura
Zařazení předmětu ve studijních plánech
obor MBS , libovolný ročník, letní semestr, volitelnýobor MBI , libovolný ročník, letní semestr, volitelnýobor MIS , libovolný ročník, letní semestr, volitelnýobor MIN , libovolný ročník, letní semestr, volitelnýobor MMI , libovolný ročník, letní semestr, volitelnýobor MMM , libovolný ročník, letní semestr, volitelnýobor MGM , libovolný ročník, letní semestr, volitelnýobor MPV , libovolný ročník, letní semestr, volitelnýobor MSK , libovolný ročník, letní semestr, volitelný
specializace NBIO , libovolný ročník, letní semestr, volitelnýspecializace NISD , libovolný ročník, letní semestr, volitelnýspecializace NISY , libovolný ročník, letní semestr, volitelnýspecializace NIDE , libovolný ročník, letní semestr, volitelnýspecializace NCPS , libovolný ročník, letní semestr, volitelnýspecializace NSEC , libovolný ročník, letní semestr, volitelnýspecializace NMAT , libovolný ročník, letní semestr, volitelnýspecializace NGRI , libovolný ročník, letní semestr, volitelnýspecializace NNET , libovolný ročník, letní semestr, volitelnýspecializace NVIZ , libovolný ročník, letní semestr, volitelnýspecializace NSEN , libovolný ročník, letní semestr, volitelnýspecializace NMAL , libovolný ročník, letní semestr, volitelnýspecializace NHPC , libovolný ročník, letní semestr, volitelnýspecializace NVER , libovolný ročník, letní semestr, volitelnýspecializace NEMB , libovolný ročník, letní semestr, povinnýspecializace NADE , libovolný ročník, letní semestr, volitelnýspecializace NSPE , libovolný ročník, letní semestr, volitelný
Přednáška
Vyučující / Lektor
Osnova
Laboratorní cvičení
Projekt