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

• Digital Designg
• Computer Architecture

Module group

Computer Engineering (Bachelor): Micro Systems Technologies

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

back to course list