Exercise 7.36 (Test Pattern Calculated for a Sensible Path). Calculate all test patterns for the selected sensible path x2 − g7 − h6 − h1 − y in the circuit of Fig. 7.16 on page 190 designed in Section 3. using the bidecomposition.

Practical tasks:

1 Load the TVL system e73dec9.sdt of Exercise 7.34. This TVL system includes the output function y = f(x) as object 7, and the controlling functions g1(x) as object 10, g6(x) as object 20, and h7(x) as object 23. Prepare a variable tuple for the independent variable x2 and a TVL for the function nx4 = x4.

2 Calculate all test patterns for the sensible path x2 − g7 − h6 − h1 − y using formula (7.144) of [18].

3 Enumerate all stuck-at errors which can be excluded by the calculated test pattern if correct values appear at the circuit output y.