Beim Software-basierten Selbst-Test (SBST) eines Prozessors wird ein speziell generiertes Testprogramm ausgeführt. Die Vorteile von SBST gegenüber dem traditionellen Test auf einem speziellen Produktions-Tester sind, dass zum einen ein solcher Tester entfällt und zum anderen der nachträgliche Test beim Kunden sehr einfach ist. Diese Programme müssen so beschaffen sein, dass sie möglichst alle denkbaren Fertigungsfehler entdecken bzw. sichtbar machen. Die Fertigungsfehler beziehen sich dabei auf die Schaltungstruktur. Ein Beispiel wäre ein internes Signal, das ständig auf Masse liegt (Haftfehler an '0'). Ziel dieser Arbeit ist es, Programme bezüglich ihrer strukturellen Fehlerabdeckung zu bewerten. Dafür muss eine Brücke geschaffen werden zwischen der funktionellen Ausführung des Programms und dem logischen Verhalten der internen Schaltungsstrukturen.

Der UltraSPARC T2 wird derzeit von SUN in 65nm gefertigt. Dieser Prozessor ist Open-Source. Das heisst, die Designs und Simulationsmodelle können heruntergeladen werden. Der T2 besteht aus 8 Prozessor-Cores und Peripherie wie Speicher- und Netzwerk-Schnittstellen. Einer von den 8 Cores soll für die Untersuchungen herangezogen werden.

Diese Arbeit umfasst in Einzelnen:

• Aufsetzen eines Simulationsmodells eines Cores, das eine Programmausführung ermöglicht.
• Analyse der Core-Struktur. Identifizierung von Unterkomponenten, die sich gut mit SBST testen lassen.
• Manueller Entwurf eines geeigneten Testprogramms.
• Synthese der gewählten Unterkomponenten zur Generierung einer Gatternetzliste.
• Entwurf eines Verfahrens, dass aus einem ausgeführten Programm die logischen Eingabewerte der Unterkomponenten ermittelt.
• Durchführung einer Fehlersimulation mit den ermittelten Daten (Software vorhanden).
• Verbesserung des Testprogramms mittels der gewonnenen Erkenntnisse aus der Fehlersimulation.

Kontakt: Stefan Holst (holst@iti.uni-stuttgart.de, Raum ITI-3.164, Pfaffenwaldring 47)

Last change: Thu Thu Nov 19 08:35:22 2009 (unknown) - Printer version - revision