Qual­ity As­sur­ance for Mi­cro­elec­tron­ic Sys­tems

For further information, please visit the corresponding PANDA course.

Description

In order to ensure error-free and reliable operation of microelectronic systems, quality assurance measures have to be taken throughout the life cycle of the system:

  • Verification or validation: Proof that the design corresponds to the specification
  • Production test: check for defective chips after production
  • Maintenance test: Check for new defects (e.g. due to material aging)
  • Monitoring during operation: detection of disturbances (for example by radioactive radiation)
  • Fault Tolerance: Ensure fault-free operation during occurence of disturbances

The lecture gives an overview of these areas and shows basic methods and techniques.

Literature

  • D. K. Pradhan: „Fault-Tolerant Computer System Design“, Prentice Hall, 1996
  • I. Koren and C. Mani Krishna: „Fault-Tolerant Systems“, Morgan Kaufmann Publishers, 2007
  • S. K. Shukla, R. I. Bahar: „Nano, Quantum and Molecular Computing - Implications to High Level Design and Validation", Kluwer Academic Publishers, 2004
  • W. K. Lam: „Hardware Design Verification“, Prentice Hall, 2005, ISBN 978-0131433472
  • T. Kropf: „Introduction to Formal Hardware Verification", Springer, 1999, ISBN 978-3-540-65445-2

Exam

Oral exam, appointment upon agreement

Prerequisite

Module group

Computer Engineering (Bachelor): Micro Systems Technologies

Elektrotechnik (Bachelor): Wahlpficht Elektrotechnik I, Wahlpflicht Elektrotechnik II

back to course list

In­struct­or

Lecture Documents

More detailed information for students is available directly in the panda-course.