Exercise 7.42 (Test Pattern for the Sensible Point of a Redundant Variable). Calculate all test patterns for the sensible point x5 of the gate g11 in the circuit of Fig. 7.1 on page 136 and evaluate the result. Use

(7.150) and (7.152) . . . (7.154) of [18] and the equation system created in Exercise 7.1 as basis. Practical tasks:

1 Modify the equation system created in Exercise 7.1 such that test patterns for the sensible point x5 of the gate g11 can be calculated. Solve the equation system in an appropriate Boolean space.

2 Prepare the solution of x5 ⊕ t = 1, the degenerate branch function FB(t, s) and a VT of the internal variables of the circuit.

3 Calculate the possible behavior for the sensible point x5 of the gate g11 based on (7.152) of [18].

4 Calculate the required behavior for the sensible point x5 of the gate g11 based on (7.154) of [18].
5 Calculate all existing test patterns for the sensible point x5 of the gate g11 based on (7.150) of [18].
6 Evaluate the calculated test patterns with regard to the circuit structure.