Exercise 8.6 (Behavior of a Sequential Circuit Based on a Set of Local Lists of Phases). Calculate the behavior of the circuit given in Fig. 8.2.

Use the set of local lists of phases prepared in Exercise 8.4 as structural model and verify whether the calculated behavior coincides with the result of Exercise 8.5. Practical tasks:

1 Load the final TVL system of Exercise 8.5.

2 Create the set of local lists of phases executing the PRP prepared in Exercise 8.4.

3 Calculate the intersection of all 34 local lists of phases of the gates, flip-flops, and connections.

4 Verify whether the behavior calculated on the basis of local lists of phases coincides with the behavior of the circuit calculated by solving a system of equations in Exercise 8.5 which is available as object number 1.