.i 1
.o 2
.s 4
.p 8
.reset Rst
.resettype async
.clock Clk
.resetstate st0
.type fdr
.ilb In0
.ob Out0 Out1
.obdefault 00
.ffname state
.fftype d
.usedc 0
.code Auto
.codelength 3
0 st0 st0 00
1 st0 st1 00
- st1 st2 00
1 st2 st2 00
0 st2 st3 00
- st3 st0 00
- st1 void 10
- st3 void 01
.e
st0	%b000
st1	%b001
st2	%b010
st3	%b011