221_pdfsam_VLSI TEST PRINCIPLES & ARCHITECTURES

221_pdfsam_VLSI TEST PRINCIPLES & ARCHITECTURES - 1...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
190 VLSI Test Principles and Architectures c = 1 f = 1 g = 1 k = 1 e = 1 d = 1 j = 1 0 0 0 0 0 –1 0 ± FIGURE 4.23 Portion of implication graph for f = 1. 2. Indirect implications : Note that neither j = 1 nor k = 1 implies a logic value on gate x individually. However, if they are taken collectively, they imply x = 1. Thus, indirectly, f = 1 would imply x = 1. This is an indirect implication of f = 1, and it can be computed by performing a logic simulation on the current set of implications of the root node on the circuit. In this example, by inserting the implications of f = 1 into the circuit, followed by a run of logic simulation, x = 1 would be obtained as a result. This new implication is then added as an additional outgoing dashed edge from f = 1 in the implication graph as shown in Figure 4.24. Another nontrivial implication that can be inferred from each indirect implication is based on the contrapositive law. According to the contrapositive law, if ±N²v³ ±M²w²t
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: 1 ³ , then ±M² w³ → ±N² v² − t 1 ³ . Because ±f² 1 ³ → ±x² 1 ² ³ , by the contrapositive law, ±x² ³ → ±f² ² ³ . 3. Extended backward (EB) implications: Extended backward implications aim to increase the number of implications for any single node by exploring the unjustified implied nodes in the implication list. Using the same circuit shown in Figure 4.22 again, in the implication list of f = 1, d = 1 is an unjustified gate because none of d ’s inputs has been implied to a value of logic 1. Thus, d is a candidate for the application of extended backward implications. To obtain extended backward implications on d , a transitive closure is first performed x = 1 c = 1 f = 1 g = 1 k = 1 e = 1 d = 1 j = 1 –1 ± FIGURE 4.24 Adding indirect implications for f = 1....
View Full Document

Ask a homework question - tutors are online