| 1 | # vl2mv gcd.v |
|---|
| 2 | # version: 2.1 |
|---|
| 3 | # date: 10:52:04 03/10/2011 (CET) |
|---|
| 4 | .model gcd |
|---|
| 5 | # I/O ports |
|---|
| 6 | .outputs o<0> o<1> o<2> o<3> o<4> o<5> o<6> o<7> |
|---|
| 7 | .outputs busy |
|---|
| 8 | .inputs a<0> a<1> a<2> a<3> a<4> a<5> a<6> a<7> |
|---|
| 9 | .inputs start |
|---|
| 10 | .inputs b<0> b<1> b<2> b<3> b<4> b<5> b<6> b<7> |
|---|
| 11 | # assign xy_lsb [1] = select (x ,lsb ) |
|---|
| 12 | .subckt select _n2 select<0>=_n1<0> z<0>=x<0> z<1>=x<1> z<2>=x<2> z<3>=x<3> z<4>=x<4> z<5>=x<5> z<6>=x<6> z<7>=x<7> lsb<0>=lsb<0> lsb<1>=lsb<1> lsb<2>=lsb<2> |
|---|
| 13 | .names _n1<0> xy_lsb$raw_n0<1> |
|---|
| 14 | - =_n1<0> |
|---|
| 15 | # assign xy_lsb [0] = select (y ,lsb ) |
|---|
| 16 | .subckt select _n5 select<0>=_n4<0> z<0>=y<0> z<1>=y<1> z<2>=y<2> z<3>=y<3> z<4>=y<4> z<5>=y<5> z<6>=y<6> z<7>=y<7> lsb<0>=lsb<0> lsb<1>=lsb<1> lsb<2>=lsb<2> |
|---|
| 17 | .names _n4<0> xy_lsb$raw_n3<0> |
|---|
| 18 | - =_n4<0> |
|---|
| 19 | # assign diff = x < y ? y - x : x - y |
|---|
| 20 | # x < y |
|---|
| 21 | .names _n9 |
|---|
| 22 | 0 |
|---|
| 23 | .names x<0> y<0> _n9 _n8<0> |
|---|
| 24 | .def 0 |
|---|
| 25 | 0 0 1 1 |
|---|
| 26 | 0 1 0 1 |
|---|
| 27 | 1 0 0 1 |
|---|
| 28 | 1 1 1 1 |
|---|
| 29 | # carry/borrow |
|---|
| 30 | .names _nb |
|---|
| 31 | 0 |
|---|
| 32 | .names x<0> y<0> _nb _na |
|---|
| 33 | .def 0 |
|---|
| 34 | 0 - 1 1 |
|---|
| 35 | 0 1 - 1 |
|---|
| 36 | - 1 1 1 |
|---|
| 37 | .names x<1> y<1> _na _n8<1> |
|---|
| 38 | .def 0 |
|---|
| 39 | 0 0 1 1 |
|---|
| 40 | 0 1 0 1 |
|---|
| 41 | 1 0 0 1 |
|---|
| 42 | 1 1 1 1 |
|---|
| 43 | # carry/borrow |
|---|
| 44 | .names x<1> y<1> _na _nc |
|---|
| 45 | .def 0 |
|---|
| 46 | 0 - 1 1 |
|---|
| 47 | 0 1 - 1 |
|---|
| 48 | - 1 1 1 |
|---|
| 49 | .names x<2> y<2> _nc _n8<2> |
|---|
| 50 | .def 0 |
|---|
| 51 | 0 0 1 1 |
|---|
| 52 | 0 1 0 1 |
|---|
| 53 | 1 0 0 1 |
|---|
| 54 | 1 1 1 1 |
|---|
| 55 | # carry/borrow |
|---|
| 56 | .names x<2> y<2> _nc _nd |
|---|
| 57 | .def 0 |
|---|
| 58 | 0 - 1 1 |
|---|
| 59 | 0 1 - 1 |
|---|
| 60 | - 1 1 1 |
|---|
| 61 | .names x<3> y<3> _nd _n8<3> |
|---|
| 62 | .def 0 |
|---|
| 63 | 0 0 1 1 |
|---|
| 64 | 0 1 0 1 |
|---|
| 65 | 1 0 0 1 |
|---|
| 66 | 1 1 1 1 |
|---|
| 67 | # carry/borrow |
|---|
| 68 | .names x<3> y<3> _nd _ne |
|---|
| 69 | .def 0 |
|---|
| 70 | 0 - 1 1 |
|---|
| 71 | 0 1 - 1 |
|---|
| 72 | - 1 1 1 |
|---|
| 73 | .names x<4> y<4> _ne _n8<4> |
|---|
| 74 | .def 0 |
|---|
| 75 | 0 0 1 1 |
|---|
| 76 | 0 1 0 1 |
|---|
| 77 | 1 0 0 1 |
|---|
| 78 | 1 1 1 1 |
|---|
| 79 | # carry/borrow |
|---|
| 80 | .names x<4> y<4> _ne _nf |
|---|
| 81 | .def 0 |
|---|
| 82 | 0 - 1 1 |
|---|
| 83 | 0 1 - 1 |
|---|
| 84 | - 1 1 1 |
|---|
| 85 | .names x<5> y<5> _nf _n8<5> |
|---|
| 86 | .def 0 |
|---|
| 87 | 0 0 1 1 |
|---|
| 88 | 0 1 0 1 |
|---|
| 89 | 1 0 0 1 |
|---|
| 90 | 1 1 1 1 |
|---|
| 91 | # carry/borrow |
|---|
| 92 | .names x<5> y<5> _nf _n10 |
|---|
| 93 | .def 0 |
|---|
| 94 | 0 - 1 1 |
|---|
| 95 | 0 1 - 1 |
|---|
| 96 | - 1 1 1 |
|---|
| 97 | .names x<6> y<6> _n10 _n8<6> |
|---|
| 98 | .def 0 |
|---|
| 99 | 0 0 1 1 |
|---|
| 100 | 0 1 0 1 |
|---|
| 101 | 1 0 0 1 |
|---|
| 102 | 1 1 1 1 |
|---|
| 103 | # carry/borrow |
|---|
| 104 | .names x<6> y<6> _n10 _n11 |
|---|
| 105 | .def 0 |
|---|
| 106 | 0 - 1 1 |
|---|
| 107 | 0 1 - 1 |
|---|
| 108 | - 1 1 1 |
|---|
| 109 | .names x<7> y<7> _n11 _n8<7> |
|---|
| 110 | .def 0 |
|---|
| 111 | 0 0 1 1 |
|---|
| 112 | 0 1 0 1 |
|---|
| 113 | 1 0 0 1 |
|---|
| 114 | 1 1 1 1 |
|---|
| 115 | # carry/borrow |
|---|
| 116 | .names x<7> y<7> _n11 _n12 |
|---|
| 117 | .def 0 |
|---|
| 118 | 0 - 1 1 |
|---|
| 119 | 0 1 - 1 |
|---|
| 120 | - 1 1 1 |
|---|
| 121 | .names _n8<0> _n8<1> _n8<2> _n8<3> _n8<4> _n8<5> _n8<6> _n8<7> _n13 |
|---|
| 122 | .def 1 |
|---|
| 123 | 0 0 0 0 0 0 0 0 0 |
|---|
| 124 | .names _n12 _n13 _n7 |
|---|
| 125 | .def 0 |
|---|
| 126 | 1 1 1 |
|---|
| 127 | # y - x |
|---|
| 128 | .names _n15 |
|---|
| 129 | 0 |
|---|
| 130 | .names y<0> x<0> _n15 _n14<0> |
|---|
| 131 | .def 0 |
|---|
| 132 | 0 0 1 1 |
|---|
| 133 | 0 1 0 1 |
|---|
| 134 | 1 0 0 1 |
|---|
| 135 | 1 1 1 1 |
|---|
| 136 | # carry/borrow |
|---|
| 137 | .names _n17 |
|---|
| 138 | 0 |
|---|
| 139 | .names y<0> x<0> _n17 _n16 |
|---|
| 140 | .def 0 |
|---|
| 141 | 0 - 1 1 |
|---|
| 142 | 0 1 - 1 |
|---|
| 143 | - 1 1 1 |
|---|
| 144 | .names y<1> x<1> _n16 _n14<1> |
|---|
| 145 | .def 0 |
|---|
| 146 | 0 0 1 1 |
|---|
| 147 | 0 1 0 1 |
|---|
| 148 | 1 0 0 1 |
|---|
| 149 | 1 1 1 1 |
|---|
| 150 | # carry/borrow |
|---|
| 151 | .names y<1> x<1> _n16 _n18 |
|---|
| 152 | .def 0 |
|---|
| 153 | 0 - 1 1 |
|---|
| 154 | 0 1 - 1 |
|---|
| 155 | - 1 1 1 |
|---|
| 156 | .names y<2> x<2> _n18 _n14<2> |
|---|
| 157 | .def 0 |
|---|
| 158 | 0 0 1 1 |
|---|
| 159 | 0 1 0 1 |
|---|
| 160 | 1 0 0 1 |
|---|
| 161 | 1 1 1 1 |
|---|
| 162 | # carry/borrow |
|---|
| 163 | .names y<2> x<2> _n18 _n19 |
|---|
| 164 | .def 0 |
|---|
| 165 | 0 - 1 1 |
|---|
| 166 | 0 1 - 1 |
|---|
| 167 | - 1 1 1 |
|---|
| 168 | .names y<3> x<3> _n19 _n14<3> |
|---|
| 169 | .def 0 |
|---|
| 170 | 0 0 1 1 |
|---|
| 171 | 0 1 0 1 |
|---|
| 172 | 1 0 0 1 |
|---|
| 173 | 1 1 1 1 |
|---|
| 174 | # carry/borrow |
|---|
| 175 | .names y<3> x<3> _n19 _n1a |
|---|
| 176 | .def 0 |
|---|
| 177 | 0 - 1 1 |
|---|
| 178 | 0 1 - 1 |
|---|
| 179 | - 1 1 1 |
|---|
| 180 | .names y<4> x<4> _n1a _n14<4> |
|---|
| 181 | .def 0 |
|---|
| 182 | 0 0 1 1 |
|---|
| 183 | 0 1 0 1 |
|---|
| 184 | 1 0 0 1 |
|---|
| 185 | 1 1 1 1 |
|---|
| 186 | # carry/borrow |
|---|
| 187 | .names y<4> x<4> _n1a _n1b |
|---|
| 188 | .def 0 |
|---|
| 189 | 0 - 1 1 |
|---|
| 190 | 0 1 - 1 |
|---|
| 191 | - 1 1 1 |
|---|
| 192 | .names y<5> x<5> _n1b _n14<5> |
|---|
| 193 | .def 0 |
|---|
| 194 | 0 0 1 1 |
|---|
| 195 | 0 1 0 1 |
|---|
| 196 | 1 0 0 1 |
|---|
| 197 | 1 1 1 1 |
|---|
| 198 | # carry/borrow |
|---|
| 199 | .names y<5> x<5> _n1b _n1c |
|---|
| 200 | .def 0 |
|---|
| 201 | 0 - 1 1 |
|---|
| 202 | 0 1 - 1 |
|---|
| 203 | - 1 1 1 |
|---|
| 204 | .names y<6> x<6> _n1c _n14<6> |
|---|
| 205 | .def 0 |
|---|
| 206 | 0 0 1 1 |
|---|
| 207 | 0 1 0 1 |
|---|
| 208 | 1 0 0 1 |
|---|
| 209 | 1 1 1 1 |
|---|
| 210 | # carry/borrow |
|---|
| 211 | .names y<6> x<6> _n1c _n1d |
|---|
| 212 | .def 0 |
|---|
| 213 | 0 - 1 1 |
|---|
| 214 | 0 1 - 1 |
|---|
| 215 | - 1 1 1 |
|---|
| 216 | .names y<7> x<7> _n1d _n14<7> |
|---|
| 217 | .def 0 |
|---|
| 218 | 0 0 1 1 |
|---|
| 219 | 0 1 0 1 |
|---|
| 220 | 1 0 0 1 |
|---|
| 221 | 1 1 1 1 |
|---|
| 222 | # x - y |
|---|
| 223 | .names _n1f |
|---|
| 224 | 0 |
|---|
| 225 | .names x<0> y<0> _n1f _n1e<0> |
|---|
| 226 | .def 0 |
|---|
| 227 | 0 0 1 1 |
|---|
| 228 | 0 1 0 1 |
|---|
| 229 | 1 0 0 1 |
|---|
| 230 | 1 1 1 1 |
|---|
| 231 | # carry/borrow |
|---|
| 232 | .names _n21 |
|---|
| 233 | 0 |
|---|
| 234 | .names x<0> y<0> _n21 _n20 |
|---|
| 235 | .def 0 |
|---|
| 236 | 0 - 1 1 |
|---|
| 237 | 0 1 - 1 |
|---|
| 238 | - 1 1 1 |
|---|
| 239 | .names x<1> y<1> _n20 _n1e<1> |
|---|
| 240 | .def 0 |
|---|
| 241 | 0 0 1 1 |
|---|
| 242 | 0 1 0 1 |
|---|
| 243 | 1 0 0 1 |
|---|
| 244 | 1 1 1 1 |
|---|
| 245 | # carry/borrow |
|---|
| 246 | .names x<1> y<1> _n20 _n22 |
|---|
| 247 | .def 0 |
|---|
| 248 | 0 - 1 1 |
|---|
| 249 | 0 1 - 1 |
|---|
| 250 | - 1 1 1 |
|---|
| 251 | .names x<2> y<2> _n22 _n1e<2> |
|---|
| 252 | .def 0 |
|---|
| 253 | 0 0 1 1 |
|---|
| 254 | 0 1 0 1 |
|---|
| 255 | 1 0 0 1 |
|---|
| 256 | 1 1 1 1 |
|---|
| 257 | # carry/borrow |
|---|
| 258 | .names x<2> y<2> _n22 _n23 |
|---|
| 259 | .def 0 |
|---|
| 260 | 0 - 1 1 |
|---|
| 261 | 0 1 - 1 |
|---|
| 262 | - 1 1 1 |
|---|
| 263 | .names x<3> y<3> _n23 _n1e<3> |
|---|
| 264 | .def 0 |
|---|
| 265 | 0 0 1 1 |
|---|
| 266 | 0 1 0 1 |
|---|
| 267 | 1 0 0 1 |
|---|
| 268 | 1 1 1 1 |
|---|
| 269 | # carry/borrow |
|---|
| 270 | .names x<3> y<3> _n23 _n24 |
|---|
| 271 | .def 0 |
|---|
| 272 | 0 - 1 1 |
|---|
| 273 | 0 1 - 1 |
|---|
| 274 | - 1 1 1 |
|---|
| 275 | .names x<4> y<4> _n24 _n1e<4> |
|---|
| 276 | .def 0 |
|---|
| 277 | 0 0 1 1 |
|---|
| 278 | 0 1 0 1 |
|---|
| 279 | 1 0 0 1 |
|---|
| 280 | 1 1 1 1 |
|---|
| 281 | # carry/borrow |
|---|
| 282 | .names x<4> y<4> _n24 _n25 |
|---|
| 283 | .def 0 |
|---|
| 284 | 0 - 1 1 |
|---|
| 285 | 0 1 - 1 |
|---|
| 286 | - 1 1 1 |
|---|
| 287 | .names x<5> y<5> _n25 _n1e<5> |
|---|
| 288 | .def 0 |
|---|
| 289 | 0 0 1 1 |
|---|
| 290 | 0 1 0 1 |
|---|
| 291 | 1 0 0 1 |
|---|
| 292 | 1 1 1 1 |
|---|
| 293 | # carry/borrow |
|---|
| 294 | .names x<5> y<5> _n25 _n26 |
|---|
| 295 | .def 0 |
|---|
| 296 | 0 - 1 1 |
|---|
| 297 | 0 1 - 1 |
|---|
| 298 | - 1 1 1 |
|---|
| 299 | .names x<6> y<6> _n26 _n1e<6> |
|---|
| 300 | .def 0 |
|---|
| 301 | 0 0 1 1 |
|---|
| 302 | 0 1 0 1 |
|---|
| 303 | 1 0 0 1 |
|---|
| 304 | 1 1 1 1 |
|---|
| 305 | # carry/borrow |
|---|
| 306 | .names x<6> y<6> _n26 _n27 |
|---|
| 307 | .def 0 |
|---|
| 308 | 0 - 1 1 |
|---|
| 309 | 0 1 - 1 |
|---|
| 310 | - 1 1 1 |
|---|
| 311 | .names x<7> y<7> _n27 _n1e<7> |
|---|
| 312 | .def 0 |
|---|
| 313 | 0 0 1 1 |
|---|
| 314 | 0 1 0 1 |
|---|
| 315 | 1 0 0 1 |
|---|
| 316 | 1 1 1 1 |
|---|
| 317 | # x < y ? y - x : x - y |
|---|
| 318 | .names _n7 _n14<0> _n1e<0> _n28<0> |
|---|
| 319 | .def 0 |
|---|
| 320 | 1 1 - 1 |
|---|
| 321 | 0 - 1 1 |
|---|
| 322 | .names _n7 _n14<1> _n1e<1> _n28<1> |
|---|
| 323 | .def 0 |
|---|
| 324 | 1 1 - 1 |
|---|
| 325 | 0 - 1 1 |
|---|
| 326 | .names _n7 _n14<2> _n1e<2> _n28<2> |
|---|
| 327 | .def 0 |
|---|
| 328 | 1 1 - 1 |
|---|
| 329 | 0 - 1 1 |
|---|
| 330 | .names _n7 _n14<3> _n1e<3> _n28<3> |
|---|
| 331 | .def 0 |
|---|
| 332 | 1 1 - 1 |
|---|
| 333 | 0 - 1 1 |
|---|
| 334 | .names _n7 _n14<4> _n1e<4> _n28<4> |
|---|
| 335 | .def 0 |
|---|
| 336 | 1 1 - 1 |
|---|
| 337 | 0 - 1 1 |
|---|
| 338 | .names _n7 _n14<5> _n1e<5> _n28<5> |
|---|
| 339 | .def 0 |
|---|
| 340 | 1 1 - 1 |
|---|
| 341 | 0 - 1 1 |
|---|
| 342 | .names _n7 _n14<6> _n1e<6> _n28<6> |
|---|
| 343 | .def 0 |
|---|
| 344 | 1 1 - 1 |
|---|
| 345 | 0 - 1 1 |
|---|
| 346 | .names _n7 _n14<7> _n1e<7> _n28<7> |
|---|
| 347 | .def 0 |
|---|
| 348 | 1 1 - 1 |
|---|
| 349 | 0 - 1 1 |
|---|
| 350 | .names _n28<0> diff$raw_n6<0> |
|---|
| 351 | - =_n28<0> |
|---|
| 352 | .names _n28<1> diff$raw_n6<1> |
|---|
| 353 | - =_n28<1> |
|---|
| 354 | .names _n28<2> diff$raw_n6<2> |
|---|
| 355 | - =_n28<2> |
|---|
| 356 | .names _n28<3> diff$raw_n6<3> |
|---|
| 357 | - =_n28<3> |
|---|
| 358 | .names _n28<4> diff$raw_n6<4> |
|---|
| 359 | - =_n28<4> |
|---|
| 360 | .names _n28<5> diff$raw_n6<5> |
|---|
| 361 | - =_n28<5> |
|---|
| 362 | .names _n28<6> diff$raw_n6<6> |
|---|
| 363 | - =_n28<6> |
|---|
| 364 | .names _n28<7> diff$raw_n6<7> |
|---|
| 365 | - =_n28<7> |
|---|
| 366 | # busy = 0 |
|---|
| 367 | .names busy$raw_n31 |
|---|
| 368 | 0 |
|---|
| 369 | # x = 0 |
|---|
| 370 | .names x$raw_n32<0> |
|---|
| 371 | 0 |
|---|
| 372 | .names x$raw_n32<1> |
|---|
| 373 | 0 |
|---|
| 374 | .names x$raw_n32<2> |
|---|
| 375 | 0 |
|---|
| 376 | .names x$raw_n32<3> |
|---|
| 377 | 0 |
|---|
| 378 | .names x$raw_n32<4> |
|---|
| 379 | 0 |
|---|
| 380 | .names x$raw_n32<5> |
|---|
| 381 | 0 |
|---|
| 382 | .names x$raw_n32<6> |
|---|
| 383 | 0 |
|---|
| 384 | .names x$raw_n32<7> |
|---|
| 385 | 0 |
|---|
| 386 | # y = 0 |
|---|
| 387 | .names y$raw_n33<0> |
|---|
| 388 | 0 |
|---|
| 389 | .names y$raw_n33<1> |
|---|
| 390 | 0 |
|---|
| 391 | .names y$raw_n33<2> |
|---|
| 392 | 0 |
|---|
| 393 | .names y$raw_n33<3> |
|---|
| 394 | 0 |
|---|
| 395 | .names y$raw_n33<4> |
|---|
| 396 | 0 |
|---|
| 397 | .names y$raw_n33<5> |
|---|
| 398 | 0 |
|---|
| 399 | .names y$raw_n33<6> |
|---|
| 400 | 0 |
|---|
| 401 | .names y$raw_n33<7> |
|---|
| 402 | 0 |
|---|
| 403 | # o = 0 |
|---|
| 404 | .names o$raw_n34<0> |
|---|
| 405 | 0 |
|---|
| 406 | .names o$raw_n34<1> |
|---|
| 407 | 0 |
|---|
| 408 | .names o$raw_n34<2> |
|---|
| 409 | 0 |
|---|
| 410 | .names o$raw_n34<3> |
|---|
| 411 | 0 |
|---|
| 412 | .names o$raw_n34<4> |
|---|
| 413 | 0 |
|---|
| 414 | .names o$raw_n34<5> |
|---|
| 415 | 0 |
|---|
| 416 | .names o$raw_n34<6> |
|---|
| 417 | 0 |
|---|
| 418 | .names o$raw_n34<7> |
|---|
| 419 | 0 |
|---|
| 420 | # lsb = 0 |
|---|
| 421 | .names lsb$raw_n35<0> |
|---|
| 422 | 0 |
|---|
| 423 | .names lsb$raw_n35<1> |
|---|
| 424 | 0 |
|---|
| 425 | .names lsb$raw_n35<2> |
|---|
| 426 | 0 |
|---|
| 427 | # non-blocking assignments for initial |
|---|
| 428 | # assign done = ((x == y ) | (x == 0) | (y == 0)) & busy |
|---|
| 429 | # x == y |
|---|
| 430 | .names x<0> y<0> _n38<0> |
|---|
| 431 | .def 0 |
|---|
| 432 | 0 1 1 |
|---|
| 433 | 1 0 1 |
|---|
| 434 | .names x<1> y<1> _n38<1> |
|---|
| 435 | .def 0 |
|---|
| 436 | 0 1 1 |
|---|
| 437 | 1 0 1 |
|---|
| 438 | .names x<2> y<2> _n38<2> |
|---|
| 439 | .def 0 |
|---|
| 440 | 0 1 1 |
|---|
| 441 | 1 0 1 |
|---|
| 442 | .names x<3> y<3> _n38<3> |
|---|
| 443 | .def 0 |
|---|
| 444 | 0 1 1 |
|---|
| 445 | 1 0 1 |
|---|
| 446 | .names x<4> y<4> _n38<4> |
|---|
| 447 | .def 0 |
|---|
| 448 | 0 1 1 |
|---|
| 449 | 1 0 1 |
|---|
| 450 | .names x<5> y<5> _n38<5> |
|---|
| 451 | .def 0 |
|---|
| 452 | 0 1 1 |
|---|
| 453 | 1 0 1 |
|---|
| 454 | .names x<6> y<6> _n38<6> |
|---|
| 455 | .def 0 |
|---|
| 456 | 0 1 1 |
|---|
| 457 | 1 0 1 |
|---|
| 458 | .names x<7> y<7> _n38<7> |
|---|
| 459 | .def 0 |
|---|
| 460 | 0 1 1 |
|---|
| 461 | 1 0 1 |
|---|
| 462 | .names _n38<0> _n38<1> _n38<2> _n38<3> _n38<4> _n38<5> _n38<6> _n38<7> _n39 |
|---|
| 463 | .def 1 |
|---|
| 464 | 0 0 0 0 0 0 0 0 0 |
|---|
| 465 | .names _n39 _n37 |
|---|
| 466 | 0 1 |
|---|
| 467 | 1 0 |
|---|
| 468 | .names _n3b<0> |
|---|
| 469 | 0 |
|---|
| 470 | .names _n3b<1> |
|---|
| 471 | 0 |
|---|
| 472 | .names _n3b<2> |
|---|
| 473 | 0 |
|---|
| 474 | .names _n3b<3> |
|---|
| 475 | 0 |
|---|
| 476 | .names _n3b<4> |
|---|
| 477 | 0 |
|---|
| 478 | .names _n3b<5> |
|---|
| 479 | 0 |
|---|
| 480 | .names _n3b<6> |
|---|
| 481 | 0 |
|---|
| 482 | .names _n3b<7> |
|---|
| 483 | 0 |
|---|
| 484 | # x == 0 |
|---|
| 485 | .names x<0> _n3b<0> _n3c<0> |
|---|
| 486 | .def 0 |
|---|
| 487 | 0 1 1 |
|---|
| 488 | 1 0 1 |
|---|
| 489 | .names x<1> _n3b<1> _n3c<1> |
|---|
| 490 | .def 0 |
|---|
| 491 | 0 1 1 |
|---|
| 492 | 1 0 1 |
|---|
| 493 | .names x<2> _n3b<2> _n3c<2> |
|---|
| 494 | .def 0 |
|---|
| 495 | 0 1 1 |
|---|
| 496 | 1 0 1 |
|---|
| 497 | .names x<3> _n3b<3> _n3c<3> |
|---|
| 498 | .def 0 |
|---|
| 499 | 0 1 1 |
|---|
| 500 | 1 0 1 |
|---|
| 501 | .names x<4> _n3b<4> _n3c<4> |
|---|
| 502 | .def 0 |
|---|
| 503 | 0 1 1 |
|---|
| 504 | 1 0 1 |
|---|
| 505 | .names x<5> _n3b<5> _n3c<5> |
|---|
| 506 | .def 0 |
|---|
| 507 | 0 1 1 |
|---|
| 508 | 1 0 1 |
|---|
| 509 | .names x<6> _n3b<6> _n3c<6> |
|---|
| 510 | .def 0 |
|---|
| 511 | 0 1 1 |
|---|
| 512 | 1 0 1 |
|---|
| 513 | .names x<7> _n3b<7> _n3c<7> |
|---|
| 514 | .def 0 |
|---|
| 515 | 0 1 1 |
|---|
| 516 | 1 0 1 |
|---|
| 517 | .names _n3c<0> _n3c<1> _n3c<2> _n3c<3> _n3c<4> _n3c<5> _n3c<6> _n3c<7> _n3d |
|---|
| 518 | .def 1 |
|---|
| 519 | 0 0 0 0 0 0 0 0 0 |
|---|
| 520 | .names _n3d _n3a |
|---|
| 521 | 0 1 |
|---|
| 522 | 1 0 |
|---|
| 523 | # (x == y ) | (x == 0) |
|---|
| 524 | .names _n37 _n3a _n3e |
|---|
| 525 | .def 1 |
|---|
| 526 | 0 0 0 |
|---|
| 527 | .names _n40<0> |
|---|
| 528 | 0 |
|---|
| 529 | .names _n40<1> |
|---|
| 530 | 0 |
|---|
| 531 | .names _n40<2> |
|---|
| 532 | 0 |
|---|
| 533 | .names _n40<3> |
|---|
| 534 | 0 |
|---|
| 535 | .names _n40<4> |
|---|
| 536 | 0 |
|---|
| 537 | .names _n40<5> |
|---|
| 538 | 0 |
|---|
| 539 | .names _n40<6> |
|---|
| 540 | 0 |
|---|
| 541 | .names _n40<7> |
|---|
| 542 | 0 |
|---|
| 543 | # y == 0 |
|---|
| 544 | .names y<0> _n40<0> _n41<0> |
|---|
| 545 | .def 0 |
|---|
| 546 | 0 1 1 |
|---|
| 547 | 1 0 1 |
|---|
| 548 | .names y<1> _n40<1> _n41<1> |
|---|
| 549 | .def 0 |
|---|
| 550 | 0 1 1 |
|---|
| 551 | 1 0 1 |
|---|
| 552 | .names y<2> _n40<2> _n41<2> |
|---|
| 553 | .def 0 |
|---|
| 554 | 0 1 1 |
|---|
| 555 | 1 0 1 |
|---|
| 556 | .names y<3> _n40<3> _n41<3> |
|---|
| 557 | .def 0 |
|---|
| 558 | 0 1 1 |
|---|
| 559 | 1 0 1 |
|---|
| 560 | .names y<4> _n40<4> _n41<4> |
|---|
| 561 | .def 0 |
|---|
| 562 | 0 1 1 |
|---|
| 563 | 1 0 1 |
|---|
| 564 | .names y<5> _n40<5> _n41<5> |
|---|
| 565 | .def 0 |
|---|
| 566 | 0 1 1 |
|---|
| 567 | 1 0 1 |
|---|
| 568 | .names y<6> _n40<6> _n41<6> |
|---|
| 569 | .def 0 |
|---|
| 570 | 0 1 1 |
|---|
| 571 | 1 0 1 |
|---|
| 572 | .names y<7> _n40<7> _n41<7> |
|---|
| 573 | .def 0 |
|---|
| 574 | 0 1 1 |
|---|
| 575 | 1 0 1 |
|---|
| 576 | .names _n41<0> _n41<1> _n41<2> _n41<3> _n41<4> _n41<5> _n41<6> _n41<7> _n42 |
|---|
| 577 | .def 1 |
|---|
| 578 | 0 0 0 0 0 0 0 0 0 |
|---|
| 579 | .names _n42 _n3f |
|---|
| 580 | 0 1 |
|---|
| 581 | 1 0 |
|---|
| 582 | # (x == y ) | (x == 0) | (y == 0) |
|---|
| 583 | .names _n3e _n3f _n43 |
|---|
| 584 | .def 1 |
|---|
| 585 | 0 0 0 |
|---|
| 586 | # ((x == y ) | (x == 0) | (y == 0)) & busy |
|---|
| 587 | .names _n43 busy _n44 |
|---|
| 588 | .def 0 |
|---|
| 589 | 1 1 1 |
|---|
| 590 | .names _n44 done$raw_n36 |
|---|
| 591 | - =_n44 |
|---|
| 592 | .names load _n45 |
|---|
| 593 | - =load |
|---|
| 594 | # x = a |
|---|
| 595 | .names a<0> x$load_n46$true<0> |
|---|
| 596 | - =a<0> |
|---|
| 597 | .names a<1> x$load_n46$true<1> |
|---|
| 598 | - =a<1> |
|---|
| 599 | .names a<2> x$load_n46$true<2> |
|---|
| 600 | - =a<2> |
|---|
| 601 | .names a<3> x$load_n46$true<3> |
|---|
| 602 | - =a<3> |
|---|
| 603 | .names a<4> x$load_n46$true<4> |
|---|
| 604 | - =a<4> |
|---|
| 605 | .names a<5> x$load_n46$true<5> |
|---|
| 606 | - =a<5> |
|---|
| 607 | .names a<6> x$load_n46$true<6> |
|---|
| 608 | - =a<6> |
|---|
| 609 | .names a<7> x$load_n46$true<7> |
|---|
| 610 | - =a<7> |
|---|
| 611 | # y = b |
|---|
| 612 | .names b<0> y$load_n47$true<0> |
|---|
| 613 | - =b<0> |
|---|
| 614 | .names b<1> y$load_n47$true<1> |
|---|
| 615 | - =b<1> |
|---|
| 616 | .names b<2> y$load_n47$true<2> |
|---|
| 617 | - =b<2> |
|---|
| 618 | .names b<3> y$load_n47$true<3> |
|---|
| 619 | - =b<3> |
|---|
| 620 | .names b<4> y$load_n47$true<4> |
|---|
| 621 | - =b<4> |
|---|
| 622 | .names b<5> y$load_n47$true<5> |
|---|
| 623 | - =b<5> |
|---|
| 624 | .names b<6> y$load_n47$true<6> |
|---|
| 625 | - =b<6> |
|---|
| 626 | .names b<7> y$load_n47$true<7> |
|---|
| 627 | - =b<7> |
|---|
| 628 | # lsb = 0 |
|---|
| 629 | .names lsb$load_n48$true<0> |
|---|
| 630 | 0 |
|---|
| 631 | .names lsb$load_n48$true<1> |
|---|
| 632 | 0 |
|---|
| 633 | .names lsb$load_n48$true<2> |
|---|
| 634 | 0 |
|---|
| 635 | .names done _n49 |
|---|
| 636 | 0 1 |
|---|
| 637 | 1 0 |
|---|
| 638 | # busy & ~done |
|---|
| 639 | .names busy _n49 _n4a |
|---|
| 640 | .def 0 |
|---|
| 641 | 1 1 1 |
|---|
| 642 | .names _n4a _n4b |
|---|
| 643 | - =_n4a |
|---|
| 644 | .names _n4e<0> |
|---|
| 645 | 0 |
|---|
| 646 | .names _n4e<1> |
|---|
| 647 | 0 |
|---|
| 648 | .names xy_lsb<0> _n4e<0> _n4f<0> |
|---|
| 649 | .def 0 |
|---|
| 650 | 0 1 1 |
|---|
| 651 | 1 0 1 |
|---|
| 652 | .names xy_lsb<1> _n4e<1> _n4f<1> |
|---|
| 653 | .def 0 |
|---|
| 654 | 0 1 1 |
|---|
| 655 | 1 0 1 |
|---|
| 656 | .names _n4f<0> _n4f<1> _n50 |
|---|
| 657 | .def 1 |
|---|
| 658 | 0 0 0 |
|---|
| 659 | .names _n50 _n4d |
|---|
| 660 | 0 1 |
|---|
| 661 | 1 0 |
|---|
| 662 | .names _n4d _n4c |
|---|
| 663 | .def 1 |
|---|
| 664 | 0 0 |
|---|
| 665 | # lsb = lsb + 1 |
|---|
| 666 | .names _n52<0> |
|---|
| 667 | 1 |
|---|
| 668 | .names _n52<1> |
|---|
| 669 | 0 |
|---|
| 670 | .names _n52<2> |
|---|
| 671 | 0 |
|---|
| 672 | # lsb + 1 |
|---|
| 673 | .names _n54 |
|---|
| 674 | 0 |
|---|
| 675 | .names lsb<0> _n52<0> _n54 _n53<0> |
|---|
| 676 | .def 0 |
|---|
| 677 | 0 0 1 1 |
|---|
| 678 | 0 1 0 1 |
|---|
| 679 | 1 0 0 1 |
|---|
| 680 | 1 1 1 1 |
|---|
| 681 | # carry/borrow |
|---|
| 682 | .names _n56 |
|---|
| 683 | 0 |
|---|
| 684 | .names lsb<0> _n52<0> _n56 _n55 |
|---|
| 685 | .def 0 |
|---|
| 686 | - 1 1 1 |
|---|
| 687 | 1 - 1 1 |
|---|
| 688 | 1 1 - 1 |
|---|
| 689 | .names lsb<1> _n52<1> _n55 _n53<1> |
|---|
| 690 | .def 0 |
|---|
| 691 | 0 0 1 1 |
|---|
| 692 | 0 1 0 1 |
|---|
| 693 | 1 0 0 1 |
|---|
| 694 | 1 1 1 1 |
|---|
| 695 | # carry/borrow |
|---|
| 696 | .names lsb<1> _n52<1> _n55 _n57 |
|---|
| 697 | .def 0 |
|---|
| 698 | - 1 1 1 |
|---|
| 699 | 1 - 1 1 |
|---|
| 700 | 1 1 - 1 |
|---|
| 701 | .names lsb<2> _n52<2> _n57 _n53<2> |
|---|
| 702 | .def 0 |
|---|
| 703 | 0 0 1 1 |
|---|
| 704 | 0 1 0 1 |
|---|
| 705 | 1 0 0 1 |
|---|
| 706 | 1 1 1 1 |
|---|
| 707 | .names _n53<0> lsb$_n4c_n51$true<0> |
|---|
| 708 | - =_n53<0> |
|---|
| 709 | .names _n53<1> lsb$_n4c_n51$true<1> |
|---|
| 710 | - =_n53<1> |
|---|
| 711 | .names _n53<2> lsb$_n4c_n51$true<2> |
|---|
| 712 | - =_n53<2> |
|---|
| 713 | .names _n5a<0> |
|---|
| 714 | 1 |
|---|
| 715 | .names _n5a<1> |
|---|
| 716 | 0 |
|---|
| 717 | .names xy_lsb<0> _n5a<0> _n5b<0> |
|---|
| 718 | .def 0 |
|---|
| 719 | 0 1 1 |
|---|
| 720 | 1 0 1 |
|---|
| 721 | .names xy_lsb<1> _n5a<1> _n5b<1> |
|---|
| 722 | .def 0 |
|---|
| 723 | 0 1 1 |
|---|
| 724 | 1 0 1 |
|---|
| 725 | .names _n5b<0> _n5b<1> _n5c |
|---|
| 726 | .def 1 |
|---|
| 727 | 0 0 0 |
|---|
| 728 | .names _n5c _n59 |
|---|
| 729 | 0 1 |
|---|
| 730 | 1 0 |
|---|
| 731 | .names _n59 _n58 |
|---|
| 732 | .def 1 |
|---|
| 733 | 0 0 |
|---|
| 734 | # x [8 - 2 : 0] = x [8 - 1 : 1] |
|---|
| 735 | .names x<1> x$_n58_n5d$true<0> |
|---|
| 736 | - =x<1> |
|---|
| 737 | .names x<2> x$_n58_n5d$true<1> |
|---|
| 738 | - =x<2> |
|---|
| 739 | .names x<3> x$_n58_n5d$true<2> |
|---|
| 740 | - =x<3> |
|---|
| 741 | .names x<4> x$_n58_n5d$true<3> |
|---|
| 742 | - =x<4> |
|---|
| 743 | .names x<5> x$_n58_n5d$true<4> |
|---|
| 744 | - =x<5> |
|---|
| 745 | .names x<6> x$_n58_n5d$true<5> |
|---|
| 746 | - =x<6> |
|---|
| 747 | .names x<7> x$_n58_n5d$true<6> |
|---|
| 748 | - =x<7> |
|---|
| 749 | .names x<7> x$_n58_n5d$true<7> |
|---|
| 750 | - =x<7> |
|---|
| 751 | # x [8 - 1] = 0 |
|---|
| 752 | .names x$_n58_n5e$true<7> |
|---|
| 753 | 0 |
|---|
| 754 | .names x$_n58_n5d$true<0> x$_n58_n5e$true<0> |
|---|
| 755 | - =x$_n58_n5d$true<0> |
|---|
| 756 | .names x$_n58_n5d$true<1> x$_n58_n5e$true<1> |
|---|
| 757 | - =x$_n58_n5d$true<1> |
|---|
| 758 | .names x$_n58_n5d$true<2> x$_n58_n5e$true<2> |
|---|
| 759 | - =x$_n58_n5d$true<2> |
|---|
| 760 | .names x$_n58_n5d$true<3> x$_n58_n5e$true<3> |
|---|
| 761 | - =x$_n58_n5d$true<3> |
|---|
| 762 | .names x$_n58_n5d$true<4> x$_n58_n5e$true<4> |
|---|
| 763 | - =x$_n58_n5d$true<4> |
|---|
| 764 | .names x$_n58_n5d$true<5> x$_n58_n5e$true<5> |
|---|
| 765 | - =x$_n58_n5d$true<5> |
|---|
| 766 | .names x$_n58_n5d$true<6> x$_n58_n5e$true<6> |
|---|
| 767 | - =x$_n58_n5d$true<6> |
|---|
| 768 | .names _n61<0> |
|---|
| 769 | 0 |
|---|
| 770 | .names _n61<1> |
|---|
| 771 | 1 |
|---|
| 772 | .names xy_lsb<0> _n61<0> _n62<0> |
|---|
| 773 | .def 0 |
|---|
| 774 | 0 1 1 |
|---|
| 775 | 1 0 1 |
|---|
| 776 | .names xy_lsb<1> _n61<1> _n62<1> |
|---|
| 777 | .def 0 |
|---|
| 778 | 0 1 1 |
|---|
| 779 | 1 0 1 |
|---|
| 780 | .names _n62<0> _n62<1> _n63 |
|---|
| 781 | .def 1 |
|---|
| 782 | 0 0 0 |
|---|
| 783 | .names _n63 _n60 |
|---|
| 784 | 0 1 |
|---|
| 785 | 1 0 |
|---|
| 786 | .names _n60 _n5f |
|---|
| 787 | .def 1 |
|---|
| 788 | 0 0 |
|---|
| 789 | # y [8 - 2 : 0] = y [8 - 1 : 1] |
|---|
| 790 | .names y<1> y$_n5f_n64$true<0> |
|---|
| 791 | - =y<1> |
|---|
| 792 | .names y<2> y$_n5f_n64$true<1> |
|---|
| 793 | - =y<2> |
|---|
| 794 | .names y<3> y$_n5f_n64$true<2> |
|---|
| 795 | - =y<3> |
|---|
| 796 | .names y<4> y$_n5f_n64$true<3> |
|---|
| 797 | - =y<4> |
|---|
| 798 | .names y<5> y$_n5f_n64$true<4> |
|---|
| 799 | - =y<5> |
|---|
| 800 | .names y<6> y$_n5f_n64$true<5> |
|---|
| 801 | - =y<6> |
|---|
| 802 | .names y<7> y$_n5f_n64$true<6> |
|---|
| 803 | - =y<7> |
|---|
| 804 | .names y<7> y$_n5f_n64$true<7> |
|---|
| 805 | - =y<7> |
|---|
| 806 | # y [8 - 1] = 0 |
|---|
| 807 | .names y$_n5f_n65$true<7> |
|---|
| 808 | 0 |
|---|
| 809 | .names y$_n5f_n64$true<0> y$_n5f_n65$true<0> |
|---|
| 810 | - =y$_n5f_n64$true<0> |
|---|
| 811 | .names y$_n5f_n64$true<1> y$_n5f_n65$true<1> |
|---|
| 812 | - =y$_n5f_n64$true<1> |
|---|
| 813 | .names y$_n5f_n64$true<2> y$_n5f_n65$true<2> |
|---|
| 814 | - =y$_n5f_n64$true<2> |
|---|
| 815 | .names y$_n5f_n64$true<3> y$_n5f_n65$true<3> |
|---|
| 816 | - =y$_n5f_n64$true<3> |
|---|
| 817 | .names y$_n5f_n64$true<4> y$_n5f_n65$true<4> |
|---|
| 818 | - =y$_n5f_n64$true<4> |
|---|
| 819 | .names y$_n5f_n64$true<5> y$_n5f_n65$true<5> |
|---|
| 820 | - =y$_n5f_n64$true<5> |
|---|
| 821 | .names y$_n5f_n64$true<6> y$_n5f_n65$true<6> |
|---|
| 822 | - =y$_n5f_n64$true<6> |
|---|
| 823 | .names _n68<0> |
|---|
| 824 | 1 |
|---|
| 825 | .names _n68<1> |
|---|
| 826 | 1 |
|---|
| 827 | .names xy_lsb<0> _n68<0> _n69<0> |
|---|
| 828 | .def 0 |
|---|
| 829 | 0 1 1 |
|---|
| 830 | 1 0 1 |
|---|
| 831 | .names xy_lsb<1> _n68<1> _n69<1> |
|---|
| 832 | .def 0 |
|---|
| 833 | 0 1 1 |
|---|
| 834 | 1 0 1 |
|---|
| 835 | .names _n69<0> _n69<1> _n6a |
|---|
| 836 | .def 1 |
|---|
| 837 | 0 0 0 |
|---|
| 838 | .names _n6a _n67 |
|---|
| 839 | 0 1 |
|---|
| 840 | 1 0 |
|---|
| 841 | .names _n67 _n66 |
|---|
| 842 | .def 1 |
|---|
| 843 | 0 0 |
|---|
| 844 | # x < y |
|---|
| 845 | .names _n6d |
|---|
| 846 | 0 |
|---|
| 847 | .names x<0> y<0> _n6d _n6c<0> |
|---|
| 848 | .def 0 |
|---|
| 849 | 0 0 1 1 |
|---|
| 850 | 0 1 0 1 |
|---|
| 851 | 1 0 0 1 |
|---|
| 852 | 1 1 1 1 |
|---|
| 853 | # carry/borrow |
|---|
| 854 | .names _n6f |
|---|
| 855 | 0 |
|---|
| 856 | .names x<0> y<0> _n6f _n6e |
|---|
| 857 | .def 0 |
|---|
| 858 | 0 - 1 1 |
|---|
| 859 | 0 1 - 1 |
|---|
| 860 | - 1 1 1 |
|---|
| 861 | .names x<1> y<1> _n6e _n6c<1> |
|---|
| 862 | .def 0 |
|---|
| 863 | 0 0 1 1 |
|---|
| 864 | 0 1 0 1 |
|---|
| 865 | 1 0 0 1 |
|---|
| 866 | 1 1 1 1 |
|---|
| 867 | # carry/borrow |
|---|
| 868 | .names x<1> y<1> _n6e _n70 |
|---|
| 869 | .def 0 |
|---|
| 870 | 0 - 1 1 |
|---|
| 871 | 0 1 - 1 |
|---|
| 872 | - 1 1 1 |
|---|
| 873 | .names x<2> y<2> _n70 _n6c<2> |
|---|
| 874 | .def 0 |
|---|
| 875 | 0 0 1 1 |
|---|
| 876 | 0 1 0 1 |
|---|
| 877 | 1 0 0 1 |
|---|
| 878 | 1 1 1 1 |
|---|
| 879 | # carry/borrow |
|---|
| 880 | .names x<2> y<2> _n70 _n71 |
|---|
| 881 | .def 0 |
|---|
| 882 | 0 - 1 1 |
|---|
| 883 | 0 1 - 1 |
|---|
| 884 | - 1 1 1 |
|---|
| 885 | .names x<3> y<3> _n71 _n6c<3> |
|---|
| 886 | .def 0 |
|---|
| 887 | 0 0 1 1 |
|---|
| 888 | 0 1 0 1 |
|---|
| 889 | 1 0 0 1 |
|---|
| 890 | 1 1 1 1 |
|---|
| 891 | # carry/borrow |
|---|
| 892 | .names x<3> y<3> _n71 _n72 |
|---|
| 893 | .def 0 |
|---|
| 894 | 0 - 1 1 |
|---|
| 895 | 0 1 - 1 |
|---|
| 896 | - 1 1 1 |
|---|
| 897 | .names x<4> y<4> _n72 _n6c<4> |
|---|
| 898 | .def 0 |
|---|
| 899 | 0 0 1 1 |
|---|
| 900 | 0 1 0 1 |
|---|
| 901 | 1 0 0 1 |
|---|
| 902 | 1 1 1 1 |
|---|
| 903 | # carry/borrow |
|---|
| 904 | .names x<4> y<4> _n72 _n73 |
|---|
| 905 | .def 0 |
|---|
| 906 | 0 - 1 1 |
|---|
| 907 | 0 1 - 1 |
|---|
| 908 | - 1 1 1 |
|---|
| 909 | .names x<5> y<5> _n73 _n6c<5> |
|---|
| 910 | .def 0 |
|---|
| 911 | 0 0 1 1 |
|---|
| 912 | 0 1 0 1 |
|---|
| 913 | 1 0 0 1 |
|---|
| 914 | 1 1 1 1 |
|---|
| 915 | # carry/borrow |
|---|
| 916 | .names x<5> y<5> _n73 _n74 |
|---|
| 917 | .def 0 |
|---|
| 918 | 0 - 1 1 |
|---|
| 919 | 0 1 - 1 |
|---|
| 920 | - 1 1 1 |
|---|
| 921 | .names x<6> y<6> _n74 _n6c<6> |
|---|
| 922 | .def 0 |
|---|
| 923 | 0 0 1 1 |
|---|
| 924 | 0 1 0 1 |
|---|
| 925 | 1 0 0 1 |
|---|
| 926 | 1 1 1 1 |
|---|
| 927 | # carry/borrow |
|---|
| 928 | .names x<6> y<6> _n74 _n75 |
|---|
| 929 | .def 0 |
|---|
| 930 | 0 - 1 1 |
|---|
| 931 | 0 1 - 1 |
|---|
| 932 | - 1 1 1 |
|---|
| 933 | .names x<7> y<7> _n75 _n6c<7> |
|---|
| 934 | .def 0 |
|---|
| 935 | 0 0 1 1 |
|---|
| 936 | 0 1 0 1 |
|---|
| 937 | 1 0 0 1 |
|---|
| 938 | 1 1 1 1 |
|---|
| 939 | # carry/borrow |
|---|
| 940 | .names x<7> y<7> _n75 _n76 |
|---|
| 941 | .def 0 |
|---|
| 942 | 0 - 1 1 |
|---|
| 943 | 0 1 - 1 |
|---|
| 944 | - 1 1 1 |
|---|
| 945 | .names _n6c<0> _n6c<1> _n6c<2> _n6c<3> _n6c<4> _n6c<5> _n6c<6> _n6c<7> _n77 |
|---|
| 946 | .def 1 |
|---|
| 947 | 0 0 0 0 0 0 0 0 0 |
|---|
| 948 | .names _n76 _n77 _n6b |
|---|
| 949 | .def 0 |
|---|
| 950 | 1 1 1 |
|---|
| 951 | .names _n6b _n78 |
|---|
| 952 | - =_n6b |
|---|
| 953 | # y [8 - 2 : 0] = diff [8 - 1 : 1] |
|---|
| 954 | .names diff<1> y$_n6b_n79$true<0> |
|---|
| 955 | - =diff<1> |
|---|
| 956 | .names diff<2> y$_n6b_n79$true<1> |
|---|
| 957 | - =diff<2> |
|---|
| 958 | .names diff<3> y$_n6b_n79$true<2> |
|---|
| 959 | - =diff<3> |
|---|
| 960 | .names diff<4> y$_n6b_n79$true<3> |
|---|
| 961 | - =diff<4> |
|---|
| 962 | .names diff<5> y$_n6b_n79$true<4> |
|---|
| 963 | - =diff<5> |
|---|
| 964 | .names diff<6> y$_n6b_n79$true<5> |
|---|
| 965 | - =diff<6> |
|---|
| 966 | .names diff<7> y$_n6b_n79$true<6> |
|---|
| 967 | - =diff<7> |
|---|
| 968 | .names y<7> y$_n6b_n79$true<7> |
|---|
| 969 | - =y<7> |
|---|
| 970 | # y [8 - 1] = 0 |
|---|
| 971 | .names y$_n6b_n7a$true<7> |
|---|
| 972 | 0 |
|---|
| 973 | .names y$_n6b_n79$true<0> y$_n6b_n7a$true<0> |
|---|
| 974 | - =y$_n6b_n79$true<0> |
|---|
| 975 | .names y$_n6b_n79$true<1> y$_n6b_n7a$true<1> |
|---|
| 976 | - =y$_n6b_n79$true<1> |
|---|
| 977 | .names y$_n6b_n79$true<2> y$_n6b_n7a$true<2> |
|---|
| 978 | - =y$_n6b_n79$true<2> |
|---|
| 979 | .names y$_n6b_n79$true<3> y$_n6b_n7a$true<3> |
|---|
| 980 | - =y$_n6b_n79$true<3> |
|---|
| 981 | .names y$_n6b_n79$true<4> y$_n6b_n7a$true<4> |
|---|
| 982 | - =y$_n6b_n79$true<4> |
|---|
| 983 | .names y$_n6b_n79$true<5> y$_n6b_n7a$true<5> |
|---|
| 984 | - =y$_n6b_n79$true<5> |
|---|
| 985 | .names y$_n6b_n79$true<6> y$_n6b_n7a$true<6> |
|---|
| 986 | - =y$_n6b_n79$true<6> |
|---|
| 987 | # x [8 - 2 : 0] = diff [8 - 1 : 1] |
|---|
| 988 | .names diff<1> x$_n6b_n7b$false<0> |
|---|
| 989 | - =diff<1> |
|---|
| 990 | .names diff<2> x$_n6b_n7b$false<1> |
|---|
| 991 | - =diff<2> |
|---|
| 992 | .names diff<3> x$_n6b_n7b$false<2> |
|---|
| 993 | - =diff<3> |
|---|
| 994 | .names diff<4> x$_n6b_n7b$false<3> |
|---|
| 995 | - =diff<4> |
|---|
| 996 | .names diff<5> x$_n6b_n7b$false<4> |
|---|
| 997 | - =diff<5> |
|---|
| 998 | .names diff<6> x$_n6b_n7b$false<5> |
|---|
| 999 | - =diff<6> |
|---|
| 1000 | .names diff<7> x$_n6b_n7b$false<6> |
|---|
| 1001 | - =diff<7> |
|---|
| 1002 | .names x<7> x$_n6b_n7b$false<7> |
|---|
| 1003 | - =x<7> |
|---|
| 1004 | # x [8 - 1] = 0 |
|---|
| 1005 | .names x$_n6b_n7c$false<7> |
|---|
| 1006 | 0 |
|---|
| 1007 | .names x$_n6b_n7b$false<0> x$_n6b_n7c$false<0> |
|---|
| 1008 | - =x$_n6b_n7b$false<0> |
|---|
| 1009 | .names x$_n6b_n7b$false<1> x$_n6b_n7c$false<1> |
|---|
| 1010 | - =x$_n6b_n7b$false<1> |
|---|
| 1011 | .names x$_n6b_n7b$false<2> x$_n6b_n7c$false<2> |
|---|
| 1012 | - =x$_n6b_n7b$false<2> |
|---|
| 1013 | .names x$_n6b_n7b$false<3> x$_n6b_n7c$false<3> |
|---|
| 1014 | - =x$_n6b_n7b$false<3> |
|---|
| 1015 | .names x$_n6b_n7b$false<4> x$_n6b_n7c$false<4> |
|---|
| 1016 | - =x$_n6b_n7b$false<4> |
|---|
| 1017 | .names x$_n6b_n7b$false<5> x$_n6b_n7c$false<5> |
|---|
| 1018 | - =x$_n6b_n7b$false<5> |
|---|
| 1019 | .names x$_n6b_n7b$false<6> x$_n6b_n7c$false<6> |
|---|
| 1020 | - =x$_n6b_n7b$false<6> |
|---|
| 1021 | # if/else (x < y ) |
|---|
| 1022 | .names _n6b y$_n6b_n7a$true<0> y<0> y$_n6b$raw_n7f<0> |
|---|
| 1023 | .def 0 |
|---|
| 1024 | 1 1 - 1 |
|---|
| 1025 | 0 - 1 1 |
|---|
| 1026 | .names _n6b y$_n6b_n7a$true<1> y<1> y$_n6b$raw_n7f<1> |
|---|
| 1027 | .def 0 |
|---|
| 1028 | 1 1 - 1 |
|---|
| 1029 | 0 - 1 1 |
|---|
| 1030 | .names _n6b y$_n6b_n7a$true<2> y<2> y$_n6b$raw_n7f<2> |
|---|
| 1031 | .def 0 |
|---|
| 1032 | 1 1 - 1 |
|---|
| 1033 | 0 - 1 1 |
|---|
| 1034 | .names _n6b y$_n6b_n7a$true<3> y<3> y$_n6b$raw_n7f<3> |
|---|
| 1035 | .def 0 |
|---|
| 1036 | 1 1 - 1 |
|---|
| 1037 | 0 - 1 1 |
|---|
| 1038 | .names _n6b y$_n6b_n7a$true<4> y<4> y$_n6b$raw_n7f<4> |
|---|
| 1039 | .def 0 |
|---|
| 1040 | 1 1 - 1 |
|---|
| 1041 | 0 - 1 1 |
|---|
| 1042 | .names _n6b y$_n6b_n7a$true<5> y<5> y$_n6b$raw_n7f<5> |
|---|
| 1043 | .def 0 |
|---|
| 1044 | 1 1 - 1 |
|---|
| 1045 | 0 - 1 1 |
|---|
| 1046 | .names _n6b y$_n6b_n7a$true<6> y<6> y$_n6b$raw_n7f<6> |
|---|
| 1047 | .def 0 |
|---|
| 1048 | 1 1 - 1 |
|---|
| 1049 | 0 - 1 1 |
|---|
| 1050 | .names _n6b y$_n6b_n7a$true<7> y<7> y$_n6b$raw_n7f<7> |
|---|
| 1051 | .def 0 |
|---|
| 1052 | 1 1 - 1 |
|---|
| 1053 | 0 - 1 1 |
|---|
| 1054 | .names _n6b x<0> x$_n6b_n7c$false<0> x$_n6b$raw_n88<0> |
|---|
| 1055 | .def 0 |
|---|
| 1056 | 1 1 - 1 |
|---|
| 1057 | 0 - 1 1 |
|---|
| 1058 | .names _n6b x<1> x$_n6b_n7c$false<1> x$_n6b$raw_n88<1> |
|---|
| 1059 | .def 0 |
|---|
| 1060 | 1 1 - 1 |
|---|
| 1061 | 0 - 1 1 |
|---|
| 1062 | .names _n6b x<2> x$_n6b_n7c$false<2> x$_n6b$raw_n88<2> |
|---|
| 1063 | .def 0 |
|---|
| 1064 | 1 1 - 1 |
|---|
| 1065 | 0 - 1 1 |
|---|
| 1066 | .names _n6b x<3> x$_n6b_n7c$false<3> x$_n6b$raw_n88<3> |
|---|
| 1067 | .def 0 |
|---|
| 1068 | 1 1 - 1 |
|---|
| 1069 | 0 - 1 1 |
|---|
| 1070 | .names _n6b x<4> x$_n6b_n7c$false<4> x$_n6b$raw_n88<4> |
|---|
| 1071 | .def 0 |
|---|
| 1072 | 1 1 - 1 |
|---|
| 1073 | 0 - 1 1 |
|---|
| 1074 | .names _n6b x<5> x$_n6b_n7c$false<5> x$_n6b$raw_n88<5> |
|---|
| 1075 | .def 0 |
|---|
| 1076 | 1 1 - 1 |
|---|
| 1077 | 0 - 1 1 |
|---|
| 1078 | .names _n6b x<6> x$_n6b_n7c$false<6> x$_n6b$raw_n88<6> |
|---|
| 1079 | .def 0 |
|---|
| 1080 | 1 1 - 1 |
|---|
| 1081 | 0 - 1 1 |
|---|
| 1082 | .names _n6b x<7> x$_n6b_n7c$false<7> x$_n6b$raw_n88<7> |
|---|
| 1083 | .def 0 |
|---|
| 1084 | 1 1 - 1 |
|---|
| 1085 | 0 - 1 1 |
|---|
| 1086 | # case (xy_lsb ) |
|---|
| 1087 | .names _n66 y$_n6b$raw_n7f<0> y<0> y$_n66$raw_n95<0> |
|---|
| 1088 | .def 0 |
|---|
| 1089 | 1 1 - 1 |
|---|
| 1090 | 0 - 1 1 |
|---|
| 1091 | .names _n66 y$_n6b$raw_n7f<1> y<1> y$_n66$raw_n95<1> |
|---|
| 1092 | .def 0 |
|---|
| 1093 | 1 1 - 1 |
|---|
| 1094 | 0 - 1 1 |
|---|
| 1095 | .names _n66 y$_n6b$raw_n7f<2> y<2> y$_n66$raw_n95<2> |
|---|
| 1096 | .def 0 |
|---|
| 1097 | 1 1 - 1 |
|---|
| 1098 | 0 - 1 1 |
|---|
| 1099 | .names _n66 y$_n6b$raw_n7f<3> y<3> y$_n66$raw_n95<3> |
|---|
| 1100 | .def 0 |
|---|
| 1101 | 1 1 - 1 |
|---|
| 1102 | 0 - 1 1 |
|---|
| 1103 | .names _n66 y$_n6b$raw_n7f<4> y<4> y$_n66$raw_n95<4> |
|---|
| 1104 | .def 0 |
|---|
| 1105 | 1 1 - 1 |
|---|
| 1106 | 0 - 1 1 |
|---|
| 1107 | .names _n66 y$_n6b$raw_n7f<5> y<5> y$_n66$raw_n95<5> |
|---|
| 1108 | .def 0 |
|---|
| 1109 | 1 1 - 1 |
|---|
| 1110 | 0 - 1 1 |
|---|
| 1111 | .names _n66 y$_n6b$raw_n7f<6> y<6> y$_n66$raw_n95<6> |
|---|
| 1112 | .def 0 |
|---|
| 1113 | 1 1 - 1 |
|---|
| 1114 | 0 - 1 1 |
|---|
| 1115 | .names _n66 y$_n6b$raw_n7f<7> y<7> y$_n66$raw_n95<7> |
|---|
| 1116 | .def 0 |
|---|
| 1117 | 1 1 - 1 |
|---|
| 1118 | 0 - 1 1 |
|---|
| 1119 | .names _n66 x$_n6b$raw_n88<0> x<0> x$_n66$raw_n9e<0> |
|---|
| 1120 | .def 0 |
|---|
| 1121 | 1 1 - 1 |
|---|
| 1122 | 0 - 1 1 |
|---|
| 1123 | .names _n66 x$_n6b$raw_n88<1> x<1> x$_n66$raw_n9e<1> |
|---|
| 1124 | .def 0 |
|---|
| 1125 | 1 1 - 1 |
|---|
| 1126 | 0 - 1 1 |
|---|
| 1127 | .names _n66 x$_n6b$raw_n88<2> x<2> x$_n66$raw_n9e<2> |
|---|
| 1128 | .def 0 |
|---|
| 1129 | 1 1 - 1 |
|---|
| 1130 | 0 - 1 1 |
|---|
| 1131 | .names _n66 x$_n6b$raw_n88<3> x<3> x$_n66$raw_n9e<3> |
|---|
| 1132 | .def 0 |
|---|
| 1133 | 1 1 - 1 |
|---|
| 1134 | 0 - 1 1 |
|---|
| 1135 | .names _n66 x$_n6b$raw_n88<4> x<4> x$_n66$raw_n9e<4> |
|---|
| 1136 | .def 0 |
|---|
| 1137 | 1 1 - 1 |
|---|
| 1138 | 0 - 1 1 |
|---|
| 1139 | .names _n66 x$_n6b$raw_n88<5> x<5> x$_n66$raw_n9e<5> |
|---|
| 1140 | .def 0 |
|---|
| 1141 | 1 1 - 1 |
|---|
| 1142 | 0 - 1 1 |
|---|
| 1143 | .names _n66 x$_n6b$raw_n88<6> x<6> x$_n66$raw_n9e<6> |
|---|
| 1144 | .def 0 |
|---|
| 1145 | 1 1 - 1 |
|---|
| 1146 | 0 - 1 1 |
|---|
| 1147 | .names _n66 x$_n6b$raw_n88<7> x<7> x$_n66$raw_n9e<7> |
|---|
| 1148 | .def 0 |
|---|
| 1149 | 1 1 - 1 |
|---|
| 1150 | 0 - 1 1 |
|---|
| 1151 | .names _n5f y$_n5f_n65$true<0> y$_n66$raw_n95<0> y$_n5f$raw_na7<0> |
|---|
| 1152 | .def 0 |
|---|
| 1153 | 1 1 - 1 |
|---|
| 1154 | 0 - 1 1 |
|---|
| 1155 | .names _n5f y$_n5f_n65$true<1> y$_n66$raw_n95<1> y$_n5f$raw_na7<1> |
|---|
| 1156 | .def 0 |
|---|
| 1157 | 1 1 - 1 |
|---|
| 1158 | 0 - 1 1 |
|---|
| 1159 | .names _n5f y$_n5f_n65$true<2> y$_n66$raw_n95<2> y$_n5f$raw_na7<2> |
|---|
| 1160 | .def 0 |
|---|
| 1161 | 1 1 - 1 |
|---|
| 1162 | 0 - 1 1 |
|---|
| 1163 | .names _n5f y$_n5f_n65$true<3> y$_n66$raw_n95<3> y$_n5f$raw_na7<3> |
|---|
| 1164 | .def 0 |
|---|
| 1165 | 1 1 - 1 |
|---|
| 1166 | 0 - 1 1 |
|---|
| 1167 | .names _n5f y$_n5f_n65$true<4> y$_n66$raw_n95<4> y$_n5f$raw_na7<4> |
|---|
| 1168 | .def 0 |
|---|
| 1169 | 1 1 - 1 |
|---|
| 1170 | 0 - 1 1 |
|---|
| 1171 | .names _n5f y$_n5f_n65$true<5> y$_n66$raw_n95<5> y$_n5f$raw_na7<5> |
|---|
| 1172 | .def 0 |
|---|
| 1173 | 1 1 - 1 |
|---|
| 1174 | 0 - 1 1 |
|---|
| 1175 | .names _n5f y$_n5f_n65$true<6> y$_n66$raw_n95<6> y$_n5f$raw_na7<6> |
|---|
| 1176 | .def 0 |
|---|
| 1177 | 1 1 - 1 |
|---|
| 1178 | 0 - 1 1 |
|---|
| 1179 | .names _n5f y$_n5f_n65$true<7> y$_n66$raw_n95<7> y$_n5f$raw_na7<7> |
|---|
| 1180 | .def 0 |
|---|
| 1181 | 1 1 - 1 |
|---|
| 1182 | 0 - 1 1 |
|---|
| 1183 | .names _n5f x<0> x$_n66$raw_n9e<0> x$_n5f$raw_nb3<0> |
|---|
| 1184 | .def 0 |
|---|
| 1185 | 1 1 - 1 |
|---|
| 1186 | 0 - 1 1 |
|---|
| 1187 | .names _n5f x<1> x$_n66$raw_n9e<1> x$_n5f$raw_nb3<1> |
|---|
| 1188 | .def 0 |
|---|
| 1189 | 1 1 - 1 |
|---|
| 1190 | 0 - 1 1 |
|---|
| 1191 | .names _n5f x<2> x$_n66$raw_n9e<2> x$_n5f$raw_nb3<2> |
|---|
| 1192 | .def 0 |
|---|
| 1193 | 1 1 - 1 |
|---|
| 1194 | 0 - 1 1 |
|---|
| 1195 | .names _n5f x<3> x$_n66$raw_n9e<3> x$_n5f$raw_nb3<3> |
|---|
| 1196 | .def 0 |
|---|
| 1197 | 1 1 - 1 |
|---|
| 1198 | 0 - 1 1 |
|---|
| 1199 | .names _n5f x<4> x$_n66$raw_n9e<4> x$_n5f$raw_nb3<4> |
|---|
| 1200 | .def 0 |
|---|
| 1201 | 1 1 - 1 |
|---|
| 1202 | 0 - 1 1 |
|---|
| 1203 | .names _n5f x<5> x$_n66$raw_n9e<5> x$_n5f$raw_nb3<5> |
|---|
| 1204 | .def 0 |
|---|
| 1205 | 1 1 - 1 |
|---|
| 1206 | 0 - 1 1 |
|---|
| 1207 | .names _n5f x<6> x$_n66$raw_n9e<6> x$_n5f$raw_nb3<6> |
|---|
| 1208 | .def 0 |
|---|
| 1209 | 1 1 - 1 |
|---|
| 1210 | 0 - 1 1 |
|---|
| 1211 | .names _n5f x<7> x$_n66$raw_n9e<7> x$_n5f$raw_nb3<7> |
|---|
| 1212 | .def 0 |
|---|
| 1213 | 1 1 - 1 |
|---|
| 1214 | 0 - 1 1 |
|---|
| 1215 | .names _n58 x$_n58_n5e$true<0> x$_n5f$raw_nb3<0> x$_n58$raw_nbc<0> |
|---|
| 1216 | .def 0 |
|---|
| 1217 | 1 1 - 1 |
|---|
| 1218 | 0 - 1 1 |
|---|
| 1219 | .names _n58 x$_n58_n5e$true<1> x$_n5f$raw_nb3<1> x$_n58$raw_nbc<1> |
|---|
| 1220 | .def 0 |
|---|
| 1221 | 1 1 - 1 |
|---|
| 1222 | 0 - 1 1 |
|---|
| 1223 | .names _n58 x$_n58_n5e$true<2> x$_n5f$raw_nb3<2> x$_n58$raw_nbc<2> |
|---|
| 1224 | .def 0 |
|---|
| 1225 | 1 1 - 1 |
|---|
| 1226 | 0 - 1 1 |
|---|
| 1227 | .names _n58 x$_n58_n5e$true<3> x$_n5f$raw_nb3<3> x$_n58$raw_nbc<3> |
|---|
| 1228 | .def 0 |
|---|
| 1229 | 1 1 - 1 |
|---|
| 1230 | 0 - 1 1 |
|---|
| 1231 | .names _n58 x$_n58_n5e$true<4> x$_n5f$raw_nb3<4> x$_n58$raw_nbc<4> |
|---|
| 1232 | .def 0 |
|---|
| 1233 | 1 1 - 1 |
|---|
| 1234 | 0 - 1 1 |
|---|
| 1235 | .names _n58 x$_n58_n5e$true<5> x$_n5f$raw_nb3<5> x$_n58$raw_nbc<5> |
|---|
| 1236 | .def 0 |
|---|
| 1237 | 1 1 - 1 |
|---|
| 1238 | 0 - 1 1 |
|---|
| 1239 | .names _n58 x$_n58_n5e$true<6> x$_n5f$raw_nb3<6> x$_n58$raw_nbc<6> |
|---|
| 1240 | .def 0 |
|---|
| 1241 | 1 1 - 1 |
|---|
| 1242 | 0 - 1 1 |
|---|
| 1243 | .names _n58 x$_n58_n5e$true<7> x$_n5f$raw_nb3<7> x$_n58$raw_nbc<7> |
|---|
| 1244 | .def 0 |
|---|
| 1245 | 1 1 - 1 |
|---|
| 1246 | 0 - 1 1 |
|---|
| 1247 | .names _n58 y<0> y$_n5f$raw_na7<0> y$_n58$raw_nc7<0> |
|---|
| 1248 | .def 0 |
|---|
| 1249 | 1 1 - 1 |
|---|
| 1250 | 0 - 1 1 |
|---|
| 1251 | .names _n58 y<1> y$_n5f$raw_na7<1> y$_n58$raw_nc7<1> |
|---|
| 1252 | .def 0 |
|---|
| 1253 | 1 1 - 1 |
|---|
| 1254 | 0 - 1 1 |
|---|
| 1255 | .names _n58 y<2> y$_n5f$raw_na7<2> y$_n58$raw_nc7<2> |
|---|
| 1256 | .def 0 |
|---|
| 1257 | 1 1 - 1 |
|---|
| 1258 | 0 - 1 1 |
|---|
| 1259 | .names _n58 y<3> y$_n5f$raw_na7<3> y$_n58$raw_nc7<3> |
|---|
| 1260 | .def 0 |
|---|
| 1261 | 1 1 - 1 |
|---|
| 1262 | 0 - 1 1 |
|---|
| 1263 | .names _n58 y<4> y$_n5f$raw_na7<4> y$_n58$raw_nc7<4> |
|---|
| 1264 | .def 0 |
|---|
| 1265 | 1 1 - 1 |
|---|
| 1266 | 0 - 1 1 |
|---|
| 1267 | .names _n58 y<5> y$_n5f$raw_na7<5> y$_n58$raw_nc7<5> |
|---|
| 1268 | .def 0 |
|---|
| 1269 | 1 1 - 1 |
|---|
| 1270 | 0 - 1 1 |
|---|
| 1271 | .names _n58 y<6> y$_n5f$raw_na7<6> y$_n58$raw_nc7<6> |
|---|
| 1272 | .def 0 |
|---|
| 1273 | 1 1 - 1 |
|---|
| 1274 | 0 - 1 1 |
|---|
| 1275 | .names _n58 y<7> y$_n5f$raw_na7<7> y$_n58$raw_nc7<7> |
|---|
| 1276 | .def 0 |
|---|
| 1277 | 1 1 - 1 |
|---|
| 1278 | 0 - 1 1 |
|---|
| 1279 | .names _n4c lsb$_n4c_n51$true<0> lsb<0> lsb$_n4c$raw_nd3<0> |
|---|
| 1280 | .def 0 |
|---|
| 1281 | 1 1 - 1 |
|---|
| 1282 | 0 - 1 1 |
|---|
| 1283 | .names _n4c lsb$_n4c_n51$true<1> lsb<1> lsb$_n4c$raw_nd3<1> |
|---|
| 1284 | .def 0 |
|---|
| 1285 | 1 1 - 1 |
|---|
| 1286 | 0 - 1 1 |
|---|
| 1287 | .names _n4c lsb$_n4c_n51$true<2> lsb<2> lsb$_n4c$raw_nd3<2> |
|---|
| 1288 | .def 0 |
|---|
| 1289 | 1 1 - 1 |
|---|
| 1290 | 0 - 1 1 |
|---|
| 1291 | .names _n4c y<0> y$_n58$raw_nc7<0> y$_n4c$raw_nd7<0> |
|---|
| 1292 | .def 0 |
|---|
| 1293 | 1 1 - 1 |
|---|
| 1294 | 0 - 1 1 |
|---|
| 1295 | .names _n4c y<1> y$_n58$raw_nc7<1> y$_n4c$raw_nd7<1> |
|---|
| 1296 | .def 0 |
|---|
| 1297 | 1 1 - 1 |
|---|
| 1298 | 0 - 1 1 |
|---|
| 1299 | .names _n4c y<2> y$_n58$raw_nc7<2> y$_n4c$raw_nd7<2> |
|---|
| 1300 | .def 0 |
|---|
| 1301 | 1 1 - 1 |
|---|
| 1302 | 0 - 1 1 |
|---|
| 1303 | .names _n4c y<3> y$_n58$raw_nc7<3> y$_n4c$raw_nd7<3> |
|---|
| 1304 | .def 0 |
|---|
| 1305 | 1 1 - 1 |
|---|
| 1306 | 0 - 1 1 |
|---|
| 1307 | .names _n4c y<4> y$_n58$raw_nc7<4> y$_n4c$raw_nd7<4> |
|---|
| 1308 | .def 0 |
|---|
| 1309 | 1 1 - 1 |
|---|
| 1310 | 0 - 1 1 |
|---|
| 1311 | .names _n4c y<5> y$_n58$raw_nc7<5> y$_n4c$raw_nd7<5> |
|---|
| 1312 | .def 0 |
|---|
| 1313 | 1 1 - 1 |
|---|
| 1314 | 0 - 1 1 |
|---|
| 1315 | .names _n4c y<6> y$_n58$raw_nc7<6> y$_n4c$raw_nd7<6> |
|---|
| 1316 | .def 0 |
|---|
| 1317 | 1 1 - 1 |
|---|
| 1318 | 0 - 1 1 |
|---|
| 1319 | .names _n4c y<7> y$_n58$raw_nc7<7> y$_n4c$raw_nd7<7> |
|---|
| 1320 | .def 0 |
|---|
| 1321 | 1 1 - 1 |
|---|
| 1322 | 0 - 1 1 |
|---|
| 1323 | .names _n4c x<0> x$_n58$raw_nbc<0> x$_n4c$raw_ne0<0> |
|---|
| 1324 | .def 0 |
|---|
| 1325 | 1 1 - 1 |
|---|
| 1326 | 0 - 1 1 |
|---|
| 1327 | .names _n4c x<1> x$_n58$raw_nbc<1> x$_n4c$raw_ne0<1> |
|---|
| 1328 | .def 0 |
|---|
| 1329 | 1 1 - 1 |
|---|
| 1330 | 0 - 1 1 |
|---|
| 1331 | .names _n4c x<2> x$_n58$raw_nbc<2> x$_n4c$raw_ne0<2> |
|---|
| 1332 | .def 0 |
|---|
| 1333 | 1 1 - 1 |
|---|
| 1334 | 0 - 1 1 |
|---|
| 1335 | .names _n4c x<3> x$_n58$raw_nbc<3> x$_n4c$raw_ne0<3> |
|---|
| 1336 | .def 0 |
|---|
| 1337 | 1 1 - 1 |
|---|
| 1338 | 0 - 1 1 |
|---|
| 1339 | .names _n4c x<4> x$_n58$raw_nbc<4> x$_n4c$raw_ne0<4> |
|---|
| 1340 | .def 0 |
|---|
| 1341 | 1 1 - 1 |
|---|
| 1342 | 0 - 1 1 |
|---|
| 1343 | .names _n4c x<5> x$_n58$raw_nbc<5> x$_n4c$raw_ne0<5> |
|---|
| 1344 | .def 0 |
|---|
| 1345 | 1 1 - 1 |
|---|
| 1346 | 0 - 1 1 |
|---|
| 1347 | .names _n4c x<6> x$_n58$raw_nbc<6> x$_n4c$raw_ne0<6> |
|---|
| 1348 | .def 0 |
|---|
| 1349 | 1 1 - 1 |
|---|
| 1350 | 0 - 1 1 |
|---|
| 1351 | .names _n4c x<7> x$_n58$raw_nbc<7> x$_n4c$raw_ne0<7> |
|---|
| 1352 | .def 0 |
|---|
| 1353 | 1 1 - 1 |
|---|
| 1354 | 0 - 1 1 |
|---|
| 1355 | .names done _ne9 |
|---|
| 1356 | - =done |
|---|
| 1357 | # o = (x < y ) ? x : y |
|---|
| 1358 | # x < y |
|---|
| 1359 | .names _ned |
|---|
| 1360 | 0 |
|---|
| 1361 | .names x<0> y<0> _ned _nec<0> |
|---|
| 1362 | .def 0 |
|---|
| 1363 | 0 0 1 1 |
|---|
| 1364 | 0 1 0 1 |
|---|
| 1365 | 1 0 0 1 |
|---|
| 1366 | 1 1 1 1 |
|---|
| 1367 | # carry/borrow |
|---|
| 1368 | .names _nef |
|---|
| 1369 | 0 |
|---|
| 1370 | .names x<0> y<0> _nef _nee |
|---|
| 1371 | .def 0 |
|---|
| 1372 | 0 - 1 1 |
|---|
| 1373 | 0 1 - 1 |
|---|
| 1374 | - 1 1 1 |
|---|
| 1375 | .names x<1> y<1> _nee _nec<1> |
|---|
| 1376 | .def 0 |
|---|
| 1377 | 0 0 1 1 |
|---|
| 1378 | 0 1 0 1 |
|---|
| 1379 | 1 0 0 1 |
|---|
| 1380 | 1 1 1 1 |
|---|
| 1381 | # carry/borrow |
|---|
| 1382 | .names x<1> y<1> _nee _nf0 |
|---|
| 1383 | .def 0 |
|---|
| 1384 | 0 - 1 1 |
|---|
| 1385 | 0 1 - 1 |
|---|
| 1386 | - 1 1 1 |
|---|
| 1387 | .names x<2> y<2> _nf0 _nec<2> |
|---|
| 1388 | .def 0 |
|---|
| 1389 | 0 0 1 1 |
|---|
| 1390 | 0 1 0 1 |
|---|
| 1391 | 1 0 0 1 |
|---|
| 1392 | 1 1 1 1 |
|---|
| 1393 | # carry/borrow |
|---|
| 1394 | .names x<2> y<2> _nf0 _nf1 |
|---|
| 1395 | .def 0 |
|---|
| 1396 | 0 - 1 1 |
|---|
| 1397 | 0 1 - 1 |
|---|
| 1398 | - 1 1 1 |
|---|
| 1399 | .names x<3> y<3> _nf1 _nec<3> |
|---|
| 1400 | .def 0 |
|---|
| 1401 | 0 0 1 1 |
|---|
| 1402 | 0 1 0 1 |
|---|
| 1403 | 1 0 0 1 |
|---|
| 1404 | 1 1 1 1 |
|---|
| 1405 | # carry/borrow |
|---|
| 1406 | .names x<3> y<3> _nf1 _nf2 |
|---|
| 1407 | .def 0 |
|---|
| 1408 | 0 - 1 1 |
|---|
| 1409 | 0 1 - 1 |
|---|
| 1410 | - 1 1 1 |
|---|
| 1411 | .names x<4> y<4> _nf2 _nec<4> |
|---|
| 1412 | .def 0 |
|---|
| 1413 | 0 0 1 1 |
|---|
| 1414 | 0 1 0 1 |
|---|
| 1415 | 1 0 0 1 |
|---|
| 1416 | 1 1 1 1 |
|---|
| 1417 | # carry/borrow |
|---|
| 1418 | .names x<4> y<4> _nf2 _nf3 |
|---|
| 1419 | .def 0 |
|---|
| 1420 | 0 - 1 1 |
|---|
| 1421 | 0 1 - 1 |
|---|
| 1422 | - 1 1 1 |
|---|
| 1423 | .names x<5> y<5> _nf3 _nec<5> |
|---|
| 1424 | .def 0 |
|---|
| 1425 | 0 0 1 1 |
|---|
| 1426 | 0 1 0 1 |
|---|
| 1427 | 1 0 0 1 |
|---|
| 1428 | 1 1 1 1 |
|---|
| 1429 | # carry/borrow |
|---|
| 1430 | .names x<5> y<5> _nf3 _nf4 |
|---|
| 1431 | .def 0 |
|---|
| 1432 | 0 - 1 1 |
|---|
| 1433 | 0 1 - 1 |
|---|
| 1434 | - 1 1 1 |
|---|
| 1435 | .names x<6> y<6> _nf4 _nec<6> |
|---|
| 1436 | .def 0 |
|---|
| 1437 | 0 0 1 1 |
|---|
| 1438 | 0 1 0 1 |
|---|
| 1439 | 1 0 0 1 |
|---|
| 1440 | 1 1 1 1 |
|---|
| 1441 | # carry/borrow |
|---|
| 1442 | .names x<6> y<6> _nf4 _nf5 |
|---|
| 1443 | .def 0 |
|---|
| 1444 | 0 - 1 1 |
|---|
| 1445 | 0 1 - 1 |
|---|
| 1446 | - 1 1 1 |
|---|
| 1447 | .names x<7> y<7> _nf5 _nec<7> |
|---|
| 1448 | .def 0 |
|---|
| 1449 | 0 0 1 1 |
|---|
| 1450 | 0 1 0 1 |
|---|
| 1451 | 1 0 0 1 |
|---|
| 1452 | 1 1 1 1 |
|---|
| 1453 | # carry/borrow |
|---|
| 1454 | .names x<7> y<7> _nf5 _nf6 |
|---|
| 1455 | .def 0 |
|---|
| 1456 | 0 - 1 1 |
|---|
| 1457 | 0 1 - 1 |
|---|
| 1458 | - 1 1 1 |
|---|
| 1459 | .names _nec<0> _nec<1> _nec<2> _nec<3> _nec<4> _nec<5> _nec<6> _nec<7> _nf7 |
|---|
| 1460 | .def 1 |
|---|
| 1461 | 0 0 0 0 0 0 0 0 0 |
|---|
| 1462 | .names _nf6 _nf7 _neb |
|---|
| 1463 | .def 0 |
|---|
| 1464 | 1 1 1 |
|---|
| 1465 | # (x < y ) ? x : y |
|---|
| 1466 | .names _neb x<0> y<0> _nf8<0> |
|---|
| 1467 | .def 0 |
|---|
| 1468 | 1 1 - 1 |
|---|
| 1469 | 0 - 1 1 |
|---|
| 1470 | .names _neb x<1> y<1> _nf8<1> |
|---|
| 1471 | .def 0 |
|---|
| 1472 | 1 1 - 1 |
|---|
| 1473 | 0 - 1 1 |
|---|
| 1474 | .names _neb x<2> y<2> _nf8<2> |
|---|
| 1475 | .def 0 |
|---|
| 1476 | 1 1 - 1 |
|---|
| 1477 | 0 - 1 1 |
|---|
| 1478 | .names _neb x<3> y<3> _nf8<3> |
|---|
| 1479 | .def 0 |
|---|
| 1480 | 1 1 - 1 |
|---|
| 1481 | 0 - 1 1 |
|---|
| 1482 | .names _neb x<4> y<4> _nf8<4> |
|---|
| 1483 | .def 0 |
|---|
| 1484 | 1 1 - 1 |
|---|
| 1485 | 0 - 1 1 |
|---|
| 1486 | .names _neb x<5> y<5> _nf8<5> |
|---|
| 1487 | .def 0 |
|---|
| 1488 | 1 1 - 1 |
|---|
| 1489 | 0 - 1 1 |
|---|
| 1490 | .names _neb x<6> y<6> _nf8<6> |
|---|
| 1491 | .def 0 |
|---|
| 1492 | 1 1 - 1 |
|---|
| 1493 | 0 - 1 1 |
|---|
| 1494 | .names _neb x<7> y<7> _nf8<7> |
|---|
| 1495 | .def 0 |
|---|
| 1496 | 1 1 - 1 |
|---|
| 1497 | 0 - 1 1 |
|---|
| 1498 | .names _nf8<0> o$done_nea$true<0> |
|---|
| 1499 | - =_nf8<0> |
|---|
| 1500 | .names _nf8<1> o$done_nea$true<1> |
|---|
| 1501 | - =_nf8<1> |
|---|
| 1502 | .names _nf8<2> o$done_nea$true<2> |
|---|
| 1503 | - =_nf8<2> |
|---|
| 1504 | .names _nf8<3> o$done_nea$true<3> |
|---|
| 1505 | - =_nf8<3> |
|---|
| 1506 | .names _nf8<4> o$done_nea$true<4> |
|---|
| 1507 | - =_nf8<4> |
|---|
| 1508 | .names _nf8<5> o$done_nea$true<5> |
|---|
| 1509 | - =_nf8<5> |
|---|
| 1510 | .names _nf8<6> o$done_nea$true<6> |
|---|
| 1511 | - =_nf8<6> |
|---|
| 1512 | .names _nf8<7> o$done_nea$true<7> |
|---|
| 1513 | - =_nf8<7> |
|---|
| 1514 | # if/else (done ) |
|---|
| 1515 | .names done o$done_nea$true<0> o<0> o$done$raw_n103<0> |
|---|
| 1516 | .def 0 |
|---|
| 1517 | 1 1 - 1 |
|---|
| 1518 | 0 - 1 1 |
|---|
| 1519 | .names done o$done_nea$true<1> o<1> o$done$raw_n103<1> |
|---|
| 1520 | .def 0 |
|---|
| 1521 | 1 1 - 1 |
|---|
| 1522 | 0 - 1 1 |
|---|
| 1523 | .names done o$done_nea$true<2> o<2> o$done$raw_n103<2> |
|---|
| 1524 | .def 0 |
|---|
| 1525 | 1 1 - 1 |
|---|
| 1526 | 0 - 1 1 |
|---|
| 1527 | .names done o$done_nea$true<3> o<3> o$done$raw_n103<3> |
|---|
| 1528 | .def 0 |
|---|
| 1529 | 1 1 - 1 |
|---|
| 1530 | 0 - 1 1 |
|---|
| 1531 | .names done o$done_nea$true<4> o<4> o$done$raw_n103<4> |
|---|
| 1532 | .def 0 |
|---|
| 1533 | 1 1 - 1 |
|---|
| 1534 | 0 - 1 1 |
|---|
| 1535 | .names done o$done_nea$true<5> o<5> o$done$raw_n103<5> |
|---|
| 1536 | .def 0 |
|---|
| 1537 | 1 1 - 1 |
|---|
| 1538 | 0 - 1 1 |
|---|
| 1539 | .names done o$done_nea$true<6> o<6> o$done$raw_n103<6> |
|---|
| 1540 | .def 0 |
|---|
| 1541 | 1 1 - 1 |
|---|
| 1542 | 0 - 1 1 |
|---|
| 1543 | .names done o$done_nea$true<7> o<7> o$done$raw_n103<7> |
|---|
| 1544 | .def 0 |
|---|
| 1545 | 1 1 - 1 |
|---|
| 1546 | 0 - 1 1 |
|---|
| 1547 | # if/else (busy & ~done ) |
|---|
| 1548 | .names _n4a y$_n4c$raw_nd7<0> y<0> y$_n4a$raw_n112<0> |
|---|
| 1549 | .def 0 |
|---|
| 1550 | 1 1 - 1 |
|---|
| 1551 | 0 - 1 1 |
|---|
| 1552 | .names _n4a y$_n4c$raw_nd7<1> y<1> y$_n4a$raw_n112<1> |
|---|
| 1553 | .def 0 |
|---|
| 1554 | 1 1 - 1 |
|---|
| 1555 | 0 - 1 1 |
|---|
| 1556 | .names _n4a y$_n4c$raw_nd7<2> y<2> y$_n4a$raw_n112<2> |
|---|
| 1557 | .def 0 |
|---|
| 1558 | 1 1 - 1 |
|---|
| 1559 | 0 - 1 1 |
|---|
| 1560 | .names _n4a y$_n4c$raw_nd7<3> y<3> y$_n4a$raw_n112<3> |
|---|
| 1561 | .def 0 |
|---|
| 1562 | 1 1 - 1 |
|---|
| 1563 | 0 - 1 1 |
|---|
| 1564 | .names _n4a y$_n4c$raw_nd7<4> y<4> y$_n4a$raw_n112<4> |
|---|
| 1565 | .def 0 |
|---|
| 1566 | 1 1 - 1 |
|---|
| 1567 | 0 - 1 1 |
|---|
| 1568 | .names _n4a y$_n4c$raw_nd7<5> y<5> y$_n4a$raw_n112<5> |
|---|
| 1569 | .def 0 |
|---|
| 1570 | 1 1 - 1 |
|---|
| 1571 | 0 - 1 1 |
|---|
| 1572 | .names _n4a y$_n4c$raw_nd7<6> y<6> y$_n4a$raw_n112<6> |
|---|
| 1573 | .def 0 |
|---|
| 1574 | 1 1 - 1 |
|---|
| 1575 | 0 - 1 1 |
|---|
| 1576 | .names _n4a y$_n4c$raw_nd7<7> y<7> y$_n4a$raw_n112<7> |
|---|
| 1577 | .def 0 |
|---|
| 1578 | 1 1 - 1 |
|---|
| 1579 | 0 - 1 1 |
|---|
| 1580 | .names _n4a lsb$_n4c$raw_nd3<0> lsb<0> lsb$_n4a$raw_n11b<0> |
|---|
| 1581 | .def 0 |
|---|
| 1582 | 1 1 - 1 |
|---|
| 1583 | 0 - 1 1 |
|---|
| 1584 | .names _n4a lsb$_n4c$raw_nd3<1> lsb<1> lsb$_n4a$raw_n11b<1> |
|---|
| 1585 | .def 0 |
|---|
| 1586 | 1 1 - 1 |
|---|
| 1587 | 0 - 1 1 |
|---|
| 1588 | .names _n4a lsb$_n4c$raw_nd3<2> lsb<2> lsb$_n4a$raw_n11b<2> |
|---|
| 1589 | .def 0 |
|---|
| 1590 | 1 1 - 1 |
|---|
| 1591 | 0 - 1 1 |
|---|
| 1592 | .names _n4a x$_n4c$raw_ne0<0> x<0> x$_n4a$raw_n11f<0> |
|---|
| 1593 | .def 0 |
|---|
| 1594 | 1 1 - 1 |
|---|
| 1595 | 0 - 1 1 |
|---|
| 1596 | .names _n4a x$_n4c$raw_ne0<1> x<1> x$_n4a$raw_n11f<1> |
|---|
| 1597 | .def 0 |
|---|
| 1598 | 1 1 - 1 |
|---|
| 1599 | 0 - 1 1 |
|---|
| 1600 | .names _n4a x$_n4c$raw_ne0<2> x<2> x$_n4a$raw_n11f<2> |
|---|
| 1601 | .def 0 |
|---|
| 1602 | 1 1 - 1 |
|---|
| 1603 | 0 - 1 1 |
|---|
| 1604 | .names _n4a x$_n4c$raw_ne0<3> x<3> x$_n4a$raw_n11f<3> |
|---|
| 1605 | .def 0 |
|---|
| 1606 | 1 1 - 1 |
|---|
| 1607 | 0 - 1 1 |
|---|
| 1608 | .names _n4a x$_n4c$raw_ne0<4> x<4> x$_n4a$raw_n11f<4> |
|---|
| 1609 | .def 0 |
|---|
| 1610 | 1 1 - 1 |
|---|
| 1611 | 0 - 1 1 |
|---|
| 1612 | .names _n4a x$_n4c$raw_ne0<5> x<5> x$_n4a$raw_n11f<5> |
|---|
| 1613 | .def 0 |
|---|
| 1614 | 1 1 - 1 |
|---|
| 1615 | 0 - 1 1 |
|---|
| 1616 | .names _n4a x$_n4c$raw_ne0<6> x<6> x$_n4a$raw_n11f<6> |
|---|
| 1617 | .def 0 |
|---|
| 1618 | 1 1 - 1 |
|---|
| 1619 | 0 - 1 1 |
|---|
| 1620 | .names _n4a x$_n4c$raw_ne0<7> x<7> x$_n4a$raw_n11f<7> |
|---|
| 1621 | .def 0 |
|---|
| 1622 | 1 1 - 1 |
|---|
| 1623 | 0 - 1 1 |
|---|
| 1624 | .names _n4a o<0> o$done$raw_n103<0> o$_n4a$raw_n128<0> |
|---|
| 1625 | .def 0 |
|---|
| 1626 | 1 1 - 1 |
|---|
| 1627 | 0 - 1 1 |
|---|
| 1628 | .names _n4a o<1> o$done$raw_n103<1> o$_n4a$raw_n128<1> |
|---|
| 1629 | .def 0 |
|---|
| 1630 | 1 1 - 1 |
|---|
| 1631 | 0 - 1 1 |
|---|
| 1632 | .names _n4a o<2> o$done$raw_n103<2> o$_n4a$raw_n128<2> |
|---|
| 1633 | .def 0 |
|---|
| 1634 | 1 1 - 1 |
|---|
| 1635 | 0 - 1 1 |
|---|
| 1636 | .names _n4a o<3> o$done$raw_n103<3> o$_n4a$raw_n128<3> |
|---|
| 1637 | .def 0 |
|---|
| 1638 | 1 1 - 1 |
|---|
| 1639 | 0 - 1 1 |
|---|
| 1640 | .names _n4a o<4> o$done$raw_n103<4> o$_n4a$raw_n128<4> |
|---|
| 1641 | .def 0 |
|---|
| 1642 | 1 1 - 1 |
|---|
| 1643 | 0 - 1 1 |
|---|
| 1644 | .names _n4a o<5> o$done$raw_n103<5> o$_n4a$raw_n128<5> |
|---|
| 1645 | .def 0 |
|---|
| 1646 | 1 1 - 1 |
|---|
| 1647 | 0 - 1 1 |
|---|
| 1648 | .names _n4a o<6> o$done$raw_n103<6> o$_n4a$raw_n128<6> |
|---|
| 1649 | .def 0 |
|---|
| 1650 | 1 1 - 1 |
|---|
| 1651 | 0 - 1 1 |
|---|
| 1652 | .names _n4a o<7> o$done$raw_n103<7> o$_n4a$raw_n128<7> |
|---|
| 1653 | .def 0 |
|---|
| 1654 | 1 1 - 1 |
|---|
| 1655 | 0 - 1 1 |
|---|
| 1656 | # if/else (load ) |
|---|
| 1657 | .names load y$load_n47$true<0> y$_n4a$raw_n112<0> y$load$raw_n134<0> |
|---|
| 1658 | .def 0 |
|---|
| 1659 | 1 1 - 1 |
|---|
| 1660 | 0 - 1 1 |
|---|
| 1661 | .names load y$load_n47$true<1> y$_n4a$raw_n112<1> y$load$raw_n134<1> |
|---|
| 1662 | .def 0 |
|---|
| 1663 | 1 1 - 1 |
|---|
| 1664 | 0 - 1 1 |
|---|
| 1665 | .names load y$load_n47$true<2> y$_n4a$raw_n112<2> y$load$raw_n134<2> |
|---|
| 1666 | .def 0 |
|---|
| 1667 | 1 1 - 1 |
|---|
| 1668 | 0 - 1 1 |
|---|
| 1669 | .names load y$load_n47$true<3> y$_n4a$raw_n112<3> y$load$raw_n134<3> |
|---|
| 1670 | .def 0 |
|---|
| 1671 | 1 1 - 1 |
|---|
| 1672 | 0 - 1 1 |
|---|
| 1673 | .names load y$load_n47$true<4> y$_n4a$raw_n112<4> y$load$raw_n134<4> |
|---|
| 1674 | .def 0 |
|---|
| 1675 | 1 1 - 1 |
|---|
| 1676 | 0 - 1 1 |
|---|
| 1677 | .names load y$load_n47$true<5> y$_n4a$raw_n112<5> y$load$raw_n134<5> |
|---|
| 1678 | .def 0 |
|---|
| 1679 | 1 1 - 1 |
|---|
| 1680 | 0 - 1 1 |
|---|
| 1681 | .names load y$load_n47$true<6> y$_n4a$raw_n112<6> y$load$raw_n134<6> |
|---|
| 1682 | .def 0 |
|---|
| 1683 | 1 1 - 1 |
|---|
| 1684 | 0 - 1 1 |
|---|
| 1685 | .names load y$load_n47$true<7> y$_n4a$raw_n112<7> y$load$raw_n134<7> |
|---|
| 1686 | .def 0 |
|---|
| 1687 | 1 1 - 1 |
|---|
| 1688 | 0 - 1 1 |
|---|
| 1689 | .names load lsb$load_n48$true<0> lsb$_n4a$raw_n11b<0> lsb$load$raw_n13d<0> |
|---|
| 1690 | .def 0 |
|---|
| 1691 | 1 1 - 1 |
|---|
| 1692 | 0 - 1 1 |
|---|
| 1693 | .names load lsb$load_n48$true<1> lsb$_n4a$raw_n11b<1> lsb$load$raw_n13d<1> |
|---|
| 1694 | .def 0 |
|---|
| 1695 | 1 1 - 1 |
|---|
| 1696 | 0 - 1 1 |
|---|
| 1697 | .names load lsb$load_n48$true<2> lsb$_n4a$raw_n11b<2> lsb$load$raw_n13d<2> |
|---|
| 1698 | .def 0 |
|---|
| 1699 | 1 1 - 1 |
|---|
| 1700 | 0 - 1 1 |
|---|
| 1701 | .names load x$load_n46$true<0> x$_n4a$raw_n11f<0> x$load$raw_n141<0> |
|---|
| 1702 | .def 0 |
|---|
| 1703 | 1 1 - 1 |
|---|
| 1704 | 0 - 1 1 |
|---|
| 1705 | .names load x$load_n46$true<1> x$_n4a$raw_n11f<1> x$load$raw_n141<1> |
|---|
| 1706 | .def 0 |
|---|
| 1707 | 1 1 - 1 |
|---|
| 1708 | 0 - 1 1 |
|---|
| 1709 | .names load x$load_n46$true<2> x$_n4a$raw_n11f<2> x$load$raw_n141<2> |
|---|
| 1710 | .def 0 |
|---|
| 1711 | 1 1 - 1 |
|---|
| 1712 | 0 - 1 1 |
|---|
| 1713 | .names load x$load_n46$true<3> x$_n4a$raw_n11f<3> x$load$raw_n141<3> |
|---|
| 1714 | .def 0 |
|---|
| 1715 | 1 1 - 1 |
|---|
| 1716 | 0 - 1 1 |
|---|
| 1717 | .names load x$load_n46$true<4> x$_n4a$raw_n11f<4> x$load$raw_n141<4> |
|---|
| 1718 | .def 0 |
|---|
| 1719 | 1 1 - 1 |
|---|
| 1720 | 0 - 1 1 |
|---|
| 1721 | .names load x$load_n46$true<5> x$_n4a$raw_n11f<5> x$load$raw_n141<5> |
|---|
| 1722 | .def 0 |
|---|
| 1723 | 1 1 - 1 |
|---|
| 1724 | 0 - 1 1 |
|---|
| 1725 | .names load x$load_n46$true<6> x$_n4a$raw_n11f<6> x$load$raw_n141<6> |
|---|
| 1726 | .def 0 |
|---|
| 1727 | 1 1 - 1 |
|---|
| 1728 | 0 - 1 1 |
|---|
| 1729 | .names load x$load_n46$true<7> x$_n4a$raw_n11f<7> x$load$raw_n141<7> |
|---|
| 1730 | .def 0 |
|---|
| 1731 | 1 1 - 1 |
|---|
| 1732 | 0 - 1 1 |
|---|
| 1733 | .names load o<0> o$_n4a$raw_n128<0> o$load$raw_n14e<0> |
|---|
| 1734 | .def 0 |
|---|
| 1735 | 1 1 - 1 |
|---|
| 1736 | 0 - 1 1 |
|---|
| 1737 | .names load o<1> o$_n4a$raw_n128<1> o$load$raw_n14e<1> |
|---|
| 1738 | .def 0 |
|---|
| 1739 | 1 1 - 1 |
|---|
| 1740 | 0 - 1 1 |
|---|
| 1741 | .names load o<2> o$_n4a$raw_n128<2> o$load$raw_n14e<2> |
|---|
| 1742 | .def 0 |
|---|
| 1743 | 1 1 - 1 |
|---|
| 1744 | 0 - 1 1 |
|---|
| 1745 | .names load o<3> o$_n4a$raw_n128<3> o$load$raw_n14e<3> |
|---|
| 1746 | .def 0 |
|---|
| 1747 | 1 1 - 1 |
|---|
| 1748 | 0 - 1 1 |
|---|
| 1749 | .names load o<4> o$_n4a$raw_n128<4> o$load$raw_n14e<4> |
|---|
| 1750 | .def 0 |
|---|
| 1751 | 1 1 - 1 |
|---|
| 1752 | 0 - 1 1 |
|---|
| 1753 | .names load o<5> o$_n4a$raw_n128<5> o$load$raw_n14e<5> |
|---|
| 1754 | .def 0 |
|---|
| 1755 | 1 1 - 1 |
|---|
| 1756 | 0 - 1 1 |
|---|
| 1757 | .names load o<6> o$_n4a$raw_n128<6> o$load$raw_n14e<6> |
|---|
| 1758 | .def 0 |
|---|
| 1759 | 1 1 - 1 |
|---|
| 1760 | 0 - 1 1 |
|---|
| 1761 | .names load o<7> o$_n4a$raw_n128<7> o$load$raw_n14e<7> |
|---|
| 1762 | .def 0 |
|---|
| 1763 | 1 1 - 1 |
|---|
| 1764 | 0 - 1 1 |
|---|
| 1765 | # assign load = start & ~busy |
|---|
| 1766 | .names busy _n15a |
|---|
| 1767 | 0 1 |
|---|
| 1768 | 1 0 |
|---|
| 1769 | # start & ~busy |
|---|
| 1770 | .names start _n15a _n15b |
|---|
| 1771 | .def 0 |
|---|
| 1772 | 1 1 1 |
|---|
| 1773 | .names _n15b load$raw_n159 |
|---|
| 1774 | - =_n15b |
|---|
| 1775 | .names busy _n15c |
|---|
| 1776 | 0 1 |
|---|
| 1777 | 1 0 |
|---|
| 1778 | .names _n15c _n15d |
|---|
| 1779 | - =_n15c |
|---|
| 1780 | .names start _n15e |
|---|
| 1781 | - =start |
|---|
| 1782 | # busy = 1 |
|---|
| 1783 | .names busy$start_n15f$true |
|---|
| 1784 | 1 |
|---|
| 1785 | # if/else (start ) |
|---|
| 1786 | .names start busy$start_n15f$true busy busy$start$raw_n162 |
|---|
| 1787 | .def 0 |
|---|
| 1788 | 1 1 - 1 |
|---|
| 1789 | 0 - 1 1 |
|---|
| 1790 | .names done _n164 |
|---|
| 1791 | - =done |
|---|
| 1792 | # busy = 0 |
|---|
| 1793 | .names busy$done_n165$true |
|---|
| 1794 | 0 |
|---|
| 1795 | # if/else (done ) |
|---|
| 1796 | .names done busy$done_n165$true busy busy$done$raw_n168 |
|---|
| 1797 | .def 0 |
|---|
| 1798 | 1 1 - 1 |
|---|
| 1799 | 0 - 1 1 |
|---|
| 1800 | # if/else (~busy ) |
|---|
| 1801 | .names _n15c busy$start$raw_n162 busy$done$raw_n168 busy$_n15c$raw_n16b |
|---|
| 1802 | .def 0 |
|---|
| 1803 | 1 1 - 1 |
|---|
| 1804 | 0 - 1 1 |
|---|
| 1805 | # conflict arbitrators |
|---|
| 1806 | .names _n45 _n4b _n4c _n58 _n5f _n66 _n78 _n16f |
|---|
| 1807 | .def 0 |
|---|
| 1808 | 1 - - - - - - 1 |
|---|
| 1809 | 0 1 0 0 1 - - 1 |
|---|
| 1810 | 0 1 0 0 1 - - 1 |
|---|
| 1811 | 0 1 0 0 0 1 1 1 |
|---|
| 1812 | 0 1 0 0 0 1 1 1 |
|---|
| 1813 | .names _n16f y$load$raw_n134<0> y$load$raw_n134<1> y$load$raw_n134<2> y$load$raw_n134<3> y$load$raw_n134<4> y$load$raw_n134<5> y$load$raw_n134<6> y$load$raw_n134<7> y<0> y<1> y<2> y<3> y<4> y<5> y<6> y<7> -> _n170<0> _n170<1> _n170<2> _n170<3> _n170<4> _n170<5> _n170<6> _n170<7> |
|---|
| 1814 | 1 - - - - - - - - - - - - - - - - =y$load$raw_n134<0> =y$load$raw_n134<1> =y$load$raw_n134<2> =y$load$raw_n134<3> =y$load$raw_n134<4> =y$load$raw_n134<5> =y$load$raw_n134<6> =y$load$raw_n134<7> |
|---|
| 1815 | 0 - - - - - - - - - - - - - - - - =y<0> =y<1> =y<2> =y<3> =y<4> =y<5> =y<6> =y<7> |
|---|
| 1816 | .names _n45 _n4b _ne9 _n171 |
|---|
| 1817 | .def 0 |
|---|
| 1818 | 0 0 1 1 |
|---|
| 1819 | .names _n171 o$load$raw_n14e<0> o$load$raw_n14e<1> o$load$raw_n14e<2> o$load$raw_n14e<3> o$load$raw_n14e<4> o$load$raw_n14e<5> o$load$raw_n14e<6> o$load$raw_n14e<7> o<0> o<1> o<2> o<3> o<4> o<5> o<6> o<7> -> _n172<0> _n172<1> _n172<2> _n172<3> _n172<4> _n172<5> _n172<6> _n172<7> |
|---|
| 1820 | 1 - - - - - - - - - - - - - - - - =o$load$raw_n14e<0> =o$load$raw_n14e<1> =o$load$raw_n14e<2> =o$load$raw_n14e<3> =o$load$raw_n14e<4> =o$load$raw_n14e<5> =o$load$raw_n14e<6> =o$load$raw_n14e<7> |
|---|
| 1821 | 0 - - - - - - - - - - - - - - - - =o<0> =o<1> =o<2> =o<3> =o<4> =o<5> =o<6> =o<7> |
|---|
| 1822 | .names load$raw_n159 load |
|---|
| 1823 | 0 0 |
|---|
| 1824 | 1 1 |
|---|
| 1825 | .names _n45 _n4b _n4c _n173 |
|---|
| 1826 | .def 0 |
|---|
| 1827 | 1 - - 1 |
|---|
| 1828 | 0 1 1 1 |
|---|
| 1829 | .names _n173 lsb$load$raw_n13d<0> lsb$load$raw_n13d<1> lsb$load$raw_n13d<2> lsb<0> lsb<1> lsb<2> -> _n174<0> _n174<1> _n174<2> |
|---|
| 1830 | 1 - - - - - - =lsb$load$raw_n13d<0> =lsb$load$raw_n13d<1> =lsb$load$raw_n13d<2> |
|---|
| 1831 | 0 - - - - - - =lsb<0> =lsb<1> =lsb<2> |
|---|
| 1832 | .names _n15d _n15e _n164 _n175 |
|---|
| 1833 | .def 0 |
|---|
| 1834 | 1 1 - 1 |
|---|
| 1835 | 0 - 1 1 |
|---|
| 1836 | .names _n175 busy$_n15c$raw_n16b busy _n176 |
|---|
| 1837 | 1 0 - 0 |
|---|
| 1838 | 1 1 - 1 |
|---|
| 1839 | 0 - 0 0 |
|---|
| 1840 | 0 - 1 1 |
|---|
| 1841 | .names xy_lsb$raw_n3<0> xy_lsb<0> |
|---|
| 1842 | - =xy_lsb$raw_n3<0> |
|---|
| 1843 | .names xy_lsb$raw_n0<1> xy_lsb<1> |
|---|
| 1844 | - =xy_lsb$raw_n0<1> |
|---|
| 1845 | .names done$raw_n36 done |
|---|
| 1846 | 0 0 |
|---|
| 1847 | 1 1 |
|---|
| 1848 | .names diff$raw_n6<0> diff<0> |
|---|
| 1849 | - =diff$raw_n6<0> |
|---|
| 1850 | .names diff$raw_n6<1> diff<1> |
|---|
| 1851 | - =diff$raw_n6<1> |
|---|
| 1852 | .names diff$raw_n6<2> diff<2> |
|---|
| 1853 | - =diff$raw_n6<2> |
|---|
| 1854 | .names diff$raw_n6<3> diff<3> |
|---|
| 1855 | - =diff$raw_n6<3> |
|---|
| 1856 | .names diff$raw_n6<4> diff<4> |
|---|
| 1857 | - =diff$raw_n6<4> |
|---|
| 1858 | .names diff$raw_n6<5> diff<5> |
|---|
| 1859 | - =diff$raw_n6<5> |
|---|
| 1860 | .names diff$raw_n6<6> diff<6> |
|---|
| 1861 | - =diff$raw_n6<6> |
|---|
| 1862 | .names diff$raw_n6<7> diff<7> |
|---|
| 1863 | - =diff$raw_n6<7> |
|---|
| 1864 | .names _n45 _n4b _n4c _n58 _n5f _n66 _n78 _n177 |
|---|
| 1865 | .def 0 |
|---|
| 1866 | 1 - - - - - - 1 |
|---|
| 1867 | 0 1 0 1 - - - 1 |
|---|
| 1868 | 0 1 0 1 - - - 1 |
|---|
| 1869 | 0 1 0 0 0 1 0 1 |
|---|
| 1870 | 0 1 0 0 0 1 0 1 |
|---|
| 1871 | .names _n177 x$load$raw_n141<0> x$load$raw_n141<1> x$load$raw_n141<2> x$load$raw_n141<3> x$load$raw_n141<4> x$load$raw_n141<5> x$load$raw_n141<6> x$load$raw_n141<7> x<0> x<1> x<2> x<3> x<4> x<5> x<6> x<7> -> _n178<0> _n178<1> _n178<2> _n178<3> _n178<4> _n178<5> _n178<6> _n178<7> |
|---|
| 1872 | 1 - - - - - - - - - - - - - - - - =x$load$raw_n141<0> =x$load$raw_n141<1> =x$load$raw_n141<2> =x$load$raw_n141<3> =x$load$raw_n141<4> =x$load$raw_n141<5> =x$load$raw_n141<6> =x$load$raw_n141<7> |
|---|
| 1873 | 0 - - - - - - - - - - - - - - - - =x<0> =x<1> =x<2> =x<3> =x<4> =x<5> =x<6> =x<7> |
|---|
| 1874 | # non-blocking assignments |
|---|
| 1875 | # latches |
|---|
| 1876 | .r y$raw_n33<0> y<0> |
|---|
| 1877 | .def 0 |
|---|
| 1878 | 1 1 |
|---|
| 1879 | .r y$raw_n33<1> y<1> |
|---|
| 1880 | .def 0 |
|---|
| 1881 | 1 1 |
|---|
| 1882 | .r y$raw_n33<2> y<2> |
|---|
| 1883 | .def 0 |
|---|
| 1884 | 1 1 |
|---|
| 1885 | .r y$raw_n33<3> y<3> |
|---|
| 1886 | .def 0 |
|---|
| 1887 | 1 1 |
|---|
| 1888 | .r y$raw_n33<4> y<4> |
|---|
| 1889 | .def 0 |
|---|
| 1890 | 1 1 |
|---|
| 1891 | .r y$raw_n33<5> y<5> |
|---|
| 1892 | .def 0 |
|---|
| 1893 | 1 1 |
|---|
| 1894 | .r y$raw_n33<6> y<6> |
|---|
| 1895 | .def 0 |
|---|
| 1896 | 1 1 |
|---|
| 1897 | .r y$raw_n33<7> y<7> |
|---|
| 1898 | .def 0 |
|---|
| 1899 | 1 1 |
|---|
| 1900 | .latch _n170<0> y<0> |
|---|
| 1901 | .latch _n170<1> y<1> |
|---|
| 1902 | .latch _n170<2> y<2> |
|---|
| 1903 | .latch _n170<3> y<3> |
|---|
| 1904 | .latch _n170<4> y<4> |
|---|
| 1905 | .latch _n170<5> y<5> |
|---|
| 1906 | .latch _n170<6> y<6> |
|---|
| 1907 | .latch _n170<7> y<7> |
|---|
| 1908 | .r o$raw_n34<0> o<0> |
|---|
| 1909 | .def 0 |
|---|
| 1910 | 1 1 |
|---|
| 1911 | .r o$raw_n34<1> o<1> |
|---|
| 1912 | .def 0 |
|---|
| 1913 | 1 1 |
|---|
| 1914 | .r o$raw_n34<2> o<2> |
|---|
| 1915 | .def 0 |
|---|
| 1916 | 1 1 |
|---|
| 1917 | .r o$raw_n34<3> o<3> |
|---|
| 1918 | .def 0 |
|---|
| 1919 | 1 1 |
|---|
| 1920 | .r o$raw_n34<4> o<4> |
|---|
| 1921 | .def 0 |
|---|
| 1922 | 1 1 |
|---|
| 1923 | .r o$raw_n34<5> o<5> |
|---|
| 1924 | .def 0 |
|---|
| 1925 | 1 1 |
|---|
| 1926 | .r o$raw_n34<6> o<6> |
|---|
| 1927 | .def 0 |
|---|
| 1928 | 1 1 |
|---|
| 1929 | .r o$raw_n34<7> o<7> |
|---|
| 1930 | .def 0 |
|---|
| 1931 | 1 1 |
|---|
| 1932 | .latch _n172<0> o<0> |
|---|
| 1933 | .latch _n172<1> o<1> |
|---|
| 1934 | .latch _n172<2> o<2> |
|---|
| 1935 | .latch _n172<3> o<3> |
|---|
| 1936 | .latch _n172<4> o<4> |
|---|
| 1937 | .latch _n172<5> o<5> |
|---|
| 1938 | .latch _n172<6> o<6> |
|---|
| 1939 | .latch _n172<7> o<7> |
|---|
| 1940 | .r busy$raw_n31 busy |
|---|
| 1941 | 0 0 |
|---|
| 1942 | 1 1 |
|---|
| 1943 | .latch _n176 busy |
|---|
| 1944 | .r lsb$raw_n35<0> lsb<0> |
|---|
| 1945 | .def 0 |
|---|
| 1946 | 1 1 |
|---|
| 1947 | .r lsb$raw_n35<1> lsb<1> |
|---|
| 1948 | .def 0 |
|---|
| 1949 | 1 1 |
|---|
| 1950 | .r lsb$raw_n35<2> lsb<2> |
|---|
| 1951 | .def 0 |
|---|
| 1952 | 1 1 |
|---|
| 1953 | .latch _n174<0> lsb<0> |
|---|
| 1954 | .latch _n174<1> lsb<1> |
|---|
| 1955 | .latch _n174<2> lsb<2> |
|---|
| 1956 | .r x$raw_n32<0> x<0> |
|---|
| 1957 | .def 0 |
|---|
| 1958 | 1 1 |
|---|
| 1959 | .r x$raw_n32<1> x<1> |
|---|
| 1960 | .def 0 |
|---|
| 1961 | 1 1 |
|---|
| 1962 | .r x$raw_n32<2> x<2> |
|---|
| 1963 | .def 0 |
|---|
| 1964 | 1 1 |
|---|
| 1965 | .r x$raw_n32<3> x<3> |
|---|
| 1966 | .def 0 |
|---|
| 1967 | 1 1 |
|---|
| 1968 | .r x$raw_n32<4> x<4> |
|---|
| 1969 | .def 0 |
|---|
| 1970 | 1 1 |
|---|
| 1971 | .r x$raw_n32<5> x<5> |
|---|
| 1972 | .def 0 |
|---|
| 1973 | 1 1 |
|---|
| 1974 | .r x$raw_n32<6> x<6> |
|---|
| 1975 | .def 0 |
|---|
| 1976 | 1 1 |
|---|
| 1977 | .r x$raw_n32<7> x<7> |
|---|
| 1978 | .def 0 |
|---|
| 1979 | 1 1 |
|---|
| 1980 | .latch _n178<0> x<0> |
|---|
| 1981 | .latch _n178<1> x<1> |
|---|
| 1982 | .latch _n178<2> x<2> |
|---|
| 1983 | .latch _n178<3> x<3> |
|---|
| 1984 | .latch _n178<4> x<4> |
|---|
| 1985 | .latch _n178<5> x<5> |
|---|
| 1986 | .latch _n178<6> x<6> |
|---|
| 1987 | .latch _n178<7> x<7> |
|---|
| 1988 | # quasi-continuous assignment |
|---|
| 1989 | .end |
|---|
| 1990 | .model select |
|---|
| 1991 | # I/O ports |
|---|
| 1992 | .inputs z<0> z<1> z<2> z<3> z<4> z<5> z<6> z<7> |
|---|
| 1993 | .inputs lsb<0> lsb<1> lsb<2> |
|---|
| 1994 | .outputs select<0> |
|---|
| 1995 | .names _n17a<0> |
|---|
| 1996 | 0 |
|---|
| 1997 | .names _n17a<1> |
|---|
| 1998 | 0 |
|---|
| 1999 | .names _n17a<2> |
|---|
| 2000 | 0 |
|---|
| 2001 | # lsb == 'b000 |
|---|
| 2002 | .names lsb<0> _n17a<0> _n17b<0> |
|---|
| 2003 | .def 0 |
|---|
| 2004 | 0 1 1 |
|---|
| 2005 | 1 0 1 |
|---|
| 2006 | .names lsb<1> _n17a<1> _n17b<1> |
|---|
| 2007 | .def 0 |
|---|
| 2008 | 0 1 1 |
|---|
| 2009 | 1 0 1 |
|---|
| 2010 | .names lsb<2> _n17a<2> _n17b<2> |
|---|
| 2011 | .def 0 |
|---|
| 2012 | 0 1 1 |
|---|
| 2013 | 1 0 1 |
|---|
| 2014 | .names _n17b<0> _n17b<1> _n17b<2> _n17c |
|---|
| 2015 | .def 1 |
|---|
| 2016 | 0 0 0 0 |
|---|
| 2017 | .names _n17c _n179 |
|---|
| 2018 | 0 1 |
|---|
| 2019 | 1 0 |
|---|
| 2020 | .names _n179 _n17d |
|---|
| 2021 | - =_n179 |
|---|
| 2022 | # select = z [0] |
|---|
| 2023 | .names z<0> select$_n179_n17e$true<0> |
|---|
| 2024 | - =z<0> |
|---|
| 2025 | .names _n180<0> |
|---|
| 2026 | 1 |
|---|
| 2027 | .names _n180<1> |
|---|
| 2028 | 0 |
|---|
| 2029 | .names _n180<2> |
|---|
| 2030 | 0 |
|---|
| 2031 | # lsb == 'b001 |
|---|
| 2032 | .names lsb<0> _n180<0> _n181<0> |
|---|
| 2033 | .def 0 |
|---|
| 2034 | 0 1 1 |
|---|
| 2035 | 1 0 1 |
|---|
| 2036 | .names lsb<1> _n180<1> _n181<1> |
|---|
| 2037 | .def 0 |
|---|
| 2038 | 0 1 1 |
|---|
| 2039 | 1 0 1 |
|---|
| 2040 | .names lsb<2> _n180<2> _n181<2> |
|---|
| 2041 | .def 0 |
|---|
| 2042 | 0 1 1 |
|---|
| 2043 | 1 0 1 |
|---|
| 2044 | .names _n181<0> _n181<1> _n181<2> _n182 |
|---|
| 2045 | .def 1 |
|---|
| 2046 | 0 0 0 0 |
|---|
| 2047 | .names _n182 _n17f |
|---|
| 2048 | 0 1 |
|---|
| 2049 | 1 0 |
|---|
| 2050 | .names _n17f _n183 |
|---|
| 2051 | - =_n17f |
|---|
| 2052 | # select = z [1] |
|---|
| 2053 | .names z<1> select$_n17f_n184$true<0> |
|---|
| 2054 | - =z<1> |
|---|
| 2055 | .names _n186<0> |
|---|
| 2056 | 0 |
|---|
| 2057 | .names _n186<1> |
|---|
| 2058 | 1 |
|---|
| 2059 | .names _n186<2> |
|---|
| 2060 | 0 |
|---|
| 2061 | # lsb == 'b010 |
|---|
| 2062 | .names lsb<0> _n186<0> _n187<0> |
|---|
| 2063 | .def 0 |
|---|
| 2064 | 0 1 1 |
|---|
| 2065 | 1 0 1 |
|---|
| 2066 | .names lsb<1> _n186<1> _n187<1> |
|---|
| 2067 | .def 0 |
|---|
| 2068 | 0 1 1 |
|---|
| 2069 | 1 0 1 |
|---|
| 2070 | .names lsb<2> _n186<2> _n187<2> |
|---|
| 2071 | .def 0 |
|---|
| 2072 | 0 1 1 |
|---|
| 2073 | 1 0 1 |
|---|
| 2074 | .names _n187<0> _n187<1> _n187<2> _n188 |
|---|
| 2075 | .def 1 |
|---|
| 2076 | 0 0 0 0 |
|---|
| 2077 | .names _n188 _n185 |
|---|
| 2078 | 0 1 |
|---|
| 2079 | 1 0 |
|---|
| 2080 | .names _n185 _n189 |
|---|
| 2081 | - =_n185 |
|---|
| 2082 | # select = z [2] |
|---|
| 2083 | .names z<2> select$_n185_n18a$true<0> |
|---|
| 2084 | - =z<2> |
|---|
| 2085 | .names _n18c<0> |
|---|
| 2086 | 1 |
|---|
| 2087 | .names _n18c<1> |
|---|
| 2088 | 1 |
|---|
| 2089 | .names _n18c<2> |
|---|
| 2090 | 0 |
|---|
| 2091 | # lsb == 'b011 |
|---|
| 2092 | .names lsb<0> _n18c<0> _n18d<0> |
|---|
| 2093 | .def 0 |
|---|
| 2094 | 0 1 1 |
|---|
| 2095 | 1 0 1 |
|---|
| 2096 | .names lsb<1> _n18c<1> _n18d<1> |
|---|
| 2097 | .def 0 |
|---|
| 2098 | 0 1 1 |
|---|
| 2099 | 1 0 1 |
|---|
| 2100 | .names lsb<2> _n18c<2> _n18d<2> |
|---|
| 2101 | .def 0 |
|---|
| 2102 | 0 1 1 |
|---|
| 2103 | 1 0 1 |
|---|
| 2104 | .names _n18d<0> _n18d<1> _n18d<2> _n18e |
|---|
| 2105 | .def 1 |
|---|
| 2106 | 0 0 0 0 |
|---|
| 2107 | .names _n18e _n18b |
|---|
| 2108 | 0 1 |
|---|
| 2109 | 1 0 |
|---|
| 2110 | .names _n18b _n18f |
|---|
| 2111 | - =_n18b |
|---|
| 2112 | # select = z [3] |
|---|
| 2113 | .names z<3> select$_n18b_n190$true<0> |
|---|
| 2114 | - =z<3> |
|---|
| 2115 | .names _n192<0> |
|---|
| 2116 | 0 |
|---|
| 2117 | .names _n192<1> |
|---|
| 2118 | 0 |
|---|
| 2119 | .names _n192<2> |
|---|
| 2120 | 1 |
|---|
| 2121 | # lsb == 'b100 |
|---|
| 2122 | .names lsb<0> _n192<0> _n193<0> |
|---|
| 2123 | .def 0 |
|---|
| 2124 | 0 1 1 |
|---|
| 2125 | 1 0 1 |
|---|
| 2126 | .names lsb<1> _n192<1> _n193<1> |
|---|
| 2127 | .def 0 |
|---|
| 2128 | 0 1 1 |
|---|
| 2129 | 1 0 1 |
|---|
| 2130 | .names lsb<2> _n192<2> _n193<2> |
|---|
| 2131 | .def 0 |
|---|
| 2132 | 0 1 1 |
|---|
| 2133 | 1 0 1 |
|---|
| 2134 | .names _n193<0> _n193<1> _n193<2> _n194 |
|---|
| 2135 | .def 1 |
|---|
| 2136 | 0 0 0 0 |
|---|
| 2137 | .names _n194 _n191 |
|---|
| 2138 | 0 1 |
|---|
| 2139 | 1 0 |
|---|
| 2140 | .names _n191 _n195 |
|---|
| 2141 | - =_n191 |
|---|
| 2142 | # select = z [4] |
|---|
| 2143 | .names z<4> select$_n191_n196$true<0> |
|---|
| 2144 | - =z<4> |
|---|
| 2145 | .names _n198<0> |
|---|
| 2146 | 1 |
|---|
| 2147 | .names _n198<1> |
|---|
| 2148 | 0 |
|---|
| 2149 | .names _n198<2> |
|---|
| 2150 | 1 |
|---|
| 2151 | # lsb == 'b101 |
|---|
| 2152 | .names lsb<0> _n198<0> _n199<0> |
|---|
| 2153 | .def 0 |
|---|
| 2154 | 0 1 1 |
|---|
| 2155 | 1 0 1 |
|---|
| 2156 | .names lsb<1> _n198<1> _n199<1> |
|---|
| 2157 | .def 0 |
|---|
| 2158 | 0 1 1 |
|---|
| 2159 | 1 0 1 |
|---|
| 2160 | .names lsb<2> _n198<2> _n199<2> |
|---|
| 2161 | .def 0 |
|---|
| 2162 | 0 1 1 |
|---|
| 2163 | 1 0 1 |
|---|
| 2164 | .names _n199<0> _n199<1> _n199<2> _n19a |
|---|
| 2165 | .def 1 |
|---|
| 2166 | 0 0 0 0 |
|---|
| 2167 | .names _n19a _n197 |
|---|
| 2168 | 0 1 |
|---|
| 2169 | 1 0 |
|---|
| 2170 | .names _n197 _n19b |
|---|
| 2171 | - =_n197 |
|---|
| 2172 | # select = z [5] |
|---|
| 2173 | .names z<5> select$_n197_n19c$true<0> |
|---|
| 2174 | - =z<5> |
|---|
| 2175 | .names _n19e<0> |
|---|
| 2176 | 0 |
|---|
| 2177 | .names _n19e<1> |
|---|
| 2178 | 1 |
|---|
| 2179 | .names _n19e<2> |
|---|
| 2180 | 1 |
|---|
| 2181 | # lsb == 'b110 |
|---|
| 2182 | .names lsb<0> _n19e<0> _n19f<0> |
|---|
| 2183 | .def 0 |
|---|
| 2184 | 0 1 1 |
|---|
| 2185 | 1 0 1 |
|---|
| 2186 | .names lsb<1> _n19e<1> _n19f<1> |
|---|
| 2187 | .def 0 |
|---|
| 2188 | 0 1 1 |
|---|
| 2189 | 1 0 1 |
|---|
| 2190 | .names lsb<2> _n19e<2> _n19f<2> |
|---|
| 2191 | .def 0 |
|---|
| 2192 | 0 1 1 |
|---|
| 2193 | 1 0 1 |
|---|
| 2194 | .names _n19f<0> _n19f<1> _n19f<2> _n1a0 |
|---|
| 2195 | .def 1 |
|---|
| 2196 | 0 0 0 0 |
|---|
| 2197 | .names _n1a0 _n19d |
|---|
| 2198 | 0 1 |
|---|
| 2199 | 1 0 |
|---|
| 2200 | .names _n19d _n1a1 |
|---|
| 2201 | - =_n19d |
|---|
| 2202 | # select = z [6] |
|---|
| 2203 | .names z<6> select$_n19d_n1a2$true<0> |
|---|
| 2204 | - =z<6> |
|---|
| 2205 | # select = z [7] |
|---|
| 2206 | .names z<7> select$_n19d_n1a3$false<0> |
|---|
| 2207 | - =z<7> |
|---|
| 2208 | # if/else (lsb == 'b110) |
|---|
| 2209 | .names _n19d select$_n19d_n1a2$true<0> select$_n19d_n1a3$false<0> select$_n19d$raw_n1a5<0> |
|---|
| 2210 | .def 0 |
|---|
| 2211 | 1 1 - 1 |
|---|
| 2212 | 0 - 1 1 |
|---|
| 2213 | # if/else (lsb == 'b101) |
|---|
| 2214 | .names _n197 select$_n197_n19c$true<0> select$_n19d$raw_n1a5<0> select$_n197$raw_n1aa<0> |
|---|
| 2215 | .def 0 |
|---|
| 2216 | 1 1 - 1 |
|---|
| 2217 | 0 - 1 1 |
|---|
| 2218 | # if/else (lsb == 'b100) |
|---|
| 2219 | .names _n191 select$_n191_n196$true<0> select$_n197$raw_n1aa<0> select$_n191$raw_n1af<0> |
|---|
| 2220 | .def 0 |
|---|
| 2221 | 1 1 - 1 |
|---|
| 2222 | 0 - 1 1 |
|---|
| 2223 | # if/else (lsb == 'b011) |
|---|
| 2224 | .names _n18b select$_n18b_n190$true<0> select$_n191$raw_n1af<0> select$_n18b$raw_n1b4<0> |
|---|
| 2225 | .def 0 |
|---|
| 2226 | 1 1 - 1 |
|---|
| 2227 | 0 - 1 1 |
|---|
| 2228 | # if/else (lsb == 'b010) |
|---|
| 2229 | .names _n185 select$_n185_n18a$true<0> select$_n18b$raw_n1b4<0> select$_n185$raw_n1b9<0> |
|---|
| 2230 | .def 0 |
|---|
| 2231 | 1 1 - 1 |
|---|
| 2232 | 0 - 1 1 |
|---|
| 2233 | # if/else (lsb == 'b001) |
|---|
| 2234 | .names _n17f select$_n17f_n184$true<0> select$_n185$raw_n1b9<0> select$_n17f$raw_n1be<0> |
|---|
| 2235 | .def 0 |
|---|
| 2236 | 1 1 - 1 |
|---|
| 2237 | 0 - 1 1 |
|---|
| 2238 | # if/else (lsb == 'b000) |
|---|
| 2239 | .names _n179 select$_n179_n17e$true<0> select$_n17f$raw_n1be<0> select$_n179$raw_n1c3<0> |
|---|
| 2240 | .def 0 |
|---|
| 2241 | 1 1 - 1 |
|---|
| 2242 | 0 - 1 1 |
|---|
| 2243 | # conflict arbitrators |
|---|
| 2244 | .names select$_n179$raw_n1c3<0> select<0> |
|---|
| 2245 | - =select$_n179$raw_n1c3<0> |
|---|
| 2246 | .end |
|---|
| 2247 | |
|---|
| 2248 | |
|---|
![(please configure the [header_logo] section in trac.ini)](/trac/verif_tools/chrome/site/your_project_logo.png){kind=logo}
