Hardware Verification and Quality Assessment (HVQA)
Kernveranstaltung der Vertiefungslinie Rechnerarchitektur im Diplomstudiengang Informatik.
INFOTECH: 3L+1E, 3rd semester course.
Microelectronic systems are more and more
used in mission critical applications such as automotive,
avionics and medical systems. Since errors during the design
as well as manufacturing defects
in these systems cannot be completely avoided
system correctness has to be verified or validated with highest confidence.
This lecture gives an introduction to design validation
and verification techniques which are applied in different
steps of the design flow of integrated circuits.
A second focus of the lecture are manufacturing test methods
for integrated circuits in order to detect structural defects introduced
during the production of the chip.
In the lecture the following issues will be addressed:
Formal verification methods
Diagnosis of failures
News / Announcements
Starting from Oct 22, all lectures and exercises take place in our seminar room 3.175 (Pfaffenwaldring 47).
The lecture slides and additional material can be downloaded from this website.
Please use the login and password provided in the lecture for the download.
Relevant to the examination are the contents of the lecture and exercises, not the slides alone.
The times and dates of future lectures are subject to change.
Changes are announced in the lectures.