vtr_flow/benchmarks/blif/2/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] [93] pa1
11 1
.names [63] [902] pa0
1- 1
-1 1
.names [93] [900] pb0
11 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] [107] pc0
11 1
.names [49] [940] ps
1- 1
-1 1
.names [44] [974] pd0
1- 1
-1 1
.names [91] [110] pd1
11 1
.names [43] [1013] pe0
1- 1
-1 1
.names [80] [1017] pu
1- 1
-1 1
.names [42] [1045] pf0
1- 1
-1 1
.names py nj6 pv
1- 1
-1 1
.names [1054] [1055] pg0
1- 1
-1 1
.names [1075] [1076] ph0
1- 1
-1 1
.names [1088] [1089] pi0
1- 1
-1 1
.names [75] [83] py
1- 1
-1 1
.names [49] [1090] pj0
1- 1
-1 1
.names nd6 nc6 pz
1- 1
-1 1
.names [86] [1094] pk0
1- 1
-1 1
.names [61] [1099] pl0
1- 1
-1 1
.names [1102] [1103] pm0
1- 1
-1 1
.names [70] [61] pn0
1- 1
-1 1
.names [86] [1110] po0
1- 1
-1 1
.names [1112] [1113] pp0
1- 1
-1 1
.names [83] [1118] pq0
1- 1
-1 1
.names [1121] [1122] pr0
1- 1
-1 1
.names pp0 [1123] ps0
1- 1
-1 1
.names [66] [1127] pt0
1- 1
-1 1
.names [69] [1128] pu0
1- 1
-1 1
.names [76] [1133] pv0
1- 1
-1 1
.names [72] [1135] pw0
1- 1
-1 1
.names [72] [1137] px0
1- 1
-1 1
.names [72] [1141] py0
1- 1
-1 1
.names [104] [92] pz0
11 1
.names pl po [58]
10 1
.names [94] [899] [93]
11 1
.names pg [117] [63]
11 1
.names pl po [55]
01 1
.names [104] [53] ns6
11 1
.names [55] [90] [41]
11 1
.names pq pn [91]
11 1
.names [48] [69] nw
1- 1
-1 1
.names [93] [928] nn5
11 1
.names nt6 [931] [88]
1- 1
-1 1
.names [101] [934] nl5
11 1
.names [54] [52] [107]
11 1
.names [93] [935] nj7
11 1
.names [54] [102] nd5
11 1
.names [232] [938] [49]
1- 1
-1 1
.names [56] [108] np5
11 1
.names [93] [917] no4
11 1
.names [94] [905] nh6
11 1
.names [93] [941] nh7
11 1
.names [49] [953] [44]
1- 1
-1 1
.names pq pn [51]
01 1
.names [961] [962] [68]
1- 1
-1 1
.names nn5 nr6 [75]
1- 1
-1 1
.names [212] [963] [79]
1- 1
-1 1
.names pp pm [90]
11 1
.names [84] [904] [48]
1- 1
-1 1
.names [39] [927] [69]
1- 1
-1 1
.names [58] [56] [110]
11 1
.names [57] [98] nr6
11 1
.names [53] [942] no5
11 1
.names [59] [956] no6
11 1
.names [100] [56] nb5
11 1
.names [53] [957] nv4
11 1
.names [994] [995] [43]
1- 1
-1 1
.names [1001] [1002] [71]
1- 1
-1 1
.names nm4 [181] [73]
1- 1
-1 1
.names nq5 [907] [81]
1- 1
-1 1
.names [90] [102] nj5
11 1
.names [52] [1014] nk5
11 1
.names nk6 [1015] [80]
1- 1
-1 1
.names [99] [1019] np6
11 1
.names [103] [1021] na7
11 1
.names [54] [976] nw6
11 1
.names [1030] [1031] [42]
1- 1
-1 1
.names [1037] [1038] [64]
1- 1
-1 1
.names [58] [54] [104]
11 1
.names [54] [100] nj6
11 1
.names [94] [975] ny4
11 1
.names [57] [1050] ni4
11 1
.names pg [122] [85]
01 1
.names [92] [109] nm6
11 1
.names [996] [997] ne5
11 1
.names [57] [908] nt5
11 1
.names [94] [903] nd6
11 1
.names [107] [916] nh4
11 1
.names [1063] [1064] [60]
1- 1
-1 1
.names [179] [180] [62]
1- 1
-1 1
.names pb1 [1065] [87]
1- 1
-1 1
.names pq pn [92]
10 1
.names [55] [56] [101]
11 1
.names pd [106] nm4
01 1
.names [91] [104] nu6
11 1
.names [58] [111] nu5
11 1
.names [41] [978] nr4
11 1
.names [103] [918] ng6
11 1
.names [102] [56] nz5
11 1
.names [85] [977] [77]
1- 1
-1 1
.names [40] [1049] [83]
1- 1
-1 1
.names [57] [943] nu4
11 1
.names [109] [53] nc6
11 1
.names [65] [915] [39]
1- 1
-1 1
.names [47] [1091] [70]
1- 1
-1 1
.names pj0 [1092] [86]
1- 1
-1 1
.names [1097] [1098] [61]
1- 1
-1 1
.names nh4 [239] [89]
1- 1
-1 1
.names [85] [910] [65]
1- 1
-1 1
.names [41] [92] nx5
11 1
.names [45] [1108] [66]
1- 1
-1 1
.names [1047] [1048] [40]
1- 1
-1 1
.names ng6 [919] [47]
1- 1
-1 1
.names [59] [924] [74]
11 1
.names [100] [929] nn6
11 1
.names nt5 nk6 [82]
1- 1
-1 1
.names [40] [1130] [76]
1- 1
-1 1
.names [57] [944] nk6
11 1
.names [45] [1134] [72]
1- 1
-1 1
.names [100] [930] nt6
11 1
.names [98] [1003] [106]
11 1
.names pp pm [54]
00 1
.names [51] [52] [100]
11 1
.names [52] [53] [102]
11 1
.names pp pm [56]
01 1
.names pl po [57]
11 1
.names pl po [52]
00 1
.names [94] [901] [98]
11 1
.names [92] [906] nq5
11 1
.names [55] [54] [109]
11 1
.names pq pn [53]
00 1
.names [52] [958] nj4
11 1
.names [91] [90] [111]
11 1
.names pp pm [94]
10 1
.names [57] [53] [108]
11 1
.names [94] [108] nn4
11 1
.names [98] [911] na6
11 1
.names [93] [52] [103]
11 1
.names pe pf [105]
00 1
.names [91] [109] nw5
11 1
.names [51] [110] ns5
11 1
.names pa [108] [99]
11 1
.names [41] [920] [59]
11 1
.names [51] [909] ny5
11 1
.names [987] [988] [67]
1- 1
-1 1
.names pe [120] [84]
11 1
.names [84] [1104] [45]
1- 1
-1 1
.names [74] nn4 [46]
1- 1
-1 1
.names [235] [236] [113]
1- 1
-1 1
.names [105] [233] [112]
1- 1
-1 1
.names [41] [984] [97]
11 1
.names pk [1022] [116]
1- 1
-1 1
.names [250] [251] [117]
1- 1
-1 1
.names pf [979] [118]
0- 1
-1 1
.names pf [921] [119]
0- 1
-1 1
.names [246] [247] [120]
1- 1
-1 1
.names [244] [245] [122]
1- 1
-1 1
.names pb pc [115]
1- 1
-0 1
.names [101] [237] [114]
1- 1
-1 1
.names pb pf [121]
1- 1
-0 1
.names nw pt
1 1
.names nw pw
1 1
.names nw px
1 1
.names pp ny5 [50]
01 1
.names [107] [1077] [96]
11 1
.names ne5 [1066] [136]
11 1
.names [92] [101] [137]
11 1
.names [110] [92] [148]
11 1
.names [102] [94] [149]
11 1
.names [58] [98] [150]
11 1
.names [51] [104] [159]
11 1
.names [90] [100] [168]
11 1
.names [58] [98] [169]
11 1
.names [97] [116] [179]
11 1
.names pd [106] [180]
11 1
.names [54] [1004] [181]
11 1
.names [111] [998] [183]
11 1
.names [101] [999] [184]
11 1
.names [52] [989] [188]
11 1
.names [982] [983] [196]
11 1
.names [97] [986] [197]
11 1
.names [90] [964] [200]
11 1
.names [92] [101] [212]
11 1
.names [51] [104] [215]
11 1
.names [945] [946] [221]
11 1
.names [110] [92] [222]
11 1
.names [99] [936] [230]
11 1
.names [59] [112] [231]
11 1
.names [51] [113] [232]
11 1
.names pe [115] [233]
01 1
.names ph [114] [235]
01 1
.names [57] [94] [236]
11 1
.names [55] [937] [237]
11 1
.names [102] [94] [239]
11 1
.names pp ny5 [241]
01 1
.names [52] [111] [244]
11 1
.names [41] [53] [245]
11 1
.names [103] [121] [246]
11 1
.names [54] [99] [247]
11 1
.names [41] [91] [248]
11 1
.names [101] [53] [250]
11 1
.names [55] [98] [251]
11 1
.names pn pq [899]
01 1
.names [55] pk [900]
10 1
.names pn pq [901]
11 1
.names pc0 pb0 [902]
1- 1
-1 1
.names [53] [55] [903]
11 1
.names pz nm6 [904]
1- 1
-1 1
.names [53] [58] [905]
11 1
.names [90] [58] [906]
11 1
.names nx5 nz5 [907]
1- 1
-1 1
.names [54] [92] [908]
11 1
.names [55] pm [909]
10 1
.names [241] np5 [910]
1- 1
-1 1
.names [52] pi [911]
11 1
.names nu5 nt5 [912]
1- 1
-1 1
.names ns5 na6 [913]
1- 1
-1 1
.names [913] [912] [914]
1- 1
-1 1
.names [914] [81] [915]
1- 1
-1 1
.names [92] pc [916]
11 1
.names [57] pg [917]
10 1
.names pf pb [918]
10 1
.names nw5 no4 [919]
1- 1
-1 1
.names [51] pi [920]
10 1
.names pc pb [921]
0- 1
-1 1
.names ph pe [922]
11 1
.names [922] pj [923]
11 1
.names [923] [119] [924]
11 1
.names [89] nh6 [925]
1- 1
-1 1
.names [46] [47] [926]
1- 1
-1 1
.names [926] [925] [927]
1- 1
-1 1
.names [57] pg [928]
11 1
.names [94] pf [929]
10 1
.names [94] pf [930]
11 1
.names nn6 nj6 [931]
1- 1
-1 1
.names [63] nn5 [932]
1- 1
-1 1
.names [932] [88] [933]
1- 1
-1 1
.names [51] ph [934]
11 1
.names [105] po [935]
10 1
.names [105] [54] [936]
11 1
.names pm pi [937]
10 1
.names [231] [230] [938]
1- 1
-1 1
.names nj7 pa1 [939]
1- 1
-1 1
.names [939] nd5 [940]
1- 1
-1 1
.names [55] pk [941]
11 1
.names [90] pl [942]
11 1
.names [56] [51] [943]
11 1
.names [56] [92] [944]
11 1
.names pa pp [945]
00 1
.names [57] pn [946]
10 1
.names no5 nj7 [947]
1- 1
-1 1
.names nq5 nu4 [948]
1- 1
-1 1
.names [222] [221] [949]
1- 1
-1 1
.names [82] ng6 [950]
1- 1
-1 1
.names [948] [947] [951]
1- 1
-1 1
.names [950] [949] [952]
1- 1
-1 1
.names [952] [951] [953]
1- 1
-1 1
.names pc pb [954]
10 1
.names ph pf [955]
11 1
.names [955] [954] [956]
11 1
.names [58] pm [957]
11 1
.names [92] [90] [958]
11 1
.names nj4 nv4 [959]
1- 1
-1 1
.names [215] ns5 [960]
1- 1
-1 1
.names [959] no6 [961]
1- 1
-1 1
.names [46] [960] [962]
1- 1
-1 1
.names ny5 pd1 [963]
1- 1
-1 1
.names [51] po [964]
10 1
.names pz0 pa1 [965]
1- 1
-1 1
.names np5 ns6 [966]
1- 1
-1 1
.names nh6 no4 [967]
1- 1
-1 1
.names [200] nh7 [968]
1- 1
-1 1
.names [965] [75] [969]
1- 1
-1 1
.names [967] [966] [970]
1- 1
-1 1
.names [79] [968] [971]
1- 1
-1 1
.names [970] [969] [972]
1- 1
-1 1
.names [972] [971] [973]
1- 1
-1 1
.names [973] [68] [974]
1- 1
-1 1
.names [51] [58] [975]
11 1
.names [51] po [976]
11 1
.names nw6 nj5 [977]
1- 1
-1 1
.names [51] pi [978]
11 1
.names pc pb [979]
0- 1
-1 1
.names ph pe [980]
11 1
.names pn pj [981]
10 1
.names [981] [980] [982]
11 1
.names [118] [41] [983]
11 1
.names [53] pg [984]
11 1
.names pi pc [985]
00 1
.names [985] pk [986]
10 1
.names nn6 nr4 [987]
1- 1
-1 1
.names [197] [196] [988]
1- 1
-1 1
.names [56] pq [989]
11 1
.names nh7 pd1 [990]
1- 1
-1 1
.names nk6 ny4 [991]
1- 1
-1 1
.names [188] ns5 [992]
1- 1
-1 1
.names [991] [990] [993]
1- 1
-1 1
.names [993] [992] [994]
1- 1
-1 1
.names [67] [77] [995]
1- 1
-1 1
.names pg pp [996]
01 1
.names [91] [55] [997]
11 1
.names pl pg [998]
01 1
.names [53] pg [999]
10 1
.names nl5 pa1 [1000]
1- 1
-1 1
.names [183] ne5 [1001]
1- 1
-1 1
.names [1000] [184] [1002]
1- 1
-1 1
.names [52] pi [1003]
10 1
.names [91] pl [1004]
11 1
.names nr6 no4 [1005]
1- 1
-1 1
.names nb5 no5 [1006]
1- 1
-1 1
.names no6 nv4 [1007]
1- 1
-1 1
.names [1006] [1005] [1008]
1- 1
-1 1
.names [73] [63] [1009]
1- 1
-1 1
.names [1007] [81] [1010]
1- 1
-1 1
.names [71] [1008] [1011]
1- 1
-1 1
.names [1010] [1009] [1012]
1- 1
-1 1
.names [1012] [1011] [1013]
1- 1
-1 1
.names [56] [91] [1014]
11 1
.names nu6 nr6 [1015]
1- 1
-1 1
.names nj5 pc0 [1016]
1- 1
-1 1
.names [1016] nk5 [1017]
1- 1
-1 1
.names pf pe [1018]
10 1
.names [1018] pm [1019]
10 1
.names pe pb [1020]
01 1
.names [1020] pf [1021]
11 1
.names pi pc [1022]
1- 1
-1 1
.names np5 ns6 [1023]
1- 1
-1 1
.names nj4 nu5 [1024]
1- 1
-1 1
.names na6 nn4 [1025]
1- 1
-1 1
.names [169] [168] [1026]
1- 1
-1 1
.names [1024] [1023] [1027]
1- 1
-1 1
.names [1026] [1025] [1028]
1- 1
-1 1
.names [1027] [62] [1029]
1- 1
-1 1
.names [71] [1028] [1030]
1- 1
-1 1
.names [1029] [67] [1031]
1- 1
-1 1
.names pc0 pb0 [1032]
1- 1
-1 1
.names no4 nn5 [1033]
1- 1
-1 1
.names nj6 nk5 [1034]
1- 1
-1 1
.names nt6 nx5 [1035]
1- 1
-1 1
.names [1032] nw5 [1036]
1- 1
-1 1
.names [1034] [1033] [1037]
1- 1
-1 1
.names [1036] [1035] [1038]
1- 1
-1 1
.names nw6 nb5 [1039]
1- 1
-1 1
.names no6 [159] [1040]
1- 1
-1 1
.names na7 np6 [1041]
1- 1
-1 1
.names [79] [1039] [1042]
1- 1
-1 1
.names [1041] [1040] [1043]
1- 1
-1 1
.names [1043] [1042] [1044]
1- 1
-1 1
.names [1044] [64] [1045]
1- 1
-1 1
.names nk5 nj5 [1046]
1- 1
-1 1
.names nm4 nu6 [1047]
1- 1
-1 1
.names [62] [1046] [1048]
1- 1
-1 1
.names pa0 nk6 [1049]
1- 1
-1 1
.names [90] pn [1050]
10 1
.names ni4 ny4 [1051]
1- 1
-1 1
.names [73] [1051] [1052]
1- 1
-1 1
.names [1052] [85] [1053]
1- 1
-1 1
.names [1053] [48] [1054]
1- 1
-1 1
.names [42] [44] [1055]
1- 1
-1 1
.names nh6 np5 [1056]
1- 1
-1 1
.names nt6 ni4 [1057]
1- 1
-1 1
.names ny5 nw5 [1058]
1- 1
-1 1
.names [149] [148] [1059]
1- 1
-1 1
.names np6 [150] [1060]
1- 1
-1 1
.names [1056] na7 [1061]
1- 1
-1 1
.names [1058] [1057] [1062]
1- 1
-1 1
.names [1060] [1059] [1063]
1- 1
-1 1
.names [1062] [1061] [1064]
1- 1
-1 1
.names nn4 pz0 [1065]
1- 1
-1 1
.names pi pc [1066]
00 1
.names nm6 pc0 [1067]
1- 1
-1 1
.names nd6 nt5 [1068]
1- 1
-1 1
.names [137] nh4 [1069]
1- 1
-1 1
.names [136] pc1 [1070]
1- 1
-1 1
.names [1068] [1067] [1071]
1- 1
-1 1
.names [62] [1069] [1072]
1- 1
-1 1
.names [1070] [87] [1073]
1- 1
-1 1
.names [1072] [1071] [1074]
1- 1
-1 1
.names [60] [1073] [1075]
1- 1
-1 1
.names [43] [1074] [1076]
1- 1
-1 1
.names pn pc [1077]
00 1
.names nb5 nd5 [1078]
1- 1
-1 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 nm4 pz [1082]
1- 1
-1 1
.names [1078] ng6 [1083]
1- 1
-1 1
.names [1080] [1079] [1084]
1- 1
-1 1
.names [1082] [1081] [1085]
1- 1
-1 1
.names [1084] [1083] [1086]
1- 1
-1 1
.names [1085] [77] [1087]
1- 1
-1 1
.names [68] [1086] [1088]
1- 1
-1 1
.names [1087] [60] [1089]
1- 1
-1 1
.names nu4 nd5 [1090]
1- 1
-1 1
.names pc1 nn5 [1091]
1- 1
-1 1
.names [63] pb1 [1092]
1- 1
-1 1
.names [70] pd1 [1093]
1- 1
-1 1
.names [1093] [39] [1094]
1- 1
-1 1
.names pd1 pa1 [1095]
1- 1
-1 1
.names [88] [1095] [1096]
1- 1
-1 1
.names pa0 [87] [1097]
1- 1
-1 1
.names [39] [1096] [1098]
1- 1
-1 1
.names [89] pz [1099]
1- 1
-1 1
.names nz5 nt5 [1100]
1- 1
-1 1
.names [1100] [89] [1101]
1- 1
-1 1
.names [70] [1101] [1102]
1- 1
-1 1
.names [48] [65] [1103]
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 [1106] [1105] [1107]
1- 1
-1 1
.names [1107] [46] [1108]
1- 1
-1 1
.names nx5 pz0 [1109]
1- 1
-1 1
.names [66] [1109] [1110]
1- 1
-1 1
.names [63] [75] [1111]
1- 1
-1 1
.names [1111] [47] [1112]
1- 1
-1 1
.names [40] [39] [1113]
1- 1
-1 1
.names pz nh6 [1114]
1- 1
-1 1
.names [74] ng6 [1115]
1- 1
-1 1
.names [1114] [88] [1116]
1- 1
-1 1
.names [1116] [1115] [1117]
1- 1
-1 1
.names [1117] [39] [1118]
1- 1
-1 1
.names nm4 nn6 [1119]
1- 1
-1 1
.names [1119] [80] [1120]
1- 1
-1 1
.names [1120] [65] [1121]
1- 1
-1 1
.names [64] [48] [1122]
1- 1
-1 1
.names [74] nh6 [1123]
1- 1
-1 1
.names nz5 nj5 [1124]
1- 1
-1 1
.names [1124] [82] [1125]
1- 1
-1 1
.names [62] [63] [1126]
1- 1
-1 1
.names [1126] [1125] [1127]
1- 1
-1 1
.names [63] [75] [1128]
1- 1
-1 1
.names ns5 nu5 [1129]
1- 1
-1 1
.names [47] [1129] [1130]
1- 1
-1 1
.names [82] pz [1131]
1- 1
-1 1
.names [85] [63] [1132]
1- 1
-1 1
.names [1132] [1131] [1133]
1- 1
-1 1
.names [50] np5 [1134]
1- 1
-1 1
.names nk6 nm6 [1135]
1- 1
-1 1
.names nm6 nr6 [1136]
1- 1
-1 1
.names [40] [1136] [1137]
1- 1
-1 1
.names nc6 pc0 [1138]
1- 1
-1 1
.names nt6 nn6 [1139]
1- 1
-1 1
.names [1139] [1138] [1140]
1- 1
-1 1
.names [76] [1140] [1141]
1- 1
-1 1
.end