On-Line Diagnosis of Unrestricted Faults

On concurrent error detection with bounded latency in FSMs

“…Target fault models are expected to be restricted, in the sense that the set of resulting erroneous responses should be a subset of all possible circuit responses. Indeed, for an unrestricted fault model, information theory proves that any non-intrusive concurrent error detection circuit will be as complex as the original circuit [12]. When a restricted fault model is specified, however, more cost-effective solutions may be devised [13].…”