Quality Assurance for Microelectronic Systems

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