vtr_flow/benchmarks/blif/3/vda.blif

.model top
.inputs pp pq pa pb pc pd pe pf pg ph pi pj pk pl pm pn po
.outputs pa1 pa0 pb0 pc1 pr pb1 pc0 ps pd0 pt pd1 pe0 pu pf0 pv pg0 pw ph0 px \
pi0 py pj0 pz pk0 pl0 pm0 pn0 po0 pp0 pq0 pr0 ps0 pt0 pu0 pv0 pw0 px0 py0 pz0
.names [58] [94] [899] pa1
111 1
.names pb0 pc0 [63] pa0
1-- 1
-1- 1
--1 1
.names [94] [899] [900] pb0
111 1
.names ns6 [248] pc1
1- 1
-1 1
.names nw [933] pr
1- 1
-1 1
.names pj nl5 pb1
11 1
.names [91] [54] [52] pc0
111 1
.names [232] [938] [940] ps
1-- 1
-1- 1
--1 1
.names [49] [953] [974] pd0
1-- 1
-1- 1
--1 1
.names [58] [91] [56] pd1
111 1
.names [43] [1011] [1012] pe0
1-- 1
-1- 1
--1 1
.names [80] [1017] pu
1- 1
-1 1
.names [1030] [1031] [1045] pf0
1-- 1
-1- 1
--1 1
.names [75] nj6 [83] pv
1-- 1
-1- 1
--1 1
.names [44] [42] [1054] pg0
1-- 1
-1- 1
--1 1
.names [60] [1073] [1076] ph0
1-- 1
-1- 1
--1 1
.names [68] [1086] [1089] pi0
1-- 1
-1- 1
--1 1
.names nn5 nr6 [83] py
1-- 1
-1- 1
--1 1
.names [232] [938] [1090] pj0
1-- 1
-1- 1
--1 1
.names nd6 nc6 pz
1- 1
-1 1
.names pj0 [1092] [1094] pk0
1-- 1
-1- 1
--1 1
.names [1097] [1098] [1099] pl0
1-- 1
-1- 1
--1 1
.names [70] [1101] [1103] pm0
1-- 1
-1- 1
--1 1
.names [70] [1097] [1098] pn0
1-- 1
-1- 1
--1 1
.names pj0 [1092] [1110] po0
1-- 1
-1- 1
--1 1
.names [39] [40] [1112] pp0
1-- 1
-1- 1
--1 1
.names [83] [39] [1117] pq0
1-- 1
-1- 1
--1 1
.names [48] [64] [1121] pr0
1-- 1
-1- 1
--1 1
.names pp0 [1123] ps0
1- 1
-1 1
.names [66] [1125] [1126] pt0
1-- 1
-1- 1
--1 1
.names [39] [927] [1128] pu0
1-- 1
-1- 1
--1 1
.names [76] [1131] [1132] pv0
1-- 1
-1- 1
--1 1
.names nm6 nk6 [72] pw0
1-- 1
-1- 1
--1 1
.names [72] [1137] px0
1- 1
-1 1
.names [76] [72] [1140] py0
1-- 1
-1- 1
--1 1
.names [58] [92] [54] pz0
111 1
.names pl po [58]
10 1
.names pg [250] [251] [63]
11- 1
1-1 1
.names pl po [55]
01 1
.names [58] [54] [53] ns6
111 1
.names pq pn [91]
11 1
.names [48] [39] [927] nw
1-- 1
-1- 1
--1 1
.names [94] [899] [928] nn5
111 1
.names nj6 nn6 nt6 [88]
1-- 1
-1- 1
--1 1
.names [55] [56] [934] nl5
111 1
.names [94] [899] [935] nj7
111 1
.names [54] [52] [53] nd5
111 1
.names [51] [113] [938] [49]
--1 1
11- 1
.names [56] [57] [53] np5
111 1
.names [94] [899] [917] no4
111 1
.names [58] [53] [94] nh6
111 1
.names [94] [899] [941] nh7
111 1
.names [232] [938] [953] [44]
1-- 1
-1- 1
--1 1
.names pq pn [51]
01 1
.names no6 [959] [962] [68]
1-- 1
-1- 1
--1 1
.names nn5 nr6 [75]
1- 1
-1 1
.names pd1 ny5 [212] [79]
1-- 1
-1- 1
--1 1
.names pp pm [90]
11 1
.names [84] [904] [48]
1- 1
-1 1
.names [57] [94] [901] nr6
111 1
.names pq pn [942] no5
001 1
.names [59] [954] [955] no6
111 1
.names [51] [56] [52] nb5
111 1
.names pq pn [957] nv4
001 1
.names [77] [67] [994] [43]
1-- 1
-1- 1
--1 1
.names ne5 [183] [1002] [71]
1-- 1
-1- 1
--1 1
.names pd [106] [181] [73]
--1 1
01- 1
.names nz5 nx5 nq5 [81]
1-- 1
-1- 1
--1 1
.names [90] [52] [53] nj5
111 1
.names [91] [56] [52] nk5
111 1
.names nr6 nu6 nk6 [80]
1-- 1
-1- 1
--1 1
.names [99] [1019] np6
11 1
.names [103] [1021] na7
11 1
.names pp pm [976] nw6
001 1
.names [71] [1028] [1031] [42]
1-- 1
-1- 1
--1 1
.names [1033] [1034] [1038] [64]
1-- 1
-1- 1
--1 1
.names [51] [54] [52] nj6
111 1
.names [58] [51] [94] ny4
111 1
.names pg [244] [245] [85]
01- 1
0-1 1
.names [55] [92] [54] nm6
111 1
.names [55] [91] [996] ne5
111 1
.names [92] [54] [57] nt5
111 1
.names [55] [53] [94] nd6
111 1
.names [54] [52] [916] nh4
111 1
.names [1061] [1062] [1063] [60]
1-- 1
-1- 1
--1 1
.names pd [106] [179] [62]
--1 1
11- 1
.names pj nl5 [1065] [87]
--1 1
11- 1
.names pq pn [92]
10 1
.names pd [106] nm4
01 1
.names [58] [91] [54] nu6
111 1
.names [58] [91] [90] nu5
111 1
.names [55] [90] [978] nr4
111 1
.names pb pf [103] ng6
011 1
.names [56] [52] [53] nz5
111 1
.names nj5 nw6 [85] [77]
1-- 1
-1- 1
--1 1
.names [1047] [1048] [1049] [83]
1-- 1
-1- 1
--1 1
.names [51] [56] [57] nu4
111 1
.names [55] [54] [53] nc6
111 1
.names [85] [910] [915] [39]
1-- 1
-1- 1
--1 1
.names ng6 [919] [1091] [70]
1-- 1
-1- 1
--1 1
.names nh4 [239] [89]
1- 1
-1 1
.names np5 [85] [241] [65]
1-- 1
-1- 1
--1 1
.names [55] [90] [92] nx5
111 1
.names [84] [1104] [1108] [66]
1-- 1
-1- 1
--1 1
.names [1047] [1048] [40]
1- 1
-1 1
.names [103] [918] [919] [47]
--1 1
11- 1
.names [51] [52] [929] nn6
111 1
.names nt5 nk6 [82]
1- 1
-1 1
.names [1047] [1048] [1130] [76]
1-- 1
-1- 1
--1 1
.names [92] [56] [57] nk6
111 1
.names [84] [1104] [1134] [72]
1-- 1
-1- 1
--1 1
.names [51] [52] [930] nt6
111 1
.names [94] [901] [1003] [106]
111 1
.names pp pm [54]
00 1
.names pp pm [56]
01 1
.names pl po [57]
11 1
.names pl po [52]
00 1
.names [58] [90] [92] nq5
111 1
.names pq pn [53]
00 1
.names [90] [92] [52] nj4
111 1
.names pp pm [94]
10 1
.names [57] [53] [94] nn4
111 1
.names [94] [901] [911] na6
111 1
.names [52] [94] [899] [103]
111 1
.names pe pf [105]
00 1
.names [55] [91] [54] nw5
111 1
.names [58] [51] [56] ns5
111 1
.names pa [57] [53] [99]
111 1
.names [55] [90] [920] [59]
111 1
.names pq pn [909] ny5
011 1
.names [196] [197] [987] [67]
1-- 1
-1- 1
--1 1
.names pe [246] [247] [84]
11- 1
1-1 1
.names nn4 [59] [924] [46]
1-- 1
-11 1
.names ph [114] [236] [113]
--1 1
01- 1
.names pe pf [233] [112]
--1 1
00- 1
.names [55] [90] [984] [97]
111 1
.names pc pi pk [116]
1-- 1
-1- 1
--1 1
.names pb pc pf [118]
1-- 1
-0- 1
--0 1
.names pb pc pf [119]
1-- 1
-0- 1
--0 1
.names [55] [56] [937] [114]
11- 1
1-1 1
.names nw pt
1 1
.names nw pw
1 1
.names nw px
1 1
.names pp [51] [909] [50]
011 1
.names [54] [52] [1077] [96]
111 1
.names pc pi ne5 [136]
001 1
.names [55] [92] [56] [137]
111 1
.names [58] [92] [56] [148]
111 1
.names [52] [53] [94] [149]
111 1
.names [58] [94] [901] [150]
111 1
.names [58] [51] [54] [159]
111 1
.names [51] [90] [52] [168]
111 1
.names [58] [94] [901] [169]
111 1
.names [97] [116] [179]
11 1
.names pd [106] [180]
11 1
.names pp pm [1004] [181]
001 1
.names [91] [90] [998] [183]
111 1
.names [55] [56] [999] [184]
111 1
.names [980] [981] [983] [196]
111 1
.names [97] [986] [197]
11 1
.names pp pm [964] [200]
111 1
.names [55] [92] [56] [212]
111 1
.names [58] [51] [54] [215]
111 1
.names [58] [92] [56] [222]
111 1
.names [54] [105] [99] [230]
111 1
.names pq pn [113] [232]
011 1
.names pb pc pe [233]
1-0 1
-00 1
.names pl po [94] [236]
111 1
.names [52] [53] [94] [239]
111 1
.names pp [51] [909] [241]
011 1
.names [91] [90] [52] [244]
111 1
.names [55] [90] [53] [245]
111 1
.names pb pf [103] [246]
1-1 1
-01 1
.names pp pm [99] [247]
001 1
.names [55] [91] [90] [248]
111 1
.names [55] [56] [53] [250]
111 1
.names [55] [94] [901] [251]
111 1
.names pn pq [899]
01 1
.names pk pl po [900]
001 1
.names pn pq [901]
11 1
.names pc0 pb0 [902]
1- 1
-1 1
.names nm6 nd6 nc6 [904]
1-- 1
-1- 1
--1 1
.names pl pm po [909]
001 1
.names [241] np5 [910]
1- 1
-1 1
.names pi pl po [911]
100 1
.names nu5 nt5 [912]
1- 1
-1 1
.names ns5 na6 [913]
1- 1
-1 1
.names [81] [912] [913] [915]
1-- 1
-1- 1
--1 1
.names pq pc pn [916]
110 1
.names pg pl po [917]
011 1
.names pf pb [918]
10 1
.names nw5 no4 [919]
1- 1
-1 1
.names pq pi pn [920]
001 1
.names pe ph pj [923]
111 1
.names [923] [119] [924]
11 1
.names nh6 nh4 [239] [925]
1-- 1
-1- 1
--1 1
.names ng6 [46] [919] [926]
1-- 1
-1- 1
--1 1
.names [926] [925] [927]
1- 1
-1 1
.names pg pl po [928]
111 1
.names pp pf pm [929]
100 1
.names pp pf pm [930]
110 1
.names [63] nn5 [88] [933]
1-- 1
-1- 1
--1 1
.names pq ph pn [934]
011 1
.names pe pf po [935]
000 1
.names pm pi [937]
10 1
.names [59] [112] [230] [938]
--1 1
11- 1
.names pa1 nj7 nd5 [940]
1-- 1
-1- 1
--1 1
.names pk pl po [941]
101 1
.names pp pl pm [942]
111 1
.names pa pp [945]
00 1
.names pl pn po [946]
101 1
.names nj7 [53] [942] [947]
1-- 1
-11 1
.names nq5 nu4 [948]
1- 1
-1 1
.names [222] [945] [946] [949]
1-- 1
-11 1
.names ng6 [82] [949] [952]
1-- 1
-1- 1
--1 1
.names [947] [948] [952] [953]
1-- 1
-1- 1
--1 1
.names pc pb [954]
10 1
.names ph pf [955]
11 1
.names pf ph [954] [956]
111 1
.names pl pm po [957]
110 1
.names [53] nj4 [957] [959]
-1- 1
1-1 1
.names no6 nv4 nj4 [961]
1-- 1
-1- 1
--1 1
.names ns5 [46] [215] [962]
1-- 1
-1- 1
--1 1
.names pq pn po [964]
010 1
.names np5 ns6 [966]
1- 1
-1 1
.names pa1 pz0 [75] [969]
1-- 1
-1- 1
--1 1
.names no4 nh6 [966] [970]
1-- 1
-1- 1
--1 1
.names nh7 [79] [200] [971]
1-- 1
-1- 1
--1 1
.names [969] [970] [971] [973]
1-- 1
-1- 1
--1 1
.names [961] [962] [973] [974]
1-- 1
-1- 1
--1 1
.names pq pn po [976]
011 1
.names pq pi pn [978]
011 1
.names ph pe [980]
11 1
.names pn pj [981]
10 1
.names [55] [90] [118] [983]
111 1
.names pq pg pn [984]
010 1
.names pc pi pk [986]
000 1
.names nn6 nr4 [987]
1- 1
-1 1
.names pp pq pm [989]
011 1
.names nh7 pd1 [990]
1- 1
-1 1
.names nk6 ny4 [991]
1- 1
-1 1
.names [52] ns5 [989] [992]
-1- 1
1-1 1
.names [990] [991] [992] [994]
1-- 1
-1- 1
--1 1
.names pg pp [996]
01 1
.names pl pg [998]
01 1
.names pq pg pn [999]
000 1
.names [183] ne5 [1001]
1- 1
-1 1
.names pa1 nl5 [184] [1002]
1-- 1
-1- 1
--1 1
.names pi pl po [1003]
000 1
.names pq pl pn [1004]
111 1
.names nr6 no4 [1005]
1- 1
-1 1
.names nv4 [59] [956] [1007]
1-- 1
-11 1
.names no5 nb5 [1005] [1008]
1-- 1
-1- 1
--1 1
.names [73] [63] [1009]
1- 1
-1 1
.names [1001] [1002] [1008] [1011]
1-- 1
-1- 1
--1 1
.names [81] [1007] [1009] [1012]
1-- 1
-1- 1
--1 1
.names pc0 nj5 nk5 [1017]
1-- 1
-1- 1
--1 1
.names pe pf pm [1019]
010 1
.names pb pe pf [1021]
101 1
.names np5 ns6 [1023]
1- 1
-1 1
.names na6 nn4 [1025]
1- 1
-1 1
.names nu5 nj4 [1023] [1027]
1-- 1
-1- 1
--1 1
.names [168] [169] [1025] [1028]
1-- 1
-1- 1
--1 1
.names [1001] [1002] [1028] [1030]
1-- 1
-1- 1
--1 1
.names [62] [67] [1027] [1031]
1-- 1
-1- 1
--1 1
.names no4 nn5 [1033]
1- 1
-1 1
.names nj6 nk5 [1034]
1- 1
-1 1
.names pb0 pc0 nw5 [1036]
1-- 1
-1- 1
--1 1
.names nx5 nt6 [1036] [1038]
1-- 1
-1- 1
--1 1
.names [59] [159] [956] [1040]
-1- 1
1-1 1
.names [79] nb5 nw6 [1042]
1-- 1
-1- 1
--1 1
.names np6 na7 [1040] [1043]
1-- 1
-1- 1
--1 1
.names [64] [1042] [1043] [1045]
1-- 1
-1- 1
--1 1
.names nk5 nj5 [1046]
1- 1
-1 1
.names pd nu6 [106] [1047]
-1- 1
0-1 1
.names [179] [180] [1046] [1048]
1-- 1
-1- 1
--1 1
.names [63] nk6 [902] [1049]
1-- 1
-1- 1
--1 1
.names pp pm pn [1050]
110 1
.names ny4 [57] [1050] [1051]
1-- 1
-11 1
.names [73] [85] [1051] [1053]
1-- 1
-1- 1
--1 1
.names [84] [904] [1053] [1054]
1-- 1
-1- 1
--1 1
.names nt6 [57] [1050] [1057]
1-- 1
-11 1
.names [99] [150] [1019] [1060]
-1- 1
1-1 1
.names np5 nh6 na7 [1061]
1-- 1
-1- 1
--1 1
.names nw5 ny5 [1057] [1062]
1-- 1
-1- 1
--1 1
.names [148] [149] [1060] [1063]
1-- 1
-1- 1
--1 1
.names nn4 pz0 [1065]
1- 1
-1 1
.names nm6 pc0 [1067]
1- 1
-1 1
.names [137] nh4 [1069]
1- 1
-1 1
.names nt5 nd6 [1067] [1071]
1-- 1
-1- 1
--1 1
.names [179] [180] [1069] [1072]
1-- 1
-1- 1
--1 1
.names pc1 [87] [136] [1073]
1-- 1
-1- 1
--1 1
.names [43] [1071] [1072] [1076]
1-- 1
-1- 1
--1 1
.names pn pc [1077]
00 1
.names nu6 nj6 [1079]
1- 1
-1 1
.names nr4 nu5 [1080]
1- 1
-1 1
.names [96] nz5 [1081]
1- 1
-1 1
.names nd5 nb5 ng6 [1083]
1-- 1
-1- 1
--1 1
.names pz nm4 [1081] [1085]
1-- 1
-1- 1
--1 1
.names [1079] [1080] [1083] [1086]
1-- 1
-1- 1
--1 1
.names [60] [77] [1085] [1089]
1-- 1
-1- 1
--1 1
.names nu4 nd5 [1090]
1- 1
-1 1
.names ns6 nn5 [248] [1091]
1-- 1
-1- 1
--1 1
.names pj [63] nl5 [1092]
-1- 1
1-1 1
.names pd1 [39] [70] [1094]
1-- 1
-1- 1
--1 1
.names pa1 pd1 [88] [1096]
1-- 1
-1- 1
--1 1
.names [63] [87] [902] [1097]
1-- 1
-1- 1
--1 1
.names [65] [915] [1096] [1098]
1-- 1
-1- 1
--1 1
.names pz nh4 [239] [1099]
1-- 1
-1- 1
--1 1
.names nt5 nz5 [89] [1101]
1-- 1
-1- 1
--1 1
.names [65] [84] [904] [1103]
1-- 1
-1- 1
--1 1
.names na6 nq5 [1104]
1- 1
-1 1
.names nj6 pb0 [1105]
1- 1
-1 1
.names nc6 nh4 [1106]
1- 1
-1 1
.names [46] [1105] [1106] [1108]
1-- 1
-1- 1
--1 1
.names pz0 nx5 [66] [1110]
1-- 1
-1- 1
--1 1
.names [63] [75] [47] [1112]
1-- 1
-1- 1
--1 1
.names nh6 nd6 nc6 [1114]
1-- 1
-1- 1
--1 1
.names ng6 [59] [924] [1115]
1-- 1
-11 1
.names [88] [1114] [1115] [1117]
1-- 1
-1- 1
--1 1
.names pd nn6 [106] [1119]
-1- 1
0-1 1
.names [80] [65] [1119] [1121]
1-- 1
-1- 1
--1 1
.names nh6 [59] [924] [1123]
1-- 1
-11 1
.names nj5 nz5 [82] [1125]
1-- 1
-1- 1
--1 1
.names [63] [179] [180] [1126]
1-- 1
-1- 1
--1 1
.names [63] nn5 nr6 [1128]
1-- 1
-1- 1
--1 1
.names ns5 nu5 [1129]
1- 1
-1 1
.names ng6 [919] [1129] [1130]
1-- 1
-1- 1
--1 1
.names pz nt5 nk6 [1131]
1-- 1
-1- 1
--1 1
.names [85] [63] [1132]
1- 1
-1 1
.names [50] np5 [1134]
1- 1
-1 1
.names nm6 nr6 [1136]
1- 1
-1 1
.names [1047] [1048] [1136] [1137]
1-- 1
-1- 1
--1 1
.names nc6 pc0 [1138]
1- 1
-1 1
.names nn6 nt6 [1138] [1140]
1-- 1
-1- 1
--1 1
.end