Fehlerdiagnose Für Schaltnetze Aus Modulen Mit Partiell Injektiven Pfadfunktionen (informatik-fachberichte) (german Edition)

In dieser Monographie werden Verfahren zur modularen Testerzeugung für Schaltnetze entwickelt. Ausgehend von einer Beschreibung der modularen Schaltung und den Tests für die einzelnen Module bestimmen diese Verfahren den Test für die modulare Schaltung. Die Arbeit geht in diesem Zusammenhang auch auf den prüfgerechten Entwurf modularer Schaltungen ein. In Analogie zum klassischen sensibilisierten Pfad, der 1 Bit Testinformation weiterleiten kann, wird der Pfadbegriff auf die parallele Weiterleitung von k Bit Testinformation verallgemeinert. Die Arbeit formalisiert dazu mehrere Klassen von partiell injektiven Pfadfunktionen; daraus werden Kriterien für die Mindesteigenschaften von pfadbildenden Modulen und Algorithmen zum Bilden solcher k-Bit-Pfade abgeleitet. Ziel des Buches ist es, Modultests, die mit speziellen Fehlermodellen und Verfahren in hoher Qualität erzeugbar sind, auch in umfangreichen, modularen Schaltungen anzuwenden. Das Buch liefert dafür die theoretischen Grundlagen und die wesentlichen Algorithmen, die in einer Teilimplementierung auch erprobt wurden. Front Matter....Pages I-XIII Einleitung....Pages 1-2 Testen digitaler Schaltungen....Pages 3-16 Entwicklung des Testkonzepts....Pages 17-26 Mathematische Grundlagen und Hilfsmittel....Pages 27-34 Beobachtung von Modul-Testergebnissen....Pages 35-85 Entwurfsmaßnahmen zur Verbesserung der partiellen Injektivität....Pages 86-100 Ein Verfahren zur Anwendung von Modultests aufgrund partiell injektiver Pfadfunktionen....Pages 101-113 Bewertung ausgewählter Verfahren und der partiellen Injektivität anhand praktischer Schaltungsbeispiele....Pages 114-132 Zusammenfassung und Ausblick....Pages 133-133 Literaturverzeichnis....Pages 134-141 Back Matter....Pages 142-172 Ausgehend von einer Beschreibung der modularen Schaltung und den Tests fur die einzelnen Module bestimmen diese Verfahren den Test fur die modulare Schaltung. Das Buch liefert dafur die theoretischen Grundlagen und die wesentlichen Algorithmen, die in einer Teilimplementierung auch erprobt wurden.