Anwendungsbezogene Analyse der Robustheit von Digitalen Schaltungen

Conference: Zuverlässigkeit und Entwurf - 3. GMM/GI/ITG-Fachtagung
09/21/2009 - 09/23/2009 at Stuttgart, Germany

Proceedings: Zuverlässigkeit und Entwurf

Pages: 8Language: germanTyp: PDF

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

Authors:
Sülflow, André; Frehse, Stefan; Fey, Görschwin; Drechsler, Rolf (Fachbereich 3 – Mathematik und Informatik Universität Bremen, 28359 Bremen)

Abstract:
Die kontinuierliche Reduzierung der Strukturgrößen führt zu einer erhöhten Fehleranfälligkeit von digitalen Schaltungen. Sowohl Produktionsfehler als auch transiente Fehler können die Funktionsfähigkeit beeinflussen. Aufgrund dessen wird die Untersuchung der Fehlertoleranz im Entwicklungsprozess zunehmend wichtig. Während simulative Methoden im Allgemeinen nur einen kleinen Anteil aller potentiell fehlerhaften Szenarien betrachten, können mit formalen Techniken alle Szenarien und alle potentiellen Fehlertypen untersucht werden. In dieser Arbeit wird gezeigt, wie anwendungsspezifisches Wissen bei der formalen Untersuchung eingebracht werden kann. Hierzu werden zunächst Randbedingungen einer Anwendung ermittelt und im Anschluss zur Untersuchung der Fehlertoleranz unter Anwendungsbedingungen verwendet. Die Experimente zeigen, dass die Fehlertoleranz unter Berücksichtigung einer bestimmten Anwendung oftmals deutlich höher als die Fehlertoleranz ohne Restriktionen ist.