Correct and almost complete diagnosis of processor grids

A new diagnosis algorithm for square grids is introduced. The algorithm always provides correct diagnosis if the number of faulty processors is below T, a bound with T εΘ(n^2/3), which was derived by worst-case analysis. A more effective tool to validate the diagnosis correctness is the syndrome dependent bound T_σ with T_σ⩾T, asserted by the diagnosis algorithm itself for every given diagnosis experiment. Simulation studies provided evidence that the diagnosis is complete or almost complete if the number of faults is below T. The fraction of units which cannot be identified as either faulty or nonfaulty remains relatively small as long as the number of faults is below n/3 and, as long as the number of faults is below n/2, the diagnosis is correct with high probability