vtr_flow/benchmarks/blif/4/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 pl po [93] pa1
101 1
.names pg [117] [902] pa0
--1 1
11- 1
.names pk pl po [93] pb0
0011 1
.names pq pn [41] [104] pc1
111- 1
00-1 1
.names [69] [84] [904] [933] pr
1--- 1
-1-- 1
--1- 1
---1 1
.names pj [101] [934] pb1
111 1
.names pq pn [107] pc0
111 1
.names [49] [54] [102] [939] ps
1--- 1
---1 1
-11- 1
.names [49] [951] [952] [974] pd0
1--- 1
-1-- 1
--1- 1
---1 1
.names pq pn [110] pd1
111 1
.names [77] [67] [994] [1013] pe0
1--- 1
-1-- 1
--1- 1
---1 1
.names nk5 nk6 [1015] [1016] pu
1--- 1
-1-- 1
--1- 1
---1 1
.names [42] [1045] pf0
1- 1
-1 1
.names pp pm py [100] pv
--1- 1
00-1 1
.names [44] [42] [1054] pg0
1-- 1
-1- 1
--1 1
.names [43] [1071] [1072] [1075] ph0
1--- 1
-1-- 1
--1- 1
---1 1
.names [961] [962] [1086] [1089] pi0
1--- 1
-1-- 1
--1- 1
---1 1
.names [75] [1047] [1048] [1049] py
1--- 1
-1-- 1
--1- 1
---1 1
.names [49] [1090] pj0
1- 1
-1 1
.names pp pm [55] [53] pz
1011 1
0011 1
.names [49] [1090] [1092] [1094] pk0
1--- 1
-1-- 1
--1- 1
---1 1
.names pa0 [87] [1098] [1099] pl0
1--- 1
-1-- 1
--1- 1
---1 1
.names [70] [89] [1100] [1103] pm0
1--- 1
-1-- 1
--1- 1
---1 1
.names pa0 [87] [70] [1098] pn0
1--- 1
-1-- 1
--1- 1
---1 1
.names [49] [1090] [1092] [1110] po0
1--- 1
-1-- 1
--1- 1
---1 1
.names ng6 [919] [1111] [1113] pp0
1--- 1
-1-- 1
--1- 1
---1 1
.names [1047] [1048] [1049] [1118] pq0
1--- 1
-1-- 1
--1- 1
---1 1
.names [65] [1120] [1122] pr0
1-- 1
-1- 1
--1 1
.names [47] [1111] [1113] [1123] ps0
1--- 1
-1-- 1
--1- 1
---1 1
.names [45] [1108] [1125] [1126] pt0
1--- 1
-1-- 1
--1- 1
---1 1
.names pg [75] [69] [117] pu0
-1-- 1
--1- 1
1--1 1
.names pz [82] [76] [1132] pv0
1--- 1
-1-- 1
--1- 1
---1 1
.names np5 [45] [50] [1135] pw0
1--- 1
-1-- 1
--1- 1
---1 1
.names np5 [45] [50] [1137] px0
1--- 1
-1-- 1
--1- 1
---1 1
.names np5 [45] [50] [1141] py0
1--- 1
-1-- 1
--1- 1
---1 1
.names pq pn [104] pz0
101 1
.names pl po [58]
10 1
.names pp pq pm pn [93]
1100 1
.names pl po [55]
01 1
.names pp pl pm po [41]
1011 1
.names pq pn [91]
11 1
.names pz [69] nm6 [84] nw
1--- 1
-1-- 1
--1- 1
---1 1
.names pg pl po [93] nn5
1111 1
.names pp pf pm [100] [88]
0-01 1
1101 1
1001 1
.names pp pl pm po [107]
0000 1
.names [51] [113] [230] [231] [49]
--1- 1
---1 1
11-- 1
.names pp pm [108] np5
011 1
.names [49] [947] [948] [952] [44]
1--- 1
-1-- 1
--1- 1
---1 1
.names pq pn [51]
01 1
.names pg [93] [57] [98] [75]
--11 1
111- 1
.names pp pm [90]
11 1
.names [65] [915] [925] [926] [69]
1--- 1
-1-- 1
--1- 1
---1 1
.names pp pl pm po [110]
0110 1
.names [41] [920] [956] no6
111 1
.names pq pn [957] nv4
001 1
.names [77] [67] [994] [43]
1-- 1
-1- 1
--1 1
.names [101] [999] [1000] [1001] [71]
--1- 1
---1 1
11-- 1
.names pl po [1014] nk5
001 1
.names pa [108] [1019] np6
111 1
.names pl po [93] [1021] na7
0011 1
.names [71] [67] [1028] [1029] [42]
1--- 1
-1-- 1
--1- 1
---1 1
.names pp pl pm po [104]
0100 1
.names pg [122] [85]
01 1
.names pq pn [109] nm6
101 1
.names pj [101] [934] [1065] [87]
---1 1
111- 1
.names pq pn [92]
10 1
.names pp pl pm po [101]
0011 1
.names pd [98] [1003] nm4
011 1
.names pq pn [104] nu6
111 1
.names pl po [93] [918] ng6
0011 1
.names pg [122] [977] [77]
--1 1
01- 1
.names pc1 nn5 ng6 [919] [70]
1--- 1
-1-- 1
--1- 1
---1 1
.names [107] [102] [94] [916] [89]
-11- 1
1--1 1
.names pg np5 [122] [241] [65]
-1-- 1
---1 1
0-1- 1
.names [93] [52] [918] [919] [47]
---1 1
111- 1
.names [41] [119] [920] [923] [74]
1111 1
.names pp pf pm [100] nn6
1001 1
.names pl po [908] [944] [82]
111- 1
11-1 1
.names nm4 nu6 [1048] [1130] [76]
1--- 1
-1-- 1
--1- 1
---1 1
.names pl po [944] nk6
111 1
.names pp pm [54]
00 1
.names pq pl pn po [100]
0010 1
.names pq pl pn po [102]
0000 1
.names pp pm [56]
01 1
.names pl po [57]
11 1
.names pl po [52]
00 1
.names pp pq pm pn [98]
1101 1
.names pq pn [906] nq5
101 1
.names pp pl pm po [109]
0001 1
.names pq pn [53]
00 1
.names pp pq pm pn [111]
1111 1
.names pp pm [94]
10 1
.names pq pl pn po [108]
0101 1
.names pp pm [108] nn4
101 1
.names [196] [197] [987] [67]
1-- 1
-1- 1
--1 1
.names pe [246] [247] [84]
11- 1
1-1 1
.names pe [246] [247] [1104] [45]
---1 1
11-- 1
1-1- 1
.names ph [101] [236] [237] [113]
--1- 1
01-- 1
0--1 1
.names pb pc pe pf [112]
1-0- 1
-00- 1
--00 1
.names pc pi pk [116]
1-- 1
-1- 1
--1 1
.names [55] [56] [98] [53] [117]
1-1- 1
11-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 [41] [52] [53] [111] [122]
1-1- 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 pq pn [909] [50]
0011 1
.names pp pg [997] [1066] [136]
1011 1
.names pq pn [104] [159]
011 1
.names [41] [116] [984] [179]
111 1
.names pd [98] [1003] [180]
111 1
.names pp pm [1004] [181]
001 1
.names [41] [118] [982] [196]
111 1
.names [41] [984] [986] [197]
111 1
.names pa [108] [936] [230]
111 1
.names [41] [112] [920] [231]
111 1
.names pp pl pm po [236]
1101 1
.names pi pl pm po [237]
0011 1
.names pp pq pn [909] [241]
0011 1
.names pl po [93] [121] [246]
0011 1
.names pp pa pm [108] [247]
0101 1
.names pn pq [899]
01 1
.names pk pl po [900]
001 1
.names pn pq [901]
11 1
.names [93] [91] [107] [900] [902]
-11- 1
1--1 1
.names pq pl pn po [903]
0001 1
.names pq pn pz [109] [904]
--1- 1
10-1 1
.names pq pl pn po [905]
0100 1
.names pp pl pm po [906]
1110 1
.names [41] [92] [102] [56] [907]
11-- 1
--11 1
.names pp pq pm pn [908]
0100 1
.names pl pm po [909]
001 1
.names pi pl po [911]
100 1
.names pl po [111] [908] [912]
101- 1
11-1 1
.names [51] [110] [98] [911] [913]
11-- 1
--11 1
.names nq5 [907] [912] [913] [915]
1--- 1
-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 [93] [91] [109] [917] [919]
-11- 1
1--1 1
.names pq pi pn [920]
001 1
.names pe ph pj [923]
111 1
.names pp pm [89] [905] [925]
--1- 1
10-1 1
.names ng6 [74] nn4 [919] [926]
1--- 1
-1-- 1
--1- 1
---1 1
.names pp pf pm [929]
100 1
.names pp pf pm [930]
110 1
.names pg nn5 [88] [117] [933]
-1-- 1
--1- 1
1--1 1
.names pq ph pn [934]
011 1
.names pe pf po [935]
000 1
.names pp pe pf pm [936]
0000 1
.names pl po [93] [935] [939]
--11 1
101- 1
.names pk pl po [941]
101 1
.names pp pl pm [942]
111 1
.names pp pq pm pn [943]
0011 1
.names pp pq pm pn [944]
0110 1
.names pa pp [945]
00 1
.names pl pn po [946]
101 1
.names [93] [53] [935] [942] [947]
1-1- 1
-1-1 1
.names [92] [57] [906] [943] [948]
1-1- 1
-1-1 1
.names [110] [92] [945] [946] [949]
11-- 1
--11 1
.names [948] [947] [951]
1- 1
-1 1
.names ng6 [82] [949] [952]
1-- 1
-1- 1
--1 1
.names pb pc pf ph [956]
0111 1
.names pl pm po [957]
110 1
.names pp pq pm pn [958]
1110 1
.names [52] [53] [957] [958] [959]
-11- 1
1--1 1
.names pq pn [110] [104] [960]
011- 1
01-1 1
.names [41] [920] [956] [959] [961]
---1 1
111- 1
.names [74] [94] [108] [960] [962]
1--- 1
---1 1
-11- 1
.names pq pn [110] [909] [963]
111- 1
01-1 1
.names pq pn po [964]
010 1
.names [58] [93] [92] [54] [965]
11-- 1
1-11 1
.names [104] [56] [57] [53] [966]
1--1 1
-111 1
.names [94] [899] [905] [917] [967]
1-1- 1
11-1 1
.names [93] [90] [941] [964] [968]
1-1- 1
-1-1 1
.names [92] [101] [963] [968] [971]
--1- 1
---1 1
11-- 1
.names [75] [965] [966] [967] [972]
1--- 1
-1-- 1
--1- 1
---1 1
.names [961] [962] [971] [972] [974]
1--- 1
-1-- 1
--1- 1
---1 1
.names pq pl pn po [975]
0110 1
.names pq pn po [976]
011 1
.names pp pm [102] [976] [977]
111- 1
00-1 1
.names pq pi pn [978]
011 1
.names pe ph pj pn [982]
1101 1
.names pq pg pn [984]
010 1
.names pc pi pk [986]
000 1
.names [41] [100] [929] [978] [987]
-11- 1
1--1 1
.names pp pq pm [989]
011 1
.names [93] [91] [110] [941] [990]
-11- 1
1--1 1
.names [57] [94] [944] [975] [991]
1-1- 1
-1-1 1
.names [51] [110] [52] [989] [992]
11-- 1
--11 1
.names [990] [991] [992] [994]
1-- 1
-1- 1
--1 1
.names pg pp [996]
01 1
.names pq pl pn po [997]
1011 1
.names pl pg [998]
01 1
.names pq pg pn [999]
000 1
.names [58] [93] [101] [934] [1000]
11-- 1
--11 1
.names [111] [996] [997] [998] [1001]
-11- 1
1--1 1
.names pi pl po [1003]
000 1
.names pq pl pn [1004]
111 1
.names pg [93] [57] [98] [1005]
--11 1
011- 1
.names [100] [56] [53] [942] [1006]
11-- 1
--11 1
.names [1006] [1005] [1008]
1- 1
-1 1
.names pg nm4 [117] [181] [1009]
-1-- 1
---1 1
1-1- 1
.names no6 nv4 nq5 [907] [1010]
1--- 1
-1-- 1
--1- 1
---1 1
.names [71] [1008] [1009] [1010] [1013]
1--- 1
-1-- 1
--1- 1
---1 1
.names pp pq pm pn [1014]
0111 1
.names [91] [104] [57] [98] [1015]
11-- 1
--11 1
.names [91] [107] [90] [102] [1016]
11-- 1
--11 1
.names pe pf pm [1019]
010 1
.names pb pe pf [1021]
101 1
.names [104] [56] [57] [53] [1023]
1--1 1
-111 1
.names pl po [111] [958] [1024]
101- 1
00-1 1
.names [94] [108] [901] [911] [1025]
11-- 1
1-11 1
.names [58] [90] [100] [98] [1026]
-11- 1
1--1 1
.names [1026] [1025] [1028]
1- 1
-1 1
.names [179] [180] [1023] [1024] [1029]
1--- 1
-1-- 1
--1- 1
---1 1
.names [93] [91] [107] [900] [1032]
-11- 1
1--1 1
.names [51] [54] [52] [1014] [1034]
--11 1
111- 1
.names [41] [92] [100] [930] [1035]
11-- 1
--11 1
.names pg [93] [57] [1034] [1037]
---1 1
111- 1
011- 1
.names [91] [109] [1032] [1035] [1038]
--1- 1
---1 1
11-- 1
.names pp pm [100] [976] [1039]
011- 1
00-1 1
.names [92] [101] [963] [1039] [1042]
--1- 1
---1 1
11-- 1
.names no6 np6 na7 [159] [1043]
1--- 1
-1-- 1
--1- 1
---1 1
.names [1037] [1038] [1042] [1043] [1045]
1--- 1
-1-- 1
--1- 1
---1 1
.names [90] [52] [53] [1014] [1046]
-1-1 1
111- 1
.names pq pn [104] nm4 [1047]
---1 1
111- 1
.names [179] [180] [1046] [1048]
1-- 1
-1- 1
--1 1
.names pg nk6 [117] [902] [1049]
-1-- 1
---1 1
1-1- 1
.names pp pm pn [1050]
110 1
.names [57] [94] [975] [1050] [1051]
-11- 1
1--1 1
.names nm4 [54] [1004] [1051] [1052]
1--- 1
---1 1
-11- 1
.names [85] [84] [904] [1052] [1054]
1--- 1
-1-- 1
--1- 1
---1 1
.names pp pm [108] [905] [1056]
011- 1
10-1 1
.names [100] [57] [930] [1050] [1057]
1-1- 1
-1-1 1
.names pq pn [109] [909] [1058]
111- 1
01-1 1
.names [110] [92] [102] [94] [1059]
11-- 1
--11 1
.names [58] np6 [98] [1059] [1063]
-1-- 1
---1 1
1-1- 1
.names na7 [1056] [1057] [1058] [1064]
1--- 1
-1-- 1
--1- 1
---1 1
.names [104] [92] [94] [108] [1065]
11-- 1
--11 1
.names pi pc [1066]
00 1
.names pq pn [107] [109] [1067]
111- 1
10-1 1
.names [57] [94] [903] [908] [1068]
-11- 1
1--1 1
.names pc [107] [92] [101] [1069]
--11 1
111- 1
.names [1068] [1067] [1071]
1- 1
-1 1
.names [179] [180] [1069] [1072]
1-- 1
-1- 1
--1 1
.names pc1 pb1 [136] [1065] [1073]
1--- 1
-1-- 1
--1- 1
---1 1
.names [1063] [1064] [1073] [1075]
1-- 1
-1- 1
--1 1
.names pn pc [1077]
00 1
.names pp pm [100] [102] [1078]
011- 1
00-1 1
.names [58] [91] [54] [100] [1079]
--11 1
111- 1
.names [58] [41] [111] [978] [1080]
1-1- 1
-1-1 1
.names [107] [102] [56] [1077] [1081]
-11- 1
1--1 1
.names pz nm4 [1081] [1085]
1-- 1
-1- 1
--1 1
.names ng6 [1078] [1079] [1080] [1086]
1--- 1
-1-- 1
--1- 1
---1 1
.names [77] [1063] [1064] [1085] [1089]
1--- 1
-1-- 1
--1- 1
---1 1
.names [54] [102] [57] [943] [1090]
11-- 1
--11 1
.names pg pb1 [117] [1092]
-1- 1
1-1 1
.names pd1 [70] [65] [915] [1094]
1--- 1
-1-- 1
--1- 1
---1 1
.names [58] [93] [91] [56] [1095]
11-- 1
1-11 1
.names [88] [65] [915] [1095] [1098]
1--- 1
-1-- 1
--1- 1
---1 1
.names [89] pz [1099]
1- 1
-1 1
.names [102] [56] [57] [908] [1100]
11-- 1
--11 1
.names pz nm6 [65] [84] [1103]
1--- 1
-1-- 1
--1- 1
---1 1
.names [92] [98] [906] [911] [1104]
1-1- 1
-1-1 1
.names [93] [54] [100] [900] [1105]
-11- 1
1--1 1
.names [107] [109] [53] [916] [1106]
-11- 1
1--1 1
.names [74] nn4 [1105] [1106] [1108]
1--- 1
-1-- 1
--1- 1
---1 1
.names pq pn [41] [104] [1109]
101- 1
10-1 1
.names [45] [1108] [1109] [1110]
1-- 1
-1- 1
--1 1
.names pg [75] [117] [1111]
-1- 1
1-1 1
.names [65] [915] [1047] [1048] [1113]
1--- 1
-1-- 1
--1- 1
---1 1
.names [93] [74] [52] [918] [1115]
-1-- 1
1-11 1
.names pz [88] [94] [905] [1116]
1--- 1
-1-- 1
--11 1
.names [65] [915] [1115] [1116] [1118]
1--- 1
-1-- 1
--1- 1
---1 1
.names nm4 nn6 nk6 [1015] [1120]
1--- 1
-1-- 1
--1- 1
---1 1
.names [84] [904] [1037] [1038] [1122]
1--- 1
-1-- 1
--1- 1
---1 1
.names pp pm [74] [905] [1123]
--1- 1
10-1 1
.names pp pm [82] [102] [1125]
--1- 1
11-1 1
01-1 1
.names pg [117] [179] [180] [1126]
--1- 1
---1 1
11-- 1
.names [58] [51] [56] [111] [1129]
1--1 1
111- 1
.names ng6 [919] [1129] [1130]
1-- 1
-1- 1
--1 1
.names pg [117] [122] [1132]
11- 1
0-1 1
.names [92] [56] [57] [109] [1135]
1--1 1
111- 1
.names [92] [57] [98] [109] [1136]
-11- 1
1--1 1
.names nm4 nu6 [1048] [1136] [1137]
1--- 1
-1-- 1
--1- 1
---1 1
.names pq pn [107] [109] [1138]
111- 1
00-1 1
.names pf [100] [94] [1138] [1140]
---1 1
111- 1
011- 1
.names [1047] [1048] [1130] [1140] [1141]
1--- 1
-1-- 1
--1- 1
---1 1
.end