https://github.com/lsils/benchmarks
Raw File
Tip revision: 7770275a0e07a27b8ea9f65b6a3f767282fb8226 authored by Alessandro Tempia Calvino on 06 June 2023, 12:30:24 UTC
New best results 2023
Tip revision: 7770275
int2float.blif
.model top
.inputs B[0] B[1] B[2] B[3] B[4] B[5] B[6] B[7] B[8] B[9] B[10]
.outputs M[0] M[1] M[2] M[3] E[0] E[1] E[2]
.names B[1] B[4] n19
01 1
.names B[4] B[8] n20
00 1
.names n19 n20 n21
00 1
.names B[0] n21 n22
10 1
.names B[1] B[4] n23
11 1
.names B[0] n23 n24
01 1
.names n22 n24 n25
00 1
.names B[6] n25 n26
00 1
.names B[7] n26 n27
01 1
.names B[4] B[8] n28
11 1
.names n27 n28 n29
00 1
.names B[5] n29 n30
00 1
.names B[4] B[7] n31
01 1
.names B[1] B[2] n32
10 1
.names B[5] B[7] n33
10 1
.names n32 n33 n34
11 1
.names n31 n34 n35
00 1
.names B[3] n35 n36
10 1
.names B[4] B[7] n37
11 1
.names B[3] n37 n38
01 1
.names n36 n38 n39
00 1
.names B[8] n39 n40
00 1
.names B[5] B[8] n41
11 1
.names B[4] n41 n42
01 1
.names n40 n42 n43
00 1
.names n30 n43 n44
01 1
.names B[9] n44 n45
00 1
.names B[4] B[8] n46
10 1
.names B[3] n46 n47
01 1
.names B[4] B[7] n48
00 1
.names n47 n48 n49
00 1
.names B[2] n49 n50
00 1
.names B[1] n50 n51
11 1
.names B[1] B[2] n52
01 1
.names B[7] B[8] n53
00 1
.names n52 n53 n54
11 1
.names B[9] n54 n55
00 1
.names n51 n55 n56
01 1
.names B[6] n56 n57
00 1
.names B[5] n57 n58
11 1
.names B[6] B[9] n59
11 1
.names B[5] n59 n60
01 1
.names n58 n60 n61
00 1
.names n45 n61 n62
01 1
.names B[10] n62 n63
00 1
.names B[2] B[3] n64
01 1
.names B[2] B[3] n65
10 1
.names n64 n65 n66
00 1
.names B[9] n66 n67
00 1
.names B[8] n67 n68
01 1
.names B[10] n68 n69
00 1
.names B[7] n69 n70
00 1
.names B[9] B[10] n71
11 1
.names B[8] n71 n72
11 1
.names n70 n72 n73
00 1
.names B[6] n73 n74
10 1
.names B[6] B[10] n75
01 1
.names B[7] n75 n76
11 1
.names n74 n76 n77
00 1
.names n63 n77 M[0]
01 0
.names B[4] B[9] n79
00 1
.names B[2] B[7] n80
00 1
.names n79 n80 n81
00 1
.names B[1] n81 n82
00 1
.names B[1] B[2] n83
11 1
.names B[0] n83 n84
11 1
.names B[0] B[2] n85
00 1
.names n84 n85 n86
00 1
.names B[7] n86 n87
00 1
.names B[4] n87 n88
11 1
.names B[8] B[9] n89
10 1
.names n88 n89 n90
00 1
.names n82 n90 n91
01 1
.names B[6] n91 n92
00 1
.names B[3] B[4] n93
11 1
.names B[7] n93 n94
10 1
.names B[9] n94 n95
01 1
.names B[8] n95 n96
01 1
.names B[7] B[9] n97
01 1
.names n96 n97 n98
00 1
.names n92 n98 n99
01 1
.names B[5] n99 n100
00 1
.names B[8] B[9] n101
00 1
.names B[4] n101 n102
11 1
.names B[6] B[7] n103
00 1
.names B[4] n103 n104
01 1
.names n102 n104 n105
00 1
.names B[2] n105 n106
10 1
.names B[1] n106 n107
11 1
.names B[7] B[9] n108
10 1
.names n46 n108 n109
11 1
.names n107 n109 n110
00 1
.names B[3] n110 n111
10 1
.names B[4] n89 n112
11 1
.names B[7] B[9] n113
11 1
.names n112 n113 n114
00 1
.names B[6] n114 n115
10 1
.names n111 n115 n116
00 1
.names B[5] n116 n117
10 1
.names B[4] n89 n118
01 1
.names n97 n118 n119
00 1
.names B[6] n119 n120
00 1
.names n117 n120 n121
00 1
.names n100 n121 n122
01 1
.names B[10] n122 n123
00 1
.names B[6] B[9] n124
10 1
.names B[4] n124 n125
01 1
.names B[5] B[6] n126
10 1
.names B[3] n126 n127
01 1
.names n125 n127 n128
00 1
.names B[2] n128 n129
00 1
.names B[1] n126 n130
01 1
.names n125 n130 n131
00 1
.names B[3] n131 n132
00 1
.names B[2] B[3] n133
11 1
.names B[4] n124 n134
11 1
.names n133 n134 n135
11 1
.names B[10] n135 n136
00 1
.names n132 n136 n137
01 1
.names n129 n137 n138
01 1
.names B[7] n138 n139
00 1
.names n75 n139 n140
00 1
.names B[8] n140 n141
00 1
.names B[6] B[10] n142
11 1
.names B[7] n142 n143
11 1
.names n89 n143 n144
11 1
.names n141 n144 n145
00 1
.names n123 n145 M[1]
01 1
.names B[4] B[6] n147
10 1
.names B[0] B[3] n148
10 1
.names n147 n148 n149
11 1
.names B[4] B[5] n150
01 1
.names B[3] n150 n151
11 1
.names n149 n151 n152
00 1
.names B[1] n152 n153
10 1
.names B[4] B[6] n154
00 1
.names B[0] B[1] n155
11 1
.names B[4] n155 n156
10 1
.names B[3] n156 n157
11 1
.names n154 n157 n158
00 1
.names B[5] n158 n159
00 1
.names n153 n159 n160
00 1
.names B[2] n160 n161
10 1
.names B[3] B[6] n162
10 1
.names B[2] n162 n163
01 1
.names B[3] B[5] n164
01 1
.names n163 n164 n165
00 1
.names B[4] n165 n166
10 1
.names n161 n166 n167
00 1
.names B[7] n167 n168
00 1
.names B[5] B[6] n169
01 1
.names B[2] n169 n170
11 1
.names n130 n170 n171
00 1
.names B[4] n171 n172
10 1
.names B[3] n172 n173
11 1
.names B[5] n93 n174
10 1
.names B[6] n174 n175
11 1
.names n173 n175 n176
00 1
.names n168 n176 n177
01 1
.names B[8] n177 n178
00 1
.names B[6] B[7] n179
01 1
.names B[3] n179 n180
11 1
.names B[6] B[7] n181
10 1
.names B[2] n181 n182
01 1
.names n180 n182 n183
00 1
.names B[5] n183 n184
10 1
.names B[4] n184 n185
11 1
.names B[4] B[5] n186
11 1
.names B[7] n186 n187
10 1
.names B[6] n187 n188
11 1
.names n185 n188 n189
00 1
.names n178 n189 n190
01 1
.names B[9] n190 n191
00 1
.names B[4] B[6] n192
11 1
.names n33 n192 n193
11 1
.names n179 n193 n194
00 1
.names B[8] n194 n195
10 1
.names n191 n195 n196
00 1
.names B[10] n196 n197
00 1
.names B[8] B[10] n198
11 1
.names B[8] B[9] n199
01 1
.names B[5] n199 n200
11 1
.names n198 n200 n201
00 1
.names B[7] n201 n202
10 1
.names B[6] n202 n203
11 1
.names B[5] B[7] n204
11 1
.names B[8] n204 n205
10 1
.names B[10] n205 n206
00 1
.names B[9] n206 n207
10 1
.names n203 n207 n208
00 1
.names n197 n208 M[2]
01 0
.names B[6] B[7] n210
11 1
.names B[2] n210 n211
01 1
.names B[5] n28 n212
11 1
.names n211 n212 n213
11 1
.names B[5] n20 n214
01 1
.names n103 n214 n215
11 1
.names n213 n215 n216
00 1
.names B[9] n216 n217
00 1
.names B[10] n217 n218
01 1
.names B[3] n218 M[3]
01 0
.names B[5] B[6] n220
11 1
.names B[4] B[7] n221
10 1
.names n220 n221 n222
11 1
.names B[5] B[6] n223
00 1
.names n155 n223 n224
11 1
.names n222 n224 n225
00 1
.names B[3] n225 n226
10 1
.names B[2] n226 n227
11 1
.names B[4] n181 n228
00 1
.names B[7] n126 n229
00 1
.names B[3] n229 n230
00 1
.names B[7] n220 n231
10 1
.names B[6] n83 n232
00 1
.names B[5] n232 n233
11 1
.names B[9] n233 n234
00 1
.names n231 n234 n235
01 1
.names n230 n235 n236
01 1
.names n228 n236 n237
01 1
.names n227 n237 n238
01 1
.names B[8] n238 n239
00 1
.names B[3] B[8] n240
11 1
.names n65 n240 n241
00 1
.names B[6] n241 n242
10 1
.names B[5] n242 n243
11 1
.names B[7] n243 n244
11 1
.names B[9] n244 n245
01 1
.names B[4] n245 n246
11 1
.names B[7] n220 n247
11 1
.names B[9] n247 n248
10 1
.names n246 n248 n249
00 1
.names n239 n249 n250
01 1
.names B[10] n250 E[0]
00 0
.names B[6] B[8] n252
11 1
.names n204 n252 n253
11 1
.names B[1] B[3] n254
11 1
.names B[0] n254 n255
11 1
.names B[5] B[7] n256
00 1
.names B[8] n256 n257
01 1
.names n255 n257 n258
11 1
.names n253 n258 n259
00 1
.names B[2] n259 n260
10 1
.names B[8] n204 n261
11 1
.names B[3] B[6] n262
11 1
.names n261 n262 n263
11 1
.names n260 n263 n264
00 1
.names B[4] n264 n265
10 1
.names n133 n192 n266
11 1
.names B[5] n266 n267
10 1
.names n169 n267 n268
00 1
.names B[7] n268 n269
00 1
.names B[8] n269 n270
01 1
.names B[9] B[10] n271
00 1
.names n270 n271 n272
01 1
.names n265 n272 E[1]
01 0
.names B[2] n93 n274
11 1
.names n220 n274 n275
11 1
.names B[9] n275 n276
00 1
.names B[10] n276 n277
01 1
.names n53 n277 E[2]
11 0
.end
back to top