vtr_flow/benchmarks/blif/7/count.blif

.model top
.inputs pp pa0 pq pb0 pr pc0 ps pd0 pe0 pu pf0 pv pg0 pw ph0 px pi0 py pj0 pz \
pa pb pc pd pe pf pg ph pi pj pk pl pm pn po
.outputs pk0 pl0 pm0 pn0 po0 pp0 pq0 pr0 ps0 pt0 pu0 pv0 pw0 px0 py0 pz0
.names pp pq pr ps pu pk0
---1- 1
00--- 1
-11-1 1
-10-0 1
.names pq pr ps pu pv po pl0
--1--- 1
0----0 1
11--1- 1
1--11- 1
10-00- 1
.names pq pr ps pu pv pw pn pm0
--1---- 1
0-----0 1
11---1- 1
1--1-1- 1
1---11- 1
10-000- 1
.names pq ps pm [107] pn0
-1-- 1
---1 1
0-0- 1
.names pq ps pl [102] po0
-1-- 1
---1 1
0-0- 1
.names pq ps pk [36] pp0
-1-- 1
0-0- 1
1--1 1
.names pa0 pq ps pj [17] pq0
--1-- 1
-0-0- 1
11--1 1
01--0 1
.names pa0 pq pb0 ps pi [17] pr0
---1-- 1
-0--0- 1
111--- 1
-11--1 1
010--0 1
.names pa0 pq pb0 pc0 ps ph [17] ps0
----1-- 1
-0---0- 1
11-1--- 1
-111--- 1
-1-1--1 1
0100--0 1
.names pa0 pq pb0 pc0 pd0 [17] [363] pt0
------1 1
11--1-- 1
-11-1-- 1
-1-11-- 1
-1--11- 1
010000- 1
.names pa0 pq pd0 pe0 [17] [361] [364] pu0
------1 1
11-1--- 1
-111--- 1
-1-11-- 1
-1-1-1- 1
010000- 1
.names pq ps pe [67] pv0
-1-- 1
---1 1
0-0- 1
.names pq ps pd [44] pw0
-1-- 1
0-0- 1
1--1 1
.names pq ps pc [46] px0
-1-- 1
0-0- 1
1--1 1
.names pq ps pi0 pb [23] py0
-1--- 1
0--0- 1
1-1-1 1
1-0-0 1
.names pq ps pi0 pj0 pa [23] pz0
-1---- 1
0---0- 1
1-11-- 1
1--1-1 1
1-00-0 1
.names pr pu pv pw px py pz [36]
1-----1 1
-1----1 1
--1---1 1
---1--1 1
----1-1 1
-----11 1
0000000 1
.names pa0 pd0 pe0 pf0 pg0 [17] [361] [44]
1---1-- 1
-1--1-- 1
--1-1-- 1
---11-- 1
----11- 1
----1-1 1
0000000 1
.names pa0 pd0 pe0 ph0 [17] [361] [366] [46]
1--1--- 1
-1-1--- 1
--11--- 1
---11-- 1
---1-1- 1
---1--1 1
0000000 1
.names pr pu pv pw px py pz [17]
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names pa0 pd0 pe0 ph0 [17] [361] [366] [23]
1------ 1
-1----- 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
.names pa0 pq pd0 pe0 pf0 [17] [361] [67]
11--1-- 1
-11-1-- 1
-1-11-- 1
-1--11- 1
-1--1-1 1
0100000 1
.names pq pr pu pv pw px py [102]
11----1 1
1-1---1 1
1--1--1 1
1---1-1 1
1----11 1
1000000 1
.names pq pr pu pv pw px [107]
11---1 1
1-1--1 1
1--1-1 1
1---11 1
100000 1
.names pc0 pb0 [361]
1- 1
-1 1
.names pq ps pg [363]
-1- 1
0-0 1
.names pq ps pf [364]
-1- 1
0-0 1
.names pg0 pf0 [366]
1- 1
-1 1
.end