Hi. I need help with a finite state machine question.

 
1. Design a sequential circuit that has three impututs START, X, and Y and one output Z. The
circuit starts working when a 1 is seen on START. Subsequently, the output is equal to 1 when
the number of 1's (accumulatively) seen on X and Y is a muliple of 3; the output is equal to 0
otherwise.
a) Draw the FSM
b) Encode the states(use binary)
c) Draw the state table

a) FSM for the given circuit is given below.

S0 : 3k  1's seen 
S1 : 3k  1 1's seen 
S 2 : 3k  2  1's seen 
b)
S3  11
S0  00
S1  01
S 2  10
c)

Present state Next state

Start input XY=00 XY=01 XY=11 XY=10 Output(Z)
X 00 00 01 10 01 1
X 01 01 10 01 00 0
0 11 11 11 11 11 0
1 11 00 00 00 00 0