2 hours of lecture (3 ECTS credits)
Start: Thu, 2019-04-18
11:45 - 13:15
- Information about the exam, including exam dates, is published on the OpenOLAT web page of this course.
- There will be an embedded guest lecture on hardware security by Prof. Dr. Basel Halak from Southampton University, UK. Dr. Halak will teach 3 lectures:
- Tuesday, June 25, 8:15-9:45, room 11-262
- Thursday, June 27, 11:45-13:15, room 13-222
- Friday, June 28, 14:00-15:30, room 13-305
(See more information below.)
This course is taught in English.
Modern technology relies more and more on computing systems, impacting all aspects of human life. The complexity of these systems is constantly growing and so is their vulnerability against design errors, manufacturing defects and faults occurring during operation. Additional challenges result from latest manufacturing technologies which are inherently more susceptible to process variations, leading to unreliable circuit devices. This lecture discusses techniques to make digital systems robust against such faults and errors.
- Metrics of fault tolerance (reliability, availability, failure rate, MTTF, Weibull distribution, system reliability analysis)
- Structural Redundancy (triple-modular redundancy, N-modular redundancy, dynamic redundancy, hybrid schemes)
- Information Redundancy (codes and their properties, error detection and correction, parity codes, Hamming code, Hsiao code, checksum codes, cyclic codes, AN codes, residue codes)
- CMOS Failures(overview of failure causes in CMOS circuits: manufacturing defects, process variations, aging effects, soft errors)
- Fault Models (abstraction levels of fault models, transistor-level fault models, gate-level models, stuck-at faults, delay faults, bridging faults)
- Fault Simulation and Test Generation (fault simulation applications and algorithms, random test generation, structural ATPG, SAT-based ATPG, sequential test generation)
- Design for Testability (scan design, Built-in self test (BIST), offline BIST, online BIST)
- Hardware Redundancy Techniques (circuit-level resilience techniques (BISER, Razor), concurrent error detection, self-checking circuits)
- Software-based Resilience (checkpointing & recovery, software-based concurrent error detection)
Erasmus Mundus Distinguished Lecture
This year the course is complemented by three lectures given by Prof. Dr. Basel Halak from the University of Southampton, on the subject of Hardware Security.
The lectures will cover the following topics:
- Secure Hardware: Motivation, Standards and Design Principles
- Physically Unclonable Functions; Design Principles and Security Applications
- Hardware Trojans: Causes and Countermeasure
Dr Basel Halak is the director of the Embedded Systems Master program at Southampton University, he has written over 60 conference and journal papers, and authored two books. He received his PhD degree in Microelectronics System Design from Newcastle University. He was then awarded a knowledge transfer fellowship to develop secure and energy efficient design for portable health care monitoring systems. He is a member of the Sustainable Electronics research group, as well as, Cyber Security group at Electronics and Computer Science School (ECS). His background is on the design and implementation of microelectronics systems, with special focus on reliability and security.