Exercise 8.3 (Structural Model – System of Equations). Figure 8.2 describes the structure of a finite-state machine using three types of flip-flops and AND-, OR-, and EXOR-gates. Create a system of logic equations as structural model for this sequential circuit. Add information about the meaning of the variables using variable tuples. Prepare this system of equations together with the variable tuples as PRP such that it can be used later on for an analysis task. Practical tasks:

1 How many states are coded by the flip-flops of the sequential circuit?

2 Prepare a Boolean space large enough for the used variables and associate the variables of the inputs, states, states for the following time step, and outputs in an appropriate order.

3 Define the system of equations of the circuit elements as object number 1. Use the names of the logic gates as signal names of their outputs and the signal names given in the circuit structure for the flip-flops. Remember that each flip-flop creates both the state signal and its negated signal on the outputs.

4 Add variable tuples for inputs as object number 2, state variables as object number 3, state variables for the following time step as object number 4, outputs as object number 5, and all other internal variables as object number 6. Store the TVL system as e8103.sdt for later use