Course details

Functional Verification of Digital Systems

FVS Acad. year 2016/2017 Summer semester 5 credits

Current academic year

Guarantor

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

Language of instruction

Czech

Completion

Examination (written+oral)

Time span

Assessment points

  • 60 pts final exam (written part)
  • 20 pts labs
  • 20 pts projects

Department

Department of Computer Systems (UPSY)

Study literature

  • Přednáškové materiály v elektronické formě.

Fundamental literature

  • * 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. 

Course inclusion in study plans

Back to top