A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Argus: Low-Cost, Comprehensive Error Detection in Simple Cores
Microarchitecture (MICRO), Proceedings of the Annual International Symposium on
We have developed Argus, a novel approach for providing low-cost, comprehensive error detection for simple cores. The key to Argus is that the operation of a von Neumann core consists of four fundamental tasks-control flow, dataflow, computation, and memory access-that can be checked separately. We prove that Argus can detect any error by observing whether any of these tasks are performed incorrectly. We describe a prototype implementation, Argus-1, based on a single-issue, 4-stage, in-orderdoi:10.1109/micro.2007.4408257 fatcat:fh4t4wiz45cizlkvq53dsyqeqy