The modules Hardware-Software-Systems and Hardware-Praktikum are recommended as preparation for this course.
Students learn techniques for verification, validation and testing of ASIC designs. By using practical examples and current development tools, the students are introduced to the challenges of today's chip development and testing.
Introduction to Verification, Validation and Testing
Introduction to ASIC Design Verification
Approaches to Functional Verification
Design for Reuse
Introduction to ASIC Validation
Traditional Post-Silicon Validation (in Industry)
Reversi Test Generation System
Motivation of Runtime Verification
Classification of Runtime Verification Solutions
Dynamic Implementation of a Verification Architecture
Run-time Verification of Simple Cores
Hardware Patching Approaches
Introduction to VLSI Testing
Design for Testability
The examination will be an oral examination. Dates will be announced in the course during the semester.
Wagner and Bertacco (2011): "Post-Silicon and Runtime Verification for Modern Processors"
Wang, Stroud, and Touba (2008): "System-on-Chip Test Architectures: Nanometer Design for Testability"
Mishra and Dutt (2005): "Functional Verification of Programmable Embedded Architectures: A Top-Down Approach"
Haque, Khan, and Michelson (2001): "The Art of Verification with VERA"
Keating and Bricaud (1999): "Reuse Methodology Manual"
Bergeron (2000): "Writing Testbenches. Functional Verification of HDL Models"