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
Pre-Silicon Verification
Introduction to ASIC Design Verification
Approaches to Functional Verification
Verification Tools
Verification Strategies
Design for Reuse
Post-Silicon Validation
Introduction to ASIC Validation
Traditional Post-Silicon Validation (in Industry)
Reversi Test Generation System
Run-Time Verification
Motivation of Runtime Verification
Classification of Runtime Verification Solutions
Dynamic Implementation of a Verification Architecture
Run-time Verification of Simple Cores
Hardware Patching Approaches
Testing
Introduction to VLSI Testing
Design for Testability
Test Generation
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"