Talks and Poster Presentations (with Proceedings-Entry):
S. Naqvi, J. Lechner, A. Steininger:
"Protection of Muller-Pipelines from Transient Faults";
Talk: 15th International Symposium & Exhibit on Quality Electronic Design,
Santa Clara, USA;
- 2014-03-12; in: "Proceedings 15th International Symposium & Exhibit on Quality Electronic Design",
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.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Created from the Publication Database of the Vienna University of Technology.