High Level State Machine and Datapath

Given The system has two single bit inputs U and D each coming from button, and a 16bit output C, which is initially 0. For each press of U, the system increments C. For each press of D, the system decrements C. If both buttons are pressed, the system does not change C. The system does not roll over it goes no higher than the largest C and no lower than C=0. A press is detected as a change from 0 to 1 the duration of that 1 does not matter.

a) Define the HLSM for this system.

B) Draw the Datapath for the High Level State Machine whose diagram is given in 3 (a)

c) Draw the Finite State Machine which generates the control inputs for the High Level State Machine and Datapath from 3 (a) and 3 (b).