Exercise 8.13 (Controlling Functions d2 and v2). The memory function sf2 of the non-deterministic finite-state machine restricted in Exercise 8.12 shall be realized by a DV -flip-flop. Calculate the controlling functions d2 and v2 taking into consideration the freedom of the non-deterministic specified behavior. Restrict the behavior of the finite-state machine regarding the selected controlling functions d2 and v2. Practical tasks:

1 Load the final TVL system of Exercise 8.12. Object number 6 includes the non-deterministic system function F(x, s, sf , y) for which a circuit structure of the memory function sf2 must be calculated.

2 Map the behavior of the memory function sf2 to the behavior of controlling functions d2 and v2 using an appropriate list of phases of a DV -

flip-flop taken from Table 8.3 in [18]. The system function F2(x, s, sf , y, d2, v2) will be created.

3 Restrict F2(x, s, sf , y, d2, v2) to the allowed behavior of the controlling functions d2 and v2 which results in F2dv(x, s, d2, v2).
4 Calculate the list of phases F2d(x, s, d2) for the controlling function d2 of the DV -flip-flop.
5 Calculate the don’t-care function d2ϕ(x, s).
6 Calculate the function d2q(x, s) that describes the ON-set of the incompletely specified function d2 and show the associated Karnaugh-map.
7 Calculate the function d2r(x, s) that describes the OFF-set of the incompletely specified function d2 and show the associated Karnaugh-map.
8 Select a simple function for the controlling functions d2.
9 Restrict F2(x, s, sf , y, d2, v2) to the allowed behavior with regard the selected controlling function d2.
10 Restrict the new system function F2(x, s, sf , y, d2, v2) to the allowed behavior F2dv(x, s, d2, v2) of the controlling functions d2 and v2.
11 Calculate the list of phases F2v(x, s, v2) for the controlling function v2 of the DV -flip-flop.
12 Calculate the don’t-care function v2ϕ(x, s).
13 Calculate the function v2q(x, s) that describes the ON-set of the incompletely specified function v2 and show the associated Karnaugh-map.
14 Calculate the function v2r(x, s) that describes the OFF-set of the incompletely specified function v2 and show the associated Karnaugh-map.
15 Select a simple function for the controlling function v2.
16 Restrict F2(x, s, sf , y, d2, v2) to the allowed behavior with regard to the selected controlling function v2.
17 Remove all information about d2 and v2 from the final system function F2(x, s, sf , y, d2, v2) and store the restricted result F(x, s, sf , y) as object number 7.
18 Which effect has the selection of the controlling functions d2 and v2 to the remaining system function F(x, s, sf , y)?
19 Store the TVL system as e8303.sdt for later use.