P7 (20 points): Look at the state diagram below. The input variables are X and Y. The state variables are S and So. The state encodings are as follows: A-00, B-01, C-10, and D-11. The output variables are Z2, Z1, and Zo RESET 017 D 10 110 10 000 0111 00 01 11 10 01 011 101101 I: Fill in the timing diagram below given the state diagram for a circuit that implements this state diagram using Positive-Edge-Triggered DFFs. CLK II: Fill in the state table with state assignments III: Draw the truth table and show that the next-state expressions can be expressed as follows: IV: Derive expressions for the output variables Z2, Z, and Zo in terms of Si and So. P7 (20 points): Look at the state diagram below. The input variables are X and Y. The state variables are S and So. The state encodings are as follows: A-00, B-01, C-10, and D-11. The output variables are Z2, Z1, and Zo RESET 017 D 10 110 10 000 0111 00 01 11 10 01 011 101101 I: Fill in the timing diagram below given the state diagram for a circuit that implements this state diagram using Positive-Edge-Triggered DFFs. CLK II: Fill in the state table with state assignments III: Draw the truth table and show that the next-state expressions can be expressed as follows: IV: Derive expressions for the output variables Z2, Z, and Zo in terms of Si and So