Detail předmětu

Funkční verifikace číslicových systémů

FVS Ak. rok 2016/2017 letní semestr 5 kreditů

Aktuální akademický rok

Garant předmětu

Kotásek Zdeněk, doc. Ing., CSc.

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

Nahoru