FSM
#2 - y, y_b
signal generation
y=1
y_b=0
y=0
y_b=1
d’ . (x_b . clk)
d’ . (x_b’ + clk’)
d’ . (x_b’ + clk’)
Error
state
d’ . (x_b . clk)
y=1
y_b=1
R0
R2
R1
9
CE-653 - MSFSM Intuitive
Example