Exercise 7.37 (Restriction of the Sensible Path Method). Calculate all test patterns for the selected sensible path x2 − g4 − h3 − g2 − g1 − y in the circuit of Fig. 7.16 on page 190 designed in Section 3. using the bi-decomposition. 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 h1(x) as object 11, h2(x) as object 17, g3(x) as object 13, and h4(x) as object 16. Prepare a variable tuple for the independent variable x2.
2 Calculate all test patterns for the sensible path x2−g4−h3−g2−g1−y using formula (7.144) of [18].
3 Enumerate all stuck-at errors which can be excluded by the calculated test patterns if correct values appear at the circuit output y.