# Benchmark "QUIP__ts_mike_fsm" written by ABC on Sat Jul 16 12:02:51 2016
.model QUIP__ts_mike_fsm
.inputs pi0 pi1 pi2 pi3 lo0 lo1 lo2
.outputs po0 po1 po2 po3 po4 po5 po6 po7 po8 n27 n32_1 n37_1
.names n34 po0
1 1
.names n35 po1
1 1
.names n34 po2
1 1
.names n36 po3
0 1
.names n36 po4
1 1
.names n35 po5
0 1
.names n38 po6
1 1
.names n38 po8
1 1
.names pi0 pi1 pi2 pi3 n30
1111 1
.names n35 n37_1
0 1
.names lo0 lo1 lo2 pi0 n32
0--1 0
-010 0
.names pi0 pi3 pi1 pi2 n33
0000 1
1100 1
.names n30 n32 n33 n34
1-- 1
-11 1
.names pi3 pi2 pi0 pi1 n35
0000 0
1010 0
1100 0
1111 0
.names pi0 lo2 n33 n36
001 0
.names pi0 pi2 lo1 pi3 n37
0000 0
01-1 0
10-1 0
.names pi1 n37 pi0 lo0 n38
000- 0
00-0 0
.names pi2 pi3 pi0 pi1 n39
1100 1
1111 1
.names n39 n33 pi0 lo2 po7
00-- 0
0-00 0
.names lo1 pi2 pi1 n41
000 0
.names lo2 pi0 pi3 n41 n27
1000 1
.names n33 lo0 pi0 lo2 n32_1
111- 1
1-00 1
.end
