Fault Masking in Synchronous and in Asynchronous Logic
Das Thema dieses Buches ist die Untersuchung von Fehlermaskierungseffekten in synchroner und asynchroner Logik. Ein Fehler wird als maskiert bezeichnet, wenn er eine Schaltung beeinträchtigt, aber nie einen fehlerhaften Zustand erzeugt und daher unwirksam bleibt.
In der synchronen Logik ist bekannt, dass Fehler auf drei verschiedenen Ebenen maskiert werden können: (1) Elektrische Maskierung: Ein Fehler wird auf der elektrischen Ebene injiziert, hat aber keine Auswirkungen auf die logische Ebene. Der induzierte Stromimpuls ist nicht groß genug, um den booleschen Wert zu verändern. (2) Logische Maskierung: Der Fehler ändert einen booleschen Wert, aber die logische Funktion, die mit diesem Signal ausgeführt wird, berücksichtigt ihn nicht.
Betrachtet man beispielsweise ein UND-Gatter (2 Eingänge), so wird eine "falsche" logische 1 nur dann weitergegeben, wenn der andere Eingang ebenfalls 1 ist. Dies wird als implizite logische Maskierung bezeichnet.
Die explizite logische Maskierung ist mit der Mehrheitsentscheidung bei replizierten Funktionen verwandt. (3) Zeitliche Maskierung (Latching-Fenster): Diese Ebene befasst sich mit dem zeitlichen Verhalten, d. h.
der Fehler stört ein Signal, wird aber nicht erfasst. So hat beispielsweise ein vorübergehender Fehler zwischen zwei Taktflanken in einer synchronen Schaltung keine Auswirkungen auf das Speicherelement, solange seine Wirkung bis zum nächsten Taktereignis verschwunden ist.
| ISBN: | 9786202225632 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Taschenbuch |
Derzeit verfügbar, auf Lager.
