Argus: Low-Cost, Comprehensive Error Detection in Simple Cores

Albert Meixner, Michael E. Bauer, Daniel Sorin
2007 40th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO 2007)  
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-order
more » ... cessor to illustrate the potential of our approach. Experiments show that Argus-1 detects transient and permanent errors in simple cores with much lower impact on performance (<4% average overhead) and chip area (<17% overhead) than previous techniques.
doi:10.1109/micro.2007.18 dblp:conf/micro/MeixnerBS07 fatcat:g74a6zasczcw3jk4bmwwhrdouy