Issue No.03 - March (2000 vol.49)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.841130
<p><b>Abstract</b>—A testable EXOR-Sum-of-Products (ESOP) circuit realization and a simple, universal test set which detects all single stuck-at faults in the internal lines and the primary inputs/outputs of the realization are given. Since ESOP is the most general form of AND-EXOR representations, our realization and test set are more versatile than those described by other researchers for the restricted GRM, FPRM, and PPRM forms of AND-EXOR circuits. Our circuit realization requires only two extra inputs for controllability and one extra output for observability. The cardinality of our test set for an <tmath>$n$</tmath> input circuit is (<tmath>$n+6$</tmath>). For Built-in Self-Test (BIST) applications, we show that our test set can be generated internally as easily as a pseudorandom pattern and that it provides 100 percent single stuck-at fault coverage. In addition, our test set requires a much shorter test cycle than a comparable pseudoexhaustive or pseudorandom test set.</p>
Universal test set, AND-EXOR realizations, Reed-Muller expressions, single stuck-at fault model, easily testable combinational networks, Design for Testing (DFT), self-testable circuits, Built-in Self-Test (BIST), test pattern generation.
Marek A. Perkowski, Douglas V. Hall, "A Minimal Universal Test Set for Self-Test of EXOR-Sum-of-Products Circuits", IEEE Transactions on Computers, vol.49, no. 3, pp. 267-276, March 2000, doi:10.1109/12.841130