Detail předmětu
Funkční verifikace číslicových systémů
Garant předmětu
Jazyk výuky
česky
Zakončení
zkouška (kombinovaná)
Rozsah
Bodové hodnocení
- 60 bodů závěrečná zkouška (písemná část)
- 20 bodů laboratoře
- 20 bodů projekty
Zajišťuje ústav
Ústav počítačových systémů (UPSY)
Literatura studijní
- Přednáškové materiály v elektronické formě.
Literatura referenční
- * Myer, A.: Principles of Functional Verification, Newnes, USA, 2003. ISBN: 0750676175. * Bergeron, J.: Writing Testbenches using SystemVerilog, Springer, USA, 2006. ISBN: 0387292217 * Spear, Ch., Tumbush, G., SystemVerilog for Verification: A Guide to Learning the Testbench Language Features, Springer, USA, 2012. ISBN: 1461407141. * Haque, F., Michelson, J., Khan, K.: The Art of Verification with SystemVerilog Assertions, Verification Central, USA, 2006. ISBN: 0971199418.
Zařazení předmětu ve studijních plánech