vtr_flow/benchmarks/blif/3/sand.blif

.model top
.inputs sand_in_0_ sand_in_1_ sand_in_10_ sand_in_6_ sand_in_7_ sand_in_8_ \
sand_in_9_ clock sand_in_2_ sand_in_3_ sand_in_4_ sand_in_5_
.outputs sand_out_5_ sand_out_4_ sand_out_7_ sand_out_6_ sand_out_1_ \
sand_out_0_ sand_out_3_ sand_out_2_ sand_out_8_
.latch    n_n54 n_n288 re clock 2
.latch    n_n55 n_n289 re clock 2
.latch    n_n56 n_n290 re clock 2
.latch    n_n57 n_n291 re clock 2
.latch    n_n58 n_n292 re clock 2
.names n_n290 [162] [1166] sand_out_5_
--1 1
01- 1
.names [116] [207] [208] sand_out_4_
1-- 1
-1- 1
--1 1
.names [183] [1186] [1189] sand_out_7_
1-- 1
-1- 1
--1 1
.names [40] [1197] [1198] sand_out_6_
1-- 1
-1- 1
--1 1
.names [83] [96] [1201] sand_out_1_
-1- 1
1-1 1
.names [88] [1208] sand_out_0_
1- 1
-1 1
.names [67] [73] [74] sand_out_3_
1-- 1
-1- 1
--1 1
.names [58] [59] [1215] sand_out_2_
1-- 1
-1- 1
--1 1
.names [32] [1221] [1222] sand_out_8_
1-- 1
-1- 1
--1 1
.names [325] [1082] [1083] n_n54
1-- 1
-1- 1
--1 1
.names [293] [1109] n_n55
1- 1
-1 1
.names [261] [264] [1130] n_n56
1-- 1
-1- 1
--1 1
.names [249] [1137] [1140] n_n57
1-- 1
-1- 1
--1 1
.names n_n292 [122] [1155] n_n58
--1 1
11- 1
.names sand_in_1_ n_n292 [25]
10 1
.names n_n288 n_n289 [35]
00 1
.names sand_in_1_ n_n292 [38]
11 1
.names [70] [1132] [51]
11 1
.names [107] [1085] [52]
11 1
.names n_n290 n_n291 [36] [60]
101 1
.names [25] [37] [39] [107]
111 1
.names n_n290 n_n291 [26]
10 1
.names n_n288 n_n289 [47] [83]
000 1
.names sand_in_10_ sand_in_9_ n_n292 [106]
110 1
.names sand_in_7_ sand_in_8_ [114]
10 1
.names sand_in_10_ sand_in_9_ [21]
0- 1
-0 1
.names [53] [246] [247] [30]
1-- 1
-1- 1
--1 1
.names n_n290 n_n291 [37]
00 1
.names sand_in_4_ [67] [1174] [40]
--1 1
11- 1
.names n_n288 n_n289 [1067] [101]
001 1
.names n_n290 [24] [103]
01 1
.names sand_in_4_ n_n288 n_n289 [121]
-0- 1
1-0 1
.names [231] [233] [1150] [122]
1-- 1
-1- 1
--1 1
.names n_n288 n_n289 [39]
10 1
.names n_n290 [24] [1175] [62]
011 1
.names sand_in_0_ sand_in_4_ [79]
0- 1
-0 1
.names [29] [110] [1141] [53]
011 1
.names sand_in_7_ [106] [23] [63]
111 1
.names sand_in_1_ n_n291 n_n292 [116]
111 1
.names [189] [191] [192] [129]
1-- 1
-1- 1
--1 1
.names n_n290 n_n291 [39] [23]
001 1
.names n_n288 n_n289 n_n291 [24]
010 1
.names [37] [36] [93] [44]
111 1
.names [25] [21] [24] [81]
111 1
.names sand_in_7_ [106] [57] [134]
--1 1
01- 1
.names n_n289 [135] [50] [133]
--1 1
01- 1
.names sand_in_0_ sand_in_6_ [29]
0- 1
-0 1
.names n_n288 n_n289 [36]
11 1
.names sand_in_1_ n_n288 n_n289 [68]
010 1
.names n_n290 n_n291 n_n292 [105]
101 1
.names sand_in_4_ n_n288 n_n289 [115]
000 1
.names sand_in_10_ sand_in_8_ sand_in_9_ [137]
0-- 1
-0- 1
--0 1
.names n_n291 [102] [93] [136]
1-- 1
-10 1
.names n_n288 n_n289 [1070] [69]
001 1
.names sand_in_1_ n_n288 n_n289 [82]
011 1
.names sand_in_3_ n_n292 [102]
00 1
.names n_n288 n_n290 n_n291 [109]
010 1
.names sand_in_1_ n_n291 n_n292 [145]
0-1 1
-10 1
.names [299] [300] [144]
1- 1
-1 1
.names [37] [39] [1118] [67]
111 1
.names [273] [274] [275] [153]
1-- 1
-1- 1
--1 1
.names sand_in_10_ sand_in_8_ sand_in_9_ [150]
00- 1
-11 1
.names sand_in_7_ sand_in_8_ sand_in_9_ [70]
110 1
.names sand_in_7_ sand_in_8_ [1156] [27]
--1 1
01- 1
.names n_n288 n_n289 [104]
01 1
.names sand_in_1_ n_n292 [108]
01 1
.names [39] [220] [221] [162]
1-- 1
-1- 1
--1 1
.names sand_in_10_ sand_in_9_ [112]
01 1
.names n_n288 n_n289 n_n290 [164]
0-- 1
-1- 1
--1 1
.names n_n291 n_n292 [110]
10 1
.names [24] [94] [1206] [43]
-1- 1
1-1 1
.names sand_in_0_ sand_in_6_ sand_in_4_ [93]
0-- 1
-0- 1
--1 1
.names sand_in_0_ sand_in_4_ [47]
1- 1
-0 1
.names sand_in_0_ sand_in_6_ sand_in_4_ [111]
11- 1
1-1 1
.names n_n288 n_n291 [84]
01 1
.names sand_in_1_ n_n288 n_n289 [119]
0-- 1
-10 1
.names n_n288 [111] [1147] [124]
--1 1
11- 1
.names [105] [102] [1207] [128]
1-- 1
-11 1
.names [114] [112] [201] [132]
1-- 1
-1- 1
--1 1
.names sand_in_1_ n_n292 [111] [135]
11- 1
1-0 1
.names sand_in_1_ n_n291 n_n292 [142]
0-1 1
-10 1
.names n_n288 n_n289 [154]
11 1
00 1
.names [25] [26] [80] [157]
--1 1
11- 1
.names sand_in_5_ n_n288 n_n289 [163]
1-- 1
-1- 1
--0 1
.names sand_in_0_ sand_in_4_ n_n289 [168]
--1 1
01- 1
.names sand_in_6_ sand_in_4_ [170]
1- 1
-1 1
.names [106] [114] [24] [28]
101 1
.names [35] [1067] [1218] [31]
111 1
.names n_n290 n_n291 [133] [32]
101 1
.names [37] [39] [134] [34]
111 1
.names n_n292 [191] [192] [46]
01- 1
0-1 1
.names n_n288 n_n289 [47] [50]
001 1
.names sand_in_4_ n_n292 [57]
01 1
.names [71] [72] [1212] [58]
1-1 1
-11 1
.names [103] [23] [1213] [59]
1-1 1
-11 1
.names n_n292 [103] [23] [71]
01- 1
0-1 1
.names [38] [24] [1064] [72]
111 1
.names n_n290 n_n291 [1209] [73]
001 1
.names sand_in_0_ [78] [1210] [74]
11- 1
1-1 1
.names n_n288 n_n289 [105] [76]
111 1
001 1
.names sand_in_6_ [94] [95] [78]
01- 1
0-1 1
.names n_n290 n_n291 n_n292 [80]
010 1
.names [26] [39] [1202] [86]
111 1
.names [79] [43] [89] [88]
01- 1
0-1 1
.names n_n288 n_n289 [128] [89]
001 1
.names [25] [37] [36] [94]
111 1
.names n_n290 n_n292 [24] [95]
101 1
.names [103] [23] [1200] [96]
1-1 1
-11 1
.names [38] [37] [121] [98]
111 1
.names n_n290 [24] [1191] [99]
011 1
.names [26] [36] [1192] [100]
111 1
.names sand_in_1_ n_n292 [1193] [173]
101 1
.names sand_in_1_ [44] [195] [182]
11- 1
1-1 1
.names [25] [199] [1182] [183]
11- 1
1-1 1
.names sand_in_0_ sand_in_4_ [109] [189]
1-1 1
-01 1
.names sand_in_3_ [109] [193] [191]
11- 1
1-1 1
.names n_n290 [24] [192]
11 1
.names n_n289 n_n290 n_n291 [193]
100 1
.names n_n290 [21] [24] [195]
011 1
.names [37] [39] [132] [199]
111 1
.names sand_in_7_ sand_in_9_ [201]
00 1
.names [21] [24] [1172] [204]
111 1
.names n_n290 n_n292 [24] [205]
011 1
.names sand_in_4_ [67] [206]
11 1
.names [84] [1167] [1168] [207]
1-1 1
-11 1
.names [37] [210] [1170] [208]
11- 1
1-1 1
.names [223] [1156] [1169] [210]
1-1 1
-11 1
.names sand_in_1_ n_n288 n_n289 [212]
111 1
.names n_n288 n_n290 n_n292 [215]
110 1
.names n_n292 [115] [217]
11 1
.names [21] [102] [104] [220]
111 1
.names n_n292 [163] [221]
11 1
.names sand_in_7_ sand_in_8_ [223]
01 1
.names n_n288 [111] [1152] [228]
111 1
.names sand_in_1_ [26] [36] [229]
111 1
.names [26] [235] [236] [231]
11- 1
1-1 1
.names n_n291 [240] [1148] [233]
01- 1
0-1 1
.names sand_in_1_ [243] [1149] [234]
01- 1
0-1 1
.names n_n289 [70] [1093] [235]
11- 1
1-1 1
.names sand_in_5_ n_n288 [236]
11 1
.names n_n288 n_n289 [93] [240]
000 1
.names n_n288 n_n289 n_n290 [243]
1-1 1
-11 1
.names [164] [1143] [246]
11 1
.names [106] [37] [39] [247]
111 1
.names [107] [1133] [249]
11 1
.names n_n291 [256] [1136] [251]
11- 1
1-1 1
.names [25] [26] [36] [252]
111 1
.names n_n289 n_n290 n_n292 [255]
10- 1
-01 1
.names n_n290 [119] [256]
11 1
.names sand_in_3_ [269] [270] [261]
01- 1
0-1 1
.names n_n291 [153] [262]
11 1
.names n_n290 [1124] [1125] [264]
11- 1
1-1 1
.names n_n290 [24] [1112] [269]
011 1
.names [26] [271] [272] [270]
11- 1
1-1 1
.names sand_in_5_ n_n289 [1114] [271]
011 1
.names n_n288 [93] [272]
00 1
.names n_n288 n_n289 [1115] [273]
011 1
.names sand_in_0_ sand_in_6_ [1116] [274]
111 1
.names sand_in_1_ n_n292 [154] [275]
111 1
.names [287] [288] [1119] [276]
1-1 1
-11 1
.names n_n292 [281] [1120] [277]
11- 1
1-1 1
.names sand_in_1_ [284] [1123] [278]
01- 1
0-1 1
.names n_n289 n_n291 n_n292 [279]
010 1
.names n_n289 [70] [1093] [281]
11- 1
1-1 1
.names n_n292 [168] [284]
11 1
.names n_n288 n_n289 [170] [287]
101 1
.names sand_in_3_ [115] [288]
01 1
.names [102] [109] [1086] [289]
111 1
.names [35] [1067] [1088] [290]
111 1
.names n_n289 [301] [1094] [293]
11- 1
1-1 1
.names sand_in_3_ [82] [294]
01 1
.names n_n292 [26] [36] [295]
111 1
.names n_n290 [312] [1101] [296]
11- 1
1-1 1
.names sand_in_10_ sand_in_8_ sand_in_9_ [299]
011 1
.names sand_in_7_ sand_in_8_ sand_in_9_ [300]
100 1
.names n_n290 [305] [1091] [301]
01- 1
0-1 1
.names [105] [70] [1093] [302]
11- 1
1-1 1
.names sand_in_5_ n_n288 n_n292 [304]
001 1
.names [102] [307] [1090] [305]
11- 1
1-1 1
.names n_n288 [114] [21] [307]
01- 1
0-1 1
.names sand_in_0_ sand_in_4_ n_n288 [308]
0-1 1
-01 1
.names [25] [35] [1095] [310]
111 1
.names [79] [24] [102] [311]
111 1
.names [38] [315] [1098] [312]
11- 1
1-1 1
.names sand_in_1_ n_n289 n_n292 [313]
011 1
.names sand_in_5_ n_n288 n_n289 [315]
110 1
.names n_n289 n_n291 [316]
01 1
.names [29] [105] [115] [319]
111 1
.names [35] [1067] [1068] [320]
111 1
.names n_n290 n_n291 [1069] [321]
101 1
.names n_n288 n_n289 [136] [322]
111 1
.names n_n290 [329] [1071] [323]
11- 1
1-1 1
.names [23] [1072] [1073] [324]
11- 1
1-1 1
.names n_n290 [338] [1077] [325]
01- 1
0-1 1
.names sand_in_7_ [68] [326]
01 1
.names sand_in_1_ n_n292 [84] [329]
101 1
.names sand_in_10_ sand_in_8_ sand_in_9_ [333]
000 1
.names sand_in_5_ n_n292 [24] [336]
111 1
.names n_n288 [142] [337]
11 1
.names sand_in_3_ [81] [82] [338]
01- 1
0-1 1
.names n_n289 [116] [339]
11 1
.names n_n290 sand_in_6_ [1064]
10 1
.names [38] [24] [1064] [1065]
111 1
.names sand_in_1_ sand_in_6_ n_n292 [1067]
110 1
.names sand_in_2_ n_n290 n_n291 [1068]
100 1
.names n_n292 n_n288 [1069]
01 1
.names n_n291 sand_in_1_ [1070]
11 1
.names [35] [68] [1070] [1071]
-1- 1
1-1 1
.names [333] n_n292 [1072]
1- 1
-1 1
.names sand_in_7_ sand_in_8_ [21] [1073]
11- 1
1-1 1
0-0 1
.names [336] [337] [339] [1077]
1-- 1
-1- 1
--1 1
.names [137] [319] [1065] [1079]
-1- 1
1-1 1
.names [320] [321] [326] [1080]
1-- 1
-1- 1
--1 1
.names [1080] [1079] [1082]
1- 1
-1 1
.names [322] [323] [324] [1083]
1-- 1
-1- 1
--1 1
.names sand_in_10_ sand_in_8_ sand_in_9_ [1085]
100 1
.names sand_in_0_ sand_in_6_ sand_in_4_ [1086]
0-0 1
-00 1
.names n_n290 sand_in_2_ [1088]
00 1
.names sand_in_7_ sand_in_4_ [308] [1090]
--1 1
10- 1
.names n_n288 n_n291 [304] [1091]
--1 1
01- 1
.names sand_in_10_ sand_in_6_ sand_in_9_ [1093]
-1- 1
1-1 1
.names sand_in_1_ n_n291 [302] [1094]
--1 1
01- 1
.names sand_in_4_ sand_in_3_ [1095]
10 1
.names [35] [47] [316] [1098]
--1 1
10- 1
.names [313] [82] [1099]
1- 1
-1 1
.names [310] [311] [1099] [1101]
1-- 1
-1- 1
--1 1
.names [36] [69] [145] [1102]
-1- 1
1-1 1
.names [107] [289] [1085] [1104]
-1- 1
1-1 1
.names [107] [144] [290] [1105]
--1 1
11- 1
.names [294] [295] [1102] [1106]
1-- 1
-1- 1
--1 1
.names [1105] [1104] [1107]
1- 1
-1 1
.names [296] [1106] [1107] [1109]
1-- 1
-1- 1
--1 1
.names [106] sand_in_7_ [1110]
11 1
.names n_n288 sand_in_5_ [1111]
11 1
.names [106] sand_in_8_ [1112]
10 1
.names sand_in_0_ sand_in_4_ n_n292 [1114]
010 1
.names sand_in_1_ n_n290 n_n292 [1115]
100 1
.names n_n288 n_n289 n_n292 [1116]
100 1
.names n_n292 sand_in_0_ [1118]
11 1
.names n_n292 sand_in_0_ [1119]
01 1
.names n_n288 n_n291 [93] [1120]
01- 1
0-0 1
.names n_n289 sand_in_3_ [1121]
00 1
.names n_n291 n_n288 [1122]
1- 1
-1 1
.names [47] [1121] [1122] [1123]
--1 1
01- 1
.names [276] [279] [1124]
1- 1
-1 1
.names [277] [278] [1125]
1- 1
-1 1
.names [60] [105] [1111] [1126]
1-- 1
-11 1
.names [107] [63] [150] [1127]
-1- 1
1-1 1
.names sand_in_4_ [67] [1126] [1128]
--1 1
11- 1
.names [262] [1127] [1128] [1130]
1-- 1
-1- 1
--1 1
.names n_n292 [37] [39] [1132]
011 1
.names sand_in_10_ sand_in_8_ sand_in_9_ [1133]
01- 1
0-1 1
.names n_n288 n_n289 n_n290 [1134]
000 1
.names n_n288 n_n289 n_n292 [1135]
01- 1
0-0 1
.names [1135] [255] [1136]
1- 1
-1 1
.names [38] [252] [1134] [1137]
-1- 1
1-1 1
.names [51] [52] [251] [1140]
1-- 1
-1- 1
--1 1
.names n_n288 n_n289 n_n290 [1141]
100 1
.names sand_in_1_ n_n291 n_n292 [1143]
110 1
.names sand_in_10_ sand_in_7_ sand_in_8_ [1146]
101 1
.names sand_in_5_ n_n288 n_n289 [1147]
00- 1
-00 1
.names n_n288 n_n289 [47] [1148]
11- 1
000 1
.names sand_in_4_ n_n288 n_n291 [1149]
--1 1
11- 1
.names [37] [124] [234] [1150]
--1 1
11- 1
.names sand_in_1_ n_n290 n_n292 [1152]
110 1
.names [107] [229] [1146] [1153]
-1- 1
1-1 1
.names [30] [228] [1153] [1155]
1-- 1
-1- 1
--1 1
.names sand_in_10_ sand_in_8_ sand_in_9_ [1156]
0-1 1
-00 1
.names [38] [104] [1064] [1157]
111 1
.names n_n289 sand_in_0_ [1158]
00 1
.names [68] n_n291 [1162]
1- 1
-1 1
.names [108] [215] [1158] [1163]
-1- 1
1-1 1
.names [27] [1157] [1163] [1165]
--1 1
11- 1
.names [217] [1162] [1165] [1166]
1-- 1
-1- 1
--1 1
.names n_n290 n_n289 [1167]
1- 1
-1 1
.names n_n292 sand_in_1_ [1168]
00 1
.names sand_in_1_ n_n288 n_n292 [1169]
110 1
.names [35] [108] [212] [1170]
--1 1
11- 1
.names sand_in_6_ sand_in_1_ [1172]
01 1
.names [205] [204] [1174]
1- 1
-1 1
.names sand_in_10_ sand_in_8_ sand_in_9_ [1175]
111 1
.names n_n290 n_n289 [1176]
01 1
.names n_n289 n_n290 n_n291 [1178]
010 1
.names n_n291 sand_in_6_ [1179]
01 1
.names [35] [109] [1179] [1181]
-1- 1
1-1 1
.names [111] [1178] [1181] [1182]
--1 1
11- 1
.names n_n291 [38] [1176] [1183]
11- 1
-11 1
.names [62] [23] [1110] [1185]
1-- 1
-11 1
.names [53] [1183] [1185] [1186]
1-- 1
-1- 1
--1 1
.names [182] [206] [1174] [1187]
1-- 1
-1- 1
--1 1
.names n_n292 [129] [1187] [1189]
--1 1
01- 1
.names sand_in_10_ sand_in_7_ sand_in_9_ [1191]
101 1
.names n_n292 sand_in_0_ [1192]
11 1
.names n_n290 n_n289 [1193]
11 1
.names [111] [173] [1152] [1194]
-1- 1
1-1 1
.names [101] [98] [1194] [1197]
1-- 1
-1- 1
--1 1
.names [30] [99] [100] [1198]
1-- 1
-1- 1
--1 1
.names sand_in_7_ sand_in_8_ [106] [1200]
101 1
.names n_n290 n_n291 [38] [1201]
101 1
.names sand_in_1_ sand_in_5_ n_n292 [1202]
101 1
.names n_n292 sand_in_4_ [1204]
01 1
.names n_n292 n_n290 [1206]
01 1
.names n_n291 sand_in_1_ [1207]
00 1
.names [62] [86] [1204] [1208]
-1- 1
1-1 1
.names n_n288 n_n289 n_n292 [1209]
000 1
.names [39] [157] [76] [1210]
--1 1
11- 1
.names sand_in_10_ sand_in_8_ sand_in_9_ [1212]
101 1
.names sand_in_10_ sand_in_9_ [25] [1213]
0-1 1
-01 1
.names [38] [24] [1064] [1214]
111 1
.names [70] [1132] [1214] [1215]
11- 1
1-1 1
.names n_n291 sand_in_2_ [1218]
00 1
.names [25] [44] [31] [1220]
--1 1
11- 1
.names [81] [28] [34] [1221]
1-- 1
-1- 1
--1 1
.names [46] [1220] [1222]
1- 1
-1 1
.end