Error Detection Using Dynamic Dataflow Verification

Albert Meixner, Daniel J. Sorin
2007 Parallel Architecture and Compilation Techniques (PACT), Proceedings of the International Conference on  
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
more » ... phs. 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.
doi:10.1109/pact.2007.4336204 fatcat:4ddclxoi65bb3jon7sbwak3du4