Formaler Nachweis der Fehlertoleranz von Schaltkreisen

Conference: Zuverlässigkeit und Entwurf - 2. GMM/GI/ITG-Fachtagung
09/29/2008 - 10/01/2008 at Ingolstadt, Germany

Proceedings: Zuverlässigkeit und Entwurf

Pages: 8Language: germanTyp: PDF

Personal VDE Members are entitled to a 10% discount on this title

Authors:
Fey, Görschwin; Sülflow, André; Frehse, Stefan; Kühne, Ulrich; Drechsler, Rolf (Fachbereich 3 – Mathematik und Informatik, Universität Bremen, 28359 Bremen)
Fey, Görschwin (VLSI Design & Education Center, Universität Tokio, Tokio, 113-8656, Japan)

Abstract:
Moore’s Gesetz treibt schon seit Jahrzehnten die Halbleiterindustrie an: Die Anzahl der Komponenten, die in einem Schaltkreis integriert werden, nimmt exponentiell zu. Dies ist nur durch eine stetige Verringerung der Strukturgrößen möglich. Im Resultat nimmt der Einfluss von Schwankungen im Fertigungsprozess relativ zu absoluten Kenngrößen stetig zu. Eine mögliche Folge ist in Zukunft, dass unzuverlässige, ggf. fehlerhafte Komponenten, die Bausteine eines Schaltkreises sind. Eine weitere Konsequenz ist die zunehmende Anfälligkeit von Schaltkreisen gegenüber so genannten transienten Fehlern, die zum Beispiel durch Umgebungsstrahlung induziert werden.