Exercise 8.14 (Controlling Function d3). The memory function sf3 of the non-deterministic finite-state machine restricted in Exercise 8.13 shall be realized by a D-flip-flop. Calculate the controlling function d3 taking into consideration the freedom of the non-deterministic specified behavior.
Restrict the behavior of the finite-state machine regarding the selected controlling function d3. Practical tasks:
1 Load the final TVL system of Exercise 8.13. Object number 7 includes the non-deterministic system function F(x, s, sf , y) for which a circuit structure of the memory function sf3 must be calculated.
2 Map the behavior of the memory function sf3 to the behavior of the controlling function d3 using an appropriate list of phases of a D-flipflop taken from Table 8.3 in [18]. The system function F3(x, s, sf , y, d3)
will be created.
3 Restrict F3(x, s, sf , y, d3) to the allowed behavior of the controlling functions d3 which results in F3d(x, s, d3).
4 Calculate the don’t-care function d3ϕ(x, s).
5 Calculate the function d3q(x, s) that describes the ON-set of the incompletely specified function d3 and show the associated Karnaugh-map.
6 Calculate the function d3r(x, s) that describes the OFF-set of the incompletely specified function d3 and show the associated Karnaugh-map.
7 Select a simple function for the controlling functions d3.
8 Restrict F3(x, s, sf , y, d3) to the allowed behavior with regard the selected controlling function d3.
9 Remove the information about d3 from F3(x, s, sf , y, d3) and store the restricted system function F(x, s, sf , y) as object number 8.
10 Which effect has the selection of the controlling functions d3? to the remaining system function F(x, s, sf , y).
11 Store the TVL system as e8304.sdt for later use