vtr_flow/benchmarks/blif/2/s1.blif

.model top
.inputs s1_in_6_ s1_in_7_ s1_in_0_ s1_in_1_ s1_in_2_ s1_in_3_ s1_in_4_ \
s1_in_5_ clock
.outputs s1_out_1_ s1_out_0_ s1_out_3_ s1_out_2_ s1_out_5_ s1_out_4_
.latch    n_n42 n_n237 re clock 2
.latch    n_n43 n_n238 re clock 2
.latch    n_n44 n_n239 re clock 2
.latch    n_n45 n_n240 re clock 2
.latch    n_n46 n_n241 re clock 2
.names [687] [688] s1_out_1_
1- 1
-1 1
.names [112] [675] s1_out_0_
1- 1
-1 1
.names [646] [647] s1_out_3_
1- 1
-1 1
.names [138] [594] s1_out_2_
1- 1
-1 1
.names [587] [588] s1_out_5_
1- 1
-1 1
.names [658] [659] s1_out_4_
1- 1
-1 1
.names [63] [746] n_n42
1- 1
-1 1
.names [709] [710] n_n43
1- 1
-1 1
.names [772] [773] n_n44
1- 1
-1 1
.names [626] [627] n_n45
1- 1
-1 1
.names [57] [760] n_n46
1- 1
-1 1
.names n_n238 n_n241 [20]
10 1
.names n_n239 n_n241 [21]
11 1
.names n_n237 n_n241 [37]
00 1
.names n_n237 [23] [39]
11 1
.names s1_in_2_ s1_in_3_ [41]
01 1
.names s1_in_0_ s1_in_2_ [18]
0- 1
-0 1
.names s1_in_6_ s1_in_4_ [19]
0- 1
-0 1
.names n_n238 [132] [24]
0- 1
-1 1
.names s1_out_3_ n_n240 [27]
0- 1
-1 1
.names n_n238 n_n239 [33]
1- 1
-0 1
.names n_n238 n_n240 [23]
01 1
.names n_n237 n_n238 [29]
11 1
.names n_n238 n_n239 [36]
00 1
.names s1_in_6_ [22] [30]
01 1
.names s1_out_3_ n_n238 [40]
11 1
.names s1_in_5_ s1_out_5_ [53]
11 1
.names s1_in_7_ [21] [54]
11 1
.names n_n45 [26] [55]
01 1
.names n_n239 [20] [26]
11 1
.names n_n237 [21] [38]
01 1
.names s1_in_7_ s1_in_3_ [22]
10 1
.names [53] [130] [28]
1- 1
-1 1
.names s1_out_5_ n_n239 [32]
1- 1
-0 1
.names s1_out_0_ [748] [25]
11 1
.names n_n45 [750] [31]
01 1
.names s1_out_1_ [752] [34]
11 1
.names n_n43 [753] [35]
11 1
.names s1_out_1_ [754] [42]
11 1
.names [40] [755] [43]
11 1
.names n_n43 [756] [44]
01 1
.names s1_out_4_ [757] [45]
11 1
.names s1_out_0_ [758] [46]
11 1
.names n_n43 [55] [47]
11 1
.names s1_out_5_ [54] [48]
11 1
.names s1_out_3_ [29] [49]
11 1
.names s1_out_5_ [18] [50]
10 1
.names s1_out_0_ n_n46 [51]
00 1
.names n_n45 [33] [56]
11 1
.names s1_in_0_ n_n45 [57]
01 1
.names n_n43 [713] [60]
11 1
.names [32] [715] [61]
01 1
.names s1_out_1_ [717] [62]
01 1
.names n_n43 [719] [63]
11 1
.names s1_out_1_ [721] [64]
11 1
.names [23] [722] [65]
11 1
.names [23] [723] [66]
11 1
.names [40] [724] [67]
11 1
.names n_n45 [725] [68]
01 1
.names s1_out_1_ [726] [69]
11 1
.names s1_out_1_ [727] [70]
11 1
.names [27] [728] [71]
01 1
.names s1_out_3_ [729] [72]
11 1
.names [23] [730] [73]
11 1
.names s1_out_1_ [731] [74]
11 1
.names s1_out_5_ [40] [75]
11 1
.names s1_out_1_ [690] [77]
01 1
.names s1_out_1_ [692] [78]
01 1
.names [53] [693] [79]
11 1
.names s1_out_1_ [694] [80]
01 1
.names [29] [695] [81]
11 1
.names s1_out_2_ [696] [82]
11 1
.names [23] [697] [83]
11 1
.names s1_out_4_ [698] [84]
11 1
.names s1_out_1_ [699] [85]
11 1
.names s1_out_2_ [700] [86]
11 1
.names [18] [55] [87]
11 1
.names s1_out_0_ n_n45 [88]
00 1
.names s1_out_4_ [663] [89]
01 1
.names s1_out_4_ [678] [90]
01 1
.names s1_out_4_ [680] [91]
01 1
.names [681] [682] [92]
11 1
.names s1_out_4_ [683] [93]
01 1
.names [37] [684] [94]
11 1
.names n_n45 [630] [95]
11 1
.names s1_out_5_ [632] [96]
01 1
.names s1_out_3_ [649] [97]
11 1
.names [55] [650] [98]
11 1
.names s1_out_5_ [651] [99]
01 1
.names s1_out_5_ [652] [100]
01 1
.names n_n45 [653] [101]
11 1
.names s1_in_7_ [39] [102]
11 1
.names [598] [599] [103]
11 1
.names [603] [604] [104]
11 1
.names [606] [607] [105]
11 1
.names [30] [610] [106]
11 1
.names [612] [613] [107]
11 1
.names [614] [615] [108]
11 1
.names [38] [617] [109]
11 1
.names [26] [619] [110]
11 1
.names [39] [620] [111]
11 1
.names [27] [665] [112]
11 1
.names [19] [666] [113]
11 1
.names s1_out_5_ [667] [114]
11 1
.names [18] [668] [115]
01 1
.names s1_out_2_ [669] [116]
11 1
.names s1_out_2_ [24] [117]
11 1
.names n_n239 n_n241 [118]
00 1
.names s1_out_2_ [634] [120]
01 1
.names s1_out_5_ [635] [121]
01 1
.names [36] [636] [122]
11 1
.names s1_out_2_ [637] [123]
11 1
.names [23] [638] [124]
01 1
.names [19] [639] [125]
01 1
.names n_n238 [38] [126]
11 1
.names [37] [33] [127]
10 1
.names [20] [32] [128]
11 1
.names n_n237 [54] [130]
11 1
.names s1_in_1_ n_n237 [132]
10 1
.names [36] [585] [134]
01 1
.names [29] [586] [135]
11 1
.names [33] [54] [136]
01 1
.names n_n237 [23] [137]
01 1
.names [590] [591] [138]
11 1
.names [36] [592] [139]
11 1
.names [37] [33] [140]
10 1
.names n_n238 n_n240 [141]
11 1
.names n_n237 n_n241 [585]
10 1
.names n_n240 s1_in_7_ [586]
01 1
.names [137] [135] [587]
1- 1
-1 1
.names [136] [134] [588]
1- 1
-1 1
.names [37] s1_in_3_ [589]
01 1
.names [23] [33] [590]
01 1
.names [589] [29] [591]
10 1
.names n_n237 n_n241 [592]
10 1
.names [141] [140] [593]
1- 1
-1 1
.names [593] [139] [594]
1- 1
-1 1
.names s1_in_3_ s1_in_7_ [595]
00 1
.names n_n239 n_n237 [596]
00 1
.names n_n241 n_n240 [597]
10 1
.names [595] [19] [598]
10 1
.names [597] [596] [599]
11 1
.names s1_in_3_ s1_in_7_ [600]
00 1
.names n_n238 n_n237 [601]
01 1
.names n_n240 n_n239 [602]
00 1
.names [600] n_n241 [603]
11 1
.names [602] [601] [604]
11 1
.names n_n240 s1_in_7_ [605]
00 1
.names [41] n_n241 [606]
11 1
.names [605] [29] [607]
11 1
.names n_n239 n_n237 [608]
00 1
.names n_n241 n_n240 [609]
10 1
.names [609] [608] [610]
11 1
.names s1_in_7_ s1_in_6_ [611]
10 1
.names [18] n_n237 [612]
10 1
.names [26] [611] [613]
11 1
.names [41] n_n237 [614]
10 1
.names [26] [19] [615]
11 1
.names s1_in_3_ s1_in_7_ [616]
00 1
.names [616] n_n238 [617]
11 1
.names n_n237 s1_in_7_ [618]
00 1
.names [618] [19] [619]
10 1
.names [18] s1_in_7_ [620]
10 1
.names [104] [103] [621]
1- 1
-1 1
.names [106] [105] [622]
1- 1
-1 1
.names [110] [109] [623]
1- 1
-1 1
.names [107] [111] [624]
1- 1
-1 1
.names [621] [108] [625]
1- 1
-1 1
.names [623] [622] [626]
1- 1
-1 1
.names [625] [624] [627]
1- 1
-1 1
.names s1_in_7_ s1_in_6_ [628]
10 1
.names s1_in_5_ s1_in_1_ [629]
10 1
.names [629] [628] [630]
11 1
.names [20] n_n239 [631]
10 1
.names [631] [22] [632]
11 1
.names n_n238 n_n237 [633]
10 1
.names [633] [19] [634]
10 1
.names [36] [19] [635]
10 1
.names n_n241 n_n237 [636]
11 1
.names [24] [19] [637]
00 1
.names n_n240 n_n237 [638]
10 1
.names n_n240 n_n237 [639]
11 1
.names [124] [122] [640]
1- 1
-1 1
.names [127] [125] [641]
1- 1
-1 1
.names [640] [126] [642]
1- 1
-1 1
.names [642] [641] [643]
1- 1
-1 1
.names [120] [643] [644]
1- 1
-1 1
.names [123] [121] [645]
1- 1
-1 1
.names [128] [28] [646]
1- 1
-1 1
.names [645] [644] [647]
1- 1
-1 1
.names s1_out_2_ [22] [648]
01 1
.names [648] s1_out_5_ [649]
10 1
.names s1_out_5_ [19] [650]
00 1
.names [38] [22] [651]
11 1
.names s1_out_2_ [30] [652]
01 1
.names s1_in_2_ s1_in_7_ [653]
11 1
.names [96] [102] [654]
1- 1
-1 1
.names [100] [99] [655]
1- 1
-1 1
.names [95] [654] [656]
1- 1
-1 1
.names [655] [101] [657]
1- 1
-1 1
.names [656] [98] [658]
1- 1
-1 1
.names [97] [657] [659]
1- 1
-1 1
.names s1_in_3_ s1_in_0_ [660]
11 1
.names [660] [20] [661]
11 1
.names s1_out_5_ [661] [662]
01 1
.names n_n45 [662] [663]
01 1
.names [18] n_n237 [664]
01 1
.names s1_out_2_ [664] [665]
01 1
.names [18] n_n241 [666]
00 1
.names [18] s1_in_5_ [667]
00 1
.names n_n239 n_n237 [668]
11 1
.names s1_in_4_ s1_in_1_ [669]
01 1
.names [118] [33] [670]
1- 1
-0 1
.names [670] [115] [671]
1- 1
-1 1
.names [671] [113] [672]
1- 1
-1 1
.names [114] [672] [673]
1- 1
-1 1
.names [117] [116] [674]
1- 1
-1 1
.names [674] [673] [675]
1- 1
-1 1
.names s1_out_2_ s1_in_3_ [676]
01 1
.names [676] s1_out_5_ [677]
10 1
.names s1_out_0_ [677] [678]
11 1
.names s1_in_3_ s1_in_0_ [679]
11 1
.names [39] [679] [680]
11 1
.names s1_in_3_ s1_in_7_ [681]
10 1
.names [21] n_n238 [682]
10 1
.names n_n45 [41] [683]
11 1
.names n_n239 s1_in_3_ [684]
01 1
.names [92] [94] [685]
1- 1
-1 1
.names [89] [685] [686]
1- 1
-1 1
.names [93] [91] [687]
1- 1
-1 1
.names [686] [90] [688]
1- 1
-1 1
.names [37] n_n239 [689]
10 1
.names [689] [19] [690]
10 1
.names [20] n_n239 [691]
10 1
.names s1_out_5_ [691] [692]
01 1
.names n_n240 n_n237 [693]
10 1
.names n_n45 [39] [694]
01 1
.names [18] n_n239 [695]
11 1
.names [29] s1_in_4_ [696]
11 1
.names [18] n_n237 [697]
10 1
.names s1_out_3_ n_n45 [698]
10 1
.names n_n45 s1_in_2_ [699]
10 1
.names n_n238 s1_in_1_ [700]
10 1
.names [83] [81] [701]
1- 1
-1 1
.names [82] [701] [702]
1- 1
-1 1
.names [79] [86] [703]
1- 1
-1 1
.names [703] [702] [704]
1- 1
-1 1
.names [704] [87] [705]
1- 1
-1 1
.names [84] [705] [706]
1- 1
-1 1
.names [706] [88] [707]
1- 1
-1 1
.names [77] [707] [708]
1- 1
-1 1
.names [80] [78] [709]
1- 1
-1 1
.names [708] [85] [710]
1- 1
-1 1
.names n_n237 s1_in_7_ [711]
11 1
.names [711] n_n241 [712]
11 1
.names s1_out_2_ [712] [713]
01 1
.names s1_in_1_ s1_in_6_ [714]
10 1
.names [714] [41] [715]
11 1
.names [19] [37] [716]
01 1
.names [32] [716] [717]
01 1
.names [37] n_n239 [718]
10 1
.names [718] [22] [719]
11 1
.names [19] [37] [720]
11 1
.names s1_out_3_ [720] [721]
01 1
.names s1_in_2_ s1_in_3_ [722]
00 1
.names [41] s1_in_0_ [723]
00 1
.names [38] s1_in_3_ [724]
10 1
.names [30] [37] [725]
11 1
.names [32] [19] [726]
01 1
.names s1_out_0_ [32] [727]
10 1
.names n_n241 s1_in_3_ [728]
10 1
.names s1_out_2_ [24] [729]
11 1
.names n_n237 s1_in_2_ [730]
00 1
.names s1_out_3_ n_n241 [731]
01 1
.names [65] [73] [732]
1- 1
-1 1
.names [732] [66] [733]
1- 1
-1 1
.names [28] [733] [734]
1- 1
-1 1
.names [68] [61] [735]
1- 1
-1 1
.names [735] [734] [736]
1- 1
-1 1
.names [736] [72] [737]
1- 1
-1 1
.names [71] [67] [738]
1- 1
-1 1
.names [737] [75] [739]
1- 1
-1 1
.names [739] [738] [740]
1- 1
-1 1
.names [62] [740] [741]
1- 1
-1 1
.names [69] [64] [742]
1- 1
-1 1
.names [74] [70] [743]
1- 1
-1 1
.names [742] [741] [744]
1- 1
-1 1
.names [744] [743] [745]
1- 1
-1 1
.names [60] [745] [746]
1- 1
-1 1
.names s1_out_2_ [30] [747]
01 1
.names s1_out_3_ [747] [748]
01 1
.names n_n239 n_n238 [749]
11 1
.names [30] [749] [750]
11 1
.names [19] n_n241 [751]
00 1
.names n_n45 [751] [752]
01 1
.names [40] n_n241 [753]
11 1
.names [40] n_n239 [754]
10 1
.names n_n240 s1_in_1_ [755]
10 1
.names n_n45 [23] [756]
01 1
.names [18] n_n237 [757]
11 1
.names s1_out_5_ n_n237 [758]
11 1
.names s1_out_5_ s1_out_2_ [759]
1- 1
-1 1
.names [56] [759] [760]
1- 1
-1 1
.names [48] [53] [761]
1- 1
-1 1
.names [761] [50] [762]
1- 1
-1 1
.names [762] [31] [763]
1- 1
-1 1
.names [49] [763] [764]
1- 1
-1 1
.names [764] [43] [765]
1- 1
-1 1
.names [25] [765] [766]
1- 1
-1 1
.names [46] [45] [767]
1- 1
-1 1
.names [766] [51] [768]
1- 1
-1 1
.names [768] [767] [769]
1- 1
-1 1
.names [34] [769] [770]
1- 1
-1 1
.names [770] [42] [771]
1- 1
-1 1
.names [35] [771] [772]
1- 1
-1 1
.names [47] [44] [773]
1- 1
-1 1
.end