[Zurück]


Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):

S. Naqvi, J. Lechner, A. Steininger:
"Protection of Muller-Pipelines from Transient Faults";
Vortrag: 15th International Symposium & Exhibit on Quality Electronic Design, Santa Clara, USA; 10.03.2014 - 12.03.2014; in: "Proceedings 15th International Symposium & Exhibit on Quality Electronic Design", (2014), ISBN: 978-1-4799-3946-6; 9 S.



Kurzfassung englisch:
While it is well understood how to e fficiently protect the data path in an asynchronous transmission channel against transient faults, much less is known about protecting the handshake signals along with their associated logic -- mostly a Muller Pipeline -- although these are equally critical for the proper function. In this paper we analyze the possible failure scenarios in the handshake of a 4-phase bundled data protocol that can arise from transient faults and systematically elaborate mitigation techniques for the resulting effects, namely single event transients and single event upsets. By simulated fault injection we show the e ffectiveness of the proposed extensions for protecting the channel. We take care to make these extensions themselves immune against transient faults, and we prove their proper and deadlock-free operation under fault conditions by means of model checking. Finally we show that, while providing superior coverage, our approach is in line with comparable approaches with respect to the area overhead.


"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1109/ISQED.2014.6783315


Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.