Universal delay test sets for logic networks |
| |
Authors: | Sparmann U. Muller H. Reddy S.M. |
| |
Affiliation: | Comput. Sci. Dept., Saarlandes Univ., Saarbrucken ; |
| |
Abstract: | It has been shown earlier that, if we are restricted to unate gate network (UGN) realizations, there exist universal test sets for Boolean functions. Such a test set only depends on the function f, and checks any UGN realization of f for all multiple stuck-at faults and all robustly testable stuck-open faults. In this paper, we prove that these universal test sets are much more powerful than implied by the above results. They also constitute complete delay fault test sets for arbitrary UGN implementations of a given function. This is even true for UGN networks which are not completely testable with respect to the gate or path delay fault model. Our ability to prove the temporal correctness of such circuit realizations comes from the fact that we do not argue the correctness of individual paths, but rather complete path systems |
| |
Keywords: | |
|
|