Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail předmětu
FIT-FVSAk. rok: 2025/2026
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í. Validace.
Jazyk výuky
Počet kreditů
Garant předmětu
Zajišťuje ústav
Vstupní znalosti
Pravidla hodnocení a ukončení předmětu
Učební cíle
Získat přehled o funkční verifikaci číslicových systémů, pozornost se věnuje problematice přípravy testovacích prostředí (testbenchů), funkční verifikaci a emulaci. Získat praktické dovednosti s funkční verifikací číslicových systémů, které používají přední výrobci číslicových obvodů. Zvládnutí tvorby testovacích a verifikačních prostředí podle aktuálních a běžně používaných metodik (UVM). Zvládnutí poskytnutí přesných informací o objevených chybách, nebo jejich přímého odstranění.
Student zná základní techniky funkční verifikace číslicových systémů: simulaci, funkční verifikaci a její metody, emulaci a prototypování. Umí analyzovat zdrojové kódy a výstupy nástrojů pro funkční verifikaci, umí lokalizovat chyby a zařídit jejich opravu. Umí vytvářet základní verifikační prostředí v jazyku SystemVerilog podle aktuálních metodik (UVM) pro funkční verifikaci. Získal znalosti, které jsou značnou výhodou při práci v oblasti návrhu číslicových obvodů.
Základní literatura
Doporučená literatura
Zařazení předmětu ve studijních plánech
specializace NSEC , 0 ročník, letní semestr, volitelnýspecializace NISY do 2020/21 , 0 ročník, letní semestr, volitelnýspecializace NNET , 0 ročník, letní semestr, volitelnýspecializace NMAL , 0 ročník, letní semestr, volitelnýspecializace NCPS , 0 ročník, letní semestr, volitelnýspecializace NHPC , 0 ročník, letní semestr, volitelnýspecializace NVER , 0 ročník, letní semestr, volitelnýspecializace NIDE , 0 ročník, letní semestr, volitelnýspecializace NISY , 0 ročník, letní semestr, volitelnýspecializace NEMB do 2023/24 , 0 ročník, letní semestr, volitelnýspecializace NSPE , 0 ročník, letní semestr, volitelnýspecializace NEMB , 0 ročník, letní semestr, povinnýspecializace NBIO , 0 ročník, letní semestr, volitelnýspecializace NSEN , 0 ročník, letní semestr, volitelnýspecializace NVIZ , 0 ročník, letní semestr, volitelnýspecializace NGRI , 0 ročník, letní semestr, volitelnýspecializace NADE , 0 ročník, letní semestr, volitelnýspecializace NISD , 0 ročník, letní semestr, volitelnýspecializace NMAT , 0 ročník, letní semestr, volitelný
Přednáška
Vyučující / Lektor
Osnova
Laboratorní cvičení
Projekt