Exercise 8.17 (Complete Circuit Design of the Simple Control for a Road Work Traffic Light). Design the sequential circuit of a simple control for a road work traffic light and verify the result of the synthesis. Use the same method as applied in the previous exercises. The behavioral model is given in Fig. 8.1 and the result of Exercise 8.1. Practical tasks:

1 Load the TVL system e8101.sdt of Exercise 8.1. This TVL system includes the system function F(s, sf , y) of the given deterministic finitestate machine as object number 1.

2 Calculate all required controlling functions using JK-flip-flops. Calculate additionally the output functions and the resulting global list of phases.
Check the correctness of each calculated memory and output function immediately.
3 Verify whether the designed sequential circuit realizes the required behavior.