Exercise 7.41 (Test Pattern for the Path x2 − g4 − h3 − g2 − g1 − y Based on Bi-Decomposition Results). Calculate all test patterns for the 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. Use the equations (7.157) and

(7.158) of [18] and the intermediate design results stored in e7dec9.sdt created in Exercise 7.34 as basis. Practical tasks:

1 Load the TVL system e73dec9.sdt of Exercise 7.34. This TVL system includes the solution of y = f(x) as object 4, the function h2r(x) =

maxk xa g1r as object 39, and the function g3(x) as object 13. Prepare the solution of x2 ⊕ t = 1.

2 Calculate the requirements for the test pattern on the given path using

(7.157) and (7.158) of [18].

3 Extend test patterns calculated in the previous task by information about the expected behavior.