Identifikation und Test von anfälligen Schaltungskomponenten unter Prozessvariationen

• Applicant: Professor Dr. Bernd Becker
• Subject Area: Computer Architecture, Embedded and Massively Parallel Systems
• Term: from 2006 to 2013
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 22320774

Nanoelektronische Schaltungen und Systeme sind zunehmend von massiven statistischen Prozessvariationen betroffen. Um weiterhin einen stabilen Betrieb zu gewährleisten, müssen sie robust ausgelegt, d.h. mit Fehlerschutzmechanismen auf unterschiedlichen Ebenen versehen sein. Im Rahmen des geplanten Vorhabens sollen Methoden entwickelt werden, welche die Anfälligkeit von Systemen gegenüber Prozessvariationen analysieren. Dabei sollen besonders kritische, d.h. fehleranfällige Komponenten identifiziert werden, auch unter der Berücksichtigung von Fehlerbehandlung, die gegebenenfalls auf Systemebene bereits vorgenommen wird. Das methodische Vorgehen stützt sich auf eine Weiterentwicklung des in der ersten Förderperiode untersuchten Konzepts des akzeptablen Verhaltens. Die Ergebnisse dieser Analyse können zur Steuerung von (im Rahmen des Vorhabens nicht weiter betrachteten) zusätzlichen robustheitsoptimierenden Maßnahmen verwendet werden. Es sollen vielmehr Testmustergenerierungsansätze (ATPG) für die ermittelten fehleranfälligen Komponenten entwickelt werden. Dabei sind im Allgemeinen hochkomplexe ATPG-Instanzen mit einer Vielzahl von Nebenbedingungen zu lösen (Multi- Constraint-ATPG). Als Methode soll vor allem (entsprechend angepasste) SAT-Basistechnologie zum Einsatz kommen, deren Wirksamkeit für verwandte Problemklassen in den letzten Jahren überzeugend demonstriert wurde.

• DFG Programme: Research Grants
• Participating Person: Professor Dr. Ilia Polian