Gray code is the numbering system used to fill in the coordinate of a K-map. You are to build a 2-bit Gray code counter that counts the sequence 00,01,11,10,00,01,11,10… Your counter will have one input, IN, that causes the counter to increment on the next clock cycle, if set, and causes the counter to lock if clear. Design your circuit as an FSA. Draw a state diagram for the counter, a transition table, give simplified equations for the counter , and draw the circuit diagram.