vtr_flow/benchmarks/blif/3/styr.blif

.model top
.inputs styr_in_6_ styr_in_5_ styr_in_8_ styr_in_7_ styr_in_2_ styr_in_1_ \
styr_in_4_ styr_in_3_ styr_in_0_ clock
.outputs styr_out_0_ styr_out_1_ styr_out_2_ styr_out_3_ styr_out_4_ \
styr_out_5_ styr_out_6_ styr_out_7_ styr_out_8_ styr_out_9_
.latch    n_n53 n_n260 re clock 2
.latch    n_n54 n_n261 re clock 2
.latch    n_n55 n_n262 re clock 2
.latch    n_n56 n_n263 re clock 2
.latch    n_n57 n_n264 re clock 2
.names [160] [1086] [1088] styr_out_0_
--1 1
11- 1
.names [160] [187] [1086] styr_out_1_
-1- 1
1-1 1
.names [181] [184] [1089] styr_out_2_
1-- 1
-1- 1
--1 1
.names [175] [176] [177] styr_out_3_
1-- 1
-1- 1
--1 1
.names [26] [171] [1096] styr_out_4_
1-- 1
-1- 1
--1 1
.names n_n260 [126] [1104] styr_out_5_
--1 1
01- 1
.names [24] [982] [1105] styr_out_6_
111 1
.names [1121] [1122] styr_out_7_
1- 1
-1 1
.names [64] [67] [1129] styr_out_8_
1-- 1
-1- 1
--1 1
.names [108] [151] [1136] styr_out_9_
--1 1
11- 1
.names [1007] [1008] n_n53
1- 1
-1 1
.names [260] [1028] [1029] n_n54
1-- 1
-1- 1
--1 1
.names n_n262 [123] [1051] n_n55
--1 1
11- 1
.names [218] [1060] [1062] n_n56
1-- 1
-1- 1
--1 1
.names [200] [1083] [1084] n_n57
1-- 1
-1- 1
--1 1
.names styr_in_8_ styr_in_4_ n_n260 [25]
100 1
.names n_n262 n_n263 [46]
0- 1
-0 1
.names n_n264 [97] [1031] [47]
--1 1
11- 1
.names [41] [92] [95] [55]
111 1
.names [226] [1057] [1058] [116]
1-- 1
-1- 1
--1 1
.names [103] [30] [101] [115]
1-- 1
-1- 1
--1 1
.names n_n260 n_n263 n_n264 [96]
000 1
.names n_n260 n_n262 [990] [33]
101 1
.names n_n263 n_n264 [37]
00 1
.names styr_in_5_ styr_in_8_ n_n261 [41]
011 1
.names styr_in_4_ styr_in_3_ [48]
1- 1
-0 1
.names styr_in_4_ [24] [982] [91]
011 1
.names [246] [1044] [1045] [123]
1-- 1
-1- 1
--1 1
.names n_n262 n_n263 n_n264 [99]
000 1
.names n_n261 n_n263 n_n264 [110]
000 1
.names n_n261 [127] [1103] [126]
--1 1
01- 1
.names styr_in_5_ n_n262 [65]
1- 1
-1 1
.names n_n260 n_n262 [88]
10 1
.names n_n261 n_n263 n_n264 [98]
111 1
.names n_n260 n_n262 [98] [26]
011 1
.names n_n260 n_n263 n_n264 [32]
110 1
.names n_n263 n_n264 [39]
11 1
.names n_n261 n_n263 [107]
01 1
.names [31] [34] [263] [129]
1-- 1
-1- 1
--1 1
.names styr_in_4_ n_n262 [102]
10 1
.names n_n261 n_n263 n_n264 [136]
--1 1
01- 1
.names styr_in_4_ [24] [1000] [31]
111 1
.names [108] [30] [985] [54]
--1 1
11- 1
.names [25] [99] [986] [56]
111 1
.names [22] [143] [306] [142]
--1 1
11- 1
.names [296] [297] [298] [139]
1-- 1
-1- 1
--1 1
.names [46] [48] [24] [34]
001 1
.names styr_in_5_ styr_in_8_ styr_in_4_ [43]
-0- 1
1-1 1
.names styr_in_4_ [24] [89]
11 1
.names styr_in_6_ styr_in_3_ [92]
00 1
.names styr_in_4_ [42] [991] [103]
011 1
.names n_n262 n_n263 [109]
10 1
.names [41] [92] [24] [145]
--1 1
11- 1
.names styr_in_2_ n_n261 n_n264 [150]
0-- 1
-1- 1
--1 1
.names n_n261 n_n263 [108]
10 1
.names [23] [57] [1132] [152]
-1- 1
1-1 1
.names n_n262 [153] [50] [151]
--1 1
11- 1
.names n_n260 n_n262 [42]
11 1
.names [304] [305] [35]
1- 1
-1 1
.names n_n260 n_n262 n_n263 [97]
110 1
.names n_n262 n_n263 [85] [157]
--1 1
10- 1
.names styr_in_5_ styr_in_4_ [22]
0- 1
-0 1
.names styr_in_6_ styr_in_5_ styr_in_3_ [159]
1-- 1
-1- 1
--0 1
.names styr_in_5_ styr_in_4_ [159] [23]
01- 1
-01 1
.names styr_in_5_ styr_in_8_ n_n260 [24]
010 1
.names styr_in_5_ styr_in_3_ [62]
1- 1
-0 1
.names styr_in_5_ styr_in_3_ [25] [27]
1-1 1
-01 1
.names [102] [92] [24] [30]
111 1
.names styr_in_8_ n_n261 [93]
11 1
.names styr_in_4_ n_n264 [95]
10 1
.names styr_in_5_ styr_in_3_ [58]
1- 1
-1 1
.names [42] [991] [1013] [63]
111 1
.names [96] [39] [42] [160]
1-- 1
-11 1
.names styr_in_4_ styr_in_3_ [24] [80]
111 1
.names styr_in_5_ n_n264 [25] [100]
111 1
.names [92] [24] [1053] [101]
111 1
.names styr_in_2_ n_n261 [113]
1- 1
-1 1
.names styr_in_3_ n_n261 [112]
1- 1
-0 1
.names styr_in_6_ styr_in_5_ styr_in_3_ [121]
1-- 1
-00 1
.names [167] [169] [1101] [127]
1-- 1
-1- 1
--1 1
.names n_n262 n_n263 n_n264 [133]
-00 1
111 1
.names [46] [22] [1017] [132]
0-- 1
-11 1
.names styr_in_5_ styr_in_4_ styr_in_3_ [138]
-0- 1
0-1 1
.names styr_in_1_ [144] [309] [143]
--1 1
01- 1
.names n_n261 n_n263 n_n264 [144]
10- 1
-00 1
.names styr_in_5_ styr_in_4_ styr_in_3_ [148]
-0- 1
0-1 1
.names [23] [52] [1131] [153]
-1- 1
1-1 1
.names styr_in_4_ [101] [50]
01 1
.names styr_in_4_ [24] [982] [52]
111 1
.names [42] [991] [1133] [57]
111 1
.names [46] [43] [1123] [61]
101 1
.names n_n260 [43] [1125] [64]
1-1 1
-01 1
.names [41] [1039] [1126] [66]
111 1
.names n_n260 n_n262 [110] [67]
111 1
.names n_n264 [41] [35] [70]
011 1
.names n_n261 [91] [63] [71]
11- 1
1-1 1
.names styr_in_8_ [81] [82] [72]
11- 1
1-1 1
.names n_n262 [91] [73]
01 1
.names [39] [22] [1109] [81]
101 1
.names [83] [84] [1114] [82]
1-1 1
-11 1
.names styr_in_3_ n_n262 [1112] [83]
001 1
.names styr_in_4_ styr_in_3_ [1113] [84]
011 1
.names styr_in_7_ n_n261 n_n262 [85]
100 1
.names [65] [39] [1098] [164]
011 1
.names [109] [1011] [1100] [167]
111 1
.names n_n262 n_n263 n_n264 [168]
111 1
.names styr_in_5_ styr_in_4_ n_n262 [169]
110 1
.names n_n260 n_n263 [150] [171]
101 1
.names n_n260 n_n264 [1091] [175]
001 1
.names styr_in_3_ [179] [1092] [176]
01- 1
0-1 1
.names n_n261 [96] [177]
11 1
.names n_n263 [24] [179]
01 1
.names n_n260 [185] [186] [181]
11- 1
1-1 1
.names styr_in_3_ n_n260 n_n264 [182]
100 1
.names n_n261 n_n262 n_n263 [183]
011 1
.names n_n262 n_n263 [25] [184]
0-1 1
-01 1
.names n_n263 n_n264 [112] [185]
111 1
.names n_n263 n_n264 [113] [186]
001 1
.names styr_in_5_ n_n262 [96] [187]
001 1
.names [96] [1087] [189]
11 1
.names n_n262 [98] [43] [196]
010 1
.names n_n263 n_n264 [145] [197]
111 1
.names n_n263 [33] [31] [198]
01- 1
0-1 1
.names n_n264 [1070] [1071] [199]
11- 1
1-1 1
.names n_n261 [1076] [1077] [200]
01- 1
0-1 1
.names n_n262 [32] [201]
11 1
.names [93] [148] [1066] [206]
111 1
.names styr_in_6_ n_n260 [43] [207]
100 1
.names n_n262 [25] [62] [208]
011 1
.names n_n262 [24] [209]
11 1
.names n_n260 n_n262 n_n264 [215]
110 1
.names n_n264 [31] [223] [218]
01- 1
0-1 1
.names n_n264 [115] [219]
11 1
.names styr_in_8_ n_n261 n_n262 [223]
110 1
.names styr_in_4_ n_n264 [1055] [225]
101 1
.names n_n262 [230] [231] [226]
01- 1
0-1 1
.names n_n260 n_n261 [43] [230]
110 1
.names styr_in_6_ n_n264 [25] [231]
1-1 1
-01 1
.names [241] [1032] [1033] [232]
1-1 1
-11 1
.names n_n262 n_n263 [91] [233]
001 1
.names styr_in_8_ [239] [240] [235]
11- 1
1-1 1
.names [39] [58] [1036] [239]
111 1
.names [121] [1038] [240]
11 1
.names n_n262 [24] [241]
01 1
.names [251] [252] [1040] [244]
1-1 1
-11 1
.names styr_in_3_ n_n263 [24] [245]
111 1
.names n_n261 [27] [80] [246]
01- 1
0-1 1
.names styr_in_4_ n_n264 [24] [247]
111 1
.names styr_in_4_ n_n261 [251]
01 1
.names styr_in_5_ n_n263 [252]
11 1
.names n_n260 n_n261 n_n264 [253]
110 1
.names n_n264 [97] [254]
11 1
.names [1009] [1010] [256]
11 1
.names [92] [24] [1012] [257]
111 1
.names [39] [30] [63] [258]
11- 1
1-1 1
.names n_n261 [266] [1025] [260]
11- 1
1-1 1
.names [43] [1014] [263]
01 1
.names styr_in_8_ [274] [1021] [266]
11- 1
1-1 1
.names n_n260 n_n262 n_n264 [267]
100 1
.names n_n262 [92] [24] [268]
111 1
.names n_n260 n_n263 n_n264 [270]
100 1
.names n_n262 [25] [62] [271]
011 1
.names styr_in_6_ styr_in_4_ [133] [272]
001 1
.names n_n262 [280] [1020] [274]
01- 1
0-1 1
.names styr_in_1_ [282] [283] [280]
01- 1
0-1 1
.names styr_in_4_ n_n260 n_n263 [282]
010 1
.names styr_in_5_ styr_in_4_ styr_in_3_ [283]
011 1
.names [142] [989] [284]
11 1
.names n_n263 [33] [294] [285]
11- 1
1-1 1
.names styr_in_6_ [139] [286]
01 1
.names n_n264 [299] [998] [287]
01- 1
0-1 1
.names [99] [24] [982] [288]
111 1
.names [42] [138] [991] [294]
111 1
.names [25] [992] [993] [296]
111 1
.names n_n261 n_n264 [97] [297]
011 1
.names [41] [995] [298]
11 1
.names n_n261 [42] [302] [299]
11- 1
1-1 1
.names styr_in_2_ n_n260 n_n262 [300]
111 1
.names [24] [304] [305] [302]
11- 1
1-1 1
.names styr_in_4_ styr_in_3_ n_n263 [304]
101 1
.names styr_in_4_ styr_in_3_ n_n262 [305]
010 1
.names n_n263 n_n264 [988] [306]
111 1
.names styr_in_0_ n_n263 n_n264 [309]
100 1
.names styr_in_3_ styr_in_6_ [982]
10 1
.names n_n262 n_n260 [983]
10 1
.names [98] [34] [983] [985]
-1- 1
1-1 1
.names styr_in_5_ styr_in_6_ [986]
10 1
.names styr_in_5_ styr_in_4_ styr_in_3_ [988]
01- 1
0-0 1
.names styr_in_8_ n_n260 n_n262 [989]
110 1
.names n_n264 n_n261 [990]
10 1
.names styr_in_8_ styr_in_6_ [991]
10 1
.names n_n264 styr_in_5_ [992]
11 1
.names n_n262 n_n261 [993]
11 1
.names styr_in_3_ n_n263 n_n264 [995]
100 1
.names [30] [300] [998]
1- 1
-1 1
.names styr_in_3_ n_n261 n_n262 [1000]
001 1
.names n_n262 [91] [32] [1001]
-1- 1
1-1 1
.names [37] [31] [285] [1003]
--1 1
11- 1
.names [56] [288] [1001] [1004]
1-- 1
-1- 1
--1 1
.names [54] [284] [286] [1007]
1-- 1
-1- 1
--1 1
.names [287] [1003] [1004] [1008]
1-- 1
-1- 1
--1 1
.names styr_in_5_ styr_in_4_ styr_in_3_ [1009]
001 1
.names [107] [42] [991] [1010]
111 1
.names styr_in_4_ styr_in_2_ [1011]
01 1
.names n_n264 [109] [1011] [1012]
111 1
.names styr_in_5_ styr_in_4_ styr_in_3_ [1013]
010 1
.names styr_in_0_ n_n260 n_n262 [1014]
110 1
.names n_n264 styr_in_6_ [1017]
11 1
.names n_n263 styr_in_5_ [1018]
10 1
.names [48] [95] [1018] [1020]
-1- 1
1-1 1
.names n_n260 [132] [272] [1021]
--1 1
01- 1
.names [270] [267] [1022]
1- 1
-1 1
.names n_n264 [80] [271] [1024]
--1 1
11- 1
.names [268] [1022] [1024] [1025]
1-- 1
-1- 1
--1 1
.names n_n261 [26] [32] [1026]
-1- 1
0-1 1
.names [256] [257] [1026] [1028]
1-- 1
-1- 1
--1 1
.names n_n264 [129] [258] [1029]
--1 1
01- 1
.names [98] [253] [983] [1031]
-1- 1
1-1 1
.names styr_in_8_ n_n261 [25] [1032]
--1 1
11- 1
.names styr_in_6_ n_n263 n_n264 [1033]
100 1
.names styr_in_4_ styr_in_3_ n_n264 [1035]
010 1
.names n_n260 styr_in_4_ [1036]
10 1
.names n_n260 n_n262 n_n263 [1038]
111 1
.names n_n263 styr_in_3_ [1039]
00 1
.names n_n264 styr_in_8_ [1040]
01 1
.names [41] [32] [1039] [1042]
-1- 1
1-1 1
.names styr_in_6_ [25] [247] [1044]
--1 1
11- 1
.names [244] [245] [1042] [1045]
1-- 1
-1- 1
--1 1
.names [33] [41] [1035] [1047]
1-- 1
-11 1
.names [47] [235] [1047] [1050]
1-- 1
-1- 1
--1 1
.names [232] [233] [1050] [1051]
1-- 1
-1- 1
--1 1
.names n_n262 styr_in_2_ [1053]
01 1
.names styr_in_8_ n_n260 n_n262 [1055]
101 1
.names styr_in_4_ [24] [27] [1057]
--1 1
11- 1
.names [41] [92] [225] [1058]
--1 1
11- 1
.names [55] [254] [1031] [1060]
1-- 1
-1- 1
--1 1
.names n_n263 [116] [219] [1062]
--1 1
11- 1
.names n_n262 n_n263 [92] [1063]
101 1
.names n_n263 styr_in_5_ [1064]
11 1
.names styr_in_1_ n_n260 n_n262 [1066]
010 1
.names [206] [80] [1070]
1- 1
-1 1
.names [207] [208] [209] [1071]
1-- 1
-1- 1
--1 1
.names styr_in_0_ n_n260 n_n264 [1072]
110 1
.names [215] [32] [1073]
1- 1
-1 1
.names [43] [100] [1072] [1074]
-1- 1
0-1 1
.names styr_in_6_ [97] [1073] [1075]
--1 1
01- 1
.names styr_in_3_ [103] [1074] [1076]
--1 1
01- 1
.names n_n263 [91] [1075] [1077]
--1 1
11- 1
.names [98] [34] [983] [1078]
-1- 1
1-1 1
.names [89] [201] [1063] [1079]
-1- 1
1-1 1
.names [103] [196] [1064] [1080]
-1- 1
1-1 1
.names [197] [198] [1078] [1083]
1-- 1
-1- 1
--1 1
.names [199] [1079] [1080] [1084]
1-- 1
-1- 1
--1 1
.names styr_in_3_ styr_in_4_ [1086]
11 1
.names styr_in_5_ n_n261 n_n262 [1087]
10- 1
-01 1
.names [88] [98] [189] [1088]
--1 1
11- 1
.names [183] [182] [1089]
1- 1
-1 1
.names n_n263 n_n262 [1091]
10 1
.names n_n260 n_n264 [98] [1092]
00- 1
1-1 1
.names n_n260 n_n262 [32] [1096]
--1 1
10- 1
.names styr_in_6_ styr_in_4_ styr_in_3_ [1098]
001 1
.names styr_in_6_ styr_in_5_ styr_in_3_ [1100]
000 1
.names [168] styr_in_8_ [1101]
1- 1
-0 1
.names n_n263 [43] [164] [1103]
--1 1
01- 1
.names styr_in_2_ [99] [110] [1104]
-1- 1
1-1 1
.names styr_in_4_ n_n262 [136] [1105]
101 1
.names [43] n_n264 [1107]
11 1
.names n_n262 n_n261 [1109]
00 1
.names styr_in_4_ n_n263 n_n264 [1112]
110 1
.names n_n264 n_n262 [1113]
11 1
.names styr_in_5_ styr_in_6_ [1114]
00 1
.names [88] [32] [990] [1115]
-1- 1
1-1 1
.names [157] [1107] [1115] [1117]
--1 1
11- 1
.names [55] [97] [70] [1118]
1-- 1
-1- 1
--1 1
.names [71] [73] [1117] [1121]
1-- 1
-1- 1
--1 1
.names [54] [72] [1118] [1122]
1-- 1
-1- 1
--1 1
.names n_n264 n_n260 [1123]
10 1
.names n_n261 n_n262 n_n263 [1125]
001 1
.names styr_in_1_ styr_in_4_ n_n262 [1126]
010 1
.names [33] [61] [66] [1129]
1-- 1
-1- 1
--1 1
.names [99] styr_in_6_ [1130]
10 1
.names styr_in_8_ n_n260 n_n264 [1131]
101 1
.names styr_in_8_ n_n260 n_n262 [1132]
100 1
.names styr_in_5_ styr_in_4_ styr_in_3_ [1133]
011 1
.names [56] [89] [1130] [1134]
1-- 1
-11 1
.names [91] [110] [1134] [1135]
--1 1
11- 1
.names [39] [152] [1135] [1136]
--1 1
11- 1
.end