Test digitaler Schaltungen (03-701.52)
S |
Die Fertigung einer digitalen Schaltungen ist ein komplexer technischer Prozess, der bereits durch geringe Abweichungen zu einem fehlerhaften Chip führen kann. Aus diesem Grund wird jeder Chip nach der Fertigung auf korrekte Funktionsweise getestet.
Als Grundlage dienen Fehlermodelle, die von den physikalisch vorliegenden Fehlern abstrahieren. Auf Basis dieser Fehlermodelle werden Testmuster berechnet. Da viele der sich ergebenden Probleme von hoher Komplexität sind, müssen hochentwickelte Algorithmen verwendet werden, um die notwendigen Testmuster zu berechnen.
Innerhalb des Seminars sollen folgende Teilgebiete des digitalen Schaltungstest beleuchtet werden:
- Fehlermodelle
- Verwendete Datenstrukturen
- Algorithmen zur Automatische Testmustergenerierung (ATPG)
- Veränderungen der Hardware zur besseren Testbarkeit
- Probleme beim Test sequentieller Schaltkreise
Thema
|
Vortragende
|
Folien
|
Ausarbeitung
|
| SAT-basierte Testmustergenerierung |
Cemal Aslan
Stephan Eggersgluess |
pdf
|
pdf
|
| Klassische Verfahren: Würfelkalkül |
Cui Jian
Zijia Liu |
pdf
|
pdf
|
| SOCRATES |
Stefanie Meyer |
pdf
|
ps
|
