mul5.blif

# Benchmark "Arko" written by ABC on Fri Aug  5 15:29:08 2011
.model mul5
.inputs a_0 b_0 b_1 a_1 b_2 a_2 b_3 a_3 b_4 a_4
.outputs z_0 z_1 z_2 z_3 z_4 z_5 z_6 z_7 z_8 z_9
.names a_0 b_0 z_0
11 1
.names a_0 b_1 n21
11 1
.names b_0 a_1 n22
11 1
.names n21 n22 n23
10 1
.names n21 n22 n24
01 1
.names n23 n24 n25
00 1
.names a_0 b_2 n26
11 1
.names b_1 a_1 n27
11 1
.names b_0 a_2 n28
11 1
.names n21 n22 n29
11 1
.names n28 n29 n30
11 1
.names n28 n29 n31
00 1
.names n30 n31 n32
00 1
.names n27 n32 n33
10 1
.names n28 n29 n34
01 1
.names n28 n29 n35
10 1
.names n34 n35 n36
00 1
.names n27 n36 n37
00 1
.names n33 n37 n38
00 1
.names n26 n38 n39
11 1
.names n26 n38 n40
00 1
.names n39 n40 n41
00 1
.names n26 n38 n42
10 1
.names a_0 b_3 n43
11 1
.names a_1 b_2 n44
11 1
.names n43 n44 n45
10 1
.names n43 n44 n46
01 1
.names n45 n46 n47
00 1
.names b_1 a_2 n48
11 1
.names b_0 a_3 n49
11 1
.names n27 n29 n50
11 1
.names n27 n28 n51
11 1
.names n30 n50 n52
00 1
.names n51 n52 n53
01 1
.names n49 n53 n54
10 1
.names n49 n53 n55
01 1
.names n54 n55 n56
00 1
.names n48 n56 n57
10 1
.names n49 n53 n58
00 1
.names n49 n53 n59
11 1
.names n58 n59 n60
00 1
.names n48 n60 n61
00 1
.names n57 n61 n62
00 1
.names n47 n62 n63
01 1
.names n47 n62 n64
10 1
.names n63 n64 n65
00 1
.names n42 n65 n66
11 1
.names n42 n65 n67
00 1
.names n66 n67 n68
00 1
.names n47 n62 n69
00 1
.names n42 n65 n70
10 1
.names a_0 b_4 n71
11 1
.names a_1 b_3 n72
11 1
.names b_2 a_2 n73
11 1
.names n43 n44 n74
11 1
.names n73 n74 n75
11 1
.names n73 n74 n76
00 1
.names n75 n76 n77
00 1
.names n72 n77 n78
10 1
.names n73 n74 n79
01 1
.names n73 n74 n80
10 1
.names n79 n80 n81
00 1
.names n72 n81 n82
00 1
.names n78 n82 n83
00 1
.names b_1 a_3 n84
11 1
.names b_0 a_4 n85
11 1
.names n48 n53 n86
10 1
.names n48 n49 n87
11 1
.names n54 n86 n88
00 1
.names n87 n88 n89
01 1
.names n85 n89 n90
10 1
.names n85 n89 n91
01 1
.names n90 n91 n92
00 1
.names n84 n92 n93
10 1
.names n85 n89 n94
00 1
.names n85 n89 n95
11 1
.names n94 n95 n96
00 1
.names n84 n96 n97
00 1
.names n93 n97 n98
00 1
.names n83 n98 n99
00 1
.names n83 n98 n100
11 1
.names n99 n100 n101
00 1
.names n71 n101 n102
10 1
.names n83 n98 n103
10 1
.names n83 n98 n104
01 1
.names n103 n104 n105
00 1
.names n71 n105 n106
00 1
.names n102 n106 n107
00 1
.names n70 n107 n108
10 1
.names n70 n107 n109
01 1
.names n108 n109 n110
00 1
.names n69 n110 n111
10 1
.names n70 n107 n112
00 1
.names n70 n107 n113
11 1
.names n112 n113 n114
00 1
.names n69 n114 n115
00 1
.names n111 n115 n116
00 1
.names n83 n103 n117
10 1
.names n71 n117 n118
10 1
.names n71 n99 n119
01 1
.names n118 n119 n120
00 1
.names n69 n107 n121
11 1
.names n69 n107 n122
00 1
.names n121 n122 n123
00 1
.names n70 n123 n124
10 1
.names n69 n107 n125
10 1
.names n124 n125 n126
00 1
.names a_1 b_4 n127
11 1
.names a_2 b_3 n128
11 1
.names b_2 a_3 n129
11 1
.names n72 n74 n130
11 1
.names n72 n73 n131
11 1
.names n75 n130 n132
00 1
.names n131 n132 n133
01 1
.names n129 n133 n134
10 1
.names n129 n133 n135
01 1
.names n134 n135 n136
00 1
.names n128 n136 n137
10 1
.names n129 n133 n138
00 1
.names n129 n133 n139
11 1
.names n138 n139 n140
00 1
.names n128 n140 n141
00 1
.names n137 n141 n142
00 1
.names b_1 a_4 n143
11 1
.names n84 n89 n144
10 1
.names n84 n85 n145
11 1
.names n90 n144 n146
00 1
.names n145 n146 n147
01 1
.names n143 n147 n148
11 1
.names n143 n147 n149
00 1
.names n148 n149 n150
00 1
.names n142 n150 n151
00 1
.names n142 n150 n152
11 1
.names n151 n152 n153
00 1
.names n127 n153 n154
10 1
.names n142 n150 n155
10 1
.names n142 n150 n156
01 1
.names n155 n156 n157
00 1
.names n127 n157 n158
00 1
.names n154 n158 n159
00 1
.names n126 n159 n160
00 1
.names n126 n159 n161
11 1
.names n160 n161 n162
00 1
.names n120 n162 n163
00 1
.names n126 n159 n164
10 1
.names n126 n159 n165
01 1
.names n164 n165 n166
00 1
.names n120 n166 n167
10 1
.names n163 n167 n168
00 1
.names n142 n155 n169
10 1
.names n127 n169 n170
10 1
.names n127 n151 n171
01 1
.names n170 n171 n172
00 1
.names n120 n159 n173
01 1
.names n120 n159 n174
10 1
.names n173 n174 n175
00 1
.names n126 n175 n176
00 1
.names n120 n159 n177
00 1
.names n176 n177 n178
00 1
.names a_2 b_4 n179
11 1
.names b_3 a_3 n180
11 1
.names b_2 a_4 n181
11 1
.names n128 n133 n182
10 1
.names n128 n129 n183
11 1
.names n134 n182 n184
00 1
.names n183 n184 n185
01 1
.names n181 n185 n186
10 1
.names n181 n185 n187
01 1
.names n186 n187 n188
00 1
.names n180 n188 n189
10 1
.names n181 n185 n190
00 1
.names n181 n185 n191
11 1
.names n190 n191 n192
00 1
.names n180 n192 n193
00 1
.names n189 n193 n194
00 1
.names n143 n147 n195
10 1
.names n194 n195 n196
01 1
.names n194 n195 n197
10 1
.names n196 n197 n198
00 1
.names n179 n198 n199
10 1
.names n194 n195 n200
11 1
.names n194 n195 n201
00 1
.names n200 n201 n202
00 1
.names n179 n202 n203
00 1
.names n199 n203 n204
00 1
.names n178 n204 n205
00 1
.names n178 n204 n206
11 1
.names n205 n206 n207
00 1
.names n172 n207 n208
00 1
.names n178 n204 n209
10 1
.names n178 n204 n210
01 1
.names n209 n210 n211
00 1
.names n172 n211 n212
10 1
.names n208 n212 n213
00 1
.names n194 n200 n214
10 1
.names n179 n214 n215
10 1
.names n179 n196 n216
01 1
.names n215 n216 n217
00 1
.names n172 n204 n218
01 1
.names n172 n204 n219
10 1
.names n218 n219 n220
00 1
.names n178 n220 n221
00 1
.names n172 n204 n222
00 1
.names n221 n222 n223
00 1
.names a_3 b_4 n224
11 1
.names b_3 a_4 n225
11 1
.names n180 n185 n226
10 1
.names n180 n181 n227
11 1
.names n186 n226 n228
00 1
.names n227 n228 n229
01 1
.names n225 n229 n230
11 1
.names n225 n229 n231
00 1
.names n230 n231 n232
00 1
.names n224 n232 n233
11 1
.names n224 n232 n234
00 1
.names n233 n234 n235
00 1
.names n223 n235 n236
00 1
.names n223 n235 n237
11 1
.names n236 n237 n238
00 1
.names n217 n238 n239
00 1
.names n223 n235 n240
10 1
.names n223 n235 n241
01 1
.names n240 n241 n242
00 1
.names n217 n242 n243
10 1
.names n239 n243 n244
00 1
.names n224 n232 n245
10 1
.names n217 n235 n246
01 1
.names n217 n235 n247
10 1
.names n246 n247 n248
00 1
.names n223 n248 n249
00 1
.names n217 n235 n250
00 1
.names n249 n250 n251
00 1
.names b_4 a_4 n252
11 1
.names n225 n229 n253
10 1
.names n252 n253 n254
10 1
.names n252 n253 n255
01 1
.names n254 n255 n256
00 1
.names n251 n256 n257
00 1
.names n251 n256 n258
11 1
.names n257 n258 n259
00 1
.names n245 n259 n260
10 1
.names n251 n256 n261
10 1
.names n251 n256 n262
01 1
.names n261 n262 n263
00 1
.names n245 n263 n264
00 1
.names n260 n264 n265
00 1
.names n252 n253 n266
11 1
.names n245 n256 n267
11 1
.names n245 n256 n268
00 1
.names n267 n268 n269
00 1
.names n251 n269 n270
00 1
.names n245 n256 n271
10 1
.names n270 n271 n272
00 1
.names n266 n272 n273
11 1
.names n266 n272 n274
00 1
.names n273 n274 n275
00 1
.names n25 z_1
0 1
.names n41 z_2
0 1
.names n68 z_3
0 1
.names n116 z_4
0 1
.names n168 z_5
0 1
.names n213 z_6
0 1
.names n244 z_7
0 1
.names n265 z_8
0 1
.names n275 z_9
0 1
.end