vtr_flow/benchmarks/blif/4/frg1.blif

.model top
.inputs pp pa0 pq pb0 pr pc0 ps pt pu pv pw px py pz pa pb pc pe pf pg ph pi \
pj pk pl pm pn po
.outputs pd0 pe0 pf0
.names pb pc [14] [15] pd0
01-- 1
-01- 1
-0-1 1
.names pa pc [4] pe0
1-- 1
-1- 1
--1 1
.names pb0 pa pc pe pf0
0--0 1
-1-0 1
--10 1
.names [42] [41] [289] [291] [7]
-11- 1
1--1 1
.names pl pm [86] [286] [6]
0--- 1
-0-1 1
--11 1
.names ps pt pv pk [42]
---0 1
000- 1
.names pz pm [41]
0- 1
-0 1
.names px py pg pi [46]
-00- 1
0--0 1
--00 1
.names px py ph pj [45]
0-0- 1
-0-0 1
--00 1
.names [71] [72] [279] [281] [20]
1--1 1
-1-1 1
--11 1
.names pw pl pm po [49]
-0-- 1
0--0 1
--00 1
.names pa pe [33]
1- 1
-1 1
.names py pz pm [40]
--0 1
00- 1
.names pu pv pk [39]
--0 1
00- 1
.names pa0 pe pf [4]
0-1 1
-11 1
.names pc0 pa pe [14]
000 1
.names [33] [16] [309] [310] [15]
11-- 1
1-1- 1
1--1 1
.names ps pt [64] [287] [16]
001- 1
00-1 1
.names pk [6] [20] [19]
01- 1
0-1 1
.names pi pj [28] [29] [25]
00-- 1
-01- 1
-0-1 1
.names pn [76] [305] [306] [27]
01-- 1
0-1- 1
0--1 1
.names pq pr [40] [39] [28]
0011 1
.names pu pv ph pl [29]
00-0 1
-000 1
.names [60] [61] [297] [299] [56]
1--1 1
-1-1 1
--11 1
.names pw py po [60]
000 1
.names pj pm [61]
00 1
.names pu pv [6] [68] [64]
-0-1 1
001- 1
.names ph pl [68]
00 1
.names pw px po [71]
000 1
.names ph pm [72]
00 1
.names pw [46] [76]
01 1
.names px ph pi [78]
000 1
.names pw px py pz [86]
0000 1
.names px ph pm po [279]
00-- 1
--00 1
.names pi pp [281]
00 1
.names pp pq pr po [286]
0000 1
.names pi pl [20] [287]
--1 1
00- 1
.names pv pj pk [289]
00- 1
-00 1
.names pp px pz pm [291]
0--0 1
000- 1
.names ph pr [292]
00 1
.names py pj pm po [297]
00-- 1
--00 1
.names pq pu pk [299]
00- 1
0-0 1
.names pu ph pl [301]
-0- 1
0-0 1
.names pi [49] [301] [302]
--1 1
01- 1
.names py pg pj pl [304]
---0 1
000- 1
.names pm [78] [86] [305]
0-- 1
-1- 1
--1 1
.names pz [45] [304] [306]
--1 1
01- 1
.names pg [19] [56] [302] [309]
-1-- 1
0-1- 1
0--1 1
.names [7] [25] [27] [292] [310]
-1-- 1
--1- 1
1--1 1
.end