vtr_flow/benchmarks/blif/2/lal.blif

.model top
.inputs pp pa0 pq pr ps pt pu pv pw px py pz pa pb pc pd pe pf pg ph pj pk pl \
pm pn po
.outputs pb0 pc0 pd0 pe0 pf0 pg0 ph0 pi0 pj0 pk0 pl0 pm0 pn0 po0 pp0 pq0 pr0 \
ps0 pt0
.names pr pj pb0
01 1
.names pj0 [210] pc0
0- 1
-1 1
.names [58] [209] pe0
00 1
.names [223] [224] pf0
1- 1
-1 1
.names pj po pg0
00 1
.names pp pj ph0
10 1
.names pg pj pi0
0- 1
-1 1
.names [58] [209] pj0
1- 1
-1 1
.names [225] [226] pk0
11 1
.names ps nq1 pl0
00 1
.names [45] [46] pm0
1- 1
-1 1
.names [43] [44] pn0
1- 1
-1 1
.names [40] [231] po0
1- 1
-1 1
.names [37] [232] pp0
1- 1
-1 1
.names [34] [233] pq0
1- 1
-1 1
.names [31] [235] pr0
1- 1
-1 1
.names [29] [236] ps0
1- 1
-1 1
.names [26] [239] pt0
1- 1
-1 1
.names pk0 [227] nq1
1- 1
-1 1
.names pu [22] na2
10 1
.names ps pt [22]
0- 1
-0 1
.names pv na2 [21]
1- 1
-0 1
.names na2 np2 [19]
0- 1
-1 1
.names px [19] [25]
1- 1
-1 1
.names [21] [234] nt2
01 1
.names pv pw np2
1- 1
-1 1
.names px py [24]
1- 1
-1 1
.names pr pd0
1 1
.names ps0 [237] [20]
11 1
.names pa0 nt2 [23]
10 1
.names pa0 ps0 [26]
10 1
.names pz nt2 [28]
10 1
.names pz nt2 [29]
01 1
.names py [25] [31]
11 1
.names px [19] [34]
11 1
.names pw [21] [37]
11 1
.names pv na2 [40]
10 1
.names nq1 [229] [43]
01 1
.names nq1 [230] [44]
01 1
.names nq1 [228] [45]
01 1
.names pt pl0 [46]
11 1
.names pn [211] [47]
01 1
.names pn [212] [48]
11 1
.names pm [213] [49]
01 1
.names pm [214] [50]
11 1
.names pl [215] [51]
01 1
.names pl [216] [52]
11 1
.names pk [217] [53]
01 1
.names pk [218] [54]
11 1
.names pe pf [55]
11 1
.names [204] [205] [58]
11 1
.names [206] [207] [59]
11 1
.names py pz [60]
11 1
.names pt ps [202]
00 1
.names pw pu [203]
10 1
.names pz px [204]
11 1
.names [203] [202] [205]
11 1
.names pw pv [206]
11 1
.names pz px [207]
11 1
.names [60] pa0 [208]
1- 1
-1 1
.names [208] [59] [209]
1- 1
-1 1
.names [55] ph [210]
1- 1
-1 1
.names pj pd [211]
01 1
.names pj pd [212]
00 1
.names pj pc [213]
01 1
.names pj pc [214]
00 1
.names pj pb [215]
01 1
.names pj pb [216]
00 1
.names pj pa [217]
01 1
.names pj pa [218]
00 1
.names [48] [47] [219]
1- 1
-1 1
.names [50] [49] [220]
1- 1
-1 1
.names [52] [51] [221]
1- 1
-1 1
.names [54] [53] [222]
1- 1
-1 1
.names [220] [219] [223]
1- 1
-1 1
.names [222] [221] [224]
1- 1
-1 1
.names pe pq [225]
10 1
.names ph pf [226]
01 1
.names ph pq [227]
1- 1
-1 1
.names pt ps [228]
01 1
.names pu [22] [229]
00 1
.names pu [22] [230]
11 1
.names [21] nq1 [231]
0- 1
-1 1
.names [19] nq1 [232]
0- 1
-1 1
.names [25] nq1 [233]
0- 1
-1 1
.names [24] pw [234]
00 1
.names nt2 nq1 [235]
1- 1
-1 1
.names [28] nq1 [236]
1- 1
-1 1
.names nt2 pa0 [237]
10 1
.names [23] nq1 [238]
1- 1
-1 1
.names [20] [238] [239]
1- 1
-1 1
.end