This paper presents a new static logic implicationalgorithm. An improved implication procedure that fully takes advantage of the special context of static implication, the iterative method, and set algebra is described. The algorithm discovers at low cost many indirect implications which are not discovered by dynamic learning without tremendous time cost. The experimental results show that a very large number of indirect implications are found by our algorithm. The static implication procedure has many useful applications, one of which is static redundancy identification. Use of the static implications obtained from the algorithm in static redundancy identification for IS-CAS85 combinational circuits resulted in a larger number of redundant faults identified than in previous methods. I IntroductionStatic logic implication, also called static learning[l], is a procedure which performs implications on both value assignments (0 and 1) for all nodes of a circuit. It is often included in the preprocessing phase of test generation and other applications [1]-[6]. For example, it is used in ATPG to avoid repetitive computation of signal assignments and accelerate the test pattern generation. Since the usual direct implications made by forward and backward propagation can be quickly determined during the dynamic learning phase, the emphasis of static learning should be put on indirect implications, those necessary assignments that cannot be found by simple forward and backward signal propagation [2]. Indirect iniplications play a critical role in many processes, such as multi-level logic optimization [4], redundancy identification [7][8], ATPG [2], and logic verification. A vast majority of indirect implications, especially unilateral indirect implications[2], can be easily found in static learning using the contrapositive law, while it is difficult, and sometimes practically impossible, to discover them in dynamic learning. Some 'This research was supported in part by the Semiconductor Research Corporation under contract SRC 96-DP-109, in part by DARPA under contract DABT63-95-C-0069, and by HewlettPackard under an equipment grant.previous work [9] in ATPG also showed that with a complete and efficient preprocessing phase, dynamic calculation of the logical dependencies among nodes is not required to process the vast majority of faults. Therefore, static learning is a very important preprocessing step.A number of papers have dealt with implication procedures [1]-[4][9]-[12]. The learning procedures described in [3] and [5] can discover some indirect implications, but they are not sufficient for identifying large numbers of indirect implications. Rajski and Cox used a 16-value logic algebra and reduction list method to determine necessary assignments [9]. Chakradhar and Agrawal proposed a novel transitive closure based algorithm, which guarantees the identification of all implications of a partial set of node values [lO][ll]. The advantage of the algorithms proposed in [9]-[ll] is that they not only identify necessary va...

No abstract