Optimal design of checks for error detection and location in fault-tolerant multiprocessor systems
Ramesh K. Sitaraman, Niraj Kumar Jha · IEEE Transactions on Computers · 1993
RANDGEN, a simple and efficient general-purpose algorithm for generating arbitrary data-check (DC) graphs with a small number of checks, which satisfy a variety of properties that have been found to be useful in algorithm-based fault tolerance (ABFT) designs, is proposed. The concept of majority diagnosability is introduced in an attempt to explicitly redesign DC graphs for easy diagnosis. UNIFGEN, a variation of RANDGEN that produces DC graphs with uniform checks is examined.>