15th IEEE VLSI Test Symposium (VTS'97)
Exact probabilistic analysis of error detection for parity checkers
Monterey, California
April 27-May 01
ISBN: 0-8186-7810-0
Error detection probability and latency of the parity checker with respect to single stuck-at faults in the circuit under check (CUC) are calculated analytically. A notion of "multi-output supergate" is introduced for multi-output combinational CUC generalizing the formerly known notion of (single-output) supergate. "Restricted" observabilities and detectabilities are calculated for each line in the CUC with respect to non-empty subsets of outputs of the CUC. The method may be easily extended for other concurrent checkers as well.
Index Terms:
combinational circuits; probabilistic analysis; error detection; parity checker; latency; single stuck-at fault; circuit under check; multi-output supergate; combinational CUC; restricted observability; restricted detectability; concurrent checker
Citation:
V.A. Vardanian, "Exact probabilistic analysis of error detection for parity checkers," vts, pp.222, 15th IEEE VLSI Test Symposium (VTS'97), 1997