Exercise 7.39 (Test Patterns Calculated for a Sensible Point Using the List of Error Phases). Calculate all test patterns for the sensible point h3 in the circuit of Fig. 7.16 on page 190 designed in Section 3. using the bidecomposition.

Use (7.150) of [18] and the equation system of Exercise 7.35, Task 3 as basis. Practical tasks:

1 Define a Boolean space of 32 variables and assign the variables appearing in the circuit of Fig. 7.16.

2 Solve the equation system of Exercise 7.35, Task 3 that describes the required behavior.

3 Modify the equation system of Exercise 7.35, Task 3 such that the list of error phases can be calculated. In order to do this, substitute the variable h3 appearing on the left-hand side of an equation by t and on the right-hand side by s, respectively. Solve this equation system.

4 Prepare a VT of the internal variables of the circuit.

5 Calculate the function FE(x,

f, s, t) for the sensible point h3 that describes the list of error phases.

6 Calculate the function FR(x,

f) for the sensible point h3 that describes the list of required phases.

7 Solve (7.150) of [18] for the sensible point h3. The results of this equation are all existing test patterns for the sensible point h3. Compare these test patterns with the test patterns calculated in Exercise 7.38.