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

View Full Document Right Arrow Icon
Test Generation 185 TABLE 4.4 ± PODEM Objectives and Decisions for f Stuck-At-0 getObjective() backtrace() logicSim() D - frontier f = 1 c = 0 d = 0, f = D , e = 0, h = 0 g a = 1 a = 1 g = D , z = D f/ 0 detected objective would be to set f = 1. The backtrace routine selects c = 0 as the decision. After logic simulation, the fault is excited, together with e = h = 0. The D -frontier at this time is g . The next objective is to advance the D -frontier, thus getObjective() returns a = 1. Because a is already a primary input, backtrace() will simply return a = 1. After simulating a = 1, the fault-effect is successfully propagated to the pri- mary output z , and PODEM is finished with this target fault with the computed vector abc = 1 X 0. Table 4.4 shows the series of objectives and backtraces for this example. Consider the circuit shown in Figure 4.11. Suppose the target fault is b stuck- at-0. After circuit initialization, the first objective is b = 1 to excite the fault. The backtrace() returns
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 05/16/2011 for the course ENGINEERIN mp108 taught by Professor Elbarki during the Spring '08 term at Alexandria University.

Ask a homework question - tutors are online