vtr_flow/benchmarks/blif/8/ttt2.blif

.model top
.inputs pp pq pr ps pt pu pv pw px py pa pb pc pe pf pg ph pi pj pk pl pm pn \
po
.outputs pa0 pb0 pc0 pd0 pe0 pf0 pg0 ph0 pi0 pj0 pz pk0 pl0 pm0 pn0 po0 pp0 \
pq0 pr0 ps0 pt0
.names pq ps pt pu pv pw py pf pa0
00---1-- 1
0-1--1-- 1
0--0-1-- 1
0---11-- 1
0----11- 1
00--1--1 1
0-1-1--1 1
0--11--1 1
-0--10-1 1
--1-10-1 1
---110-1 1
00001--- 1
-00010-- 1
00010-1- 1
0001--11 1
.names ps pt pu pv pw py pg pb0
1-100-- 1
-1100-- 1
--1000- 1
-1-10-1 1
--110-1 1
1010-0- 1
.names pq ps pt pu pv pw py ph pc0
0----1-- 1
0--100-- 1
-1-100-- 1
--1100-- 1
---1000- 1
0--1-0-1 1
-1-1-0-1 1
--11-0-1 1
--1-10-1 1
---110-1 1
---1-001 1
-00010-- 1
-1010-0- 1
.names ps pt pu pv pw pi pd0
-1-101 1
--1101 1
11000- 1
.names ps pt pu pv pw pj pe0
100-0- 1
0-000- 1
-0000- 1
1--101 1
-1-101 1
--1101 1
010-01 1
.names pa pk pf0
00 1
.names pa pk pl pm pn pg0
001-- 1
0101- 1
010-0 1
.names pa pk pl pm ph0
00-1 1
0-01 1
0110 1
.names pa pk pl pm pn pi0
00--1 1
0-011 1
0-101 1
01110 1
.names px pa pk pl pm pn po pj0
10----0 1
000---1 1
00-1--1 1
00--1-1 1
00---01 1
-010010 1
.names ps pt pu pv pw pe pz
--000- 1
100-0- 1
-1-101 1
--1101 1
.names pp pq pr px pa po na3 [92] pk0
1--100-- 1
1---000- 1
---001-1 1
1---00-1 1
01-101-- 1
0-0101-- 1
01--010- 1
0-0-010- 1
01--01-1 1
0-0-01-1 1
.names pa [60] pl0
01 1
.names pp pq pr pa po [62] [86] pm0
--1---1 1
--100-- 1
1--0-1- 1
0110--- 1
.names pp pq pr ps pa po nh3 pn0
1--10-- 1
-1-10-- 1
--010-- 1
---100- 1
---10-0 1
0010011 1
.names ps pt pu pv pa nh3 [484] po0
01--0-- 1
-1--00- 1
-1--0-1 1
101-010 1
10-0010 1
.names ps pt pu pa nh3 [484] pp0
0-10-- 1
-010-- 1
--100- 1
--10-1 1
110010 1
.names ps pt pu pv pa nh3 [484] pq0
0--10-- 1
---100- 1
---10-1 1
-0110-- 1
-1010-- 1
1110010 1
.names ps pt pu pv pw py pa pr0
0---1-0 1
-1--1-0 1
--0-1-0 1
---11-0 1
----110 1
0010-10 1
.names px pa pb ps0
001 1
100 1
.names py pa pc pt0
001 1
100 1
.names px pk pl pm pn nh3
1---- 1
-1001 1
.names pp pq px pk pl pm pn po [60]
01------ 1
-1-----0 1
-100---- 1
-10-1--- 1
-10--1-- 1
-10---0- 1
101----1 1
10-10011 1
.names pq pr px pk pl pm pn po [62]
01------ 1
101----1 1
10-10011 1
.names pk pl pm pn na3
0--- 1
-1-- 1
--1- 1
---0 1
.names px pa pk pl pm pn [86]
000--- 1
00-1-- 1
00--1- 1
00---0 1
.names pp pk pl pm pn po [92]
10---- 1
1-1--- 1
1--1-- 1
1---0- 1
1----0 1
.names pp pq pr po [484]
1--- 1
-1-- 1
--0- 1
---0 1
.end