The Community for Technology Leaders
Proceedings of the 22nd International Conference on Parallel Architectures and Compilation Techniques (2007)
Brasov, Romania
Sept. 15, 2007 to Sept. 19, 2007
ISSN: 1089-795X
ISBN: 0-7695-2944-5
pp: 104-118
Daniel J. Sorin , Duke University
Albert Meixner , Duke University
ABSTRACT
A significant fraction of the circuitry in a modern processor is dedicated to converting the linear instruction stream into a representation that allows the execution of instructions in data dependence order, rather than program order, to extract instruction level parallelism. All errors caused by hardware faults in this circuitry-- which includes the fetch and decode stages, renaming and scheduling logic, as well as the commit stage--will manifest themselves as incorrectly constructed dataflow graphs. <p>Dynamic Dataflow Verification (DDFV) compares the dynamically constructed and executed dataflow graph to the expected dataflow graph of the static program binary, represented by a signature embedded in the instruction stream. The signature comparison enables comprehensive detection of transient errors, permanent errors, and design bugs in the dataflow circuitry. We show that DDFV detects errors with high probability, at a low hardware and performance cost.</p>
INDEX TERMS
null
CITATION
Daniel J. Sorin, Albert Meixner, "Error Detection Using Dynamic Dataflow Verification", Proceedings of the 22nd International Conference on Parallel Architectures and Compilation Techniques, vol. 00, no. , pp. 104-118, 2007, doi:10.1109/PACT.2007.30
98 ms
(Ver 3.3 (11022016))