3. Design a binary modulo 4 counter with one RESET and one UP input. If UP = 1, the counter advances to the next number. If UP = 0, the counter retreats to the previous number. The output is TRUE if the current number is even. When RESET, the counter should go to 0. (Note: A modulo N counter counts from 0 to N-1, then repeats.) a) Draw the state transition diagram. (5 points) b) Using a binary state encoding, complete the state transition table. (10 points) c) Write Boolean equations for the next state logic unit. (10 points) d) Draw the implementation using flip flops and basic logic gates. (5 points)