vtr_flow/benchmarks/blif/4/s1494.blif

.model top
.inputs s1494_in_0_ s1494_in_7_ s1494_in_5_ s1494_in_6_ s1494_in_3_ \
s1494_in_4_ s1494_in_1_ s1494_in_2_ clock
.outputs s1494_out_8_ s1494_out_11_ s1494_out_9_ s1494_out_12_ s1494_out_10_ \
s1494_out_4_ s1494_out_5_ s1494_out_6_ s1494_out_7_ s1494_out_0_ s1494_out_1_ \
s1494_out_2_ s1494_out_17_ s1494_out_3_ s1494_out_18_ s1494_out_15_ \
s1494_out_16_ s1494_out_13_ s1494_out_14_
.latch    n_n83 n_n376 re clock 2
.latch    n_n84 n_n377 re clock 2
.latch    n_n85 n_n378 re clock 2
.latch    n_n86 n_n379 re clock 2
.latch    n_n87 n_n380 re clock 2
.latch    n_n88 n_n381 re clock 2
.names [1363] [1364] [1367] s1494_out_8_
1-- 1
-1- 1
--1 1
.names s1494_in_2_ [44] [166] s1494_out_11_
-1- 1
1-1 1
.names s1494_in_5_ s1494_in_4_ [58] s1494_out_9_
011 1
.names [44] [285] [286] [1377] s1494_out_12_
1--- 1
-1-1 1
--11 1
.names [85] [73] [1380] s1494_out_10_
-1- 1
1-1 1
.names [1383] [1384] [1389] [1392] s1494_out_4_
1--- 1
-1-- 1
--1- 1
---1 1
.names [249] [1401] [1402] s1494_out_5_
1-- 1
-1- 1
--1 1
.names [78] [86] [1408] [1410] s1494_out_6_
1--- 1
-1-- 1
--1- 1
---1 1
.names [223] [224] [225] [1419] s1494_out_7_
1--- 1
-1-- 1
--1- 1
---1 1
.names [85] [207] [209] [1428] s1494_out_0_
1--- 1
-1-- 1
--1- 1
---1 1
.names [1432] [1433] [1436] s1494_out_1_
1-- 1
-1- 1
--1 1
.names [1443] [1444] [1447] s1494_out_2_
1-- 1
-1- 1
--1 1
.names s1494_in_6_ n_n379 [127] [1451] s1494_out_17_
---1 1
111- 1
.names [1452] [1453] [1454] s1494_out_3_
1-- 1
-1- 1
--1 1
.names s1494_in_5_ [58] [1460] [1461] s1494_out_18_
--1- 1
---1 1
01-- 1
.names [53] [52] [126] [57] s1494_out_15_
---1 1
111- 1
.names [144] [1463] [1464] s1494_out_16_
--1 1
11- 1
.names [127] [73] [279] [1466] s1494_out_13_
-1-- 1
--1- 1
1--1 1
.names n_n376 n_n379 [1314] s1494_out_14_
011 1
.names [399] [400] n_n83
1- 1
-1 1
.names s1494_in_7_ [381] [1318] [1319] n_n84
-1-- 1
1-1- 1
1--1 1
.names [38] [60] [364] [365] n_n85
--1- 1
11-- 1
1--1 1
.names s1494_in_7_ [170] [343] n_n86
--1 1
11- 1
.names s1494_in_7_ [328] [1348] [1349] n_n87
-1-- 1
1-1- 1
1--1 1
.names s1494_in_7_ [306] [317] [1360] n_n88
-1-- 1
1-1- 1
1--1 1
.names s1494_in_5_ s1494_in_4_ [52] [126] [44]
1111 1
.names n_n378 [283] [285] [286] [58]
-1-- 1
0-1- 1
0--1 1
.names n_n379 n_n381 [37]
01 1
.names n_n376 n_n379 n_n380 n_n381 [42]
0011 1
.names n_n376 n_n377 n_n378 [136]
011 1
.names n_n379 n_n380 n_n381 [144]
11- 1
0-1 1
.names s1494_in_5_ s1494_in_4_ [53]
11 1
.names s1494_in_2_ n_n376 n_n380 [132]
010 1
.names s1494_in_7_ n_n379 [38]
11 1
.names n_n376 n_n377 n_n378 n_n380 [127]
1101 1
.names n_n376 n_n378 [36]
00 1
.names n_n376 n_n380 [39]
10 1
.names n_n376 n_n378 n_n380 [48]
101 1
.names n_n377 n_n378 [51]
11 1
.names [140] [50] [43] [201] [63]
11-- 1
--11 1
.names n_n376 n_n377 n_n378 n_n380 [139]
0010 1
.names s1494_in_3_ n_n381 [113]
0- 1
-1 1
.names n_n376 n_n377 n_n378 n_n379 [78]
0011 1
.names s1494_in_0_ n_n377 n_n378 n_n381 [86]
1100 1
.names n_n377 n_n380 [121]
00 1
.names s1494_in_5_ s1494_in_4_ n_n376 n_n378 [141]
1100 1
.names s1494_in_2_ n_n378 [129]
11 1
.names n_n376 n_n378 n_n380 [163]
-1- 1
1-0 1
.names [296] [1369] [1372] [1373] [166]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n377 n_n379 n_n380 n_n381 [85]
1001 1
.names n_n380 [1332] [1333] [1334] [170]
---1 1
11-- 1
1-1- 1
.names s1494_in_6_ s1494_in_3_ [52] [1378] [73]
1111 1
.names n_n376 n_n379 n_n380 [123]
110 1
.names n_n376 n_n377 n_n378 n_n380 [176]
1-01 1
0010 1
.names n_n376 n_n380 [135]
11 1
.names s1494_in_2_ n_n379 [131]
01 1
.names n_n377 n_n381 [49]
10 1
.names s1494_in_5_ s1494_in_4_ s1494_in_2_ [54]
--1 1
11- 1
.names n_n376 n_n377 n_n380 [67]
001 1
.names s1494_in_0_ n_n376 [98]
1- 1
-1 1
.names n_n377 n_n378 [120]
10 1
.names n_n376 n_n378 n_n379 n_n381 [140]
0001 1
.names n_n376 n_n377 n_n378 n_n380 [199]
00-1 1
1010 1
.names s1494_in_5_ s1494_in_4_ s1494_in_2_ [34]
0-- 1
-0- 1
--1 1
.names n_n377 n_n380 [50]
01 1
.names s1494_in_2_ n_n377 n_n378 [87]
110 1
.names n_n376 n_n378 n_n380 [43]
010 1
.names n_n377 n_n379 n_n381 [52]
000 1
.names n_n376 n_n378 n_n380 [126]
000 1
.names n_n378 n_n380 [369] [60]
--1 1
10- 1
.names n_n377 n_n379 n_n381 [201]
-1- 1
1-0 1
.names n_n378 n_n381 [124]
01 1
.names n_n376 n_n377 n_n380 [138]
100 1
.names n_n376 n_n378 n_n379 n_n381 [71]
1001 1
.names s1494_in_6_ s1494_in_3_ [107]
0- 1
-0 1
.names n_n377 n_n379 n_n381 [99]
101 1
.names s1494_in_2_ n_n380 n_n381 [97]
010 1
.names s1494_in_0_ n_n377 n_n381 [128]
010 1
.names s1494_in_0_ s1494_in_6_ s1494_in_1_ [147]
0-- 1
-0- 1
--1 1
.names s1494_in_2_ n_n376 n_n378 [149]
-1- 1
0-0 1
.names n_n377 n_n379 n_n380 n_n381 [157]
1--0 1
011- 1
.names s1494_in_0_ n_n377 n_n379 n_n381 [156]
01-0 1
-000 1
.names s1494_in_2_ n_n376 n_n378 n_n380 [171]
00-0 1
-010 1
.names s1494_in_0_ s1494_in_6_ s1494_in_3_ s1494_in_1_ [173]
--0- 1
00-- 1
0--1 1
11-0 1
.names s1494_in_6_ s1494_in_3_ [180]
1- 1
-1 1
.names s1494_in_1_ s1494_in_2_ [184]
11 1
00 1
.names n_n377 n_n378 n_n379 n_n381 [197]
010- 1
1-01 1
0-00 1
.names s1494_in_2_ n_n380 [62] [65] [57]
111- 1
11-1 1
.names n_n376 n_n377 n_n378 n_n379 [62]
0111 1
.names n_n376 n_n378 n_n381 [65]
000 1
.names s1494_in_2_ n_n379 [1456] [66]
011 1
.names s1494_in_2_ n_n376 n_n378 [85] [68]
0001 1
.names s1494_in_5_ s1494_in_4_ [97] [111] [100]
0-1- 1
-11- 1
0--1 1
-1-1 1
.names n_n379 [114] [1439] [101]
11- 1
1-1 1
.names s1494_in_2_ n_n376 n_n378 [102]
111 1
.names n_n376 n_n379 n_n381 [103]
100 1
.names n_n377 n_n378 n_n381 [104]
111 1
.names n_n378 n_n380 [105]
11 1
.names n_n377 n_n378 n_n381 [111]
100 1
.names n_n376 n_n377 n_n378 n_n381 [114]
1001 1
.names [97] [128] [1429] [117]
1-1 1
-11 1
.names n_n377 n_n378 n_n379 n_n380 [118]
1110 1
.names n_n376 n_n380 [131] [1431] [203]
1011 1
.names n_n376 n_n379 n_n380 [213] [206]
1--1 1
111- 1
.names n_n379 [215] [1421] [207]
11- 1
1-1 1
.names n_n381 [218] [219] [1422] [208]
01-- 1
0-1- 1
0--1 1
.names n_n377 n_n378 n_n379 n_n380 [209]
0101 1
.names n_n376 n_n378 n_n379 [210]
110 1
.names n_n377 n_n379 n_n380 [211]
111 1
.names s1494_in_2_ n_n377 n_n378 [213]
001 1
.names n_n376 n_n377 n_n380 [215]
000 1
.names s1494_in_2_ n_n376 n_n380 [218]
101 1
.names s1494_in_5_ s1494_in_4_ n_n377 n_n380 [219]
0-00 1
-100 1
.names n_n378 [85] [123] [54] [223]
01-- 1
0-11 1
.names s1494_in_1_ [78] [71] [233] [224]
11-- 1
1-1- 1
1--1 1
.names n_n376 n_n378 [237] [1413] [225]
001- 1
00-1 1
.names n_n381 [139] [226]
11 1
.names n_n376 n_n377 n_n379 n_n380 [227]
1010 1
.names n_n376 n_n378 n_n379 n_n380 [233]
1010 1
.names s1494_in_1_ [157] [237]
01 1
.names s1494_in_2_ n_n377 n_n380 [238]
101 1
.names n_n376 n_n378 n_n380 n_n381 [244]
1010 1
.names n_n381 [260] [1393] [1394] [249]
01-- 1
0-1- 1
0--1 1
.names n_n376 n_n377 n_n378 n_n381 [250]
0101 1
.names s1494_in_0_ n_n376 n_n377 n_n381 [251]
1-10 1
-110 1
.names n_n376 n_n377 n_n380 n_n381 [252]
0011 1
.names s1494_in_5_ s1494_in_4_ s1494_in_2_ n_n379 [253]
--11 1
11-1 1
.names n_n376 n_n379 n_n380 n_n381 [254]
1001 1
.names s1494_in_5_ s1494_in_4_ n_n376 [260]
110 1
.names n_n379 [48] [141] [271] [265]
01-- 1
0-1- 1
0--1 1
.names s1494_in_0_ n_n377 n_n378 [271]
110 1
.names n_n376 n_n379 n_n381 [275]
110 1
.names n_n376 n_n377 n_n378 n_n379 [277]
1100 1
.names s1494_in_2_ n_n376 n_n378 [85] [279]
1001 1
.names n_n377 n_n379 n_n381 [126] [283]
0001 1
.names s1494_in_2_ n_n377 [123] [285]
011 1
.names n_n376 [97] [128] [286]
01- 1
0-1 1
.names n_n376 n_n377 n_n379 n_n380 [291]
0011 1
.names n_n377 [42] [296]
11 1
.names s1494_in_0_ n_n376 n_n377 [298]
101 1
.names s1494_in_2_ n_n376 n_n380 n_n381 [299]
1--1 1
-0-1 1
--11 1
.names s1494_in_7_ n_n379 [308] [1352] [306]
111- 1
11-1 1
.names s1494_in_3_ [36] [147] [314] [308]
1--1 1
111- 1
.names n_n376 n_n378 n_n381 [311]
001 1
.names n_n376 n_n377 [314]
01 1
.names n_n380 [36] [34] [1353] [316]
1--1 1
111- 1
.names n_n378 [324] [325] [1357] [317]
11-- 1
1-1- 1
1--1 1
.names n_n376 n_n377 n_n380 n_n381 [318]
0011 1
.names n_n376 n_n381 [1355] [1356] [324]
101- 1
10-1 1
.names s1494_in_2_ n_n376 n_n377 n_n380 [325]
1100 1
.names s1494_in_7_ n_n379 [1340] [1341] [328]
111- 1
11-1 1
.names s1494_in_2_ n_n377 n_n380 [330]
110 1
.names n_n376 n_n378 [34] [1343] [334]
1--1 1
-1-1 1
--11 1
.names [39] [107] [99] [1345] [336]
1-1- 1
10-1 1
.names n_n376 n_n377 n_n378 n_n379 [337]
1010 1
.names s1494_in_7_ n_n379 [357] [1338] [343]
111- 1
11-1 1
.names s1494_in_3_ s1494_in_2_ n_n377 n_n381 [350]
0110 1
.names n_n376 n_n377 n_n378 n_n381 [351]
01-0 1
0011 1
.names n_n376 n_n377 n_n378 [352]
110 1
.names s1494_in_3_ n_n376 n_n380 [356]
101 1
.names n_n376 n_n378 [173] [357]
001 1
.names n_n377 n_n378 n_n380 n_n381 [358]
0001 1
.names s1494_in_7_ [372] [1324] [1325] [364]
11-- 1
1-1- 1
1--1 1
.names n_n377 [132] [48] [180] [365]
11-- 1
1-11 1
.names s1494_in_2_ n_n376 n_n377 n_n378 [369]
1001 1
.names n_n380 [184] [1322] [1323] [372]
1--1 1
111- 1
.names n_n377 n_n379 n_n380 n_n381 [373]
0001 1
.names [38] [1307] [1308] [1309] [381]
11-- 1
1-1- 1
1--1 1
.names s1494_in_2_ n_n377 n_n378 n_n380 [385]
001- 1
00-1 1
.names s1494_in_6_ n_n376 n_n378 n_n380 [387]
0101 1
.names n_n376 n_n380 [197] [390]
101 1
.names n_n376 n_n378 n_n380 n_n381 [393]
0100 1
.names s1494_in_0_ n_n376 n_n379 [1314] [395]
1011 1
.names [38] [403] [1288] [1289] [399]
11-- 1
1-1- 1
1--1 1
.names s1494_in_7_ [411] [1302] [1303] [400]
11-- 1
1-1- 1
1--1 1
.names s1494_in_6_ s1494_in_3_ n_n381 [127] [403]
-00- 1
00-1 1
.names s1494_in_2_ n_n376 n_n378 n_n380 [404]
0110 1
.names s1494_in_0_ n_n376 n_n381 [405]
1-0 1
-10 1
.names [37] [132] [51] [1292] [408]
1-1- 1
-111 1
.names n_n378 [107] [1294] [1295] [410]
0--1 1
001- 1
.names n_n376 [99] [422] [423] [411]
01-- 1
0-1- 1
0--1 1
.names n_n376 n_n377 n_n378 n_n380 [413]
1011 1
.names s1494_in_3_ n_n380 n_n381 [417]
010 1
.names s1494_in_3_ n_n377 n_n378 n_n380 [422]
1111 1
.names n_n377 n_n378 n_n379 [425] [423]
--01 1
110- 1
.names s1494_in_0_ s1494_in_5_ s1494_in_4_ n_n377 [425]
0111 1
.names n_n376 n_n378 n_n381 [1286]
001 1
.names n_n376 n_n377 n_n380 [1287]
110 1
.names n_n377 n_n380 [405] [1286] [1288]
--1- 1
00-1 1
.names [54] [404] [1287] [1289]
-1- 1
1-1 1
.names n_n380 n_n376 [1291]
10 1
.names s1494_in_1_ s1494_in_6_ [1292]
11 1
.names n_n376 n_n377 n_n381 [1294]
100 1
.names n_n376 n_n379 n_n380 n_n381 [1295]
--10 1
1001 1
.names s1494_in_2_ [67] [413] [417] [1301]
--1- 1
11-- 1
1--1 1
.names [42] [141] [52] [408] [1302]
1--- 1
---1 1
-11- 1
.names [1301] [410] [1303]
1- 1
-1 1
.names n_n376 n_n377 n_n378 n_n380 [1305]
1100 1
.names s1494_in_6_ s1494_in_3_ s1494_in_1_ n_n381 [1306]
1100 1
.names n_n376 n_n377 n_n378 n_n380 [1307]
10-1 1
0-10 1
.names [98] [34] [1305] [1306] [1308]
-11- 1
0--1 1
.names [387] [385] [1309]
1- 1
-1 1
.names n_n376 n_n377 n_n378 n_n380 [1311]
0001 1
.names n_n379 n_n376 [1313]
10 1
.names s1494_in_6_ s1494_in_3_ s1494_in_1_ n_n381 [1314]
01-0 1
-110 1
.names [136] [113] [34] [1311] [1315]
11-- 1
--11 1
.names n_n377 [42] [393] [1315] [1318]
--1- 1
---1 1
01-- 1
.names s1494_in_2_ [85] [390] [395] [1319]
--1- 1
---1 1
11-- 1
.names n_n376 n_n377 n_n381 [1321]
010 1
.names n_n376 n_n377 n_n378 [1322]
010 1
.names n_n376 n_n377 n_n378 n_n381 [1323]
--00 1
11-0 1
.names [373] [42] [1324]
1- 1
-1 1
.names s1494_in_3_ n_n380 [139] [1321] [1325]
--1- 1
1--1 1
-0-1 1
.names n_n376 n_n378 n_n381 [1329]
000 1
.names [54] [352] [1329] [1332]
-1- 1
0-1 1
.names [71] [350] [351] [1333]
1-- 1
-1- 1
--1 1
.names n_n377 n_n381 [71] [171] [1334]
1-1- 1
11-1 1
.names [87] [356] [358] [1338]
1-- 1
-1- 1
--1 1
.names n_n376 n_n377 n_n378 [330] [1340]
---1 1
111- 1
.names n_n376 n_n378 n_n380 [369] [1341]
---1 1
-10- 1
001- 1
.names n_n376 n_n379 n_n381 [1342]
001 1
.names n_n377 n_n380 n_n381 [1343]
010 1
.names s1494_in_2_ n_n377 n_n381 [1344]
011 1
.names s1494_in_1_ s1494_in_2_ n_n378 [1345]
111 1
.names n_n377 n_n380 [337] [1342] [1346]
--1- 1
00-1 1
.names s1494_in_0_ [1313] [1314] [1346] [1348]
---1 1
011- 1
.names [126] [334] [336] [1344] [1349]
-1-- 1
--1- 1
1--1 1
.names n_n377 n_n378 n_n380 [1350]
0-1 1
110 1
.names [120] [34] [311] [1350] [1352]
--1- 1
---1 1
11-- 1
.names n_n377 n_n378 n_n381 [1353]
-01 1
1-0 1
.names s1494_in_2_ s1494_in_1_ [1355]
0- 1
-0 1
.names s1494_in_6_ s1494_in_3_ n_n377 [1356]
0-- 1
-0- 1
--0 1
.names s1494_in_2_ n_n379 n_n380 n_n381 [1357]
-001 1
0-10 1
.names [99] [149] [316] [318] [1360]
--1- 1
---1 1
11-- 1
.names s1494_in_2_ n_n378 n_n380 [1362]
-1- 1
1-1 1
.names s1494_in_5_ s1494_in_4_ n_n376 n_n379 [1363]
11-- 1
--10 1
.names s1494_in_5_ s1494_in_4_ n_n377 n_n379 [1364]
00-- 1
--01 1
.names [298] [299] [1362] [1367]
1-- 1
-1- 1
--1 1
.names n_n377 n_n381 [140] [43] [1369]
--1- 1
10-1 1
.names n_n376 n_n378 n_n379 n_n380 [1371]
-001 1
1-10 1
.names [36] [121] [128] [1342] [1372]
1-1- 1
-1-1 1
.names [1371] [291] [1373]
1- 1
-1 1
.names s1494_in_5_ s1494_in_4_ n_n378 [1377]
1-0 1
-10 1
.names n_n376 n_n378 n_n380 [1378]
100 1
.names s1494_in_2_ n_n376 n_n378 [1380]
100 1
.names s1494_in_2_ n_n376 n_n378 [1381]
100 1
.names [51] [123] [50] [1381] [1383]
11-- 1
--11 1
.names [39] [87] [275] [277] [1384]
--1- 1
---1 1
11-- 1
.names n_n379 n_n378 [1385]
11 1
.names s1494_in_5_ s1494_in_4_ n_n376 n_n380 [1386]
1110 1
.names n_n378 n_n379 n_n381 [67] [1388]
001- 1
11-1 1
.names [121] [120] [1342] [1386] [1389]
1-1- 1
-1-1 1
.names [129] [123] [265] [1388] [1392]
--1- 1
---1 1
11-- 1
.names s1494_in_2_ n_n378 n_n380 [1393]
-1- 1
1-1 1
.names s1494_in_6_ s1494_in_3_ n_n376 n_n380 [1394]
0-1- 1
-01- 1
--11 1
.names n_n377 n_n379 n_n380 [1396]
01- 1
-11 1
.names n_n376 n_n378 n_n380 [1397]
11- 1
-10 1
.names [250] [251] [253] [1401]
1-- 1
-1- 1
--1 1
.names [252] [254] [1396] [1397] [1402]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n377 n_n379 n_n380 [1406]
000 1
.names [141] [244] [1406] [1408]
-1- 1
1-1 1
.names [296] [1369] [1383] [1384] [1410]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n381 s1494_in_1_ [1411]
00 1
.names s1494_in_5_ s1494_in_4_ [156] [238] [1413]
---1 1
111- 1
.names n_n378 n_n381 [138] [227] [1414]
---1 1
011- 1
.names [42] [48] [51] [1411] [1415]
1-1- 1
-1-1 1
.names [63] [226] [1414] [1415] [1419]
1--- 1
-1-- 1
--1- 1
---1 1
.names s1494_in_2_ n_n376 n_n377 n_n378 [1421]
-0-0 1
1-10 1
.names n_n376 n_n377 n_n378 n_n380 [1422]
--1- 1
10-0 1
.names [206] [208] [210] [211] [1428]
1--- 1
-1-- 1
--1- 1
---1 1
.names s1494_in_5_ s1494_in_4_ n_n376 n_n378 [1429]
0-00 1
-100 1
.names s1494_in_5_ s1494_in_4_ n_n377 [1431]
0-1 1
-11 1
.names n_n378 n_n381 [138] [118] [1432]
---1 1
011- 1
.names n_n377 [42] [129] [123] [1433]
11-- 1
--11 1
.names [37] [176] [117] [203] [1436]
--1- 1
---1 1
11-- 1
.names n_n379 n_n377 [1437]
00 1
.names n_n376 n_n377 n_n378 n_n380 [1439]
-1-1 1
0-00 1
.names [163] [131] [1431] [1437] [1443]
-11- 1
1--1 1
.names [42] [86] [102] [105] [1444]
1--- 1
-1-- 1
--1- 1
---1 1
.names [100] [101] [103] [104] [1447]
1--- 1
-1-- 1
--1- 1
---1 1
.names s1494_in_0_ n_n376 n_n378 [1448]
100 1
.names n_n377 n_n378 n_n379 n_n381 [1449]
1101 1
.names [135] [49] [1448] [1449] [1451]
-11- 1
1--1 1
.names [49] [67] [1385] [1448] [1452]
-11- 1
1--1 1
.names [42] [51] [121] [140] [1453]
11-- 1
--11 1
.names [37] [48] [131] [199] [1454]
11-- 1
--11 1
.names s1494_in_0_ n_n376 n_n381 [1456]
010 1
.names n_n379 [127] [124] [138] [1460]
01-- 1
1-11 1
.names [63] [73] [66] [68] [1461]
1--- 1
-1-- 1
--1- 1
---1 1
.names s1494_in_2_ n_n376 n_n377 n_n378 [1463]
0011 1
.names n_n378 [37] [50] [1291] [1464]
111- 1
11-1 1
.names s1494_in_6_ s1494_in_3_ n_n379 [1466]
011 1
.end