Exercise 8.15 (Output Functions y1 and y2). Calculate output functions y1 and y2 of the non-deterministic finite-state machine restricted in Exercise 8.14. Restrict the behavior of the finite-state machine regarding the selected output functions y1 and y2, respectively. Practical tasks:

1 Load the final TVL system of Exercise 8.14. Object number 8 includes the non-deterministic system function F(x, s, sf , y) for which the a circuit structure of the output functions y1 and y2 must be calculated.

2 Restrict F(x, s, sf , y) to the allowed behavior of the output functions y1 and y2 which results in Fy(x, s, y).
3 Calculate the list of phases Fy1(x, s, y1) for the first output function y1.
4 Calculate the don’t-care function y1ϕ(x, s).
5 Calculate the function y1q(x, s) that describes the ON-set of the incompletely specified function y1 and show the associated Karnaugh-map.
6 Calculate the function y1r(x, s) that describes the OFF-set of the incompletely specified function y1 and show the associated Karnaugh-map.
7 Select a simple function for the output y1.
8 Restrict F(x, s, sf , y) to the allowed behavior with regard to the selected output function y1.
9 Restrict the new system function F(x, s, sf , y) to the allowed behavior Fy(x, s, y) of the output functions y1 and y2.
10 Calculate the list of phases Fy2(x, s, y2) for the output function y2.
11 Calculate the don’t-care function y2ϕ(x, s).
12 Calculate the function y2q(x, s) that describes the ON-set of the incompletely specified function y2 and show the associated Karnaugh-map.
13 Calculate the function y2r(x, s) that describes the OFF-set of the incompletely specified function y2 and show the associated Karnaugh-map.
14 Select a simple function for the output functions y2.
15 Restrict F(x, s, sf , y) to the allowed behavior with regard to the selected output function y2 and store the restricted result F(x, s, sf , y) as object number 9.
16 Which effect has the selection of the controlling functions y1 and y2 on the remaining system function F(x, s, sf , y)?
17 Store the TVL system as e8305.sdt for later use.