
.model PD101
.inputs  RST<0> X<0>
.outputs  Z<0>
.clock  CLK<0>
#.states  CURSTATE<1> CURSTATE<0>

.start_kiss
.i 2
.o 1
#inputs  current  next  outputs
11 s00<0>  s00<0>  0
10 s00<0>  s00<0>  0
00 s00<0>  s00<0>  0
01 s00<0>  s01<0>  0
11 s00<1>  s00<0>  1
10 s00<1>  s00<0>  1
00 s00<1>  s00<0>  1
01 s00<1>  s01<0>  1
10 s01<0>  s00<0>  0
11 s01<0>  s00<0>  0
01 s01<0>  s01<0>  0
00 s01<0>  s10<0>  0
11 s10<0>  s00<1>  0
10 s10<0>  s00<0>  0
00 s10<0>  s00<0>  0
01 s10<0>  s11<0>  0
11 s11<0>  s00<0>  1
10 s11<0>  s00<0>  1
01 s11<0>  s01<0>  1
00 s11<0>  s10<0>  1
.end_kiss
.end
