2006 · 18 citations · 6 references
EngineeringVerificationComputer ArchitectureSystem-level DesignDependable System ArchitectureFormal VerificationHardware SecurityReliability EngineeringMultiple Parity GroupsFault-tolerant ControlParity PredictorsComputer EngineeringBuilt-in Self-testComputer ScienceSelf Checking BlocksFpga DesignDesign For TestingCircuit DesignSelf-checking CircuitsFormal MethodsFault Injection
This paper describes a highly reliable digital circuit design method based on totally self checking blocks implemented in FPGAs. The bases of the self checking blocks are parity predictors. The parity predictor design method based on multiple parity groups is proposed. Proper parity groups are chosen in order to obtain minimal area overhead and to decrease the number of undetectable faults.
6
Combinational profiles of sequential benchmark circuits
F. Brglez, D. Bryan, Krzysztof Koźmiński · 2003 · 2.1K citations
Which concurrent error detection scheme to choose ?
Subhasish Mitra, E.J. McCluskey · 2002 · 294 citations
BOOM-a heuristic Boolean minimizer
J. Hlavička, Petr Fišer · 2002 · 66 citations
Synthesis of low-cost parity-based partially self-checking circuits
Kartik Mohanram, E.S. Sogomonyan, Michael Gössel et al. · 2004 · 41 citations
Concurrent fault detection in random combinational logic
Petros Drineas, Yiorgos Makris · 2004 · 26 citations