Copyright and all rights therein are retained by authors or by other copyright holders. Self-Checking Fault Detection using Discrepancy Mirrors
Abstract:
A method for robust detection of faults is developed based on pairwise parallel evaluation using Discrepancy Mirror logic. Discrepancy Mirrors provide coverage for the fault detector elements within the same mechanism used for the functional logic under test. The detector logic is self-testing and propagates functional outputs with adherence to a single fault-secure property so that erroneous outputs from any single fault are not propagated. Within the detector, bitwise equality comparisons are employed directly without additional data encoding/decoding schemes to determine the validity of the output. Fault handling is performed using the underlying data throughput so that additional test vectors are not required. The circuit was implemented for a Xilinx Virtex II Pro FPGA platform and fault-secure operation was verified using ModelSim-II for exhaustive stuck-at scenarios. Results indicate fault isolation in a pool of 100,000 resources using an expected value of 17.6 to 64.1 pairings when as little as one half of the inputs applied articulate the fault.
Citations
| 29 | Which Concurrent Error Detection Scheme To Choose – Mitra, McCluskey - 2000 |
| 25 | Logic Synthesis of Multilevel Circuits with Concurrent Error Detection – Touba, McCluskey - 1997 |
| 9 | Synthesis of low-cost parity-based partially self-checking circuits – Mohanram, Sogomonyan, et al. - 2003 |
| 6 | Scrubbing away transients and jiggling around the permanent: Long survival of fpga systems through evolutionary self-repair – Garvie, Thompson - 2004 |
| 5 | Design techniques for Testable Embedded Error Checkers – McCluskey - 1990 |
| 5 | Design of Totally SelfChecking Comparators with an Arbitrary Number of Inputs – Hughes, McCluskey, et al. - 1984 |
| 2 | Word voter: A new voter design for triple modular redundant systems – Mitra, McCluskey - 2000 |
| 1 | An efficient class of unidirectional error detecting/correcting codes – Tao, Hartmann, et al. - 1988 |
| 1 | Reliable Computer Systems:Design and Evaluation – Siewiorek, Swarz - 1992 |
