191.110 Hardware Verification

2019S, VU, 3.0h, 3.0EC, to be held in blocked form

Properties

  • Semester hours: 3.0
  • Credits: 3.0
  • Type: VU Lecture and Exercise

Aim of course

The course will start by introducing the Hardware verification domain and the functional verification in the design cycle. The student will learn how to efficiently verify a chip functionality through studying the hardware verification tools and methodologies (Metric Driven Verification Planning, Verification Environment, Metrics Definition and Collection, Monitors and Checkers, Verification Closure, Automated test generation). The course will also introduce the student to industrial standard verification technologies like OVM and UVM. System Verilog language for functional verification will be studied and applied through laboratory sessions.

Subject of course

Course Outlines

 

-       Hardware verification domain (1 Week)

  • Introduction to formal Hardware verification
  • Functional verification in the design cycle

-       Hardware verification tools and methodologies (2 Weeks)

  • Verification Environment
  • Metric Driven Verification Planning
  • Metrics Definition and Collection
  • Monitors and Checkers
  • Verification Closure
  • Automated test generation

-       System Verilog for functional verification (5 Weeks)

-       Industrial standard verification technologies (4 Weeks)

  • Universal Verification Methodology (UVM)
  • Open Verification Methodology(OVM)
  • Verification Methodology Manual(VMM)
  • Clock Domain Crossing (CDC)
  • Reset Domain Crossing (RDC)

Additional information

Contact Hours

2 hours lecture + 1.5 hour laboratory per week for 12 weeks 

ECTS Breakdown 75h (3 ECTS)

-       24h lectures and examination

-       18h Laboratory sessions

-       33h Design exercises

N.B. The course will be run in English.

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Mon18:00 - 20:0011.03.2019Sem.R. DB gelb 03 Lecture
Fri16:00 - 20:0015.03.2019 - 28.06.2019Sem.R. DB gelb 10 Lecture
Hardware Verification - Single appointments
DayDateTimeLocationDescription
Mon11.03.201918:00 - 20:00Sem.R. DB gelb 03 Lecture
Fri15.03.201916:00 - 20:00Sem.R. DB gelb 10 Lecture
Fri29.03.201916:00 - 20:00Sem.R. DB gelb 10 Lecture
Fri05.04.201916:00 - 20:00Sem.R. DB gelb 10 Lecture
Fri17.05.201916:00 - 20:00Sem.R. DB gelb 10 Lecture
Fri24.05.201916:00 - 20:00Sem.R. DB gelb 10 Midterm Exam
Fri07.06.201916:00 - 20:00Sem.R. DB gelb 10 Lecture
Fri14.06.201916:00 - 20:00Sem.R. DB gelb 10 Lecture
Fri21.06.201916:00 - 20:00Sem.R. DB gelb 10 Lecture
Fri28.06.201916:00 - 20:00Sem.R. DB gelb 10 Final Exam
Course is held blocked

Examination modalities

Grading

The course grade will be based on 3 practical design projects and two exams.

-       Mid-term Exam: 20 %.

-       Three practical design projects each will be graded with 15%.

-       Final Exam: 35 %.

Course registration

Begin End Deregistration end
23.02.2019 12:00

Curricula

Study CodeSemesterPrecon.Info
No records found.

Literature

No lecture notes are available.

Previous knowledge

-       Hardware and circuits design

-       Basic concept of Hardware Description Languages

-       Systems Engineering and design cycle

Language

English