Simulating
operation using MSFSMs
x=1
x_b=0
Error
state
x=0
x_b=1
y_b . clk’
y_b . clk’
y_b’ . clk’
x=1
x_b=1
S1
S0
S2
y=1
y_b=0
y=0
y_b=1
d’ . (x_b’
+ clk’)
Error
state
d’ . (x_b .
clk)
y=1
y_b=1
R0
R2
R1
Q = 1
Q = 0
x_b’ . y
x_b . y’
Z0
Z1
Clk
0
d
0
y
R0
X
S0
Q
Z1
0
1
R1
S0
Z1
1
1
R1
S1
Z0
0
1
R1
S0
Z0
1
0
R2
S0
Z1
1
1
R2
S0
Z1
1
0
R2
S0
Z1
0
1
R1
S0
Z1
0
0
R0
S2
Z1
1
0
R2
S2
Z1
…
…
…
…
…
11
CE-653 - MSFSM Intuitive
Example