13M044VHD - Hardware Verification in Digital Integrated Systems 2

Course specification
Course title		Hardware Verification in Digital Integrated Systems 2
Acronym		13M044VHD
Study programme		Electrical Engineering and Computing
Module
Type of study		master academic studies
Lecturer (for classes)		asst. professor PhD Jelena Popović Božović
Lecturer/Associate (for practice)		asst. professor PhD Jelena Popović Božović
Lecturer/Associate (for OTC)		asst. professor PhD Vladimir Petrović asst. professor PhD Jelena Popović Božović
ESPB		6.0	Status	elective
Condition		Introduction to VLSI Systems Design 2
The goal		Introduction to advanced procedures for hardware verification in digital integrated systems at core level and system level. Learning advanced methodologies, languages and tools for hardware verification.
The outcome		Students will overcome the procedure of functional verification of hardware modules using advanced verification techniques.
Contents
URL to the subject page		http://tnt.etf.bg.ac.rs/~oe4vhd/
URL to lectures		https://teams.microsoft.com/l/team/19%3AbrtPWn0CrNaG0Hl5SxOdBybYvQDTF1LBSC8rLuI-BVI1%40thread.tacv2/conversations?groupId=c79e0d93-2d2e-401d-a881-5d52c0498101&tenantId=1774ef2e-9c62-478a-8d3a-fd2a495547ba
Contents of lectures		Advanced verification techniques in design of digital integrated systems, goals. Functional and formal verification. Verification languages, System Verilog vs. e, SystemC. Directed verification, constrained random metric driven verification. Register level model in UVM (Universal Verification Methodology). Creating of test plan and Verification Environment. Constrained random tests. Coverage.
Contents of exercises		Design of a verification enviroment for a hardware core using register level model in UVM.
Literature
Andreas Meyer, Principles of Functional Verification, Newnes, 2003. (Original title) Chris Spear, G. Tumbush, SystemVerilog for Verifcation - A Guide to Learning the Testbench Language Features, 2012. (Original title) Universal Verifcation Methodology (UVM) 1.1 User's Guide, Accelera, Maj 2011. (Original title)
Number of hours per week during the semester/trimester/year
Lectures	Exercises	OTC	Study and Research	Other classes
2	1	2
Methods of teaching		Lectures - Power Point presentations. Individual student's work on the projects.
Knowledge score (maximum points 100)
Pre obligations		Points	Final exam	Points
Activites during lectures		0	Test paper	30
Practical lessons		20	Oral examination	0
Projects		50
Colloquia		0
Seminars		0