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

View Full Document Right Arrow Icon
Introduction 23 (b) ab c a b f c f = ab + bc 1 0 × 1 1 11x x10 01x x00 10x x01 {111,101,010,000} Test Vectors (a) ab c f = abc + abc 111 010 0 00011110 00011110 1 × 1 1 011 110 101 000 110 011 {111,110,101,011,010,000} f SA1 b c a SA1 SA1 SA1 ± FIGURE 1.11 Example of different implementations and their test vectors. set of test vectors for Figure 1.11b is a subset of those required for Figure 1.11a and, as a result, would not detect the four SA1 faults shown in the gate-level implementation of Figure 1.11a. This example can also be illustrated by considering Theorems 1.1 and 1.2. If ATPG assumes that a combinational logic circuit will be fanout free based on the functional description, it could produce test vectors to detect stuck-at faults for all primary inputs based on Theorem 1.1. Yet, if the synthesized circuit contains fanout stems, the set of test vectors produced by the APTG may not detect stuck-at faults on all fanout branches and, as a result of Theorem 1.2, may not detect all stuck-at faults in the circuit. Note that the four
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.
Ask a homework question - tutors are online