| 1 | # /sda4/tools/Vis1.2/vl2mv/i686/bin/vl2mv fpmpy.v |
|---|
| 2 | # version: 0.2 |
|---|
| 3 | # date: 20:12:08 02/25/97 (MST) |
|---|
| 4 | .model fvFPMult |
|---|
| 5 | # I/O ports |
|---|
| 6 | .inputs i<0> i<1> i<2> i<3> i<4> i<5> i<6> i<7> |
|---|
| 7 | .inputs j<0> j<1> j<2> j<3> j<4> j<5> j<6> j<7> |
|---|
| 8 | .subckt IEEEfpMult FPM start=start x<0>=x<0> x<1>=x<1> x<2>=x<2> x<3>=x<3> x<4>=x<4> x<5>=x<5> x<6>=x<6> x<7>=x<7> y<0>=y<0> y<1>=y<1> y<2>=y<2> y<3>=y<3> y<4>=y<4> y<5>=y<5> y<6>=y<6> y<7>=y<7> z<0>=z<0> z<1>=z<1> z<2>=z<2> z<3>=z<3> z<4>=z<4> z<5>=z<5> z<6>=z<6> z<7>=z<7> |
|---|
| 9 | # x = i |
|---|
| 10 | .names i<0> x$raw_n0<0> |
|---|
| 11 | - =i<0> |
|---|
| 12 | .names i<1> x$raw_n0<1> |
|---|
| 13 | - =i<1> |
|---|
| 14 | .names i<2> x$raw_n0<2> |
|---|
| 15 | - =i<2> |
|---|
| 16 | .names i<3> x$raw_n0<3> |
|---|
| 17 | - =i<3> |
|---|
| 18 | .names i<4> x$raw_n0<4> |
|---|
| 19 | - =i<4> |
|---|
| 20 | .names i<5> x$raw_n0<5> |
|---|
| 21 | - =i<5> |
|---|
| 22 | .names i<6> x$raw_n0<6> |
|---|
| 23 | - =i<6> |
|---|
| 24 | .names i<7> x$raw_n0<7> |
|---|
| 25 | - =i<7> |
|---|
| 26 | # y = j |
|---|
| 27 | .names j<0> y$raw_n1<0> |
|---|
| 28 | - =j<0> |
|---|
| 29 | .names j<1> y$raw_n1<1> |
|---|
| 30 | - =j<1> |
|---|
| 31 | .names j<2> y$raw_n1<2> |
|---|
| 32 | - =j<2> |
|---|
| 33 | .names j<3> y$raw_n1<3> |
|---|
| 34 | - =j<3> |
|---|
| 35 | .names j<4> y$raw_n1<4> |
|---|
| 36 | - =j<4> |
|---|
| 37 | .names j<5> y$raw_n1<5> |
|---|
| 38 | - =j<5> |
|---|
| 39 | .names j<6> y$raw_n1<6> |
|---|
| 40 | - =j<6> |
|---|
| 41 | .names j<7> y$raw_n1<7> |
|---|
| 42 | - =j<7> |
|---|
| 43 | # conflict arbitrators |
|---|
| 44 | .names _n2 |
|---|
| 45 | .def 0 |
|---|
| 46 | 1 |
|---|
| 47 | .names _n2 y$raw_n1<0> y$raw_n1<1> y$raw_n1<2> y$raw_n1<3> y$raw_n1<4> y$raw_n1<5> y$raw_n1<6> y$raw_n1<7> -> _n3<0> _n3<1> _n3<2> _n3<3> _n3<4> _n3<5> _n3<6> _n3<7> |
|---|
| 48 | .def 0 0 0 0 0 0 0 0 |
|---|
| 49 | 1 - - - - - - - - =y$raw_n1<0> =y$raw_n1<1> =y$raw_n1<2> =y$raw_n1<3> =y$raw_n1<4> =y$raw_n1<5> =y$raw_n1<6> =y$raw_n1<7> |
|---|
| 50 | .names start _n4 |
|---|
| 51 | 0 0 |
|---|
| 52 | 1 1 |
|---|
| 53 | .names _n5 |
|---|
| 54 | .def 0 |
|---|
| 55 | 1 |
|---|
| 56 | .names _n5 x$raw_n0<0> x$raw_n0<1> x$raw_n0<2> x$raw_n0<3> x$raw_n0<4> x$raw_n0<5> x$raw_n0<6> x$raw_n0<7> -> _n6<0> _n6<1> _n6<2> _n6<3> _n6<4> _n6<5> _n6<6> _n6<7> |
|---|
| 57 | .def 0 0 0 0 0 0 0 0 |
|---|
| 58 | 1 - - - - - - - - =x$raw_n0<0> =x$raw_n0<1> =x$raw_n0<2> =x$raw_n0<3> =x$raw_n0<4> =x$raw_n0<5> =x$raw_n0<6> =x$raw_n0<7> |
|---|
| 59 | # non-blocking assignments |
|---|
| 60 | # latches |
|---|
| 61 | .r y<0> |
|---|
| 62 | - |
|---|
| 63 | .r y<1> |
|---|
| 64 | - |
|---|
| 65 | .r y<2> |
|---|
| 66 | - |
|---|
| 67 | .r y<3> |
|---|
| 68 | - |
|---|
| 69 | .r y<4> |
|---|
| 70 | - |
|---|
| 71 | .r y<5> |
|---|
| 72 | - |
|---|
| 73 | .r y<6> |
|---|
| 74 | - |
|---|
| 75 | .r y<7> |
|---|
| 76 | - |
|---|
| 77 | .latch _n3<0> y<0> |
|---|
| 78 | .latch _n3<1> y<1> |
|---|
| 79 | .latch _n3<2> y<2> |
|---|
| 80 | .latch _n3<3> y<3> |
|---|
| 81 | .latch _n3<4> y<4> |
|---|
| 82 | .latch _n3<5> y<5> |
|---|
| 83 | .latch _n3<6> y<6> |
|---|
| 84 | .latch _n3<7> y<7> |
|---|
| 85 | .r start |
|---|
| 86 | 0 |
|---|
| 87 | 1 |
|---|
| 88 | .latch _n4 start |
|---|
| 89 | .r x<0> |
|---|
| 90 | - |
|---|
| 91 | .r x<1> |
|---|
| 92 | - |
|---|
| 93 | .r x<2> |
|---|
| 94 | - |
|---|
| 95 | .r x<3> |
|---|
| 96 | - |
|---|
| 97 | .r x<4> |
|---|
| 98 | - |
|---|
| 99 | .r x<5> |
|---|
| 100 | - |
|---|
| 101 | .r x<6> |
|---|
| 102 | - |
|---|
| 103 | .r x<7> |
|---|
| 104 | - |
|---|
| 105 | .latch _n6<0> x<0> |
|---|
| 106 | .latch _n6<1> x<1> |
|---|
| 107 | .latch _n6<2> x<2> |
|---|
| 108 | .latch _n6<3> x<3> |
|---|
| 109 | .latch _n6<4> x<4> |
|---|
| 110 | .latch _n6<5> x<5> |
|---|
| 111 | .latch _n6<6> x<6> |
|---|
| 112 | .latch _n6<7> x<7> |
|---|
| 113 | # quasi-continuous assignment |
|---|
| 114 | .end |
|---|
| 115 | |
|---|
| 116 | |
|---|
| 117 | .model IEEEfpMult |
|---|
| 118 | # I/O ports |
|---|
| 119 | .inputs y<0> y<1> y<2> y<3> y<4> y<5> y<6> y<7> |
|---|
| 120 | .outputs z<0> z<1> z<2> z<3> z<4> z<5> z<6> z<7> |
|---|
| 121 | .inputs start |
|---|
| 122 | .inputs x<0> x<1> x<2> x<3> x<4> x<5> x<6> x<7> |
|---|
| 123 | .subckt intMult im x<0>=xMant<0> x<1>=xMant<1> x<2>=xMant<2> x<3>=xMant<3> y<0>=yMant<0> y<1>=yMant<1> y<2>=yMant<2> y<3>=yMant<3> z<0>=combZ<0> z<1>=combZ<1> z<2>=combZ<2> z<3>=combZ<3> z<4>=combZ<4> z<5>=combZ<5> z<6>=combZ<6> z<7>=combZ<7> |
|---|
| 124 | # xSign = 0 |
|---|
| 125 | .names xSign$raw_n7 |
|---|
| 126 | 0 |
|---|
| 127 | # xExp = 0 |
|---|
| 128 | .names xExp$raw_n8<0> |
|---|
| 129 | 0 |
|---|
| 130 | .names xExp$raw_n8<1> |
|---|
| 131 | 0 |
|---|
| 132 | .names xExp$raw_n8<2> |
|---|
| 133 | 0 |
|---|
| 134 | .names xExp$raw_n8<3> |
|---|
| 135 | 0 |
|---|
| 136 | # xMant = 0 |
|---|
| 137 | .names xMant$raw_n9<0> |
|---|
| 138 | 0 |
|---|
| 139 | .names xMant$raw_n9<1> |
|---|
| 140 | 0 |
|---|
| 141 | .names xMant$raw_n9<2> |
|---|
| 142 | 0 |
|---|
| 143 | .names xMant$raw_n9<3> |
|---|
| 144 | 0 |
|---|
| 145 | # ySign = 0 |
|---|
| 146 | .names ySign$raw_na |
|---|
| 147 | 0 |
|---|
| 148 | # yExp = 0 |
|---|
| 149 | .names yExp$raw_nb<0> |
|---|
| 150 | 0 |
|---|
| 151 | .names yExp$raw_nb<1> |
|---|
| 152 | 0 |
|---|
| 153 | .names yExp$raw_nb<2> |
|---|
| 154 | 0 |
|---|
| 155 | .names yExp$raw_nb<3> |
|---|
| 156 | 0 |
|---|
| 157 | # yMant = 0 |
|---|
| 158 | .names yMant$raw_nc<0> |
|---|
| 159 | 0 |
|---|
| 160 | .names yMant$raw_nc<1> |
|---|
| 161 | 0 |
|---|
| 162 | .names yMant$raw_nc<2> |
|---|
| 163 | 0 |
|---|
| 164 | .names yMant$raw_nc<3> |
|---|
| 165 | 0 |
|---|
| 166 | # signProd = 0 |
|---|
| 167 | .names signProd$raw_nd |
|---|
| 168 | 0 |
|---|
| 169 | # expProd = 0 |
|---|
| 170 | .names expProd$raw_ne<0> |
|---|
| 171 | 0 |
|---|
| 172 | .names expProd$raw_ne<1> |
|---|
| 173 | 0 |
|---|
| 174 | .names expProd$raw_ne<2> |
|---|
| 175 | 0 |
|---|
| 176 | .names expProd$raw_ne<3> |
|---|
| 177 | 0 |
|---|
| 178 | .names expProd$raw_ne<4> |
|---|
| 179 | 0 |
|---|
| 180 | .names expProd$raw_ne<5> |
|---|
| 181 | 0 |
|---|
| 182 | # mantProd = 0 |
|---|
| 183 | .names mantProd$raw_nf<0> |
|---|
| 184 | 0 |
|---|
| 185 | .names mantProd$raw_nf<1> |
|---|
| 186 | 0 |
|---|
| 187 | .names mantProd$raw_nf<2> |
|---|
| 188 | 0 |
|---|
| 189 | .names mantProd$raw_nf<3> |
|---|
| 190 | 0 |
|---|
| 191 | .names mantProd$raw_nf<4> |
|---|
| 192 | 0 |
|---|
| 193 | .names mantProd$raw_nf<5> |
|---|
| 194 | 0 |
|---|
| 195 | .names mantProd$raw_nf<6> |
|---|
| 196 | 0 |
|---|
| 197 | .names mantProd$raw_nf<7> |
|---|
| 198 | 0 |
|---|
| 199 | # z = 0 |
|---|
| 200 | .names z$raw_n10<0> |
|---|
| 201 | 0 |
|---|
| 202 | .names z$raw_n10<1> |
|---|
| 203 | 0 |
|---|
| 204 | .names z$raw_n10<2> |
|---|
| 205 | 0 |
|---|
| 206 | .names z$raw_n10<3> |
|---|
| 207 | 0 |
|---|
| 208 | .names z$raw_n10<4> |
|---|
| 209 | 0 |
|---|
| 210 | .names z$raw_n10<5> |
|---|
| 211 | 0 |
|---|
| 212 | .names z$raw_n10<6> |
|---|
| 213 | 0 |
|---|
| 214 | .names z$raw_n10<7> |
|---|
| 215 | 0 |
|---|
| 216 | # state = 0 |
|---|
| 217 | .names state$raw_n11<0> |
|---|
| 218 | 0 |
|---|
| 219 | .names state$raw_n11<1> |
|---|
| 220 | 0 |
|---|
| 221 | # non-blocking assignments for initial |
|---|
| 222 | .names _n14<0> |
|---|
| 223 | 0 |
|---|
| 224 | .names _n14<1> |
|---|
| 225 | 0 |
|---|
| 226 | .names state<0> _n14<0> _n15<0> |
|---|
| 227 | .def 0 |
|---|
| 228 | 0 1 1 |
|---|
| 229 | 1 0 1 |
|---|
| 230 | .names state<1> _n14<1> _n15<1> |
|---|
| 231 | .def 0 |
|---|
| 232 | 0 1 1 |
|---|
| 233 | 1 0 1 |
|---|
| 234 | .names _n15<0> _n15<1> _n16 |
|---|
| 235 | .def 1 |
|---|
| 236 | 0 0 0 |
|---|
| 237 | .names _n16 _n13 |
|---|
| 238 | 0 1 |
|---|
| 239 | 1 0 |
|---|
| 240 | .names _n13 _n12 |
|---|
| 241 | 1 1 |
|---|
| 242 | 0 0 |
|---|
| 243 | .names start _n17 |
|---|
| 244 | - =start |
|---|
| 245 | # xSign = x [3 + 4] |
|---|
| 246 | .names x<7> xSign$start_n18$true |
|---|
| 247 | - =x<7> |
|---|
| 248 | # xExp = x [3 + 4 - 1 : 3] |
|---|
| 249 | .names x<3> xExp$start_n19$true<0> |
|---|
| 250 | - =x<3> |
|---|
| 251 | .names x<4> xExp$start_n19$true<1> |
|---|
| 252 | - =x<4> |
|---|
| 253 | .names x<5> xExp$start_n19$true<2> |
|---|
| 254 | - =x<5> |
|---|
| 255 | .names x<6> xExp$start_n19$true<3> |
|---|
| 256 | - =x<6> |
|---|
| 257 | # xMant = {'b1, x [3 - 1 : 0]} |
|---|
| 258 | .names x<0> _n1b<0> |
|---|
| 259 | - =x<0> |
|---|
| 260 | .names x<1> _n1b<1> |
|---|
| 261 | - =x<1> |
|---|
| 262 | .names x<2> _n1b<2> |
|---|
| 263 | - =x<2> |
|---|
| 264 | .names _n1c |
|---|
| 265 | 1 |
|---|
| 266 | .names _n1c _n1b<3> |
|---|
| 267 | - =_n1c |
|---|
| 268 | .names _n1d |
|---|
| 269 | 0 |
|---|
| 270 | .names _n1b<0> xMant$start_n1a$true<0> |
|---|
| 271 | - =_n1b<0> |
|---|
| 272 | .names _n1b<1> xMant$start_n1a$true<1> |
|---|
| 273 | - =_n1b<1> |
|---|
| 274 | .names _n1b<2> xMant$start_n1a$true<2> |
|---|
| 275 | - =_n1b<2> |
|---|
| 276 | .names _n1b<3> xMant$start_n1a$true<3> |
|---|
| 277 | - =_n1b<3> |
|---|
| 278 | # ySign = y [3 + 4] |
|---|
| 279 | .names y<7> ySign$start_n1e$true |
|---|
| 280 | - =y<7> |
|---|
| 281 | # yExp = y [3 + 4 - 1 : 3] |
|---|
| 282 | .names y<3> yExp$start_n1f$true<0> |
|---|
| 283 | - =y<3> |
|---|
| 284 | .names y<4> yExp$start_n1f$true<1> |
|---|
| 285 | - =y<4> |
|---|
| 286 | .names y<5> yExp$start_n1f$true<2> |
|---|
| 287 | - =y<5> |
|---|
| 288 | .names y<6> yExp$start_n1f$true<3> |
|---|
| 289 | - =y<6> |
|---|
| 290 | # yMant = {'b1, y [3 - 1 : 0]} |
|---|
| 291 | .names y<0> _n21<0> |
|---|
| 292 | - =y<0> |
|---|
| 293 | .names y<1> _n21<1> |
|---|
| 294 | - =y<1> |
|---|
| 295 | .names y<2> _n21<2> |
|---|
| 296 | - =y<2> |
|---|
| 297 | .names _n22 |
|---|
| 298 | 1 |
|---|
| 299 | .names _n22 _n21<3> |
|---|
| 300 | - =_n22 |
|---|
| 301 | .names _n23 |
|---|
| 302 | 0 |
|---|
| 303 | .names _n21<0> yMant$start_n20$true<0> |
|---|
| 304 | - =_n21<0> |
|---|
| 305 | .names _n21<1> yMant$start_n20$true<1> |
|---|
| 306 | - =_n21<1> |
|---|
| 307 | .names _n21<2> yMant$start_n20$true<2> |
|---|
| 308 | - =_n21<2> |
|---|
| 309 | .names _n21<3> yMant$start_n20$true<3> |
|---|
| 310 | - =_n21<3> |
|---|
| 311 | # state = 1 |
|---|
| 312 | .names state$start_n24$true<0> |
|---|
| 313 | 1 |
|---|
| 314 | .names state$start_n24$true<1> |
|---|
| 315 | 0 |
|---|
| 316 | # if/else (start ) |
|---|
| 317 | .names yMant$start_n20$true<0> yMant<0> start yMant$start$raw_n33<0> |
|---|
| 318 | 0 - 1 0 |
|---|
| 319 | 1 - 1 1 |
|---|
| 320 | - 0 0 0 |
|---|
| 321 | - 1 0 1 |
|---|
| 322 | .names yMant$start_n20$true<1> yMant<1> start yMant$start$raw_n33<1> |
|---|
| 323 | 0 - 1 0 |
|---|
| 324 | 1 - 1 1 |
|---|
| 325 | - 0 0 0 |
|---|
| 326 | - 1 0 1 |
|---|
| 327 | .names yMant$start_n20$true<2> yMant<2> start yMant$start$raw_n33<2> |
|---|
| 328 | 0 - 1 0 |
|---|
| 329 | 1 - 1 1 |
|---|
| 330 | - 0 0 0 |
|---|
| 331 | - 1 0 1 |
|---|
| 332 | .names yMant$start_n20$true<3> yMant<3> start yMant$start$raw_n33<3> |
|---|
| 333 | 0 - 1 0 |
|---|
| 334 | 1 - 1 1 |
|---|
| 335 | - 0 0 0 |
|---|
| 336 | - 1 0 1 |
|---|
| 337 | .names yExp$start_n1f$true<0> yExp<0> start yExp$start$raw_n38<0> |
|---|
| 338 | 0 - 1 0 |
|---|
| 339 | 1 - 1 1 |
|---|
| 340 | - 0 0 0 |
|---|
| 341 | - 1 0 1 |
|---|
| 342 | .names yExp$start_n1f$true<1> yExp<1> start yExp$start$raw_n38<1> |
|---|
| 343 | 0 - 1 0 |
|---|
| 344 | 1 - 1 1 |
|---|
| 345 | - 0 0 0 |
|---|
| 346 | - 1 0 1 |
|---|
| 347 | .names yExp$start_n1f$true<2> yExp<2> start yExp$start$raw_n38<2> |
|---|
| 348 | 0 - 1 0 |
|---|
| 349 | 1 - 1 1 |
|---|
| 350 | - 0 0 0 |
|---|
| 351 | - 1 0 1 |
|---|
| 352 | .names yExp$start_n1f$true<3> yExp<3> start yExp$start$raw_n38<3> |
|---|
| 353 | 0 - 1 0 |
|---|
| 354 | 1 - 1 1 |
|---|
| 355 | - 0 0 0 |
|---|
| 356 | - 1 0 1 |
|---|
| 357 | .names ySign$start_n1e$true ySign start ySign$start$raw_n3d |
|---|
| 358 | 0 - 1 0 |
|---|
| 359 | 1 - 1 1 |
|---|
| 360 | - 0 0 0 |
|---|
| 361 | - 1 0 1 |
|---|
| 362 | .names xExp$start_n19$true<0> xExp<0> start xExp$start$raw_n3f<0> |
|---|
| 363 | 0 - 1 0 |
|---|
| 364 | 1 - 1 1 |
|---|
| 365 | - 0 0 0 |
|---|
| 366 | - 1 0 1 |
|---|
| 367 | .names xExp$start_n19$true<1> xExp<1> start xExp$start$raw_n3f<1> |
|---|
| 368 | 0 - 1 0 |
|---|
| 369 | 1 - 1 1 |
|---|
| 370 | - 0 0 0 |
|---|
| 371 | - 1 0 1 |
|---|
| 372 | .names xExp$start_n19$true<2> xExp<2> start xExp$start$raw_n3f<2> |
|---|
| 373 | 0 - 1 0 |
|---|
| 374 | 1 - 1 1 |
|---|
| 375 | - 0 0 0 |
|---|
| 376 | - 1 0 1 |
|---|
| 377 | .names xExp$start_n19$true<3> xExp<3> start xExp$start$raw_n3f<3> |
|---|
| 378 | 0 - 1 0 |
|---|
| 379 | 1 - 1 1 |
|---|
| 380 | - 0 0 0 |
|---|
| 381 | - 1 0 1 |
|---|
| 382 | .names xSign$start_n18$true xSign start xSign$start$raw_n44 |
|---|
| 383 | 0 - 1 0 |
|---|
| 384 | 1 - 1 1 |
|---|
| 385 | - 0 0 0 |
|---|
| 386 | - 1 0 1 |
|---|
| 387 | .names state$start_n24$true<0> state<0> start state$start$raw_n46<0> |
|---|
| 388 | 0 - 1 0 |
|---|
| 389 | 1 - 1 1 |
|---|
| 390 | - 0 0 0 |
|---|
| 391 | - 1 0 1 |
|---|
| 392 | .names state$start_n24$true<1> state<1> start state$start$raw_n46<1> |
|---|
| 393 | 0 - 1 0 |
|---|
| 394 | 1 - 1 1 |
|---|
| 395 | - 0 0 0 |
|---|
| 396 | - 1 0 1 |
|---|
| 397 | .names xMant$start_n1a$true<0> xMant<0> start xMant$start$raw_n49<0> |
|---|
| 398 | 0 - 1 0 |
|---|
| 399 | 1 - 1 1 |
|---|
| 400 | - 0 0 0 |
|---|
| 401 | - 1 0 1 |
|---|
| 402 | .names xMant$start_n1a$true<1> xMant<1> start xMant$start$raw_n49<1> |
|---|
| 403 | 0 - 1 0 |
|---|
| 404 | 1 - 1 1 |
|---|
| 405 | - 0 0 0 |
|---|
| 406 | - 1 0 1 |
|---|
| 407 | .names xMant$start_n1a$true<2> xMant<2> start xMant$start$raw_n49<2> |
|---|
| 408 | 0 - 1 0 |
|---|
| 409 | 1 - 1 1 |
|---|
| 410 | - 0 0 0 |
|---|
| 411 | - 1 0 1 |
|---|
| 412 | .names xMant$start_n1a$true<3> xMant<3> start xMant$start$raw_n49<3> |
|---|
| 413 | 0 - 1 0 |
|---|
| 414 | 1 - 1 1 |
|---|
| 415 | - 0 0 0 |
|---|
| 416 | - 1 0 1 |
|---|
| 417 | .names _n50<0> |
|---|
| 418 | 1 |
|---|
| 419 | .names _n50<1> |
|---|
| 420 | 0 |
|---|
| 421 | .names state<0> _n50<0> _n51<0> |
|---|
| 422 | .def 0 |
|---|
| 423 | 0 1 1 |
|---|
| 424 | 1 0 1 |
|---|
| 425 | .names state<1> _n50<1> _n51<1> |
|---|
| 426 | .def 0 |
|---|
| 427 | 0 1 1 |
|---|
| 428 | 1 0 1 |
|---|
| 429 | .names _n51<0> _n51<1> _n52 |
|---|
| 430 | .def 1 |
|---|
| 431 | 0 0 0 |
|---|
| 432 | .names _n52 _n4f |
|---|
| 433 | 0 1 |
|---|
| 434 | 1 0 |
|---|
| 435 | .names _n4f _n4e |
|---|
| 436 | 1 1 |
|---|
| 437 | 0 0 |
|---|
| 438 | # mantProd = combZ |
|---|
| 439 | .names combZ<0> mantProd$_n4e_n53$true<0> |
|---|
| 440 | - =combZ<0> |
|---|
| 441 | .names combZ<1> mantProd$_n4e_n53$true<1> |
|---|
| 442 | - =combZ<1> |
|---|
| 443 | .names combZ<2> mantProd$_n4e_n53$true<2> |
|---|
| 444 | - =combZ<2> |
|---|
| 445 | .names combZ<3> mantProd$_n4e_n53$true<3> |
|---|
| 446 | - =combZ<3> |
|---|
| 447 | .names combZ<4> mantProd$_n4e_n53$true<4> |
|---|
| 448 | - =combZ<4> |
|---|
| 449 | .names combZ<5> mantProd$_n4e_n53$true<5> |
|---|
| 450 | - =combZ<5> |
|---|
| 451 | .names combZ<6> mantProd$_n4e_n53$true<6> |
|---|
| 452 | - =combZ<6> |
|---|
| 453 | .names combZ<7> mantProd$_n4e_n53$true<7> |
|---|
| 454 | - =combZ<7> |
|---|
| 455 | .subckt Zero _n55 Zero<0>=_n54<0> aExp<0>=xExp<0> aExp<1>=xExp<1> aExp<2>=xExp<2> aExp<3>=xExp<3> aMant<0>=xMant<0> aMant<1>=xMant<1> aMant<2>=xMant<2> |
|---|
| 456 | .subckt Zero _n57 Zero<0>=_n56<0> aExp<0>=yExp<0> aExp<1>=yExp<1> aExp<2>=yExp<2> aExp<3>=yExp<3> aMant<0>=yMant<0> aMant<1>=yMant<1> aMant<2>=yMant<2> |
|---|
| 457 | # Zero (xExp ,xMant ) || Zero (yExp ,yMant ) |
|---|
| 458 | .names _n54<0> _n56<0> _n58<0> |
|---|
| 459 | .def 1 |
|---|
| 460 | 0 0 0 |
|---|
| 461 | .names _n58<0> _n5a |
|---|
| 462 | .def 1 |
|---|
| 463 | 0 0 |
|---|
| 464 | .names _n5a _n59 |
|---|
| 465 | - =_n5a |
|---|
| 466 | # expProd = 0 |
|---|
| 467 | .names expProd$_n58_n5b$true<0> |
|---|
| 468 | 0 |
|---|
| 469 | .names expProd$_n58_n5b$true<1> |
|---|
| 470 | 0 |
|---|
| 471 | .names expProd$_n58_n5b$true<2> |
|---|
| 472 | 0 |
|---|
| 473 | .names expProd$_n58_n5b$true<3> |
|---|
| 474 | 0 |
|---|
| 475 | .names expProd$_n58_n5b$true<4> |
|---|
| 476 | 0 |
|---|
| 477 | .names expProd$_n58_n5b$true<5> |
|---|
| 478 | 0 |
|---|
| 479 | # expProd = xExp + yExp - {'b1} |
|---|
| 480 | # xExp + yExp |
|---|
| 481 | .names _n5e |
|---|
| 482 | 0 |
|---|
| 483 | .names xExp<0> yExp<0> _n5e _n5d<0> |
|---|
| 484 | .def 0 |
|---|
| 485 | 0 0 1 1 |
|---|
| 486 | 0 1 0 1 |
|---|
| 487 | 1 0 0 1 |
|---|
| 488 | 1 1 1 1 |
|---|
| 489 | # carry/borrow |
|---|
| 490 | .names _n60 |
|---|
| 491 | 0 |
|---|
| 492 | .names xExp<0> yExp<0> _n60 _n5f |
|---|
| 493 | .def 0 |
|---|
| 494 | 0 1 1 1 |
|---|
| 495 | 1 0 1 1 |
|---|
| 496 | 1 1 0 1 |
|---|
| 497 | 1 1 1 1 |
|---|
| 498 | .names xExp<1> yExp<1> _n5f _n5d<1> |
|---|
| 499 | .def 0 |
|---|
| 500 | 0 0 1 1 |
|---|
| 501 | 0 1 0 1 |
|---|
| 502 | 1 0 0 1 |
|---|
| 503 | 1 1 1 1 |
|---|
| 504 | # carry/borrow |
|---|
| 505 | .names xExp<1> yExp<1> _n5f _n61 |
|---|
| 506 | .def 0 |
|---|
| 507 | 0 1 1 1 |
|---|
| 508 | 1 0 1 1 |
|---|
| 509 | 1 1 0 1 |
|---|
| 510 | 1 1 1 1 |
|---|
| 511 | .names xExp<2> yExp<2> _n61 _n5d<2> |
|---|
| 512 | .def 0 |
|---|
| 513 | 0 0 1 1 |
|---|
| 514 | 0 1 0 1 |
|---|
| 515 | 1 0 0 1 |
|---|
| 516 | 1 1 1 1 |
|---|
| 517 | # carry/borrow |
|---|
| 518 | .names xExp<2> yExp<2> _n61 _n62 |
|---|
| 519 | .def 0 |
|---|
| 520 | 0 1 1 1 |
|---|
| 521 | 1 0 1 1 |
|---|
| 522 | 1 1 0 1 |
|---|
| 523 | 1 1 1 1 |
|---|
| 524 | .names xExp<3> yExp<3> _n62 _n5d<3> |
|---|
| 525 | .def 0 |
|---|
| 526 | 0 0 1 1 |
|---|
| 527 | 0 1 0 1 |
|---|
| 528 | 1 0 0 1 |
|---|
| 529 | 1 1 1 1 |
|---|
| 530 | # carry/borrow |
|---|
| 531 | .names xExp<3> yExp<3> _n62 _n63 |
|---|
| 532 | .def 0 |
|---|
| 533 | 0 1 1 1 |
|---|
| 534 | 1 0 1 1 |
|---|
| 535 | 1 1 0 1 |
|---|
| 536 | 1 1 1 1 |
|---|
| 537 | .names _n63 _n5d<4> |
|---|
| 538 | 1 1 |
|---|
| 539 | 0 0 |
|---|
| 540 | .names _n65 |
|---|
| 541 | 1 |
|---|
| 542 | .names _n65 _n64<0> |
|---|
| 543 | - =_n65 |
|---|
| 544 | .names _n66 |
|---|
| 545 | 0 |
|---|
| 546 | .names _n67 |
|---|
| 547 | 1 |
|---|
| 548 | .names _n67 _n64<1> |
|---|
| 549 | - =_n67 |
|---|
| 550 | .names _n68 |
|---|
| 551 | 0 |
|---|
| 552 | .names _n69 |
|---|
| 553 | 1 |
|---|
| 554 | .names _n69 _n64<2> |
|---|
| 555 | - =_n69 |
|---|
| 556 | .names _n6a |
|---|
| 557 | 0 |
|---|
| 558 | # xExp + yExp - {'b1} |
|---|
| 559 | .names _n6c |
|---|
| 560 | 0 |
|---|
| 561 | .names _n5d<0> _n64<0> _n6c _n6b<0> |
|---|
| 562 | .def 0 |
|---|
| 563 | 0 0 1 1 |
|---|
| 564 | 0 1 0 1 |
|---|
| 565 | 1 0 0 1 |
|---|
| 566 | 1 1 1 1 |
|---|
| 567 | # carry/borrow |
|---|
| 568 | .names _n6e |
|---|
| 569 | 0 |
|---|
| 570 | .names _n5d<0> _n64<0> _n6e _n6d |
|---|
| 571 | .def 0 |
|---|
| 572 | 0 0 1 1 |
|---|
| 573 | 0 1 0 1 |
|---|
| 574 | 0 1 1 1 |
|---|
| 575 | 1 1 1 1 |
|---|
| 576 | .names _n5d<1> _n64<1> _n6d _n6b<1> |
|---|
| 577 | .def 0 |
|---|
| 578 | 0 0 1 1 |
|---|
| 579 | 0 1 0 1 |
|---|
| 580 | 1 0 0 1 |
|---|
| 581 | 1 1 1 1 |
|---|
| 582 | # carry/borrow |
|---|
| 583 | .names _n5d<1> _n64<1> _n6d _n6f |
|---|
| 584 | .def 0 |
|---|
| 585 | 0 0 1 1 |
|---|
| 586 | 0 1 0 1 |
|---|
| 587 | 0 1 1 1 |
|---|
| 588 | 1 1 1 1 |
|---|
| 589 | .names _n5d<2> _n64<2> _n6f _n6b<2> |
|---|
| 590 | .def 0 |
|---|
| 591 | 0 0 1 1 |
|---|
| 592 | 0 1 0 1 |
|---|
| 593 | 1 0 0 1 |
|---|
| 594 | 1 1 1 1 |
|---|
| 595 | # carry/borrow |
|---|
| 596 | .names _n5d<2> _n64<2> _n6f _n70 |
|---|
| 597 | .def 0 |
|---|
| 598 | 0 0 1 1 |
|---|
| 599 | 0 1 0 1 |
|---|
| 600 | 0 1 1 1 |
|---|
| 601 | 1 1 1 1 |
|---|
| 602 | .names _n70 _n6b<3> |
|---|
| 603 | 1 1 |
|---|
| 604 | 0 0 |
|---|
| 605 | .names _n6b<4> |
|---|
| 606 | 0 |
|---|
| 607 | .names _n6b<5> |
|---|
| 608 | 0 |
|---|
| 609 | .names _n6b<0> expProd$_n58_n5c$false<0> |
|---|
| 610 | - =_n6b<0> |
|---|
| 611 | .names _n6b<1> expProd$_n58_n5c$false<1> |
|---|
| 612 | - =_n6b<1> |
|---|
| 613 | .names _n6b<2> expProd$_n58_n5c$false<2> |
|---|
| 614 | - =_n6b<2> |
|---|
| 615 | .names _n6b<3> expProd$_n58_n5c$false<3> |
|---|
| 616 | - =_n6b<3> |
|---|
| 617 | .names _n6b<4> expProd$_n58_n5c$false<4> |
|---|
| 618 | - =_n6b<4> |
|---|
| 619 | .names _n6b<5> expProd$_n58_n5c$false<5> |
|---|
| 620 | - =_n6b<5> |
|---|
| 621 | # if/else (Zero (xExp ,xMant ) || Zero (yExp ,yMant ) ) |
|---|
| 622 | .names _n58<0> _n75 |
|---|
| 623 | .def 1 |
|---|
| 624 | 0 0 |
|---|
| 625 | .names expProd$_n58_n5b$true<0> expProd$_n58_n5c$false<0> _n75 expProd$_n58$raw_n74<0> |
|---|
| 626 | 0 - 1 0 |
|---|
| 627 | 1 - 1 1 |
|---|
| 628 | - 0 0 0 |
|---|
| 629 | - 1 0 1 |
|---|
| 630 | .names expProd$_n58_n5b$true<1> expProd$_n58_n5c$false<1> _n75 expProd$_n58$raw_n74<1> |
|---|
| 631 | 0 - 1 0 |
|---|
| 632 | 1 - 1 1 |
|---|
| 633 | - 0 0 0 |
|---|
| 634 | - 1 0 1 |
|---|
| 635 | .names expProd$_n58_n5b$true<2> expProd$_n58_n5c$false<2> _n75 expProd$_n58$raw_n74<2> |
|---|
| 636 | 0 - 1 0 |
|---|
| 637 | 1 - 1 1 |
|---|
| 638 | - 0 0 0 |
|---|
| 639 | - 1 0 1 |
|---|
| 640 | .names expProd$_n58_n5b$true<3> expProd$_n58_n5c$false<3> _n75 expProd$_n58$raw_n74<3> |
|---|
| 641 | 0 - 1 0 |
|---|
| 642 | 1 - 1 1 |
|---|
| 643 | - 0 0 0 |
|---|
| 644 | - 1 0 1 |
|---|
| 645 | .names expProd$_n58_n5b$true<4> expProd$_n58_n5c$false<4> _n75 expProd$_n58$raw_n74<4> |
|---|
| 646 | 0 - 1 0 |
|---|
| 647 | 1 - 1 1 |
|---|
| 648 | - 0 0 0 |
|---|
| 649 | - 1 0 1 |
|---|
| 650 | .names expProd$_n58_n5b$true<5> expProd$_n58_n5c$false<5> _n75 expProd$_n58$raw_n74<5> |
|---|
| 651 | 0 - 1 0 |
|---|
| 652 | 1 - 1 1 |
|---|
| 653 | - 0 0 0 |
|---|
| 654 | - 1 0 1 |
|---|
| 655 | # signProd = xSign ^ ySign |
|---|
| 656 | # xSign ^ ySign |
|---|
| 657 | .names xSign ySign _n81 |
|---|
| 658 | .def 0 |
|---|
| 659 | 0 1 1 |
|---|
| 660 | 1 0 1 |
|---|
| 661 | .names _n81 signProd$_n4e_n80$true |
|---|
| 662 | - =_n81 |
|---|
| 663 | # state = 2 |
|---|
| 664 | .names state$_n4e_n82$true<0> |
|---|
| 665 | 0 |
|---|
| 666 | .names state$_n4e_n82$true<1> |
|---|
| 667 | 1 |
|---|
| 668 | .names _n85<0> |
|---|
| 669 | 0 |
|---|
| 670 | .names _n85<1> |
|---|
| 671 | 1 |
|---|
| 672 | .names state<0> _n85<0> _n86<0> |
|---|
| 673 | .def 0 |
|---|
| 674 | 0 1 1 |
|---|
| 675 | 1 0 1 |
|---|
| 676 | .names state<1> _n85<1> _n86<1> |
|---|
| 677 | .def 0 |
|---|
| 678 | 0 1 1 |
|---|
| 679 | 1 0 1 |
|---|
| 680 | .names _n86<0> _n86<1> _n87 |
|---|
| 681 | .def 1 |
|---|
| 682 | 0 0 0 |
|---|
| 683 | .names _n87 _n84 |
|---|
| 684 | 0 1 |
|---|
| 685 | 1 0 |
|---|
| 686 | .names _n84 _n83 |
|---|
| 687 | 1 1 |
|---|
| 688 | 0 0 |
|---|
| 689 | .subckt NaN _n89 NaN<0>=_n88<0> aExp<0>=xExp<0> aExp<1>=xExp<1> aExp<2>=xExp<2> aExp<3>=xExp<3> aMant<0>=xMant<0> aMant<1>=xMant<1> aMant<2>=xMant<2> |
|---|
| 690 | .subckt NaN _n8b NaN<0>=_n8a<0> aExp<0>=yExp<0> aExp<1>=yExp<1> aExp<2>=yExp<2> aExp<3>=yExp<3> aMant<0>=yMant<0> aMant<1>=yMant<1> aMant<2>=yMant<2> |
|---|
| 691 | # NaN (xExp ,xMant ) || NaN (yExp ,yMant ) |
|---|
| 692 | .names _n88<0> _n8a<0> _n8c<0> |
|---|
| 693 | .def 1 |
|---|
| 694 | 0 0 0 |
|---|
| 695 | .subckt Infinity _n8e Infinity<0>=_n8d<0> aExp<0>=xExp<0> aExp<1>=xExp<1> aExp<2>=xExp<2> aExp<3>=xExp<3> aMant<0>=xMant<0> aMant<1>=xMant<1> aMant<2>=xMant<2> |
|---|
| 696 | .subckt Zero _n90 Zero<0>=_n8f<0> aExp<0>=yExp<0> aExp<1>=yExp<1> aExp<2>=yExp<2> aExp<3>=yExp<3> aMant<0>=yMant<0> aMant<1>=yMant<1> aMant<2>=yMant<2> |
|---|
| 697 | # Infinity (xExp ,xMant ) && Zero (yExp ,yMant ) |
|---|
| 698 | .names _n8d<0> _n8f<0> _n91<0> |
|---|
| 699 | .def 0 |
|---|
| 700 | 1 1 1 |
|---|
| 701 | # NaN (xExp ,xMant ) || NaN (yExp ,yMant ) || Infinity (xExp ,xMant ) && Zero (yExp ,yMant ) |
|---|
| 702 | .names _n8c<0> _n91<0> _n92<0> |
|---|
| 703 | .def 1 |
|---|
| 704 | 0 0 0 |
|---|
| 705 | .subckt Zero _n94 Zero<0>=_n93<0> aExp<0>=xExp<0> aExp<1>=xExp<1> aExp<2>=xExp<2> aExp<3>=xExp<3> aMant<0>=xMant<0> aMant<1>=xMant<1> aMant<2>=xMant<2> |
|---|
| 706 | .subckt Infinity _n96 Infinity<0>=_n95<0> aExp<0>=yExp<0> aExp<1>=yExp<1> aExp<2>=yExp<2> aExp<3>=yExp<3> aMant<0>=yMant<0> aMant<1>=yMant<1> aMant<2>=yMant<2> |
|---|
| 707 | # Zero (xExp ,xMant ) && Infinity (yExp ,yMant ) |
|---|
| 708 | .names _n93<0> _n95<0> _n97<0> |
|---|
| 709 | .def 0 |
|---|
| 710 | 1 1 1 |
|---|
| 711 | # NaN (xExp ,xMant ) || NaN (yExp ,yMant ) || Infinity (xExp ,xMant ) && Zero (yExp ,yMant ) || Zero (xExp ,xMant ) && Infinity (yExp ,yMant ) |
|---|
| 712 | .names _n92<0> _n97<0> _n98<0> |
|---|
| 713 | .def 1 |
|---|
| 714 | 0 0 0 |
|---|
| 715 | .names _n98<0> _n9a |
|---|
| 716 | .def 1 |
|---|
| 717 | 0 0 |
|---|
| 718 | .names _n9a _n99 |
|---|
| 719 | - =_n9a |
|---|
| 720 | # z = {'b0, {'b1}, {'b1}} |
|---|
| 721 | .names _n9e |
|---|
| 722 | 1 |
|---|
| 723 | .names _n9e _n9d<0> |
|---|
| 724 | - =_n9e |
|---|
| 725 | .names _n9f |
|---|
| 726 | 0 |
|---|
| 727 | .names _na0 |
|---|
| 728 | 1 |
|---|
| 729 | .names _na0 _n9d<1> |
|---|
| 730 | - =_na0 |
|---|
| 731 | .names _na1 |
|---|
| 732 | 0 |
|---|
| 733 | .names _na2 |
|---|
| 734 | 1 |
|---|
| 735 | .names _na2 _n9d<2> |
|---|
| 736 | - =_na2 |
|---|
| 737 | .names _na3 |
|---|
| 738 | 0 |
|---|
| 739 | .names _n9d<0> _n9c<0> |
|---|
| 740 | - =_n9d<0> |
|---|
| 741 | .names _n9d<1> _n9c<1> |
|---|
| 742 | - =_n9d<1> |
|---|
| 743 | .names _n9d<2> _n9c<2> |
|---|
| 744 | - =_n9d<2> |
|---|
| 745 | .names _na5 |
|---|
| 746 | 1 |
|---|
| 747 | .names _na5 _na4<0> |
|---|
| 748 | - =_na5 |
|---|
| 749 | .names _na6 |
|---|
| 750 | 0 |
|---|
| 751 | .names _na7 |
|---|
| 752 | 1 |
|---|
| 753 | .names _na7 _na4<1> |
|---|
| 754 | - =_na7 |
|---|
| 755 | .names _na8 |
|---|
| 756 | 0 |
|---|
| 757 | .names _na9 |
|---|
| 758 | 1 |
|---|
| 759 | .names _na9 _na4<2> |
|---|
| 760 | - =_na9 |
|---|
| 761 | .names _naa |
|---|
| 762 | 0 |
|---|
| 763 | .names _nab |
|---|
| 764 | 1 |
|---|
| 765 | .names _nab _na4<3> |
|---|
| 766 | - =_nab |
|---|
| 767 | .names _nac |
|---|
| 768 | 0 |
|---|
| 769 | .names _na4<0> _n9c<3> |
|---|
| 770 | - =_na4<0> |
|---|
| 771 | .names _na4<1> _n9c<4> |
|---|
| 772 | - =_na4<1> |
|---|
| 773 | .names _na4<2> _n9c<5> |
|---|
| 774 | - =_na4<2> |
|---|
| 775 | .names _na4<3> _n9c<6> |
|---|
| 776 | - =_na4<3> |
|---|
| 777 | .names _nad |
|---|
| 778 | 0 |
|---|
| 779 | .names _nad _n9c<7> |
|---|
| 780 | - =_nad |
|---|
| 781 | .names _nae |
|---|
| 782 | 0 |
|---|
| 783 | .names _n9c<0> z$_n98_n9b$true<0> |
|---|
| 784 | - =_n9c<0> |
|---|
| 785 | .names _n9c<1> z$_n98_n9b$true<1> |
|---|
| 786 | - =_n9c<1> |
|---|
| 787 | .names _n9c<2> z$_n98_n9b$true<2> |
|---|
| 788 | - =_n9c<2> |
|---|
| 789 | .names _n9c<3> z$_n98_n9b$true<3> |
|---|
| 790 | - =_n9c<3> |
|---|
| 791 | .names _n9c<4> z$_n98_n9b$true<4> |
|---|
| 792 | - =_n9c<4> |
|---|
| 793 | .names _n9c<5> z$_n98_n9b$true<5> |
|---|
| 794 | - =_n9c<5> |
|---|
| 795 | .names _n9c<6> z$_n98_n9b$true<6> |
|---|
| 796 | - =_n9c<6> |
|---|
| 797 | .names _n9c<7> z$_n98_n9b$true<7> |
|---|
| 798 | - =_n9c<7> |
|---|
| 799 | .subckt Infinity _nb0 Infinity<0>=_naf<0> aExp<0>=xExp<0> aExp<1>=xExp<1> aExp<2>=xExp<2> aExp<3>=xExp<3> aMant<0>=xMant<0> aMant<1>=xMant<1> aMant<2>=xMant<2> |
|---|
| 800 | .subckt Infinity _nb2 Infinity<0>=_nb1<0> aExp<0>=yExp<0> aExp<1>=yExp<1> aExp<2>=yExp<2> aExp<3>=yExp<3> aMant<0>=yMant<0> aMant<1>=yMant<1> aMant<2>=yMant<2> |
|---|
| 801 | # Infinity (xExp ,xMant ) || Infinity (yExp ,yMant ) |
|---|
| 802 | .names _naf<0> _nb1<0> _nb3<0> |
|---|
| 803 | .def 1 |
|---|
| 804 | 0 0 0 |
|---|
| 805 | .names _nb3<0> _nb5 |
|---|
| 806 | .def 1 |
|---|
| 807 | 0 0 |
|---|
| 808 | .names _nb5 _nb4 |
|---|
| 809 | - =_nb5 |
|---|
| 810 | # z = {signProd , {'b1}, {'b0}} |
|---|
| 811 | .names _nb9 |
|---|
| 812 | 0 |
|---|
| 813 | .names _nb9 _nb8<0> |
|---|
| 814 | - =_nb9 |
|---|
| 815 | .names _nba |
|---|
| 816 | 0 |
|---|
| 817 | .names _nbb |
|---|
| 818 | 0 |
|---|
| 819 | .names _nbb _nb8<1> |
|---|
| 820 | - =_nbb |
|---|
| 821 | .names _nbc |
|---|
| 822 | 0 |
|---|
| 823 | .names _nbd |
|---|
| 824 | 0 |
|---|
| 825 | .names _nbd _nb8<2> |
|---|
| 826 | - =_nbd |
|---|
| 827 | .names _nbe |
|---|
| 828 | 0 |
|---|
| 829 | .names _nb8<0> _nb7<0> |
|---|
| 830 | - =_nb8<0> |
|---|
| 831 | .names _nb8<1> _nb7<1> |
|---|
| 832 | - =_nb8<1> |
|---|
| 833 | .names _nb8<2> _nb7<2> |
|---|
| 834 | - =_nb8<2> |
|---|
| 835 | .names _nc0 |
|---|
| 836 | 1 |
|---|
| 837 | .names _nc0 _nbf<0> |
|---|
| 838 | - =_nc0 |
|---|
| 839 | .names _nc1 |
|---|
| 840 | 0 |
|---|
| 841 | .names _nc2 |
|---|
| 842 | 1 |
|---|
| 843 | .names _nc2 _nbf<1> |
|---|
| 844 | - =_nc2 |
|---|
| 845 | .names _nc3 |
|---|
| 846 | 0 |
|---|
| 847 | .names _nc4 |
|---|
| 848 | 1 |
|---|
| 849 | .names _nc4 _nbf<2> |
|---|
| 850 | - =_nc4 |
|---|
| 851 | .names _nc5 |
|---|
| 852 | 0 |
|---|
| 853 | .names _nc6 |
|---|
| 854 | 1 |
|---|
| 855 | .names _nc6 _nbf<3> |
|---|
| 856 | - =_nc6 |
|---|
| 857 | .names _nc7 |
|---|
| 858 | 0 |
|---|
| 859 | .names _nbf<0> _nb7<3> |
|---|
| 860 | - =_nbf<0> |
|---|
| 861 | .names _nbf<1> _nb7<4> |
|---|
| 862 | - =_nbf<1> |
|---|
| 863 | .names _nbf<2> _nb7<5> |
|---|
| 864 | - =_nbf<2> |
|---|
| 865 | .names _nbf<3> _nb7<6> |
|---|
| 866 | - =_nbf<3> |
|---|
| 867 | .names signProd _nb7<7> |
|---|
| 868 | - =signProd |
|---|
| 869 | .names _nc8 |
|---|
| 870 | 0 |
|---|
| 871 | .names _nb7<0> z$_nb3_nb6$true<0> |
|---|
| 872 | - =_nb7<0> |
|---|
| 873 | .names _nb7<1> z$_nb3_nb6$true<1> |
|---|
| 874 | - =_nb7<1> |
|---|
| 875 | .names _nb7<2> z$_nb3_nb6$true<2> |
|---|
| 876 | - =_nb7<2> |
|---|
| 877 | .names _nb7<3> z$_nb3_nb6$true<3> |
|---|
| 878 | - =_nb7<3> |
|---|
| 879 | .names _nb7<4> z$_nb3_nb6$true<4> |
|---|
| 880 | - =_nb7<4> |
|---|
| 881 | .names _nb7<5> z$_nb3_nb6$true<5> |
|---|
| 882 | - =_nb7<5> |
|---|
| 883 | .names _nb7<6> z$_nb3_nb6$true<6> |
|---|
| 884 | - =_nb7<6> |
|---|
| 885 | .names _nb7<7> z$_nb3_nb6$true<7> |
|---|
| 886 | - =_nb7<7> |
|---|
| 887 | .names _nca<0> |
|---|
| 888 | 0 |
|---|
| 889 | .names _nca<1> |
|---|
| 890 | 0 |
|---|
| 891 | .names _nca<2> |
|---|
| 892 | 0 |
|---|
| 893 | .names _nca<3> |
|---|
| 894 | 0 |
|---|
| 895 | .names _nca<4> |
|---|
| 896 | 0 |
|---|
| 897 | .names _nca<5> |
|---|
| 898 | 0 |
|---|
| 899 | # scaledExp == 0 |
|---|
| 900 | .names scaledExp<0> _nca<0> _ncb<0> |
|---|
| 901 | .def 0 |
|---|
| 902 | 0 1 1 |
|---|
| 903 | 1 0 1 |
|---|
| 904 | .names scaledExp<1> _nca<1> _ncb<1> |
|---|
| 905 | .def 0 |
|---|
| 906 | 0 1 1 |
|---|
| 907 | 1 0 1 |
|---|
| 908 | .names scaledExp<2> _nca<2> _ncb<2> |
|---|
| 909 | .def 0 |
|---|
| 910 | 0 1 1 |
|---|
| 911 | 1 0 1 |
|---|
| 912 | .names scaledExp<3> _nca<3> _ncb<3> |
|---|
| 913 | .def 0 |
|---|
| 914 | 0 1 1 |
|---|
| 915 | 1 0 1 |
|---|
| 916 | .names scaledExp<4> _nca<4> _ncb<4> |
|---|
| 917 | .def 0 |
|---|
| 918 | 0 1 1 |
|---|
| 919 | 1 0 1 |
|---|
| 920 | .names scaledExp<5> _nca<5> _ncb<5> |
|---|
| 921 | .def 0 |
|---|
| 922 | 0 1 1 |
|---|
| 923 | 1 0 1 |
|---|
| 924 | .names _ncb<0> _ncb<1> _ncb<2> _ncb<3> _ncb<4> _ncb<5> _ncc |
|---|
| 925 | .def 1 |
|---|
| 926 | 0 0 0 0 0 0 0 |
|---|
| 927 | .names _ncc _nc9 |
|---|
| 928 | 0 1 |
|---|
| 929 | 1 0 |
|---|
| 930 | # scaledExp [4 + 1] || scaledExp == 0 |
|---|
| 931 | .names scaledExp<5> _nc9 _ncd<5> |
|---|
| 932 | .def 1 |
|---|
| 933 | 0 0 0 |
|---|
| 934 | .names _nce |
|---|
| 935 | 0 |
|---|
| 936 | .names _ncd<5> _nd0 |
|---|
| 937 | .def 1 |
|---|
| 938 | 0 0 |
|---|
| 939 | .names _nd0 _ncf |
|---|
| 940 | - =_nd0 |
|---|
| 941 | # z = {signProd , {'b0}} |
|---|
| 942 | .names _nd4 |
|---|
| 943 | 0 |
|---|
| 944 | .names _nd4 _nd3<0> |
|---|
| 945 | - =_nd4 |
|---|
| 946 | .names _nd5 |
|---|
| 947 | 0 |
|---|
| 948 | .names _nd6 |
|---|
| 949 | 0 |
|---|
| 950 | .names _nd6 _nd3<1> |
|---|
| 951 | - =_nd6 |
|---|
| 952 | .names _nd7 |
|---|
| 953 | 0 |
|---|
| 954 | .names _nd8 |
|---|
| 955 | 0 |
|---|
| 956 | .names _nd8 _nd3<2> |
|---|
| 957 | - =_nd8 |
|---|
| 958 | .names _nd9 |
|---|
| 959 | 0 |
|---|
| 960 | .names _nda |
|---|
| 961 | 0 |
|---|
| 962 | .names _nda _nd3<3> |
|---|
| 963 | - =_nda |
|---|
| 964 | .names _ndb |
|---|
| 965 | 0 |
|---|
| 966 | .names _ndc |
|---|
| 967 | 0 |
|---|
| 968 | .names _ndc _nd3<4> |
|---|
| 969 | - =_ndc |
|---|
| 970 | .names _ndd |
|---|
| 971 | 0 |
|---|
| 972 | .names _nde |
|---|
| 973 | 0 |
|---|
| 974 | .names _nde _nd3<5> |
|---|
| 975 | - =_nde |
|---|
| 976 | .names _ndf |
|---|
| 977 | 0 |
|---|
| 978 | .names _ne0 |
|---|
| 979 | 0 |
|---|
| 980 | .names _ne0 _nd3<6> |
|---|
| 981 | - =_ne0 |
|---|
| 982 | .names _ne1 |
|---|
| 983 | 0 |
|---|
| 984 | .names _nd3<0> _nd2<0> |
|---|
| 985 | - =_nd3<0> |
|---|
| 986 | .names _nd3<1> _nd2<1> |
|---|
| 987 | - =_nd3<1> |
|---|
| 988 | .names _nd3<2> _nd2<2> |
|---|
| 989 | - =_nd3<2> |
|---|
| 990 | .names _nd3<3> _nd2<3> |
|---|
| 991 | - =_nd3<3> |
|---|
| 992 | .names _nd3<4> _nd2<4> |
|---|
| 993 | - =_nd3<4> |
|---|
| 994 | .names _nd3<5> _nd2<5> |
|---|
| 995 | - =_nd3<5> |
|---|
| 996 | .names _nd3<6> _nd2<6> |
|---|
| 997 | - =_nd3<6> |
|---|
| 998 | .names signProd _nd2<7> |
|---|
| 999 | - =signProd |
|---|
| 1000 | .names _ne2 |
|---|
| 1001 | 0 |
|---|
| 1002 | .names _nd2<0> z$_ncd_nd1$true<0> |
|---|
| 1003 | - =_nd2<0> |
|---|
| 1004 | .names _nd2<1> z$_ncd_nd1$true<1> |
|---|
| 1005 | - =_nd2<1> |
|---|
| 1006 | .names _nd2<2> z$_ncd_nd1$true<2> |
|---|
| 1007 | - =_nd2<2> |
|---|
| 1008 | .names _nd2<3> z$_ncd_nd1$true<3> |
|---|
| 1009 | - =_nd2<3> |
|---|
| 1010 | .names _nd2<4> z$_ncd_nd1$true<4> |
|---|
| 1011 | - =_nd2<4> |
|---|
| 1012 | .names _nd2<5> z$_ncd_nd1$true<5> |
|---|
| 1013 | - =_nd2<5> |
|---|
| 1014 | .names _nd2<6> z$_ncd_nd1$true<6> |
|---|
| 1015 | - =_nd2<6> |
|---|
| 1016 | .names _nd2<7> z$_ncd_nd1$true<7> |
|---|
| 1017 | - =_nd2<7> |
|---|
| 1018 | .names _ne4 |
|---|
| 1019 | 1 |
|---|
| 1020 | .names _ne4 _ne3<0> |
|---|
| 1021 | - =_ne4 |
|---|
| 1022 | .names _ne5 |
|---|
| 1023 | 0 |
|---|
| 1024 | .names _ne6 |
|---|
| 1025 | 1 |
|---|
| 1026 | .names _ne6 _ne3<1> |
|---|
| 1027 | - =_ne6 |
|---|
| 1028 | .names _ne7 |
|---|
| 1029 | 0 |
|---|
| 1030 | .names _ne8 |
|---|
| 1031 | 1 |
|---|
| 1032 | .names _ne8 _ne3<2> |
|---|
| 1033 | - =_ne8 |
|---|
| 1034 | .names _ne9 |
|---|
| 1035 | 0 |
|---|
| 1036 | .names _nea |
|---|
| 1037 | 1 |
|---|
| 1038 | .names _nea _ne3<3> |
|---|
| 1039 | - =_nea |
|---|
| 1040 | .names _neb |
|---|
| 1041 | 0 |
|---|
| 1042 | # scaledExp >= {'b1} |
|---|
| 1043 | .names _nee |
|---|
| 1044 | 0 |
|---|
| 1045 | .names scaledExp<0> _ne3<0> _nee _ned<0> |
|---|
| 1046 | .def 0 |
|---|
| 1047 | 0 0 1 1 |
|---|
| 1048 | 0 1 0 1 |
|---|
| 1049 | 1 0 0 1 |
|---|
| 1050 | 1 1 1 1 |
|---|
| 1051 | # carry/borrow |
|---|
| 1052 | .names _nf0 |
|---|
| 1053 | 0 |
|---|
| 1054 | .names scaledExp<0> _ne3<0> _nf0 _nef |
|---|
| 1055 | .def 0 |
|---|
| 1056 | 0 0 1 1 |
|---|
| 1057 | 0 1 0 1 |
|---|
| 1058 | 0 1 1 1 |
|---|
| 1059 | 1 1 1 1 |
|---|
| 1060 | .names scaledExp<1> _ne3<1> _nef _ned<1> |
|---|
| 1061 | .def 0 |
|---|
| 1062 | 0 0 1 1 |
|---|
| 1063 | 0 1 0 1 |
|---|
| 1064 | 1 0 0 1 |
|---|
| 1065 | 1 1 1 1 |
|---|
| 1066 | # carry/borrow |
|---|
| 1067 | .names scaledExp<1> _ne3<1> _nef _nf1 |
|---|
| 1068 | .def 0 |
|---|
| 1069 | 0 0 1 1 |
|---|
| 1070 | 0 1 0 1 |
|---|
| 1071 | 0 1 1 1 |
|---|
| 1072 | 1 1 1 1 |
|---|
| 1073 | .names scaledExp<2> _ne3<2> _nf1 _ned<2> |
|---|
| 1074 | .def 0 |
|---|
| 1075 | 0 0 1 1 |
|---|
| 1076 | 0 1 0 1 |
|---|
| 1077 | 1 0 0 1 |
|---|
| 1078 | 1 1 1 1 |
|---|
| 1079 | # carry/borrow |
|---|
| 1080 | .names scaledExp<2> _ne3<2> _nf1 _nf2 |
|---|
| 1081 | .def 0 |
|---|
| 1082 | 0 0 1 1 |
|---|
| 1083 | 0 1 0 1 |
|---|
| 1084 | 0 1 1 1 |
|---|
| 1085 | 1 1 1 1 |
|---|
| 1086 | .names scaledExp<3> _ne3<3> _nf2 _ned<3> |
|---|
| 1087 | .def 0 |
|---|
| 1088 | 0 0 1 1 |
|---|
| 1089 | 0 1 0 1 |
|---|
| 1090 | 1 0 0 1 |
|---|
| 1091 | 1 1 1 1 |
|---|
| 1092 | # carry/borrow |
|---|
| 1093 | .names scaledExp<3> _ne3<3> _nf2 _nf3 |
|---|
| 1094 | .def 0 |
|---|
| 1095 | 0 0 1 1 |
|---|
| 1096 | 0 1 0 1 |
|---|
| 1097 | 0 1 1 1 |
|---|
| 1098 | 1 1 1 1 |
|---|
| 1099 | .names _nf4 |
|---|
| 1100 | 0 |
|---|
| 1101 | .names scaledExp<4> _nf4 _nf3 _ned<4> |
|---|
| 1102 | .def 0 |
|---|
| 1103 | 0 0 1 1 |
|---|
| 1104 | 0 1 0 1 |
|---|
| 1105 | 1 0 0 1 |
|---|
| 1106 | 1 1 1 1 |
|---|
| 1107 | # carry/borrow |
|---|
| 1108 | .names scaledExp<4> _nf4 _nf3 _nf5 |
|---|
| 1109 | .def 0 |
|---|
| 1110 | 0 0 1 1 |
|---|
| 1111 | 0 1 0 1 |
|---|
| 1112 | 0 1 1 1 |
|---|
| 1113 | 1 1 1 1 |
|---|
| 1114 | .names _nf6 |
|---|
| 1115 | 0 |
|---|
| 1116 | .names scaledExp<5> _nf6 _nf5 _ned<5> |
|---|
| 1117 | .def 0 |
|---|
| 1118 | 0 0 1 1 |
|---|
| 1119 | 0 1 0 1 |
|---|
| 1120 | 1 0 0 1 |
|---|
| 1121 | 1 1 1 1 |
|---|
| 1122 | # carry/borrow |
|---|
| 1123 | .names scaledExp<5> _nf6 _nf5 _nf7 |
|---|
| 1124 | .def 0 |
|---|
| 1125 | 0 0 1 1 |
|---|
| 1126 | 0 1 0 1 |
|---|
| 1127 | 0 1 1 1 |
|---|
| 1128 | 1 1 1 1 |
|---|
| 1129 | .names _ned<0> _ned<1> _ned<2> _ned<3> _ned<4> _ned<5> _nf8 |
|---|
| 1130 | .def 1 |
|---|
| 1131 | 0 0 0 0 0 0 0 |
|---|
| 1132 | .names _nf7 _nf8 _nf9 |
|---|
| 1133 | .def 0 |
|---|
| 1134 | 1 1 1 |
|---|
| 1135 | .names _nf9 _nec |
|---|
| 1136 | 0 1 |
|---|
| 1137 | 1 0 |
|---|
| 1138 | .names _nec _nfa |
|---|
| 1139 | - =_nec |
|---|
| 1140 | # z = {signProd , {'b1}, {'b0}} |
|---|
| 1141 | .names _nfe |
|---|
| 1142 | 0 |
|---|
| 1143 | .names _nfe _nfd<0> |
|---|
| 1144 | - =_nfe |
|---|
| 1145 | .names _nff |
|---|
| 1146 | 0 |
|---|
| 1147 | .names _n100 |
|---|
| 1148 | 0 |
|---|
| 1149 | .names _n100 _nfd<1> |
|---|
| 1150 | - =_n100 |
|---|
| 1151 | .names _n101 |
|---|
| 1152 | 0 |
|---|
| 1153 | .names _n102 |
|---|
| 1154 | 0 |
|---|
| 1155 | .names _n102 _nfd<2> |
|---|
| 1156 | - =_n102 |
|---|
| 1157 | .names _n103 |
|---|
| 1158 | 0 |
|---|
| 1159 | .names _nfd<0> _nfc<0> |
|---|
| 1160 | - =_nfd<0> |
|---|
| 1161 | .names _nfd<1> _nfc<1> |
|---|
| 1162 | - =_nfd<1> |
|---|
| 1163 | .names _nfd<2> _nfc<2> |
|---|
| 1164 | - =_nfd<2> |
|---|
| 1165 | .names _n105 |
|---|
| 1166 | 1 |
|---|
| 1167 | .names _n105 _n104<0> |
|---|
| 1168 | - =_n105 |
|---|
| 1169 | .names _n106 |
|---|
| 1170 | 0 |
|---|
| 1171 | .names _n107 |
|---|
| 1172 | 1 |
|---|
| 1173 | .names _n107 _n104<1> |
|---|
| 1174 | - =_n107 |
|---|
| 1175 | .names _n108 |
|---|
| 1176 | 0 |
|---|
| 1177 | .names _n109 |
|---|
| 1178 | 1 |
|---|
| 1179 | .names _n109 _n104<2> |
|---|
| 1180 | - =_n109 |
|---|
| 1181 | .names _n10a |
|---|
| 1182 | 0 |
|---|
| 1183 | .names _n10b |
|---|
| 1184 | 1 |
|---|
| 1185 | .names _n10b _n104<3> |
|---|
| 1186 | - =_n10b |
|---|
| 1187 | .names _n10c |
|---|
| 1188 | 0 |
|---|
| 1189 | .names _n104<0> _nfc<3> |
|---|
| 1190 | - =_n104<0> |
|---|
| 1191 | .names _n104<1> _nfc<4> |
|---|
| 1192 | - =_n104<1> |
|---|
| 1193 | .names _n104<2> _nfc<5> |
|---|
| 1194 | - =_n104<2> |
|---|
| 1195 | .names _n104<3> _nfc<6> |
|---|
| 1196 | - =_n104<3> |
|---|
| 1197 | .names signProd _nfc<7> |
|---|
| 1198 | - =signProd |
|---|
| 1199 | .names _n10d |
|---|
| 1200 | 0 |
|---|
| 1201 | .names _nfc<0> z$_nec_nfb$true<0> |
|---|
| 1202 | - =_nfc<0> |
|---|
| 1203 | .names _nfc<1> z$_nec_nfb$true<1> |
|---|
| 1204 | - =_nfc<1> |
|---|
| 1205 | .names _nfc<2> z$_nec_nfb$true<2> |
|---|
| 1206 | - =_nfc<2> |
|---|
| 1207 | .names _nfc<3> z$_nec_nfb$true<3> |
|---|
| 1208 | - =_nfc<3> |
|---|
| 1209 | .names _nfc<4> z$_nec_nfb$true<4> |
|---|
| 1210 | - =_nfc<4> |
|---|
| 1211 | .names _nfc<5> z$_nec_nfb$true<5> |
|---|
| 1212 | - =_nfc<5> |
|---|
| 1213 | .names _nfc<6> z$_nec_nfb$true<6> |
|---|
| 1214 | - =_nfc<6> |
|---|
| 1215 | .names _nfc<7> z$_nec_nfb$true<7> |
|---|
| 1216 | - =_nfc<7> |
|---|
| 1217 | # z = {signProd , scaledExp [4 - 1 : 0], scaledMant } |
|---|
| 1218 | .names scaledMant<0> _n10f<0> |
|---|
| 1219 | - =scaledMant<0> |
|---|
| 1220 | .names scaledMant<1> _n10f<1> |
|---|
| 1221 | - =scaledMant<1> |
|---|
| 1222 | .names scaledMant<2> _n10f<2> |
|---|
| 1223 | - =scaledMant<2> |
|---|
| 1224 | .names scaledExp<0> _n10f<3> |
|---|
| 1225 | - =scaledExp<0> |
|---|
| 1226 | .names scaledExp<1> _n10f<4> |
|---|
| 1227 | - =scaledExp<1> |
|---|
| 1228 | .names scaledExp<2> _n10f<5> |
|---|
| 1229 | - =scaledExp<2> |
|---|
| 1230 | .names scaledExp<3> _n10f<6> |
|---|
| 1231 | - =scaledExp<3> |
|---|
| 1232 | .names signProd _n10f<7> |
|---|
| 1233 | - =signProd |
|---|
| 1234 | .names _n110 |
|---|
| 1235 | 0 |
|---|
| 1236 | .names _n10f<0> z$_nec_n10e$false<0> |
|---|
| 1237 | - =_n10f<0> |
|---|
| 1238 | .names _n10f<1> z$_nec_n10e$false<1> |
|---|
| 1239 | - =_n10f<1> |
|---|
| 1240 | .names _n10f<2> z$_nec_n10e$false<2> |
|---|
| 1241 | - =_n10f<2> |
|---|
| 1242 | .names _n10f<3> z$_nec_n10e$false<3> |
|---|
| 1243 | - =_n10f<3> |
|---|
| 1244 | .names _n10f<4> z$_nec_n10e$false<4> |
|---|
| 1245 | - =_n10f<4> |
|---|
| 1246 | .names _n10f<5> z$_nec_n10e$false<5> |
|---|
| 1247 | - =_n10f<5> |
|---|
| 1248 | .names _n10f<6> z$_nec_n10e$false<6> |
|---|
| 1249 | - =_n10f<6> |
|---|
| 1250 | .names _n10f<7> z$_nec_n10e$false<7> |
|---|
| 1251 | - =_n10f<7> |
|---|
| 1252 | # if/else (scaledExp >= {'b1}) |
|---|
| 1253 | .names z$_nec_nfb$true<0> z$_nec_n10e$false<0> _nec z$_nec$raw_n112<0> |
|---|
| 1254 | 0 - 1 0 |
|---|
| 1255 | 1 - 1 1 |
|---|
| 1256 | - 0 0 0 |
|---|
| 1257 | - 1 0 1 |
|---|
| 1258 | .names z$_nec_nfb$true<1> z$_nec_n10e$false<1> _nec z$_nec$raw_n112<1> |
|---|
| 1259 | 0 - 1 0 |
|---|
| 1260 | 1 - 1 1 |
|---|
| 1261 | - 0 0 0 |
|---|
| 1262 | - 1 0 1 |
|---|
| 1263 | .names z$_nec_nfb$true<2> z$_nec_n10e$false<2> _nec z$_nec$raw_n112<2> |
|---|
| 1264 | 0 - 1 0 |
|---|
| 1265 | 1 - 1 1 |
|---|
| 1266 | - 0 0 0 |
|---|
| 1267 | - 1 0 1 |
|---|
| 1268 | .names z$_nec_nfb$true<3> z$_nec_n10e$false<3> _nec z$_nec$raw_n112<3> |
|---|
| 1269 | 0 - 1 0 |
|---|
| 1270 | 1 - 1 1 |
|---|
| 1271 | - 0 0 0 |
|---|
| 1272 | - 1 0 1 |
|---|
| 1273 | .names z$_nec_nfb$true<4> z$_nec_n10e$false<4> _nec z$_nec$raw_n112<4> |
|---|
| 1274 | 0 - 1 0 |
|---|
| 1275 | 1 - 1 1 |
|---|
| 1276 | - 0 0 0 |
|---|
| 1277 | - 1 0 1 |
|---|
| 1278 | .names z$_nec_nfb$true<5> z$_nec_n10e$false<5> _nec z$_nec$raw_n112<5> |
|---|
| 1279 | 0 - 1 0 |
|---|
| 1280 | 1 - 1 1 |
|---|
| 1281 | - 0 0 0 |
|---|
| 1282 | - 1 0 1 |
|---|
| 1283 | .names z$_nec_nfb$true<6> z$_nec_n10e$false<6> _nec z$_nec$raw_n112<6> |
|---|
| 1284 | 0 - 1 0 |
|---|
| 1285 | 1 - 1 1 |
|---|
| 1286 | - 0 0 0 |
|---|
| 1287 | - 1 0 1 |
|---|
| 1288 | .names z$_nec_nfb$true<7> z$_nec_n10e$false<7> _nec z$_nec$raw_n112<7> |
|---|
| 1289 | 0 - 1 0 |
|---|
| 1290 | 1 - 1 1 |
|---|
| 1291 | - 0 0 0 |
|---|
| 1292 | - 1 0 1 |
|---|
| 1293 | # if/else (scaledExp [4 + 1] || scaledExp == 0) |
|---|
| 1294 | .names _ncd<5> _n11f |
|---|
| 1295 | .def 1 |
|---|
| 1296 | 0 0 |
|---|
| 1297 | .names z$_ncd_nd1$true<0> z$_nec$raw_n112<0> _n11f z$_ncd$raw_n11e<0> |
|---|
| 1298 | 0 - 1 0 |
|---|
| 1299 | 1 - 1 1 |
|---|
| 1300 | - 0 0 0 |
|---|
| 1301 | - 1 0 1 |
|---|
| 1302 | .names z$_ncd_nd1$true<1> z$_nec$raw_n112<1> _n11f z$_ncd$raw_n11e<1> |
|---|
| 1303 | 0 - 1 0 |
|---|
| 1304 | 1 - 1 1 |
|---|
| 1305 | - 0 0 0 |
|---|
| 1306 | - 1 0 1 |
|---|
| 1307 | .names z$_ncd_nd1$true<2> z$_nec$raw_n112<2> _n11f z$_ncd$raw_n11e<2> |
|---|
| 1308 | 0 - 1 0 |
|---|
| 1309 | 1 - 1 1 |
|---|
| 1310 | - 0 0 0 |
|---|
| 1311 | - 1 0 1 |
|---|
| 1312 | .names z$_ncd_nd1$true<3> z$_nec$raw_n112<3> _n11f z$_ncd$raw_n11e<3> |
|---|
| 1313 | 0 - 1 0 |
|---|
| 1314 | 1 - 1 1 |
|---|
| 1315 | - 0 0 0 |
|---|
| 1316 | - 1 0 1 |
|---|
| 1317 | .names z$_ncd_nd1$true<4> z$_nec$raw_n112<4> _n11f z$_ncd$raw_n11e<4> |
|---|
| 1318 | 0 - 1 0 |
|---|
| 1319 | 1 - 1 1 |
|---|
| 1320 | - 0 0 0 |
|---|
| 1321 | - 1 0 1 |
|---|
| 1322 | .names z$_ncd_nd1$true<5> z$_nec$raw_n112<5> _n11f z$_ncd$raw_n11e<5> |
|---|
| 1323 | 0 - 1 0 |
|---|
| 1324 | 1 - 1 1 |
|---|
| 1325 | - 0 0 0 |
|---|
| 1326 | - 1 0 1 |
|---|
| 1327 | .names z$_ncd_nd1$true<6> z$_nec$raw_n112<6> _n11f z$_ncd$raw_n11e<6> |
|---|
| 1328 | 0 - 1 0 |
|---|
| 1329 | 1 - 1 1 |
|---|
| 1330 | - 0 0 0 |
|---|
| 1331 | - 1 0 1 |
|---|
| 1332 | .names z$_ncd_nd1$true<7> z$_nec$raw_n112<7> _n11f z$_ncd$raw_n11e<7> |
|---|
| 1333 | 0 - 1 0 |
|---|
| 1334 | 1 - 1 1 |
|---|
| 1335 | - 0 0 0 |
|---|
| 1336 | - 1 0 1 |
|---|
| 1337 | # if/else (Infinity (xExp ,xMant ) || Infinity (yExp ,yMant ) ) |
|---|
| 1338 | .names _nb3<0> _n12c |
|---|
| 1339 | .def 1 |
|---|
| 1340 | 0 0 |
|---|
| 1341 | .names z$_nb3_nb6$true<0> z$_ncd$raw_n11e<0> _n12c z$_nb3$raw_n12b<0> |
|---|
| 1342 | 0 - 1 0 |
|---|
| 1343 | 1 - 1 1 |
|---|
| 1344 | - 0 0 0 |
|---|
| 1345 | - 1 0 1 |
|---|
| 1346 | .names z$_nb3_nb6$true<1> z$_ncd$raw_n11e<1> _n12c z$_nb3$raw_n12b<1> |
|---|
| 1347 | 0 - 1 0 |
|---|
| 1348 | 1 - 1 1 |
|---|
| 1349 | - 0 0 0 |
|---|
| 1350 | - 1 0 1 |
|---|
| 1351 | .names z$_nb3_nb6$true<2> z$_ncd$raw_n11e<2> _n12c z$_nb3$raw_n12b<2> |
|---|
| 1352 | 0 - 1 0 |
|---|
| 1353 | 1 - 1 1 |
|---|
| 1354 | - 0 0 0 |
|---|
| 1355 | - 1 0 1 |
|---|
| 1356 | .names z$_nb3_nb6$true<3> z$_ncd$raw_n11e<3> _n12c z$_nb3$raw_n12b<3> |
|---|
| 1357 | 0 - 1 0 |
|---|
| 1358 | 1 - 1 1 |
|---|
| 1359 | - 0 0 0 |
|---|
| 1360 | - 1 0 1 |
|---|
| 1361 | .names z$_nb3_nb6$true<4> z$_ncd$raw_n11e<4> _n12c z$_nb3$raw_n12b<4> |
|---|
| 1362 | 0 - 1 0 |
|---|
| 1363 | 1 - 1 1 |
|---|
| 1364 | - 0 0 0 |
|---|
| 1365 | - 1 0 1 |
|---|
| 1366 | .names z$_nb3_nb6$true<5> z$_ncd$raw_n11e<5> _n12c z$_nb3$raw_n12b<5> |
|---|
| 1367 | 0 - 1 0 |
|---|
| 1368 | 1 - 1 1 |
|---|
| 1369 | - 0 0 0 |
|---|
| 1370 | - 1 0 1 |
|---|
| 1371 | .names z$_nb3_nb6$true<6> z$_ncd$raw_n11e<6> _n12c z$_nb3$raw_n12b<6> |
|---|
| 1372 | 0 - 1 0 |
|---|
| 1373 | 1 - 1 1 |
|---|
| 1374 | - 0 0 0 |
|---|
| 1375 | - 1 0 1 |
|---|
| 1376 | .names z$_nb3_nb6$true<7> z$_ncd$raw_n11e<7> _n12c z$_nb3$raw_n12b<7> |
|---|
| 1377 | 0 - 1 0 |
|---|
| 1378 | 1 - 1 1 |
|---|
| 1379 | - 0 0 0 |
|---|
| 1380 | - 1 0 1 |
|---|
| 1381 | # if/else (NaN (xExp ,xMant ) || NaN (yExp ,yMant ) || Infinity (xExp ,xMant ) && Zero (yExp ,yMant ) || Zero (xExp ,xMant ) && Infinity (yExp ,yMant ) ) |
|---|
| 1382 | .names _n98<0> _n139 |
|---|
| 1383 | .def 1 |
|---|
| 1384 | 0 0 |
|---|
| 1385 | .names z$_n98_n9b$true<0> z$_nb3$raw_n12b<0> _n139 z$_n98$raw_n138<0> |
|---|
| 1386 | 0 - 1 0 |
|---|
| 1387 | 1 - 1 1 |
|---|
| 1388 | - 0 0 0 |
|---|
| 1389 | - 1 0 1 |
|---|
| 1390 | .names z$_n98_n9b$true<1> z$_nb3$raw_n12b<1> _n139 z$_n98$raw_n138<1> |
|---|
| 1391 | 0 - 1 0 |
|---|
| 1392 | 1 - 1 1 |
|---|
| 1393 | - 0 0 0 |
|---|
| 1394 | - 1 0 1 |
|---|
| 1395 | .names z$_n98_n9b$true<2> z$_nb3$raw_n12b<2> _n139 z$_n98$raw_n138<2> |
|---|
| 1396 | 0 - 1 0 |
|---|
| 1397 | 1 - 1 1 |
|---|
| 1398 | - 0 0 0 |
|---|
| 1399 | - 1 0 1 |
|---|
| 1400 | .names z$_n98_n9b$true<3> z$_nb3$raw_n12b<3> _n139 z$_n98$raw_n138<3> |
|---|
| 1401 | 0 - 1 0 |
|---|
| 1402 | 1 - 1 1 |
|---|
| 1403 | - 0 0 0 |
|---|
| 1404 | - 1 0 1 |
|---|
| 1405 | .names z$_n98_n9b$true<4> z$_nb3$raw_n12b<4> _n139 z$_n98$raw_n138<4> |
|---|
| 1406 | 0 - 1 0 |
|---|
| 1407 | 1 - 1 1 |
|---|
| 1408 | - 0 0 0 |
|---|
| 1409 | - 1 0 1 |
|---|
| 1410 | .names z$_n98_n9b$true<5> z$_nb3$raw_n12b<5> _n139 z$_n98$raw_n138<5> |
|---|
| 1411 | 0 - 1 0 |
|---|
| 1412 | 1 - 1 1 |
|---|
| 1413 | - 0 0 0 |
|---|
| 1414 | - 1 0 1 |
|---|
| 1415 | .names z$_n98_n9b$true<6> z$_nb3$raw_n12b<6> _n139 z$_n98$raw_n138<6> |
|---|
| 1416 | 0 - 1 0 |
|---|
| 1417 | 1 - 1 1 |
|---|
| 1418 | - 0 0 0 |
|---|
| 1419 | - 1 0 1 |
|---|
| 1420 | .names z$_n98_n9b$true<7> z$_nb3$raw_n12b<7> _n139 z$_n98$raw_n138<7> |
|---|
| 1421 | 0 - 1 0 |
|---|
| 1422 | 1 - 1 1 |
|---|
| 1423 | - 0 0 0 |
|---|
| 1424 | - 1 0 1 |
|---|
| 1425 | # state = 0 |
|---|
| 1426 | .names state$_n83_n144$true<0> |
|---|
| 1427 | 0 |
|---|
| 1428 | .names state$_n83_n144$true<1> |
|---|
| 1429 | 0 |
|---|
| 1430 | # case (state ) |
|---|
| 1431 | .names z$_n98$raw_n138<0> z<0> _n83 z$_n83$raw_n149<0> |
|---|
| 1432 | 0 - 1 0 |
|---|
| 1433 | 1 - 1 1 |
|---|
| 1434 | - 0 0 0 |
|---|
| 1435 | - 1 0 1 |
|---|
| 1436 | .names z$_n98$raw_n138<1> z<1> _n83 z$_n83$raw_n149<1> |
|---|
| 1437 | 0 - 1 0 |
|---|
| 1438 | 1 - 1 1 |
|---|
| 1439 | - 0 0 0 |
|---|
| 1440 | - 1 0 1 |
|---|
| 1441 | .names z$_n98$raw_n138<2> z<2> _n83 z$_n83$raw_n149<2> |
|---|
| 1442 | 0 - 1 0 |
|---|
| 1443 | 1 - 1 1 |
|---|
| 1444 | - 0 0 0 |
|---|
| 1445 | - 1 0 1 |
|---|
| 1446 | .names z$_n98$raw_n138<3> z<3> _n83 z$_n83$raw_n149<3> |
|---|
| 1447 | 0 - 1 0 |
|---|
| 1448 | 1 - 1 1 |
|---|
| 1449 | - 0 0 0 |
|---|
| 1450 | - 1 0 1 |
|---|
| 1451 | .names z$_n98$raw_n138<4> z<4> _n83 z$_n83$raw_n149<4> |
|---|
| 1452 | 0 - 1 0 |
|---|
| 1453 | 1 - 1 1 |
|---|
| 1454 | - 0 0 0 |
|---|
| 1455 | - 1 0 1 |
|---|
| 1456 | .names z$_n98$raw_n138<5> z<5> _n83 z$_n83$raw_n149<5> |
|---|
| 1457 | 0 - 1 0 |
|---|
| 1458 | 1 - 1 1 |
|---|
| 1459 | - 0 0 0 |
|---|
| 1460 | - 1 0 1 |
|---|
| 1461 | .names z$_n98$raw_n138<6> z<6> _n83 z$_n83$raw_n149<6> |
|---|
| 1462 | 0 - 1 0 |
|---|
| 1463 | 1 - 1 1 |
|---|
| 1464 | - 0 0 0 |
|---|
| 1465 | - 1 0 1 |
|---|
| 1466 | .names z$_n98$raw_n138<7> z<7> _n83 z$_n83$raw_n149<7> |
|---|
| 1467 | 0 - 1 0 |
|---|
| 1468 | 1 - 1 1 |
|---|
| 1469 | - 0 0 0 |
|---|
| 1470 | - 1 0 1 |
|---|
| 1471 | .names state$_n83_n144$true<0> state<0> _n83 state$_n83$raw_n152<0> |
|---|
| 1472 | 0 - 1 0 |
|---|
| 1473 | 1 - 1 1 |
|---|
| 1474 | - 0 0 0 |
|---|
| 1475 | - 1 0 1 |
|---|
| 1476 | .names state$_n83_n144$true<1> state<1> _n83 state$_n83$raw_n152<1> |
|---|
| 1477 | 0 - 1 0 |
|---|
| 1478 | 1 - 1 1 |
|---|
| 1479 | - 0 0 0 |
|---|
| 1480 | - 1 0 1 |
|---|
| 1481 | .names state$_n4e_n82$true<0> state$_n83$raw_n152<0> _n4e state$_n4e$raw_n157<0> |
|---|
| 1482 | 0 - 1 0 |
|---|
| 1483 | 1 - 1 1 |
|---|
| 1484 | - 0 0 0 |
|---|
| 1485 | - 1 0 1 |
|---|
| 1486 | .names state$_n4e_n82$true<1> state$_n83$raw_n152<1> _n4e state$_n4e$raw_n157<1> |
|---|
| 1487 | 0 - 1 0 |
|---|
| 1488 | 1 - 1 1 |
|---|
| 1489 | - 0 0 0 |
|---|
| 1490 | - 1 0 1 |
|---|
| 1491 | .names signProd$_n4e_n80$true signProd _n4e signProd$_n4e$raw_n15f |
|---|
| 1492 | 0 - 1 0 |
|---|
| 1493 | 1 - 1 1 |
|---|
| 1494 | - 0 0 0 |
|---|
| 1495 | - 1 0 1 |
|---|
| 1496 | .names mantProd$_n4e_n53$true<0> mantProd<0> _n4e mantProd$_n4e$raw_n161<0> |
|---|
| 1497 | 0 - 1 0 |
|---|
| 1498 | 1 - 1 1 |
|---|
| 1499 | - 0 0 0 |
|---|
| 1500 | - 1 0 1 |
|---|
| 1501 | .names mantProd$_n4e_n53$true<1> mantProd<1> _n4e mantProd$_n4e$raw_n161<1> |
|---|
| 1502 | 0 - 1 0 |
|---|
| 1503 | 1 - 1 1 |
|---|
| 1504 | - 0 0 0 |
|---|
| 1505 | - 1 0 1 |
|---|
| 1506 | .names mantProd$_n4e_n53$true<2> mantProd<2> _n4e mantProd$_n4e$raw_n161<2> |
|---|
| 1507 | 0 - 1 0 |
|---|
| 1508 | 1 - 1 1 |
|---|
| 1509 | - 0 0 0 |
|---|
| 1510 | - 1 0 1 |
|---|
| 1511 | .names mantProd$_n4e_n53$true<3> mantProd<3> _n4e mantProd$_n4e$raw_n161<3> |
|---|
| 1512 | 0 - 1 0 |
|---|
| 1513 | 1 - 1 1 |
|---|
| 1514 | - 0 0 0 |
|---|
| 1515 | - 1 0 1 |
|---|
| 1516 | .names mantProd$_n4e_n53$true<4> mantProd<4> _n4e mantProd$_n4e$raw_n161<4> |
|---|
| 1517 | 0 - 1 0 |
|---|
| 1518 | 1 - 1 1 |
|---|
| 1519 | - 0 0 0 |
|---|
| 1520 | - 1 0 1 |
|---|
| 1521 | .names mantProd$_n4e_n53$true<5> mantProd<5> _n4e mantProd$_n4e$raw_n161<5> |
|---|
| 1522 | 0 - 1 0 |
|---|
| 1523 | 1 - 1 1 |
|---|
| 1524 | - 0 0 0 |
|---|
| 1525 | - 1 0 1 |
|---|
| 1526 | .names mantProd$_n4e_n53$true<6> mantProd<6> _n4e mantProd$_n4e$raw_n161<6> |
|---|
| 1527 | 0 - 1 0 |
|---|
| 1528 | 1 - 1 1 |
|---|
| 1529 | - 0 0 0 |
|---|
| 1530 | - 1 0 1 |
|---|
| 1531 | .names mantProd$_n4e_n53$true<7> mantProd<7> _n4e mantProd$_n4e$raw_n161<7> |
|---|
| 1532 | 0 - 1 0 |
|---|
| 1533 | 1 - 1 1 |
|---|
| 1534 | - 0 0 0 |
|---|
| 1535 | - 1 0 1 |
|---|
| 1536 | .names expProd$_n58$raw_n74<0> expProd<0> _n4e expProd$_n4e$raw_n16b<0> |
|---|
| 1537 | 0 - 1 0 |
|---|
| 1538 | 1 - 1 1 |
|---|
| 1539 | - 0 0 0 |
|---|
| 1540 | - 1 0 1 |
|---|
| 1541 | .names expProd$_n58$raw_n74<1> expProd<1> _n4e expProd$_n4e$raw_n16b<1> |
|---|
| 1542 | 0 - 1 0 |
|---|
| 1543 | 1 - 1 1 |
|---|
| 1544 | - 0 0 0 |
|---|
| 1545 | - 1 0 1 |
|---|
| 1546 | .names expProd$_n58$raw_n74<2> expProd<2> _n4e expProd$_n4e$raw_n16b<2> |
|---|
| 1547 | 0 - 1 0 |
|---|
| 1548 | 1 - 1 1 |
|---|
| 1549 | - 0 0 0 |
|---|
| 1550 | - 1 0 1 |
|---|
| 1551 | .names expProd$_n58$raw_n74<3> expProd<3> _n4e expProd$_n4e$raw_n16b<3> |
|---|
| 1552 | 0 - 1 0 |
|---|
| 1553 | 1 - 1 1 |
|---|
| 1554 | - 0 0 0 |
|---|
| 1555 | - 1 0 1 |
|---|
| 1556 | .names expProd$_n58$raw_n74<4> expProd<4> _n4e expProd$_n4e$raw_n16b<4> |
|---|
| 1557 | 0 - 1 0 |
|---|
| 1558 | 1 - 1 1 |
|---|
| 1559 | - 0 0 0 |
|---|
| 1560 | - 1 0 1 |
|---|
| 1561 | .names expProd$_n58$raw_n74<5> expProd<5> _n4e expProd$_n4e$raw_n16b<5> |
|---|
| 1562 | 0 - 1 0 |
|---|
| 1563 | 1 - 1 1 |
|---|
| 1564 | - 0 0 0 |
|---|
| 1565 | - 1 0 1 |
|---|
| 1566 | .names z<0> z$_n83$raw_n149<0> _n4e z$_n4e$raw_n172<0> |
|---|
| 1567 | 0 - 1 0 |
|---|
| 1568 | 1 - 1 1 |
|---|
| 1569 | - 0 0 0 |
|---|
| 1570 | - 1 0 1 |
|---|
| 1571 | .names z<1> z$_n83$raw_n149<1> _n4e z$_n4e$raw_n172<1> |
|---|
| 1572 | 0 - 1 0 |
|---|
| 1573 | 1 - 1 1 |
|---|
| 1574 | - 0 0 0 |
|---|
| 1575 | - 1 0 1 |
|---|
| 1576 | .names z<2> z$_n83$raw_n149<2> _n4e z$_n4e$raw_n172<2> |
|---|
| 1577 | 0 - 1 0 |
|---|
| 1578 | 1 - 1 1 |
|---|
| 1579 | - 0 0 0 |
|---|
| 1580 | - 1 0 1 |
|---|
| 1581 | .names z<3> z$_n83$raw_n149<3> _n4e z$_n4e$raw_n172<3> |
|---|
| 1582 | 0 - 1 0 |
|---|
| 1583 | 1 - 1 1 |
|---|
| 1584 | - 0 0 0 |
|---|
| 1585 | - 1 0 1 |
|---|
| 1586 | .names z<4> z$_n83$raw_n149<4> _n4e z$_n4e$raw_n172<4> |
|---|
| 1587 | 0 - 1 0 |
|---|
| 1588 | 1 - 1 1 |
|---|
| 1589 | - 0 0 0 |
|---|
| 1590 | - 1 0 1 |
|---|
| 1591 | .names z<5> z$_n83$raw_n149<5> _n4e z$_n4e$raw_n172<5> |
|---|
| 1592 | 0 - 1 0 |
|---|
| 1593 | 1 - 1 1 |
|---|
| 1594 | - 0 0 0 |
|---|
| 1595 | - 1 0 1 |
|---|
| 1596 | .names z<6> z$_n83$raw_n149<6> _n4e z$_n4e$raw_n172<6> |
|---|
| 1597 | 0 - 1 0 |
|---|
| 1598 | 1 - 1 1 |
|---|
| 1599 | - 0 0 0 |
|---|
| 1600 | - 1 0 1 |
|---|
| 1601 | .names z<7> z$_n83$raw_n149<7> _n4e z$_n4e$raw_n172<7> |
|---|
| 1602 | 0 - 1 0 |
|---|
| 1603 | 1 - 1 1 |
|---|
| 1604 | - 0 0 0 |
|---|
| 1605 | - 1 0 1 |
|---|
| 1606 | .names state$start$raw_n46<0> state$_n4e$raw_n157<0> _n12 state$_n12$raw_n182<0> |
|---|
| 1607 | 0 - 1 0 |
|---|
| 1608 | 1 - 1 1 |
|---|
| 1609 | - 0 0 0 |
|---|
| 1610 | - 1 0 1 |
|---|
| 1611 | .names state$start$raw_n46<1> state$_n4e$raw_n157<1> _n12 state$_n12$raw_n182<1> |
|---|
| 1612 | 0 - 1 0 |
|---|
| 1613 | 1 - 1 1 |
|---|
| 1614 | - 0 0 0 |
|---|
| 1615 | - 1 0 1 |
|---|
| 1616 | .names yMant$start$raw_n33<0> yMant<0> _n12 yMant$_n12$raw_n18c<0> |
|---|
| 1617 | 0 - 1 0 |
|---|
| 1618 | 1 - 1 1 |
|---|
| 1619 | - 0 0 0 |
|---|
| 1620 | - 1 0 1 |
|---|
| 1621 | .names yMant$start$raw_n33<1> yMant<1> _n12 yMant$_n12$raw_n18c<1> |
|---|
| 1622 | 0 - 1 0 |
|---|
| 1623 | 1 - 1 1 |
|---|
| 1624 | - 0 0 0 |
|---|
| 1625 | - 1 0 1 |
|---|
| 1626 | .names yMant$start$raw_n33<2> yMant<2> _n12 yMant$_n12$raw_n18c<2> |
|---|
| 1627 | 0 - 1 0 |
|---|
| 1628 | 1 - 1 1 |
|---|
| 1629 | - 0 0 0 |
|---|
| 1630 | - 1 0 1 |
|---|
| 1631 | .names yMant$start$raw_n33<3> yMant<3> _n12 yMant$_n12$raw_n18c<3> |
|---|
| 1632 | 0 - 1 0 |
|---|
| 1633 | 1 - 1 1 |
|---|
| 1634 | - 0 0 0 |
|---|
| 1635 | - 1 0 1 |
|---|
| 1636 | .names ySign$start$raw_n3d ySign _n12 ySign$_n12$raw_n191 |
|---|
| 1637 | 0 - 1 0 |
|---|
| 1638 | 1 - 1 1 |
|---|
| 1639 | - 0 0 0 |
|---|
| 1640 | - 1 0 1 |
|---|
| 1641 | .names yExp$start$raw_n38<0> yExp<0> _n12 yExp$_n12$raw_n193<0> |
|---|
| 1642 | 0 - 1 0 |
|---|
| 1643 | 1 - 1 1 |
|---|
| 1644 | - 0 0 0 |
|---|
| 1645 | - 1 0 1 |
|---|
| 1646 | .names yExp$start$raw_n38<1> yExp<1> _n12 yExp$_n12$raw_n193<1> |
|---|
| 1647 | 0 - 1 0 |
|---|
| 1648 | 1 - 1 1 |
|---|
| 1649 | - 0 0 0 |
|---|
| 1650 | - 1 0 1 |
|---|
| 1651 | .names yExp$start$raw_n38<2> yExp<2> _n12 yExp$_n12$raw_n193<2> |
|---|
| 1652 | 0 - 1 0 |
|---|
| 1653 | 1 - 1 1 |
|---|
| 1654 | - 0 0 0 |
|---|
| 1655 | - 1 0 1 |
|---|
| 1656 | .names yExp$start$raw_n38<3> yExp<3> _n12 yExp$_n12$raw_n193<3> |
|---|
| 1657 | 0 - 1 0 |
|---|
| 1658 | 1 - 1 1 |
|---|
| 1659 | - 0 0 0 |
|---|
| 1660 | - 1 0 1 |
|---|
| 1661 | .names xExp$start$raw_n3f<0> xExp<0> _n12 xExp$_n12$raw_n198<0> |
|---|
| 1662 | 0 - 1 0 |
|---|
| 1663 | 1 - 1 1 |
|---|
| 1664 | - 0 0 0 |
|---|
| 1665 | - 1 0 1 |
|---|
| 1666 | .names xExp$start$raw_n3f<1> xExp<1> _n12 xExp$_n12$raw_n198<1> |
|---|
| 1667 | 0 - 1 0 |
|---|
| 1668 | 1 - 1 1 |
|---|
| 1669 | - 0 0 0 |
|---|
| 1670 | - 1 0 1 |
|---|
| 1671 | .names xExp$start$raw_n3f<2> xExp<2> _n12 xExp$_n12$raw_n198<2> |
|---|
| 1672 | 0 - 1 0 |
|---|
| 1673 | 1 - 1 1 |
|---|
| 1674 | - 0 0 0 |
|---|
| 1675 | - 1 0 1 |
|---|
| 1676 | .names xExp$start$raw_n3f<3> xExp<3> _n12 xExp$_n12$raw_n198<3> |
|---|
| 1677 | 0 - 1 0 |
|---|
| 1678 | 1 - 1 1 |
|---|
| 1679 | - 0 0 0 |
|---|
| 1680 | - 1 0 1 |
|---|
| 1681 | .names xSign$start$raw_n44 xSign _n12 xSign$_n12$raw_n19d |
|---|
| 1682 | 0 - 1 0 |
|---|
| 1683 | 1 - 1 1 |
|---|
| 1684 | - 0 0 0 |
|---|
| 1685 | - 1 0 1 |
|---|
| 1686 | .names xMant$start$raw_n49<0> xMant<0> _n12 xMant$_n12$raw_n19f<0> |
|---|
| 1687 | 0 - 1 0 |
|---|
| 1688 | 1 - 1 1 |
|---|
| 1689 | - 0 0 0 |
|---|
| 1690 | - 1 0 1 |
|---|
| 1691 | .names xMant$start$raw_n49<1> xMant<1> _n12 xMant$_n12$raw_n19f<1> |
|---|
| 1692 | 0 - 1 0 |
|---|
| 1693 | 1 - 1 1 |
|---|
| 1694 | - 0 0 0 |
|---|
| 1695 | - 1 0 1 |
|---|
| 1696 | .names xMant$start$raw_n49<2> xMant<2> _n12 xMant$_n12$raw_n19f<2> |
|---|
| 1697 | 0 - 1 0 |
|---|
| 1698 | 1 - 1 1 |
|---|
| 1699 | - 0 0 0 |
|---|
| 1700 | - 1 0 1 |
|---|
| 1701 | .names xMant$start$raw_n49<3> xMant<3> _n12 xMant$_n12$raw_n19f<3> |
|---|
| 1702 | 0 - 1 0 |
|---|
| 1703 | 1 - 1 1 |
|---|
| 1704 | - 0 0 0 |
|---|
| 1705 | - 1 0 1 |
|---|
| 1706 | .names signProd signProd$_n4e$raw_n15f _n12 signProd$_n12$raw_n1a5 |
|---|
| 1707 | 0 - 1 0 |
|---|
| 1708 | 1 - 1 1 |
|---|
| 1709 | - 0 0 0 |
|---|
| 1710 | - 1 0 1 |
|---|
| 1711 | .names z<0> z$_n4e$raw_n172<0> _n12 z$_n12$raw_n1a7<0> |
|---|
| 1712 | 0 - 1 0 |
|---|
| 1713 | 1 - 1 1 |
|---|
| 1714 | - 0 0 0 |
|---|
| 1715 | - 1 0 1 |
|---|
| 1716 | .names z<1> z$_n4e$raw_n172<1> _n12 z$_n12$raw_n1a7<1> |
|---|
| 1717 | 0 - 1 0 |
|---|
| 1718 | 1 - 1 1 |
|---|
| 1719 | - 0 0 0 |
|---|
| 1720 | - 1 0 1 |
|---|
| 1721 | .names z<2> z$_n4e$raw_n172<2> _n12 z$_n12$raw_n1a7<2> |
|---|
| 1722 | 0 - 1 0 |
|---|
| 1723 | 1 - 1 1 |
|---|
| 1724 | - 0 0 0 |
|---|
| 1725 | - 1 0 1 |
|---|
| 1726 | .names z<3> z$_n4e$raw_n172<3> _n12 z$_n12$raw_n1a7<3> |
|---|
| 1727 | 0 - 1 0 |
|---|
| 1728 | 1 - 1 1 |
|---|
| 1729 | - 0 0 0 |
|---|
| 1730 | - 1 0 1 |
|---|
| 1731 | .names z<4> z$_n4e$raw_n172<4> _n12 z$_n12$raw_n1a7<4> |
|---|
| 1732 | 0 - 1 0 |
|---|
| 1733 | 1 - 1 1 |
|---|
| 1734 | - 0 0 0 |
|---|
| 1735 | - 1 0 1 |
|---|
| 1736 | .names z<5> z$_n4e$raw_n172<5> _n12 z$_n12$raw_n1a7<5> |
|---|
| 1737 | 0 - 1 0 |
|---|
| 1738 | 1 - 1 1 |
|---|
| 1739 | - 0 0 0 |
|---|
| 1740 | - 1 0 1 |
|---|
| 1741 | .names z<6> z$_n4e$raw_n172<6> _n12 z$_n12$raw_n1a7<6> |
|---|
| 1742 | 0 - 1 0 |
|---|
| 1743 | 1 - 1 1 |
|---|
| 1744 | - 0 0 0 |
|---|
| 1745 | - 1 0 1 |
|---|
| 1746 | .names z<7> z$_n4e$raw_n172<7> _n12 z$_n12$raw_n1a7<7> |
|---|
| 1747 | 0 - 1 0 |
|---|
| 1748 | 1 - 1 1 |
|---|
| 1749 | - 0 0 0 |
|---|
| 1750 | - 1 0 1 |
|---|
| 1751 | .names mantProd<0> mantProd$_n4e$raw_n161<0> _n12 mantProd$_n12$raw_n1b0<0> |
|---|
| 1752 | 0 - 1 0 |
|---|
| 1753 | 1 - 1 1 |
|---|
| 1754 | - 0 0 0 |
|---|
| 1755 | - 1 0 1 |
|---|
| 1756 | .names mantProd<1> mantProd$_n4e$raw_n161<1> _n12 mantProd$_n12$raw_n1b0<1> |
|---|
| 1757 | 0 - 1 0 |
|---|
| 1758 | 1 - 1 1 |
|---|
| 1759 | - 0 0 0 |
|---|
| 1760 | - 1 0 1 |
|---|
| 1761 | .names mantProd<2> mantProd$_n4e$raw_n161<2> _n12 mantProd$_n12$raw_n1b0<2> |
|---|
| 1762 | 0 - 1 0 |
|---|
| 1763 | 1 - 1 1 |
|---|
| 1764 | - 0 0 0 |
|---|
| 1765 | - 1 0 1 |
|---|
| 1766 | .names mantProd<3> mantProd$_n4e$raw_n161<3> _n12 mantProd$_n12$raw_n1b0<3> |
|---|
| 1767 | 0 - 1 0 |
|---|
| 1768 | 1 - 1 1 |
|---|
| 1769 | - 0 0 0 |
|---|
| 1770 | - 1 0 1 |
|---|
| 1771 | .names mantProd<4> mantProd$_n4e$raw_n161<4> _n12 mantProd$_n12$raw_n1b0<4> |
|---|
| 1772 | 0 - 1 0 |
|---|
| 1773 | 1 - 1 1 |
|---|
| 1774 | - 0 0 0 |
|---|
| 1775 | - 1 0 1 |
|---|
| 1776 | .names mantProd<5> mantProd$_n4e$raw_n161<5> _n12 mantProd$_n12$raw_n1b0<5> |
|---|
| 1777 | 0 - 1 0 |
|---|
| 1778 | 1 - 1 1 |
|---|
| 1779 | - 0 0 0 |
|---|
| 1780 | - 1 0 1 |
|---|
| 1781 | .names mantProd<6> mantProd$_n4e$raw_n161<6> _n12 mantProd$_n12$raw_n1b0<6> |
|---|
| 1782 | 0 - 1 0 |
|---|
| 1783 | 1 - 1 1 |
|---|
| 1784 | - 0 0 0 |
|---|
| 1785 | - 1 0 1 |
|---|
| 1786 | .names mantProd<7> mantProd$_n4e$raw_n161<7> _n12 mantProd$_n12$raw_n1b0<7> |
|---|
| 1787 | 0 - 1 0 |
|---|
| 1788 | 1 - 1 1 |
|---|
| 1789 | - 0 0 0 |
|---|
| 1790 | - 1 0 1 |
|---|
| 1791 | .names expProd<0> expProd$_n4e$raw_n16b<0> _n12 expProd$_n12$raw_n1ba<0> |
|---|
| 1792 | 0 - 1 0 |
|---|
| 1793 | 1 - 1 1 |
|---|
| 1794 | - 0 0 0 |
|---|
| 1795 | - 1 0 1 |
|---|
| 1796 | .names expProd<1> expProd$_n4e$raw_n16b<1> _n12 expProd$_n12$raw_n1ba<1> |
|---|
| 1797 | 0 - 1 0 |
|---|
| 1798 | 1 - 1 1 |
|---|
| 1799 | - 0 0 0 |
|---|
| 1800 | - 1 0 1 |
|---|
| 1801 | .names expProd<2> expProd$_n4e$raw_n16b<2> _n12 expProd$_n12$raw_n1ba<2> |
|---|
| 1802 | 0 - 1 0 |
|---|
| 1803 | 1 - 1 1 |
|---|
| 1804 | - 0 0 0 |
|---|
| 1805 | - 1 0 1 |
|---|
| 1806 | .names expProd<3> expProd$_n4e$raw_n16b<3> _n12 expProd$_n12$raw_n1ba<3> |
|---|
| 1807 | 0 - 1 0 |
|---|
| 1808 | 1 - 1 1 |
|---|
| 1809 | - 0 0 0 |
|---|
| 1810 | - 1 0 1 |
|---|
| 1811 | .names expProd<4> expProd$_n4e$raw_n16b<4> _n12 expProd$_n12$raw_n1ba<4> |
|---|
| 1812 | 0 - 1 0 |
|---|
| 1813 | 1 - 1 1 |
|---|
| 1814 | - 0 0 0 |
|---|
| 1815 | - 1 0 1 |
|---|
| 1816 | .names expProd<5> expProd$_n4e$raw_n16b<5> _n12 expProd$_n12$raw_n1ba<5> |
|---|
| 1817 | 0 - 1 0 |
|---|
| 1818 | 1 - 1 1 |
|---|
| 1819 | - 0 0 0 |
|---|
| 1820 | - 1 0 1 |
|---|
| 1821 | # assign msb = mantProd [2 * 3 + 1] |
|---|
| 1822 | .names mantProd<7> msb$raw_n1c1 |
|---|
| 1823 | - =mantProd<7> |
|---|
| 1824 | # assign lsb = mantProd [3 + 1] |
|---|
| 1825 | .names mantProd<4> lsb$raw_n1c2 |
|---|
| 1826 | - =mantProd<4> |
|---|
| 1827 | # assign guard = mantProd [3] |
|---|
| 1828 | .names mantProd<3> guard$raw_n1c3 |
|---|
| 1829 | - =mantProd<3> |
|---|
| 1830 | # assign round = mantProd [3 - 1] |
|---|
| 1831 | .names mantProd<2> round$raw_n1c4 |
|---|
| 1832 | - =mantProd<2> |
|---|
| 1833 | # assign sticky = |mantProd [3 - 2 : 0] |
|---|
| 1834 | .names mantProd<0> mantProd<1> _n1c8 |
|---|
| 1835 | .def 1 |
|---|
| 1836 | 0 0 0 |
|---|
| 1837 | .names _n1c8 _n1c6 |
|---|
| 1838 | - =_n1c8 |
|---|
| 1839 | .names _n1c6 sticky$raw_n1c5 |
|---|
| 1840 | - =_n1c6 |
|---|
| 1841 | # assign preMant = msb ? mantProd [2 * 3 + 1 : 3] + {{'b0}, guard & (round | sticky | lsb ), 'b0} : mantProd [2 * 3 + 1 : 3] + {{'b0}, round & (sticky | guard )} |
|---|
| 1842 | .names _n1cb |
|---|
| 1843 | 0 |
|---|
| 1844 | .names _n1cb _n1ca<0> |
|---|
| 1845 | - =_n1cb |
|---|
| 1846 | .names _n1cc |
|---|
| 1847 | 0 |
|---|
| 1848 | # round | sticky |
|---|
| 1849 | .names round sticky _n1cd |
|---|
| 1850 | .def 1 |
|---|
| 1851 | 0 0 0 |
|---|
| 1852 | # round | sticky | lsb |
|---|
| 1853 | .names _n1cd lsb _n1ce |
|---|
| 1854 | .def 1 |
|---|
| 1855 | 0 0 0 |
|---|
| 1856 | # guard & (round | sticky | lsb ) |
|---|
| 1857 | .names guard _n1ce _n1cf |
|---|
| 1858 | .def 0 |
|---|
| 1859 | 1 1 1 |
|---|
| 1860 | .names _n1cf _n1ca<1> |
|---|
| 1861 | - =_n1cf |
|---|
| 1862 | .names _n1d0 |
|---|
| 1863 | 0 |
|---|
| 1864 | .names _n1d2 |
|---|
| 1865 | 0 |
|---|
| 1866 | .names _n1d2 _n1d1<0> |
|---|
| 1867 | - =_n1d2 |
|---|
| 1868 | .names _n1d3 |
|---|
| 1869 | 0 |
|---|
| 1870 | .names _n1d4 |
|---|
| 1871 | 0 |
|---|
| 1872 | .names _n1d4 _n1d1<1> |
|---|
| 1873 | - =_n1d4 |
|---|
| 1874 | .names _n1d5 |
|---|
| 1875 | 0 |
|---|
| 1876 | .names _n1d6 |
|---|
| 1877 | 0 |
|---|
| 1878 | .names _n1d6 _n1d1<2> |
|---|
| 1879 | - =_n1d6 |
|---|
| 1880 | .names _n1d7 |
|---|
| 1881 | 0 |
|---|
| 1882 | .names _n1d1<0> _n1ca<2> |
|---|
| 1883 | - =_n1d1<0> |
|---|
| 1884 | .names _n1d1<1> _n1ca<3> |
|---|
| 1885 | - =_n1d1<1> |
|---|
| 1886 | .names _n1d1<2> _n1ca<4> |
|---|
| 1887 | - =_n1d1<2> |
|---|
| 1888 | # mantProd [2 * 3 + 1 : 3] + {{'b0}, guard & (round | sticky | lsb ), 'b0} |
|---|
| 1889 | .names _n1d9 |
|---|
| 1890 | 0 |
|---|
| 1891 | .names mantProd<3> _n1ca<0> _n1d9 _n1d8<0> |
|---|
| 1892 | .def 0 |
|---|
| 1893 | 0 0 1 1 |
|---|
| 1894 | 0 1 0 1 |
|---|
| 1895 | 1 0 0 1 |
|---|
| 1896 | 1 1 1 1 |
|---|
| 1897 | # carry/borrow |
|---|
| 1898 | .names _n1db |
|---|
| 1899 | 0 |
|---|
| 1900 | .names mantProd<3> _n1ca<0> _n1db _n1da |
|---|
| 1901 | .def 0 |
|---|
| 1902 | 0 1 1 1 |
|---|
| 1903 | 1 0 1 1 |
|---|
| 1904 | 1 1 0 1 |
|---|
| 1905 | 1 1 1 1 |
|---|
| 1906 | .names mantProd<4> _n1ca<1> _n1da _n1d8<1> |
|---|
| 1907 | .def 0 |
|---|
| 1908 | 0 0 1 1 |
|---|
| 1909 | 0 1 0 1 |
|---|
| 1910 | 1 0 0 1 |
|---|
| 1911 | 1 1 1 1 |
|---|
| 1912 | # carry/borrow |
|---|
| 1913 | .names mantProd<4> _n1ca<1> _n1da _n1dc |
|---|
| 1914 | .def 0 |
|---|
| 1915 | 0 1 1 1 |
|---|
| 1916 | 1 0 1 1 |
|---|
| 1917 | 1 1 0 1 |
|---|
| 1918 | 1 1 1 1 |
|---|
| 1919 | .names mantProd<5> _n1ca<2> _n1dc _n1d8<2> |
|---|
| 1920 | .def 0 |
|---|
| 1921 | 0 0 1 1 |
|---|
| 1922 | 0 1 0 1 |
|---|
| 1923 | 1 0 0 1 |
|---|
| 1924 | 1 1 1 1 |
|---|
| 1925 | # carry/borrow |
|---|
| 1926 | .names mantProd<5> _n1ca<2> _n1dc _n1dd |
|---|
| 1927 | .def 0 |
|---|
| 1928 | 0 1 1 1 |
|---|
| 1929 | 1 0 1 1 |
|---|
| 1930 | 1 1 0 1 |
|---|
| 1931 | 1 1 1 1 |
|---|
| 1932 | .names mantProd<6> _n1ca<3> _n1dd _n1d8<3> |
|---|
| 1933 | .def 0 |
|---|
| 1934 | 0 0 1 1 |
|---|
| 1935 | 0 1 0 1 |
|---|
| 1936 | 1 0 0 1 |
|---|
| 1937 | 1 1 1 1 |
|---|
| 1938 | # carry/borrow |
|---|
| 1939 | .names mantProd<6> _n1ca<3> _n1dd _n1de |
|---|
| 1940 | .def 0 |
|---|
| 1941 | 0 1 1 1 |
|---|
| 1942 | 1 0 1 1 |
|---|
| 1943 | 1 1 0 1 |
|---|
| 1944 | 1 1 1 1 |
|---|
| 1945 | .names mantProd<7> _n1ca<4> _n1de _n1d8<4> |
|---|
| 1946 | .def 0 |
|---|
| 1947 | 0 0 1 1 |
|---|
| 1948 | 0 1 0 1 |
|---|
| 1949 | 1 0 0 1 |
|---|
| 1950 | 1 1 1 1 |
|---|
| 1951 | # sticky | guard |
|---|
| 1952 | .names sticky guard _n1e0 |
|---|
| 1953 | .def 1 |
|---|
| 1954 | 0 0 0 |
|---|
| 1955 | # round & (sticky | guard ) |
|---|
| 1956 | .names round _n1e0 _n1e1 |
|---|
| 1957 | .def 0 |
|---|
| 1958 | 1 1 1 |
|---|
| 1959 | .names _n1e1 _n1df<0> |
|---|
| 1960 | - =_n1e1 |
|---|
| 1961 | .names _n1e2 |
|---|
| 1962 | 0 |
|---|
| 1963 | .names _n1e4 |
|---|
| 1964 | 0 |
|---|
| 1965 | .names _n1e4 _n1e3<0> |
|---|
| 1966 | - =_n1e4 |
|---|
| 1967 | .names _n1e5 |
|---|
| 1968 | 0 |
|---|
| 1969 | .names _n1e6 |
|---|
| 1970 | 0 |
|---|
| 1971 | .names _n1e6 _n1e3<1> |
|---|
| 1972 | - =_n1e6 |
|---|
| 1973 | .names _n1e7 |
|---|
| 1974 | 0 |
|---|
| 1975 | .names _n1e8 |
|---|
| 1976 | 0 |
|---|
| 1977 | .names _n1e8 _n1e3<2> |
|---|
| 1978 | - =_n1e8 |
|---|
| 1979 | .names _n1e9 |
|---|
| 1980 | 0 |
|---|
| 1981 | .names _n1ea |
|---|
| 1982 | 0 |
|---|
| 1983 | .names _n1ea _n1e3<3> |
|---|
| 1984 | - =_n1ea |
|---|
| 1985 | .names _n1eb |
|---|
| 1986 | 0 |
|---|
| 1987 | .names _n1e3<0> _n1df<1> |
|---|
| 1988 | - =_n1e3<0> |
|---|
| 1989 | .names _n1e3<1> _n1df<2> |
|---|
| 1990 | - =_n1e3<1> |
|---|
| 1991 | .names _n1e3<2> _n1df<3> |
|---|
| 1992 | - =_n1e3<2> |
|---|
| 1993 | .names _n1e3<3> _n1df<4> |
|---|
| 1994 | - =_n1e3<3> |
|---|
| 1995 | # mantProd [2 * 3 + 1 : 3] + {{'b0}, round & (sticky | guard )} |
|---|
| 1996 | .names _n1ed |
|---|
| 1997 | 0 |
|---|
| 1998 | .names mantProd<3> _n1df<0> _n1ed _n1ec<0> |
|---|
| 1999 | .def 0 |
|---|
| 2000 | 0 0 1 1 |
|---|
| 2001 | 0 1 0 1 |
|---|
| 2002 | 1 0 0 1 |
|---|
| 2003 | 1 1 1 1 |
|---|
| 2004 | # carry/borrow |
|---|
| 2005 | .names _n1ef |
|---|
| 2006 | 0 |
|---|
| 2007 | .names mantProd<3> _n1df<0> _n1ef _n1ee |
|---|
| 2008 | .def 0 |
|---|
| 2009 | 0 1 1 1 |
|---|
| 2010 | 1 0 1 1 |
|---|
| 2011 | 1 1 0 1 |
|---|
| 2012 | 1 1 1 1 |
|---|
| 2013 | .names mantProd<4> _n1df<1> _n1ee _n1ec<1> |
|---|
| 2014 | .def 0 |
|---|
| 2015 | 0 0 1 1 |
|---|
| 2016 | 0 1 0 1 |
|---|
| 2017 | 1 0 0 1 |
|---|
| 2018 | 1 1 1 1 |
|---|
| 2019 | # carry/borrow |
|---|
| 2020 | .names mantProd<4> _n1df<1> _n1ee _n1f0 |
|---|
| 2021 | .def 0 |
|---|
| 2022 | 0 1 1 1 |
|---|
| 2023 | 1 0 1 1 |
|---|
| 2024 | 1 1 0 1 |
|---|
| 2025 | 1 1 1 1 |
|---|
| 2026 | .names mantProd<5> _n1df<2> _n1f0 _n1ec<2> |
|---|
| 2027 | .def 0 |
|---|
| 2028 | 0 0 1 1 |
|---|
| 2029 | 0 1 0 1 |
|---|
| 2030 | 1 0 0 1 |
|---|
| 2031 | 1 1 1 1 |
|---|
| 2032 | # carry/borrow |
|---|
| 2033 | .names mantProd<5> _n1df<2> _n1f0 _n1f1 |
|---|
| 2034 | .def 0 |
|---|
| 2035 | 0 1 1 1 |
|---|
| 2036 | 1 0 1 1 |
|---|
| 2037 | 1 1 0 1 |
|---|
| 2038 | 1 1 1 1 |
|---|
| 2039 | .names mantProd<6> _n1df<3> _n1f1 _n1ec<3> |
|---|
| 2040 | .def 0 |
|---|
| 2041 | 0 0 1 1 |
|---|
| 2042 | 0 1 0 1 |
|---|
| 2043 | 1 0 0 1 |
|---|
| 2044 | 1 1 1 1 |
|---|
| 2045 | # carry/borrow |
|---|
| 2046 | .names mantProd<6> _n1df<3> _n1f1 _n1f2 |
|---|
| 2047 | .def 0 |
|---|
| 2048 | 0 1 1 1 |
|---|
| 2049 | 1 0 1 1 |
|---|
| 2050 | 1 1 0 1 |
|---|
| 2051 | 1 1 1 1 |
|---|
| 2052 | .names mantProd<7> _n1df<4> _n1f2 _n1ec<4> |
|---|
| 2053 | .def 0 |
|---|
| 2054 | 0 0 1 1 |
|---|
| 2055 | 0 1 0 1 |
|---|
| 2056 | 1 0 0 1 |
|---|
| 2057 | 1 1 1 1 |
|---|
| 2058 | # msb ? mantProd [2 * 3 + 1 : 3] + {{'b0}, guard & (round | sticky | lsb ), 'b0} : mantProd [2 * 3 + 1 : 3] + {{'b0}, round & (sticky | guard )} |
|---|
| 2059 | .names _n1d8<0> _n1ec<0> msb _n1f3<0> |
|---|
| 2060 | 0 - 1 0 |
|---|
| 2061 | 1 - 1 1 |
|---|
| 2062 | - 0 0 0 |
|---|
| 2063 | - 1 0 1 |
|---|
| 2064 | .names _n1d8<1> _n1ec<1> msb _n1f3<1> |
|---|
| 2065 | 0 - 1 0 |
|---|
| 2066 | 1 - 1 1 |
|---|
| 2067 | - 0 0 0 |
|---|
| 2068 | - 1 0 1 |
|---|
| 2069 | .names _n1d8<2> _n1ec<2> msb _n1f3<2> |
|---|
| 2070 | 0 - 1 0 |
|---|
| 2071 | 1 - 1 1 |
|---|
| 2072 | - 0 0 0 |
|---|
| 2073 | - 1 0 1 |
|---|
| 2074 | .names _n1d8<3> _n1ec<3> msb _n1f3<3> |
|---|
| 2075 | 0 - 1 0 |
|---|
| 2076 | 1 - 1 1 |
|---|
| 2077 | - 0 0 0 |
|---|
| 2078 | - 1 0 1 |
|---|
| 2079 | .names _n1d8<4> _n1ec<4> msb _n1f3<4> |
|---|
| 2080 | 0 - 1 0 |
|---|
| 2081 | 1 - 1 1 |
|---|
| 2082 | - 0 0 0 |
|---|
| 2083 | - 1 0 1 |
|---|
| 2084 | .names _n1f3<0> preMant$raw_n1c9<0> |
|---|
| 2085 | - =_n1f3<0> |
|---|
| 2086 | .names _n1f3<1> preMant$raw_n1c9<1> |
|---|
| 2087 | - =_n1f3<1> |
|---|
| 2088 | .names _n1f3<2> preMant$raw_n1c9<2> |
|---|
| 2089 | - =_n1f3<2> |
|---|
| 2090 | .names _n1f3<3> preMant$raw_n1c9<3> |
|---|
| 2091 | - =_n1f3<3> |
|---|
| 2092 | .names _n1f3<4> preMant$raw_n1c9<4> |
|---|
| 2093 | - =_n1f3<4> |
|---|
| 2094 | # assign scaledExp = preMant [3 + 1] ? expProd + 1 : expProd |
|---|
| 2095 | .names _n1fa<0> |
|---|
| 2096 | 1 |
|---|
| 2097 | .names _n1fa<1> |
|---|
| 2098 | 0 |
|---|
| 2099 | .names _n1fa<2> |
|---|
| 2100 | 0 |
|---|
| 2101 | .names _n1fa<3> |
|---|
| 2102 | 0 |
|---|
| 2103 | .names _n1fa<4> |
|---|
| 2104 | 0 |
|---|
| 2105 | .names _n1fa<5> |
|---|
| 2106 | 0 |
|---|
| 2107 | # expProd + 1 |
|---|
| 2108 | .names _n1fc |
|---|
| 2109 | 0 |
|---|
| 2110 | .names expProd<0> _n1fa<0> _n1fc _n1fb<0> |
|---|
| 2111 | .def 0 |
|---|
| 2112 | 0 0 1 1 |
|---|
| 2113 | 0 1 0 1 |
|---|
| 2114 | 1 0 0 1 |
|---|
| 2115 | 1 1 1 1 |
|---|
| 2116 | # carry/borrow |
|---|
| 2117 | .names _n1fe |
|---|
| 2118 | 0 |
|---|
| 2119 | .names expProd<0> _n1fa<0> _n1fe _n1fd |
|---|
| 2120 | .def 0 |
|---|
| 2121 | 0 1 1 1 |
|---|
| 2122 | 1 0 1 1 |
|---|
| 2123 | 1 1 0 1 |
|---|
| 2124 | 1 1 1 1 |
|---|
| 2125 | .names expProd<1> _n1fa<1> _n1fd _n1fb<1> |
|---|
| 2126 | .def 0 |
|---|
| 2127 | 0 0 1 1 |
|---|
| 2128 | 0 1 0 1 |
|---|
| 2129 | 1 0 0 1 |
|---|
| 2130 | 1 1 1 1 |
|---|
| 2131 | # carry/borrow |
|---|
| 2132 | .names expProd<1> _n1fa<1> _n1fd _n1ff |
|---|
| 2133 | .def 0 |
|---|
| 2134 | 0 1 1 1 |
|---|
| 2135 | 1 0 1 1 |
|---|
| 2136 | 1 1 0 1 |
|---|
| 2137 | 1 1 1 1 |
|---|
| 2138 | .names expProd<2> _n1fa<2> _n1ff _n1fb<2> |
|---|
| 2139 | .def 0 |
|---|
| 2140 | 0 0 1 1 |
|---|
| 2141 | 0 1 0 1 |
|---|
| 2142 | 1 0 0 1 |
|---|
| 2143 | 1 1 1 1 |
|---|
| 2144 | # carry/borrow |
|---|
| 2145 | .names expProd<2> _n1fa<2> _n1ff _n200 |
|---|
| 2146 | .def 0 |
|---|
| 2147 | 0 1 1 1 |
|---|
| 2148 | 1 0 1 1 |
|---|
| 2149 | 1 1 0 1 |
|---|
| 2150 | 1 1 1 1 |
|---|
| 2151 | .names expProd<3> _n1fa<3> _n200 _n1fb<3> |
|---|
| 2152 | .def 0 |
|---|
| 2153 | 0 0 1 1 |
|---|
| 2154 | 0 1 0 1 |
|---|
| 2155 | 1 0 0 1 |
|---|
| 2156 | 1 1 1 1 |
|---|
| 2157 | # carry/borrow |
|---|
| 2158 | .names expProd<3> _n1fa<3> _n200 _n201 |
|---|
| 2159 | .def 0 |
|---|
| 2160 | 0 1 1 1 |
|---|
| 2161 | 1 0 1 1 |
|---|
| 2162 | 1 1 0 1 |
|---|
| 2163 | 1 1 1 1 |
|---|
| 2164 | .names expProd<4> _n1fa<4> _n201 _n1fb<4> |
|---|
| 2165 | .def 0 |
|---|
| 2166 | 0 0 1 1 |
|---|
| 2167 | 0 1 0 1 |
|---|
| 2168 | 1 0 0 1 |
|---|
| 2169 | 1 1 1 1 |
|---|
| 2170 | # carry/borrow |
|---|
| 2171 | .names expProd<4> _n1fa<4> _n201 _n202 |
|---|
| 2172 | .def 0 |
|---|
| 2173 | 0 1 1 1 |
|---|
| 2174 | 1 0 1 1 |
|---|
| 2175 | 1 1 0 1 |
|---|
| 2176 | 1 1 1 1 |
|---|
| 2177 | .names expProd<5> _n1fa<5> _n202 _n1fb<5> |
|---|
| 2178 | .def 0 |
|---|
| 2179 | 0 0 1 1 |
|---|
| 2180 | 0 1 0 1 |
|---|
| 2181 | 1 0 0 1 |
|---|
| 2182 | 1 1 1 1 |
|---|
| 2183 | # preMant [3 + 1] ? expProd + 1 : expProd |
|---|
| 2184 | .names preMant<4> _n204 |
|---|
| 2185 | .def 1 |
|---|
| 2186 | 0 0 |
|---|
| 2187 | .names _n1fb<0> expProd<0> _n204 _n203<0> |
|---|
| 2188 | 0 - 1 0 |
|---|
| 2189 | 1 - 1 1 |
|---|
| 2190 | - 0 0 0 |
|---|
| 2191 | - 1 0 1 |
|---|
| 2192 | .names _n1fb<1> expProd<1> _n204 _n203<1> |
|---|
| 2193 | 0 - 1 0 |
|---|
| 2194 | 1 - 1 1 |
|---|
| 2195 | - 0 0 0 |
|---|
| 2196 | - 1 0 1 |
|---|
| 2197 | .names _n1fb<2> expProd<2> _n204 _n203<2> |
|---|
| 2198 | 0 - 1 0 |
|---|
| 2199 | 1 - 1 1 |
|---|
| 2200 | - 0 0 0 |
|---|
| 2201 | - 1 0 1 |
|---|
| 2202 | .names _n1fb<3> expProd<3> _n204 _n203<3> |
|---|
| 2203 | 0 - 1 0 |
|---|
| 2204 | 1 - 1 1 |
|---|
| 2205 | - 0 0 0 |
|---|
| 2206 | - 1 0 1 |
|---|
| 2207 | .names _n1fb<4> expProd<4> _n204 _n203<4> |
|---|
| 2208 | 0 - 1 0 |
|---|
| 2209 | 1 - 1 1 |
|---|
| 2210 | - 0 0 0 |
|---|
| 2211 | - 1 0 1 |
|---|
| 2212 | .names _n1fb<5> expProd<5> _n204 _n203<5> |
|---|
| 2213 | 0 - 1 0 |
|---|
| 2214 | 1 - 1 1 |
|---|
| 2215 | - 0 0 0 |
|---|
| 2216 | - 1 0 1 |
|---|
| 2217 | .names _n203<0> scaledExp$raw_n1f9<0> |
|---|
| 2218 | - =_n203<0> |
|---|
| 2219 | .names _n203<1> scaledExp$raw_n1f9<1> |
|---|
| 2220 | - =_n203<1> |
|---|
| 2221 | .names _n203<2> scaledExp$raw_n1f9<2> |
|---|
| 2222 | - =_n203<2> |
|---|
| 2223 | .names _n203<3> scaledExp$raw_n1f9<3> |
|---|
| 2224 | - =_n203<3> |
|---|
| 2225 | .names _n203<4> scaledExp$raw_n1f9<4> |
|---|
| 2226 | - =_n203<4> |
|---|
| 2227 | .names _n203<5> scaledExp$raw_n1f9<5> |
|---|
| 2228 | - =_n203<5> |
|---|
| 2229 | # assign scaledMant = preMant [3 + 1] ? preMant [3 : 1] : preMant [3 - 1 : 0] |
|---|
| 2230 | # preMant [3 + 1] ? preMant [3 : 1] : preMant [3 - 1 : 0] |
|---|
| 2231 | .names preMant<4> _n20d |
|---|
| 2232 | .def 1 |
|---|
| 2233 | 0 0 |
|---|
| 2234 | .names preMant<1> preMant<0> _n20d _n20c<0> |
|---|
| 2235 | 0 - 1 0 |
|---|
| 2236 | 1 - 1 1 |
|---|
| 2237 | - 0 0 0 |
|---|
| 2238 | - 1 0 1 |
|---|
| 2239 | .names preMant<2> preMant<1> _n20d _n20c<1> |
|---|
| 2240 | 0 - 1 0 |
|---|
| 2241 | 1 - 1 1 |
|---|
| 2242 | - 0 0 0 |
|---|
| 2243 | - 1 0 1 |
|---|
| 2244 | .names preMant<3> preMant<2> _n20d _n20c<2> |
|---|
| 2245 | 0 - 1 0 |
|---|
| 2246 | 1 - 1 1 |
|---|
| 2247 | - 0 0 0 |
|---|
| 2248 | - 1 0 1 |
|---|
| 2249 | .names _n20c<0> scaledMant$raw_n20b<0> |
|---|
| 2250 | - =_n20c<0> |
|---|
| 2251 | .names _n20c<1> scaledMant$raw_n20b<1> |
|---|
| 2252 | - =_n20c<1> |
|---|
| 2253 | .names _n20c<2> scaledMant$raw_n20b<2> |
|---|
| 2254 | - =_n20c<2> |
|---|
| 2255 | # conflict arbitrators |
|---|
| 2256 | .names sticky$raw_n1c5 sticky |
|---|
| 2257 | 0 0 |
|---|
| 2258 | 1 1 |
|---|
| 2259 | .names _n12 _n4e _n211 |
|---|
| 2260 | .def 0 |
|---|
| 2261 | 0 1 1 |
|---|
| 2262 | .names _n211 signProd$_n12$raw_n1a5 signProd _n212 |
|---|
| 2263 | 1 0 - 0 |
|---|
| 2264 | 1 1 - 1 |
|---|
| 2265 | 0 - 0 0 |
|---|
| 2266 | 0 - 1 1 |
|---|
| 2267 | .names _n12 _n4e _n213 |
|---|
| 2268 | .def 0 |
|---|
| 2269 | 0 1 1 |
|---|
| 2270 | .names _n213 mantProd$_n12$raw_n1b0<0> mantProd$_n12$raw_n1b0<1> mantProd$_n12$raw_n1b0<2> mantProd$_n12$raw_n1b0<3> mantProd$_n12$raw_n1b0<4> mantProd$_n12$raw_n1b0<5> mantProd$_n12$raw_n1b0<6> mantProd$_n12$raw_n1b0<7> mantProd<0> mantProd<1> mantProd<2> mantProd<3> mantProd<4> mantProd<5> mantProd<6> mantProd<7> -> _n214<0> _n214<1> _n214<2> _n214<3> _n214<4> _n214<5> _n214<6> _n214<7> |
|---|
| 2271 | 1 - - - - - - - - - - - - - - - - =mantProd$_n12$raw_n1b0<0> =mantProd$_n12$raw_n1b0<1> =mantProd$_n12$raw_n1b0<2> =mantProd$_n12$raw_n1b0<3> =mantProd$_n12$raw_n1b0<4> =mantProd$_n12$raw_n1b0<5> =mantProd$_n12$raw_n1b0<6> =mantProd$_n12$raw_n1b0<7> |
|---|
| 2272 | 0 - - - - - - - - - - - - - - - - =mantProd<0> =mantProd<1> =mantProd<2> =mantProd<3> =mantProd<4> =mantProd<5> =mantProd<6> =mantProd<7> |
|---|
| 2273 | .names _n12 _n17 _n215 |
|---|
| 2274 | .def 0 |
|---|
| 2275 | 1 1 1 |
|---|
| 2276 | .names _n215 yMant$_n12$raw_n18c<0> yMant$_n12$raw_n18c<1> yMant$_n12$raw_n18c<2> yMant$_n12$raw_n18c<3> yMant<0> yMant<1> yMant<2> yMant<3> -> _n216<0> _n216<1> _n216<2> _n216<3> |
|---|
| 2277 | 1 - - - - - - - - =yMant$_n12$raw_n18c<0> =yMant$_n12$raw_n18c<1> =yMant$_n12$raw_n18c<2> =yMant$_n12$raw_n18c<3> |
|---|
| 2278 | 0 - - - - - - - - =yMant<0> =yMant<1> =yMant<2> =yMant<3> |
|---|
| 2279 | .names _n12 _n4e _n83 _n99 _nb4 _ncf _nfa _n217 |
|---|
| 2280 | .def 0 |
|---|
| 2281 | 0 0 1 1 - - - 1 |
|---|
| 2282 | 0 0 1 0 1 - - 1 |
|---|
| 2283 | 0 0 1 0 0 1 - 1 |
|---|
| 2284 | 0 0 1 0 0 0 1 1 |
|---|
| 2285 | 0 0 1 0 0 0 0 1 |
|---|
| 2286 | .names _n217 z$_n12$raw_n1a7<0> z$_n12$raw_n1a7<1> z$_n12$raw_n1a7<2> z$_n12$raw_n1a7<3> z$_n12$raw_n1a7<4> z$_n12$raw_n1a7<5> z$_n12$raw_n1a7<6> z$_n12$raw_n1a7<7> z<0> z<1> z<2> z<3> z<4> z<5> z<6> z<7> -> _n218<0> _n218<1> _n218<2> _n218<3> _n218<4> _n218<5> _n218<6> _n218<7> |
|---|
| 2287 | 1 - - - - - - - - - - - - - - - - =z$_n12$raw_n1a7<0> =z$_n12$raw_n1a7<1> =z$_n12$raw_n1a7<2> =z$_n12$raw_n1a7<3> =z$_n12$raw_n1a7<4> =z$_n12$raw_n1a7<5> =z$_n12$raw_n1a7<6> =z$_n12$raw_n1a7<7> |
|---|
| 2288 | 0 - - - - - - - - - - - - - - - - =z<0> =z<1> =z<2> =z<3> =z<4> =z<5> =z<6> =z<7> |
|---|
| 2289 | .names lsb$raw_n1c2 lsb |
|---|
| 2290 | 0 0 |
|---|
| 2291 | 1 1 |
|---|
| 2292 | .names scaledMant$raw_n20b<0> scaledMant<0> |
|---|
| 2293 | - =scaledMant$raw_n20b<0> |
|---|
| 2294 | .names scaledMant$raw_n20b<1> scaledMant<1> |
|---|
| 2295 | - =scaledMant$raw_n20b<1> |
|---|
| 2296 | .names scaledMant$raw_n20b<2> scaledMant<2> |
|---|
| 2297 | - =scaledMant$raw_n20b<2> |
|---|
| 2298 | .names _n12 _n17 _n219 |
|---|
| 2299 | .def 0 |
|---|
| 2300 | 1 1 1 |
|---|
| 2301 | .names _n219 yExp$_n12$raw_n193<0> yExp$_n12$raw_n193<1> yExp$_n12$raw_n193<2> yExp$_n12$raw_n193<3> yExp<0> yExp<1> yExp<2> yExp<3> -> _n21a<0> _n21a<1> _n21a<2> _n21a<3> |
|---|
| 2302 | 1 - - - - - - - - =yExp$_n12$raw_n193<0> =yExp$_n12$raw_n193<1> =yExp$_n12$raw_n193<2> =yExp$_n12$raw_n193<3> |
|---|
| 2303 | 0 - - - - - - - - =yExp<0> =yExp<1> =yExp<2> =yExp<3> |
|---|
| 2304 | .names _n12 _n17 _n21b |
|---|
| 2305 | .def 0 |
|---|
| 2306 | 1 1 1 |
|---|
| 2307 | .names _n21b ySign$_n12$raw_n191 ySign _n21c |
|---|
| 2308 | 1 0 - 0 |
|---|
| 2309 | 1 1 - 1 |
|---|
| 2310 | 0 - 0 0 |
|---|
| 2311 | 0 - 1 1 |
|---|
| 2312 | .names _n12 _n17 _n21d |
|---|
| 2313 | .def 0 |
|---|
| 2314 | 1 1 1 |
|---|
| 2315 | .names _n21d xExp$_n12$raw_n198<0> xExp$_n12$raw_n198<1> xExp$_n12$raw_n198<2> xExp$_n12$raw_n198<3> xExp<0> xExp<1> xExp<2> xExp<3> -> _n21e<0> _n21e<1> _n21e<2> _n21e<3> |
|---|
| 2316 | 1 - - - - - - - - =xExp$_n12$raw_n198<0> =xExp$_n12$raw_n198<1> =xExp$_n12$raw_n198<2> =xExp$_n12$raw_n198<3> |
|---|
| 2317 | 0 - - - - - - - - =xExp<0> =xExp<1> =xExp<2> =xExp<3> |
|---|
| 2318 | .names preMant$raw_n1c9<0> preMant<0> |
|---|
| 2319 | - =preMant$raw_n1c9<0> |
|---|
| 2320 | .names preMant$raw_n1c9<1> preMant<1> |
|---|
| 2321 | - =preMant$raw_n1c9<1> |
|---|
| 2322 | .names preMant$raw_n1c9<2> preMant<2> |
|---|
| 2323 | - =preMant$raw_n1c9<2> |
|---|
| 2324 | .names preMant$raw_n1c9<3> preMant<3> |
|---|
| 2325 | - =preMant$raw_n1c9<3> |
|---|
| 2326 | .names preMant$raw_n1c9<4> preMant<4> |
|---|
| 2327 | - =preMant$raw_n1c9<4> |
|---|
| 2328 | .names msb$raw_n1c1 msb |
|---|
| 2329 | 0 0 |
|---|
| 2330 | 1 1 |
|---|
| 2331 | .names _n12 _n17 _n21f |
|---|
| 2332 | .def 0 |
|---|
| 2333 | 1 1 1 |
|---|
| 2334 | .names _n21f xSign$_n12$raw_n19d xSign _n220 |
|---|
| 2335 | 1 0 - 0 |
|---|
| 2336 | 1 1 - 1 |
|---|
| 2337 | 0 - 0 0 |
|---|
| 2338 | 0 - 1 1 |
|---|
| 2339 | .names round$raw_n1c4 round |
|---|
| 2340 | 0 0 |
|---|
| 2341 | 1 1 |
|---|
| 2342 | .names _n12 _n17 _n4e _n83 _n221 |
|---|
| 2343 | .def 0 |
|---|
| 2344 | 1 1 - - 1 |
|---|
| 2345 | 0 - 1 - 1 |
|---|
| 2346 | 0 - 0 1 1 |
|---|
| 2347 | .names _n221 state$_n12$raw_n182<0> state$_n12$raw_n182<1> state<0> state<1> -> _n222<0> _n222<1> |
|---|
| 2348 | 1 - - - - =state$_n12$raw_n182<0> =state$_n12$raw_n182<1> |
|---|
| 2349 | 0 - - - - =state<0> =state<1> |
|---|
| 2350 | .names _n12 _n17 _n223 |
|---|
| 2351 | .def 0 |
|---|
| 2352 | 1 1 1 |
|---|
| 2353 | .names _n223 xMant$_n12$raw_n19f<0> xMant$_n12$raw_n19f<1> xMant$_n12$raw_n19f<2> xMant$_n12$raw_n19f<3> xMant<0> xMant<1> xMant<2> xMant<3> -> _n224<0> _n224<1> _n224<2> _n224<3> |
|---|
| 2354 | 1 - - - - - - - - =xMant$_n12$raw_n19f<0> =xMant$_n12$raw_n19f<1> =xMant$_n12$raw_n19f<2> =xMant$_n12$raw_n19f<3> |
|---|
| 2355 | 0 - - - - - - - - =xMant<0> =xMant<1> =xMant<2> =xMant<3> |
|---|
| 2356 | .names scaledExp$raw_n1f9<0> scaledExp<0> |
|---|
| 2357 | - =scaledExp$raw_n1f9<0> |
|---|
| 2358 | .names scaledExp$raw_n1f9<1> scaledExp<1> |
|---|
| 2359 | - =scaledExp$raw_n1f9<1> |
|---|
| 2360 | .names scaledExp$raw_n1f9<2> scaledExp<2> |
|---|
| 2361 | - =scaledExp$raw_n1f9<2> |
|---|
| 2362 | .names scaledExp$raw_n1f9<3> scaledExp<3> |
|---|
| 2363 | - =scaledExp$raw_n1f9<3> |
|---|
| 2364 | .names scaledExp$raw_n1f9<4> scaledExp<4> |
|---|
| 2365 | - =scaledExp$raw_n1f9<4> |
|---|
| 2366 | .names scaledExp$raw_n1f9<5> scaledExp<5> |
|---|
| 2367 | - =scaledExp$raw_n1f9<5> |
|---|
| 2368 | .names guard$raw_n1c3 guard |
|---|
| 2369 | 0 0 |
|---|
| 2370 | 1 1 |
|---|
| 2371 | .names _n12 _n4e _n59 _n225 |
|---|
| 2372 | .def 0 |
|---|
| 2373 | 0 1 1 1 |
|---|
| 2374 | 0 1 0 1 |
|---|
| 2375 | .names _n225 expProd$_n12$raw_n1ba<0> expProd$_n12$raw_n1ba<1> expProd$_n12$raw_n1ba<2> expProd$_n12$raw_n1ba<3> expProd$_n12$raw_n1ba<4> expProd$_n12$raw_n1ba<5> expProd<0> expProd<1> expProd<2> expProd<3> expProd<4> expProd<5> -> _n226<0> _n226<1> _n226<2> _n226<3> _n226<4> _n226<5> |
|---|
| 2376 | 1 - - - - - - - - - - - - =expProd$_n12$raw_n1ba<0> =expProd$_n12$raw_n1ba<1> =expProd$_n12$raw_n1ba<2> =expProd$_n12$raw_n1ba<3> =expProd$_n12$raw_n1ba<4> =expProd$_n12$raw_n1ba<5> |
|---|
| 2377 | 0 - - - - - - - - - - - - =expProd<0> =expProd<1> =expProd<2> =expProd<3> =expProd<4> =expProd<5> |
|---|
| 2378 | # non-blocking assignments |
|---|
| 2379 | # latches |
|---|
| 2380 | .r signProd$raw_nd signProd |
|---|
| 2381 | 0 0 |
|---|
| 2382 | 1 1 |
|---|
| 2383 | .latch _n212 signProd |
|---|
| 2384 | .r z$raw_n10<0> z<0> |
|---|
| 2385 | .def 0 |
|---|
| 2386 | 1 1 |
|---|
| 2387 | .r z$raw_n10<1> z<1> |
|---|
| 2388 | .def 0 |
|---|
| 2389 | 1 1 |
|---|
| 2390 | .r z$raw_n10<2> z<2> |
|---|
| 2391 | .def 0 |
|---|
| 2392 | 1 1 |
|---|
| 2393 | .r z$raw_n10<3> z<3> |
|---|
| 2394 | .def 0 |
|---|
| 2395 | 1 1 |
|---|
| 2396 | .r z$raw_n10<4> z<4> |
|---|
| 2397 | .def 0 |
|---|
| 2398 | 1 1 |
|---|
| 2399 | .r z$raw_n10<5> z<5> |
|---|
| 2400 | .def 0 |
|---|
| 2401 | 1 1 |
|---|
| 2402 | .r z$raw_n10<6> z<6> |
|---|
| 2403 | .def 0 |
|---|
| 2404 | 1 1 |
|---|
| 2405 | .r z$raw_n10<7> z<7> |
|---|
| 2406 | .def 0 |
|---|
| 2407 | 1 1 |
|---|
| 2408 | .latch _n218<0> z<0> |
|---|
| 2409 | .latch _n218<1> z<1> |
|---|
| 2410 | .latch _n218<2> z<2> |
|---|
| 2411 | .latch _n218<3> z<3> |
|---|
| 2412 | .latch _n218<4> z<4> |
|---|
| 2413 | .latch _n218<5> z<5> |
|---|
| 2414 | .latch _n218<6> z<6> |
|---|
| 2415 | .latch _n218<7> z<7> |
|---|
| 2416 | .r yMant$raw_nc<0> yMant<0> |
|---|
| 2417 | .def 0 |
|---|
| 2418 | 1 1 |
|---|
| 2419 | .r yMant$raw_nc<1> yMant<1> |
|---|
| 2420 | .def 0 |
|---|
| 2421 | 1 1 |
|---|
| 2422 | .r yMant$raw_nc<2> yMant<2> |
|---|
| 2423 | .def 0 |
|---|
| 2424 | 1 1 |
|---|
| 2425 | .r yMant$raw_nc<3> yMant<3> |
|---|
| 2426 | .def 0 |
|---|
| 2427 | 1 1 |
|---|
| 2428 | .latch _n216<0> yMant<0> |
|---|
| 2429 | .latch _n216<1> yMant<1> |
|---|
| 2430 | .latch _n216<2> yMant<2> |
|---|
| 2431 | .latch _n216<3> yMant<3> |
|---|
| 2432 | .r mantProd$raw_nf<0> mantProd<0> |
|---|
| 2433 | .def 0 |
|---|
| 2434 | 1 1 |
|---|
| 2435 | .r mantProd$raw_nf<1> mantProd<1> |
|---|
| 2436 | .def 0 |
|---|
| 2437 | 1 1 |
|---|
| 2438 | .r mantProd$raw_nf<2> mantProd<2> |
|---|
| 2439 | .def 0 |
|---|
| 2440 | 1 1 |
|---|
| 2441 | .r mantProd$raw_nf<3> mantProd<3> |
|---|
| 2442 | .def 0 |
|---|
| 2443 | 1 1 |
|---|
| 2444 | .r mantProd$raw_nf<4> mantProd<4> |
|---|
| 2445 | .def 0 |
|---|
| 2446 | 1 1 |
|---|
| 2447 | .r mantProd$raw_nf<5> mantProd<5> |
|---|
| 2448 | .def 0 |
|---|
| 2449 | 1 1 |
|---|
| 2450 | .r mantProd$raw_nf<6> mantProd<6> |
|---|
| 2451 | .def 0 |
|---|
| 2452 | 1 1 |
|---|
| 2453 | .r mantProd$raw_nf<7> mantProd<7> |
|---|
| 2454 | .def 0 |
|---|
| 2455 | 1 1 |
|---|
| 2456 | .latch _n214<0> mantProd<0> |
|---|
| 2457 | .latch _n214<1> mantProd<1> |
|---|
| 2458 | .latch _n214<2> mantProd<2> |
|---|
| 2459 | .latch _n214<3> mantProd<3> |
|---|
| 2460 | .latch _n214<4> mantProd<4> |
|---|
| 2461 | .latch _n214<5> mantProd<5> |
|---|
| 2462 | .latch _n214<6> mantProd<6> |
|---|
| 2463 | .latch _n214<7> mantProd<7> |
|---|
| 2464 | .r ySign$raw_na ySign |
|---|
| 2465 | 0 0 |
|---|
| 2466 | 1 1 |
|---|
| 2467 | .latch _n21c ySign |
|---|
| 2468 | .r yExp$raw_nb<0> yExp<0> |
|---|
| 2469 | .def 0 |
|---|
| 2470 | 1 1 |
|---|
| 2471 | .r yExp$raw_nb<1> yExp<1> |
|---|
| 2472 | .def 0 |
|---|
| 2473 | 1 1 |
|---|
| 2474 | .r yExp$raw_nb<2> yExp<2> |
|---|
| 2475 | .def 0 |
|---|
| 2476 | 1 1 |
|---|
| 2477 | .r yExp$raw_nb<3> yExp<3> |
|---|
| 2478 | .def 0 |
|---|
| 2479 | 1 1 |
|---|
| 2480 | .latch _n21a<0> yExp<0> |
|---|
| 2481 | .latch _n21a<1> yExp<1> |
|---|
| 2482 | .latch _n21a<2> yExp<2> |
|---|
| 2483 | .latch _n21a<3> yExp<3> |
|---|
| 2484 | .r xExp$raw_n8<0> xExp<0> |
|---|
| 2485 | .def 0 |
|---|
| 2486 | 1 1 |
|---|
| 2487 | .r xExp$raw_n8<1> xExp<1> |
|---|
| 2488 | .def 0 |
|---|
| 2489 | 1 1 |
|---|
| 2490 | .r xExp$raw_n8<2> xExp<2> |
|---|
| 2491 | .def 0 |
|---|
| 2492 | 1 1 |
|---|
| 2493 | .r xExp$raw_n8<3> xExp<3> |
|---|
| 2494 | .def 0 |
|---|
| 2495 | 1 1 |
|---|
| 2496 | .latch _n21e<0> xExp<0> |
|---|
| 2497 | .latch _n21e<1> xExp<1> |
|---|
| 2498 | .latch _n21e<2> xExp<2> |
|---|
| 2499 | .latch _n21e<3> xExp<3> |
|---|
| 2500 | .r xSign$raw_n7 xSign |
|---|
| 2501 | 0 0 |
|---|
| 2502 | 1 1 |
|---|
| 2503 | .latch _n220 xSign |
|---|
| 2504 | .r xMant$raw_n9<0> xMant<0> |
|---|
| 2505 | .def 0 |
|---|
| 2506 | 1 1 |
|---|
| 2507 | .r xMant$raw_n9<1> xMant<1> |
|---|
| 2508 | .def 0 |
|---|
| 2509 | 1 1 |
|---|
| 2510 | .r xMant$raw_n9<2> xMant<2> |
|---|
| 2511 | .def 0 |
|---|
| 2512 | 1 1 |
|---|
| 2513 | .r xMant$raw_n9<3> xMant<3> |
|---|
| 2514 | .def 0 |
|---|
| 2515 | 1 1 |
|---|
| 2516 | .latch _n224<0> xMant<0> |
|---|
| 2517 | .latch _n224<1> xMant<1> |
|---|
| 2518 | .latch _n224<2> xMant<2> |
|---|
| 2519 | .latch _n224<3> xMant<3> |
|---|
| 2520 | .r state$raw_n11<0> state<0> |
|---|
| 2521 | .def 0 |
|---|
| 2522 | 1 1 |
|---|
| 2523 | .r state$raw_n11<1> state<1> |
|---|
| 2524 | .def 0 |
|---|
| 2525 | 1 1 |
|---|
| 2526 | .latch _n222<0> state<0> |
|---|
| 2527 | .latch _n222<1> state<1> |
|---|
| 2528 | .r expProd$raw_ne<0> expProd<0> |
|---|
| 2529 | .def 0 |
|---|
| 2530 | 1 1 |
|---|
| 2531 | .r expProd$raw_ne<1> expProd<1> |
|---|
| 2532 | .def 0 |
|---|
| 2533 | 1 1 |
|---|
| 2534 | .r expProd$raw_ne<2> expProd<2> |
|---|
| 2535 | .def 0 |
|---|
| 2536 | 1 1 |
|---|
| 2537 | .r expProd$raw_ne<3> expProd<3> |
|---|
| 2538 | .def 0 |
|---|
| 2539 | 1 1 |
|---|
| 2540 | .r expProd$raw_ne<4> expProd<4> |
|---|
| 2541 | .def 0 |
|---|
| 2542 | 1 1 |
|---|
| 2543 | .r expProd$raw_ne<5> expProd<5> |
|---|
| 2544 | .def 0 |
|---|
| 2545 | 1 1 |
|---|
| 2546 | .latch _n226<0> expProd<0> |
|---|
| 2547 | .latch _n226<1> expProd<1> |
|---|
| 2548 | .latch _n226<2> expProd<2> |
|---|
| 2549 | .latch _n226<3> expProd<3> |
|---|
| 2550 | .latch _n226<4> expProd<4> |
|---|
| 2551 | .latch _n226<5> expProd<5> |
|---|
| 2552 | # quasi-continuous assignment |
|---|
| 2553 | .end |
|---|
| 2554 | |
|---|
| 2555 | |
|---|
| 2556 | .model NaN |
|---|
| 2557 | # I/O ports |
|---|
| 2558 | .inputs aMant<0> aMant<1> aMant<2> |
|---|
| 2559 | .outputs NaN<0> |
|---|
| 2560 | .inputs aExp<0> aExp<1> aExp<2> aExp<3> |
|---|
| 2561 | .names _n229 |
|---|
| 2562 | 1 |
|---|
| 2563 | .names _n229 _n228<0> |
|---|
| 2564 | - =_n229 |
|---|
| 2565 | .names _n22a |
|---|
| 2566 | 0 |
|---|
| 2567 | .names _n22b |
|---|
| 2568 | 1 |
|---|
| 2569 | .names _n22b _n228<1> |
|---|
| 2570 | - =_n22b |
|---|
| 2571 | .names _n22c |
|---|
| 2572 | 0 |
|---|
| 2573 | .names _n22d |
|---|
| 2574 | 1 |
|---|
| 2575 | .names _n22d _n228<2> |
|---|
| 2576 | - =_n22d |
|---|
| 2577 | .names _n22e |
|---|
| 2578 | 0 |
|---|
| 2579 | .names _n22f |
|---|
| 2580 | 1 |
|---|
| 2581 | .names _n22f _n228<3> |
|---|
| 2582 | - =_n22f |
|---|
| 2583 | .names _n230 |
|---|
| 2584 | 0 |
|---|
| 2585 | # aExp == {'b1} |
|---|
| 2586 | .names aExp<0> _n228<0> _n231<0> |
|---|
| 2587 | .def 0 |
|---|
| 2588 | 0 1 1 |
|---|
| 2589 | 1 0 1 |
|---|
| 2590 | .names aExp<1> _n228<1> _n231<1> |
|---|
| 2591 | .def 0 |
|---|
| 2592 | 0 1 1 |
|---|
| 2593 | 1 0 1 |
|---|
| 2594 | .names aExp<2> _n228<2> _n231<2> |
|---|
| 2595 | .def 0 |
|---|
| 2596 | 0 1 1 |
|---|
| 2597 | 1 0 1 |
|---|
| 2598 | .names aExp<3> _n228<3> _n231<3> |
|---|
| 2599 | .def 0 |
|---|
| 2600 | 0 1 1 |
|---|
| 2601 | 1 0 1 |
|---|
| 2602 | .names _n231<0> _n231<1> _n231<2> _n231<3> _n232 |
|---|
| 2603 | .def 1 |
|---|
| 2604 | 0 0 0 0 0 |
|---|
| 2605 | .names _n232 _n227 |
|---|
| 2606 | 0 1 |
|---|
| 2607 | 1 0 |
|---|
| 2608 | .names _n234<0> |
|---|
| 2609 | 0 |
|---|
| 2610 | .names _n234<1> |
|---|
| 2611 | 0 |
|---|
| 2612 | .names _n234<2> |
|---|
| 2613 | 0 |
|---|
| 2614 | # aMant != 0 |
|---|
| 2615 | .names aMant<0> _n234<0> _n235<0> |
|---|
| 2616 | .def 0 |
|---|
| 2617 | 0 1 1 |
|---|
| 2618 | 1 0 1 |
|---|
| 2619 | .names aMant<1> _n234<1> _n235<1> |
|---|
| 2620 | .def 0 |
|---|
| 2621 | 0 1 1 |
|---|
| 2622 | 1 0 1 |
|---|
| 2623 | .names aMant<2> _n234<2> _n235<2> |
|---|
| 2624 | .def 0 |
|---|
| 2625 | 0 1 1 |
|---|
| 2626 | 1 0 1 |
|---|
| 2627 | .names _n235<0> _n235<1> _n235<2> _n236 |
|---|
| 2628 | .def 1 |
|---|
| 2629 | 0 0 0 0 |
|---|
| 2630 | .names _n236 _n233 |
|---|
| 2631 | - =_n236 |
|---|
| 2632 | # aExp == {'b1} && aMant != 0 |
|---|
| 2633 | .names _n227 _n233 _n237 |
|---|
| 2634 | .def 0 |
|---|
| 2635 | 1 1 1 |
|---|
| 2636 | .names _n237 _n238 |
|---|
| 2637 | - =_n237 |
|---|
| 2638 | # NaN = 1 |
|---|
| 2639 | .names NaN$_n237_n239$true<0> |
|---|
| 2640 | 1 |
|---|
| 2641 | # NaN = 0 |
|---|
| 2642 | .names NaN$_n237_n23a$false<0> |
|---|
| 2643 | 0 |
|---|
| 2644 | # if/else (aExp == {'b1} && aMant != 0) |
|---|
| 2645 | .names NaN$_n237_n239$true<0> NaN$_n237_n23a$false<0> _n237 NaN$_n237$raw_n23c<0> |
|---|
| 2646 | 0 - 1 0 |
|---|
| 2647 | 1 - 1 1 |
|---|
| 2648 | - 0 0 0 |
|---|
| 2649 | - 1 0 1 |
|---|
| 2650 | # conflict arbitrators |
|---|
| 2651 | .names NaN$_n237$raw_n23c<0> NaN<0> |
|---|
| 2652 | - =NaN$_n237$raw_n23c<0> |
|---|
| 2653 | .end |
|---|
| 2654 | |
|---|
| 2655 | |
|---|
| 2656 | .model Infinity |
|---|
| 2657 | # I/O ports |
|---|
| 2658 | .inputs aMant<0> aMant<1> aMant<2> |
|---|
| 2659 | .outputs Infinity<0> |
|---|
| 2660 | .inputs aExp<0> aExp<1> aExp<2> aExp<3> |
|---|
| 2661 | .names _n242 |
|---|
| 2662 | 1 |
|---|
| 2663 | .names _n242 _n241<0> |
|---|
| 2664 | - =_n242 |
|---|
| 2665 | .names _n243 |
|---|
| 2666 | 0 |
|---|
| 2667 | .names _n244 |
|---|
| 2668 | 1 |
|---|
| 2669 | .names _n244 _n241<1> |
|---|
| 2670 | - =_n244 |
|---|
| 2671 | .names _n245 |
|---|
| 2672 | 0 |
|---|
| 2673 | .names _n246 |
|---|
| 2674 | 1 |
|---|
| 2675 | .names _n246 _n241<2> |
|---|
| 2676 | - =_n246 |
|---|
| 2677 | .names _n247 |
|---|
| 2678 | 0 |
|---|
| 2679 | .names _n248 |
|---|
| 2680 | 1 |
|---|
| 2681 | .names _n248 _n241<3> |
|---|
| 2682 | - =_n248 |
|---|
| 2683 | .names _n249 |
|---|
| 2684 | 0 |
|---|
| 2685 | # aExp == {'b1} |
|---|
| 2686 | .names aExp<0> _n241<0> _n24a<0> |
|---|
| 2687 | .def 0 |
|---|
| 2688 | 0 1 1 |
|---|
| 2689 | 1 0 1 |
|---|
| 2690 | .names aExp<1> _n241<1> _n24a<1> |
|---|
| 2691 | .def 0 |
|---|
| 2692 | 0 1 1 |
|---|
| 2693 | 1 0 1 |
|---|
| 2694 | .names aExp<2> _n241<2> _n24a<2> |
|---|
| 2695 | .def 0 |
|---|
| 2696 | 0 1 1 |
|---|
| 2697 | 1 0 1 |
|---|
| 2698 | .names aExp<3> _n241<3> _n24a<3> |
|---|
| 2699 | .def 0 |
|---|
| 2700 | 0 1 1 |
|---|
| 2701 | 1 0 1 |
|---|
| 2702 | .names _n24a<0> _n24a<1> _n24a<2> _n24a<3> _n24b |
|---|
| 2703 | .def 1 |
|---|
| 2704 | 0 0 0 0 0 |
|---|
| 2705 | .names _n24b _n240 |
|---|
| 2706 | 0 1 |
|---|
| 2707 | 1 0 |
|---|
| 2708 | .names _n24d<0> |
|---|
| 2709 | 0 |
|---|
| 2710 | .names _n24d<1> |
|---|
| 2711 | 0 |
|---|
| 2712 | .names _n24d<2> |
|---|
| 2713 | 0 |
|---|
| 2714 | # aMant == 0 |
|---|
| 2715 | .names aMant<0> _n24d<0> _n24e<0> |
|---|
| 2716 | .def 0 |
|---|
| 2717 | 0 1 1 |
|---|
| 2718 | 1 0 1 |
|---|
| 2719 | .names aMant<1> _n24d<1> _n24e<1> |
|---|
| 2720 | .def 0 |
|---|
| 2721 | 0 1 1 |
|---|
| 2722 | 1 0 1 |
|---|
| 2723 | .names aMant<2> _n24d<2> _n24e<2> |
|---|
| 2724 | .def 0 |
|---|
| 2725 | 0 1 1 |
|---|
| 2726 | 1 0 1 |
|---|
| 2727 | .names _n24e<0> _n24e<1> _n24e<2> _n24f |
|---|
| 2728 | .def 1 |
|---|
| 2729 | 0 0 0 0 |
|---|
| 2730 | .names _n24f _n24c |
|---|
| 2731 | 0 1 |
|---|
| 2732 | 1 0 |
|---|
| 2733 | # aExp == {'b1} && aMant == 0 |
|---|
| 2734 | .names _n240 _n24c _n250 |
|---|
| 2735 | .def 0 |
|---|
| 2736 | 1 1 1 |
|---|
| 2737 | .names _n250 _n251 |
|---|
| 2738 | - =_n250 |
|---|
| 2739 | # Infinity = 1 |
|---|
| 2740 | .names Infinity$_n250_n252$true<0> |
|---|
| 2741 | 1 |
|---|
| 2742 | # Infinity = 0 |
|---|
| 2743 | .names Infinity$_n250_n253$false<0> |
|---|
| 2744 | 0 |
|---|
| 2745 | # if/else (aExp == {'b1} && aMant == 0) |
|---|
| 2746 | .names Infinity$_n250_n252$true<0> Infinity$_n250_n253$false<0> _n250 Infinity$_n250$raw_n255<0> |
|---|
| 2747 | 0 - 1 0 |
|---|
| 2748 | 1 - 1 1 |
|---|
| 2749 | - 0 0 0 |
|---|
| 2750 | - 1 0 1 |
|---|
| 2751 | # conflict arbitrators |
|---|
| 2752 | .names Infinity$_n250$raw_n255<0> Infinity<0> |
|---|
| 2753 | - =Infinity$_n250$raw_n255<0> |
|---|
| 2754 | .end |
|---|
| 2755 | |
|---|
| 2756 | |
|---|
| 2757 | .model Zero |
|---|
| 2758 | # I/O ports |
|---|
| 2759 | .inputs aMant<0> aMant<1> aMant<2> |
|---|
| 2760 | .inputs aExp<0> aExp<1> aExp<2> aExp<3> |
|---|
| 2761 | .outputs Zero<0> |
|---|
| 2762 | .names _n25a<0> |
|---|
| 2763 | 0 |
|---|
| 2764 | .names _n25a<1> |
|---|
| 2765 | 0 |
|---|
| 2766 | .names _n25a<2> |
|---|
| 2767 | 0 |
|---|
| 2768 | .names _n25a<3> |
|---|
| 2769 | 0 |
|---|
| 2770 | # aExp == 0 |
|---|
| 2771 | .names aExp<0> _n25a<0> _n25b<0> |
|---|
| 2772 | .def 0 |
|---|
| 2773 | 0 1 1 |
|---|
| 2774 | 1 0 1 |
|---|
| 2775 | .names aExp<1> _n25a<1> _n25b<1> |
|---|
| 2776 | .def 0 |
|---|
| 2777 | 0 1 1 |
|---|
| 2778 | 1 0 1 |
|---|
| 2779 | .names aExp<2> _n25a<2> _n25b<2> |
|---|
| 2780 | .def 0 |
|---|
| 2781 | 0 1 1 |
|---|
| 2782 | 1 0 1 |
|---|
| 2783 | .names aExp<3> _n25a<3> _n25b<3> |
|---|
| 2784 | .def 0 |
|---|
| 2785 | 0 1 1 |
|---|
| 2786 | 1 0 1 |
|---|
| 2787 | .names _n25b<0> _n25b<1> _n25b<2> _n25b<3> _n25c |
|---|
| 2788 | .def 1 |
|---|
| 2789 | 0 0 0 0 0 |
|---|
| 2790 | .names _n25c _n259 |
|---|
| 2791 | 0 1 |
|---|
| 2792 | 1 0 |
|---|
| 2793 | .names _n25e<0> |
|---|
| 2794 | 0 |
|---|
| 2795 | .names _n25e<1> |
|---|
| 2796 | 0 |
|---|
| 2797 | .names _n25e<2> |
|---|
| 2798 | 0 |
|---|
| 2799 | # aMant == 0 |
|---|
| 2800 | .names aMant<0> _n25e<0> _n25f<0> |
|---|
| 2801 | .def 0 |
|---|
| 2802 | 0 1 1 |
|---|
| 2803 | 1 0 1 |
|---|
| 2804 | .names aMant<1> _n25e<1> _n25f<1> |
|---|
| 2805 | .def 0 |
|---|
| 2806 | 0 1 1 |
|---|
| 2807 | 1 0 1 |
|---|
| 2808 | .names aMant<2> _n25e<2> _n25f<2> |
|---|
| 2809 | .def 0 |
|---|
| 2810 | 0 1 1 |
|---|
| 2811 | 1 0 1 |
|---|
| 2812 | .names _n25f<0> _n25f<1> _n25f<2> _n260 |
|---|
| 2813 | .def 1 |
|---|
| 2814 | 0 0 0 0 |
|---|
| 2815 | .names _n260 _n25d |
|---|
| 2816 | 0 1 |
|---|
| 2817 | 1 0 |
|---|
| 2818 | # aExp == 0 && aMant == 0 |
|---|
| 2819 | .names _n259 _n25d _n261 |
|---|
| 2820 | .def 0 |
|---|
| 2821 | 1 1 1 |
|---|
| 2822 | .names _n261 _n262 |
|---|
| 2823 | - =_n261 |
|---|
| 2824 | # Zero = 1 |
|---|
| 2825 | .names Zero$_n261_n263$true<0> |
|---|
| 2826 | 1 |
|---|
| 2827 | # Zero = 0 |
|---|
| 2828 | .names Zero$_n261_n264$false<0> |
|---|
| 2829 | 0 |
|---|
| 2830 | # if/else (aExp == 0 && aMant == 0) |
|---|
| 2831 | .names Zero$_n261_n263$true<0> Zero$_n261_n264$false<0> _n261 Zero$_n261$raw_n266<0> |
|---|
| 2832 | 0 - 1 0 |
|---|
| 2833 | 1 - 1 1 |
|---|
| 2834 | - 0 0 0 |
|---|
| 2835 | - 1 0 1 |
|---|
| 2836 | # conflict arbitrators |
|---|
| 2837 | .names Zero$_n261$raw_n266<0> Zero<0> |
|---|
| 2838 | - =Zero$_n261$raw_n266<0> |
|---|
| 2839 | .end |
|---|
| 2840 | |
|---|
| 2841 | |
|---|
| 2842 | .model intMult |
|---|
| 2843 | # I/O ports |
|---|
| 2844 | .inputs y<0> y<1> y<2> y<3> |
|---|
| 2845 | .outputs z<0> z<1> z<2> z<3> z<4> z<5> z<6> z<7> |
|---|
| 2846 | .inputs x<0> x<1> x<2> x<3> |
|---|
| 2847 | # assign int0 = {y [0]} & x |
|---|
| 2848 | .names y<0> _n26b<0> |
|---|
| 2849 | - =y<0> |
|---|
| 2850 | .names y<0> _n26b<1> |
|---|
| 2851 | - =y<0> |
|---|
| 2852 | .names y<0> _n26b<2> |
|---|
| 2853 | - =y<0> |
|---|
| 2854 | .names y<0> _n26b<3> |
|---|
| 2855 | - =y<0> |
|---|
| 2856 | # {y [0]} & x |
|---|
| 2857 | .names _n26b<0> x<0> _n26c<0> |
|---|
| 2858 | .def 0 |
|---|
| 2859 | 1 1 1 |
|---|
| 2860 | .names _n26b<1> x<1> _n26c<1> |
|---|
| 2861 | .def 0 |
|---|
| 2862 | 1 1 1 |
|---|
| 2863 | .names _n26b<2> x<2> _n26c<2> |
|---|
| 2864 | .def 0 |
|---|
| 2865 | 1 1 1 |
|---|
| 2866 | .names _n26b<3> x<3> _n26c<3> |
|---|
| 2867 | .def 0 |
|---|
| 2868 | 1 1 1 |
|---|
| 2869 | .names _n26c<0> int0$raw_n26a<0> |
|---|
| 2870 | - =_n26c<0> |
|---|
| 2871 | .names _n26c<1> int0$raw_n26a<1> |
|---|
| 2872 | - =_n26c<1> |
|---|
| 2873 | .names _n26c<2> int0$raw_n26a<2> |
|---|
| 2874 | - =_n26c<2> |
|---|
| 2875 | .names _n26c<3> int0$raw_n26a<3> |
|---|
| 2876 | - =_n26c<3> |
|---|
| 2877 | # assign int1 = int0 + {{y [1]} & x , {'b0}} |
|---|
| 2878 | .names _n270 |
|---|
| 2879 | 0 |
|---|
| 2880 | .names _n270 _n26f<0> |
|---|
| 2881 | - =_n270 |
|---|
| 2882 | .names _n271 |
|---|
| 2883 | 0 |
|---|
| 2884 | .names _n26f<0> _n26e<0> |
|---|
| 2885 | - =_n26f<0> |
|---|
| 2886 | .names y<1> _n272<0> |
|---|
| 2887 | - =y<1> |
|---|
| 2888 | .names y<1> _n272<1> |
|---|
| 2889 | - =y<1> |
|---|
| 2890 | .names y<1> _n272<2> |
|---|
| 2891 | - =y<1> |
|---|
| 2892 | .names y<1> _n272<3> |
|---|
| 2893 | - =y<1> |
|---|
| 2894 | # {y [1]} & x |
|---|
| 2895 | .names _n272<0> x<0> _n273<0> |
|---|
| 2896 | .def 0 |
|---|
| 2897 | 1 1 1 |
|---|
| 2898 | .names _n272<1> x<1> _n273<1> |
|---|
| 2899 | .def 0 |
|---|
| 2900 | 1 1 1 |
|---|
| 2901 | .names _n272<2> x<2> _n273<2> |
|---|
| 2902 | .def 0 |
|---|
| 2903 | 1 1 1 |
|---|
| 2904 | .names _n272<3> x<3> _n273<3> |
|---|
| 2905 | .def 0 |
|---|
| 2906 | 1 1 1 |
|---|
| 2907 | .names _n273<0> _n26e<1> |
|---|
| 2908 | - =_n273<0> |
|---|
| 2909 | .names _n273<1> _n26e<2> |
|---|
| 2910 | - =_n273<1> |
|---|
| 2911 | .names _n273<2> _n26e<3> |
|---|
| 2912 | - =_n273<2> |
|---|
| 2913 | .names _n273<3> _n26e<4> |
|---|
| 2914 | - =_n273<3> |
|---|
| 2915 | # int0 + {{y [1]} & x , {'b0}} |
|---|
| 2916 | .names _n275 |
|---|
| 2917 | 0 |
|---|
| 2918 | .names int0<0> _n26e<0> _n275 _n274<0> |
|---|
| 2919 | .def 0 |
|---|
| 2920 | 0 0 1 1 |
|---|
| 2921 | 0 1 0 1 |
|---|
| 2922 | 1 0 0 1 |
|---|
| 2923 | 1 1 1 1 |
|---|
| 2924 | # carry/borrow |
|---|
| 2925 | .names _n277 |
|---|
| 2926 | 0 |
|---|
| 2927 | .names int0<0> _n26e<0> _n277 _n276 |
|---|
| 2928 | .def 0 |
|---|
| 2929 | 0 1 1 1 |
|---|
| 2930 | 1 0 1 1 |
|---|
| 2931 | 1 1 0 1 |
|---|
| 2932 | 1 1 1 1 |
|---|
| 2933 | .names int0<1> _n26e<1> _n276 _n274<1> |
|---|
| 2934 | .def 0 |
|---|
| 2935 | 0 0 1 1 |
|---|
| 2936 | 0 1 0 1 |
|---|
| 2937 | 1 0 0 1 |
|---|
| 2938 | 1 1 1 1 |
|---|
| 2939 | # carry/borrow |
|---|
| 2940 | .names int0<1> _n26e<1> _n276 _n278 |
|---|
| 2941 | .def 0 |
|---|
| 2942 | 0 1 1 1 |
|---|
| 2943 | 1 0 1 1 |
|---|
| 2944 | 1 1 0 1 |
|---|
| 2945 | 1 1 1 1 |
|---|
| 2946 | .names int0<2> _n26e<2> _n278 _n274<2> |
|---|
| 2947 | .def 0 |
|---|
| 2948 | 0 0 1 1 |
|---|
| 2949 | 0 1 0 1 |
|---|
| 2950 | 1 0 0 1 |
|---|
| 2951 | 1 1 1 1 |
|---|
| 2952 | # carry/borrow |
|---|
| 2953 | .names int0<2> _n26e<2> _n278 _n279 |
|---|
| 2954 | .def 0 |
|---|
| 2955 | 0 1 1 1 |
|---|
| 2956 | 1 0 1 1 |
|---|
| 2957 | 1 1 0 1 |
|---|
| 2958 | 1 1 1 1 |
|---|
| 2959 | .names int0<3> _n26e<3> _n279 _n274<3> |
|---|
| 2960 | .def 0 |
|---|
| 2961 | 0 0 1 1 |
|---|
| 2962 | 0 1 0 1 |
|---|
| 2963 | 1 0 0 1 |
|---|
| 2964 | 1 1 1 1 |
|---|
| 2965 | # carry/borrow |
|---|
| 2966 | .names int0<3> _n26e<3> _n279 _n27a |
|---|
| 2967 | .def 0 |
|---|
| 2968 | 0 1 1 1 |
|---|
| 2969 | 1 0 1 1 |
|---|
| 2970 | 1 1 0 1 |
|---|
| 2971 | 1 1 1 1 |
|---|
| 2972 | .names _n27a _n274<4> |
|---|
| 2973 | 1 1 |
|---|
| 2974 | 0 0 |
|---|
| 2975 | .names _n274<5> |
|---|
| 2976 | 0 |
|---|
| 2977 | .names _n274<0> int1$raw_n26d<0> |
|---|
| 2978 | - =_n274<0> |
|---|
| 2979 | .names _n274<1> int1$raw_n26d<1> |
|---|
| 2980 | - =_n274<1> |
|---|
| 2981 | .names _n274<2> int1$raw_n26d<2> |
|---|
| 2982 | - =_n274<2> |
|---|
| 2983 | .names _n274<3> int1$raw_n26d<3> |
|---|
| 2984 | - =_n274<3> |
|---|
| 2985 | .names _n274<4> int1$raw_n26d<4> |
|---|
| 2986 | - =_n274<4> |
|---|
| 2987 | .names _n274<5> int1$raw_n26d<5> |
|---|
| 2988 | - =_n274<5> |
|---|
| 2989 | # assign int2 = int1 + {{y [2]} & x , {'b0}} |
|---|
| 2990 | .names _n27e |
|---|
| 2991 | 0 |
|---|
| 2992 | .names _n27e _n27d<0> |
|---|
| 2993 | - =_n27e |
|---|
| 2994 | .names _n27f |
|---|
| 2995 | 0 |
|---|
| 2996 | .names _n280 |
|---|
| 2997 | 0 |
|---|
| 2998 | .names _n280 _n27d<1> |
|---|
| 2999 | - =_n280 |
|---|
| 3000 | .names _n281 |
|---|
| 3001 | 0 |
|---|
| 3002 | .names _n27d<0> _n27c<0> |
|---|
| 3003 | - =_n27d<0> |
|---|
| 3004 | .names _n27d<1> _n27c<1> |
|---|
| 3005 | - =_n27d<1> |
|---|
| 3006 | .names y<2> _n282<0> |
|---|
| 3007 | - =y<2> |
|---|
| 3008 | .names y<2> _n282<1> |
|---|
| 3009 | - =y<2> |
|---|
| 3010 | .names y<2> _n282<2> |
|---|
| 3011 | - =y<2> |
|---|
| 3012 | .names y<2> _n282<3> |
|---|
| 3013 | - =y<2> |
|---|
| 3014 | # {y [2]} & x |
|---|
| 3015 | .names _n282<0> x<0> _n283<0> |
|---|
| 3016 | .def 0 |
|---|
| 3017 | 1 1 1 |
|---|
| 3018 | .names _n282<1> x<1> _n283<1> |
|---|
| 3019 | .def 0 |
|---|
| 3020 | 1 1 1 |
|---|
| 3021 | .names _n282<2> x<2> _n283<2> |
|---|
| 3022 | .def 0 |
|---|
| 3023 | 1 1 1 |
|---|
| 3024 | .names _n282<3> x<3> _n283<3> |
|---|
| 3025 | .def 0 |
|---|
| 3026 | 1 1 1 |
|---|
| 3027 | .names _n283<0> _n27c<2> |
|---|
| 3028 | - =_n283<0> |
|---|
| 3029 | .names _n283<1> _n27c<3> |
|---|
| 3030 | - =_n283<1> |
|---|
| 3031 | .names _n283<2> _n27c<4> |
|---|
| 3032 | - =_n283<2> |
|---|
| 3033 | .names _n283<3> _n27c<5> |
|---|
| 3034 | - =_n283<3> |
|---|
| 3035 | # int1 + {{y [2]} & x , {'b0}} |
|---|
| 3036 | .names _n285 |
|---|
| 3037 | 0 |
|---|
| 3038 | .names int1<0> _n27c<0> _n285 _n284<0> |
|---|
| 3039 | .def 0 |
|---|
| 3040 | 0 0 1 1 |
|---|
| 3041 | 0 1 0 1 |
|---|
| 3042 | 1 0 0 1 |
|---|
| 3043 | 1 1 1 1 |
|---|
| 3044 | # carry/borrow |
|---|
| 3045 | .names _n287 |
|---|
| 3046 | 0 |
|---|
| 3047 | .names int1<0> _n27c<0> _n287 _n286 |
|---|
| 3048 | .def 0 |
|---|
| 3049 | 0 1 1 1 |
|---|
| 3050 | 1 0 1 1 |
|---|
| 3051 | 1 1 0 1 |
|---|
| 3052 | 1 1 1 1 |
|---|
| 3053 | .names int1<1> _n27c<1> _n286 _n284<1> |
|---|
| 3054 | .def 0 |
|---|
| 3055 | 0 0 1 1 |
|---|
| 3056 | 0 1 0 1 |
|---|
| 3057 | 1 0 0 1 |
|---|
| 3058 | 1 1 1 1 |
|---|
| 3059 | # carry/borrow |
|---|
| 3060 | .names int1<1> _n27c<1> _n286 _n288 |
|---|
| 3061 | .def 0 |
|---|
| 3062 | 0 1 1 1 |
|---|
| 3063 | 1 0 1 1 |
|---|
| 3064 | 1 1 0 1 |
|---|
| 3065 | 1 1 1 1 |
|---|
| 3066 | .names int1<2> _n27c<2> _n288 _n284<2> |
|---|
| 3067 | .def 0 |
|---|
| 3068 | 0 0 1 1 |
|---|
| 3069 | 0 1 0 1 |
|---|
| 3070 | 1 0 0 1 |
|---|
| 3071 | 1 1 1 1 |
|---|
| 3072 | # carry/borrow |
|---|
| 3073 | .names int1<2> _n27c<2> _n288 _n289 |
|---|
| 3074 | .def 0 |
|---|
| 3075 | 0 1 1 1 |
|---|
| 3076 | 1 0 1 1 |
|---|
| 3077 | 1 1 0 1 |
|---|
| 3078 | 1 1 1 1 |
|---|
| 3079 | .names int1<3> _n27c<3> _n289 _n284<3> |
|---|
| 3080 | .def 0 |
|---|
| 3081 | 0 0 1 1 |
|---|
| 3082 | 0 1 0 1 |
|---|
| 3083 | 1 0 0 1 |
|---|
| 3084 | 1 1 1 1 |
|---|
| 3085 | # carry/borrow |
|---|
| 3086 | .names int1<3> _n27c<3> _n289 _n28a |
|---|
| 3087 | .def 0 |
|---|
| 3088 | 0 1 1 1 |
|---|
| 3089 | 1 0 1 1 |
|---|
| 3090 | 1 1 0 1 |
|---|
| 3091 | 1 1 1 1 |
|---|
| 3092 | .names int1<4> _n27c<4> _n28a _n284<4> |
|---|
| 3093 | .def 0 |
|---|
| 3094 | 0 0 1 1 |
|---|
| 3095 | 0 1 0 1 |
|---|
| 3096 | 1 0 0 1 |
|---|
| 3097 | 1 1 1 1 |
|---|
| 3098 | # carry/borrow |
|---|
| 3099 | .names int1<4> _n27c<4> _n28a _n28b |
|---|
| 3100 | .def 0 |
|---|
| 3101 | 0 1 1 1 |
|---|
| 3102 | 1 0 1 1 |
|---|
| 3103 | 1 1 0 1 |
|---|
| 3104 | 1 1 1 1 |
|---|
| 3105 | .names int1<5> _n27c<5> _n28b _n284<5> |
|---|
| 3106 | .def 0 |
|---|
| 3107 | 0 0 1 1 |
|---|
| 3108 | 0 1 0 1 |
|---|
| 3109 | 1 0 0 1 |
|---|
| 3110 | 1 1 1 1 |
|---|
| 3111 | # carry/borrow |
|---|
| 3112 | .names int1<5> _n27c<5> _n28b _n28c |
|---|
| 3113 | .def 0 |
|---|
| 3114 | 0 1 1 1 |
|---|
| 3115 | 1 0 1 1 |
|---|
| 3116 | 1 1 0 1 |
|---|
| 3117 | 1 1 1 1 |
|---|
| 3118 | .names _n28c _n284<6> |
|---|
| 3119 | 1 1 |
|---|
| 3120 | 0 0 |
|---|
| 3121 | .names _n284<0> int2$raw_n27b<0> |
|---|
| 3122 | - =_n284<0> |
|---|
| 3123 | .names _n284<1> int2$raw_n27b<1> |
|---|
| 3124 | - =_n284<1> |
|---|
| 3125 | .names _n284<2> int2$raw_n27b<2> |
|---|
| 3126 | - =_n284<2> |
|---|
| 3127 | .names _n284<3> int2$raw_n27b<3> |
|---|
| 3128 | - =_n284<3> |
|---|
| 3129 | .names _n284<4> int2$raw_n27b<4> |
|---|
| 3130 | - =_n284<4> |
|---|
| 3131 | .names _n284<5> int2$raw_n27b<5> |
|---|
| 3132 | - =_n284<5> |
|---|
| 3133 | .names _n284<6> int2$raw_n27b<6> |
|---|
| 3134 | - =_n284<6> |
|---|
| 3135 | # assign int3 = int2 + {{y [3]} & x , {'b0}} |
|---|
| 3136 | .names _n290 |
|---|
| 3137 | 0 |
|---|
| 3138 | .names _n290 _n28f<0> |
|---|
| 3139 | - =_n290 |
|---|
| 3140 | .names _n291 |
|---|
| 3141 | 0 |
|---|
| 3142 | .names _n292 |
|---|
| 3143 | 0 |
|---|
| 3144 | .names _n292 _n28f<1> |
|---|
| 3145 | - =_n292 |
|---|
| 3146 | .names _n293 |
|---|
| 3147 | 0 |
|---|
| 3148 | .names _n294 |
|---|
| 3149 | 0 |
|---|
| 3150 | .names _n294 _n28f<2> |
|---|
| 3151 | - =_n294 |
|---|
| 3152 | .names _n295 |
|---|
| 3153 | 0 |
|---|
| 3154 | .names _n28f<0> _n28e<0> |
|---|
| 3155 | - =_n28f<0> |
|---|
| 3156 | .names _n28f<1> _n28e<1> |
|---|
| 3157 | - =_n28f<1> |
|---|
| 3158 | .names _n28f<2> _n28e<2> |
|---|
| 3159 | - =_n28f<2> |
|---|
| 3160 | .names y<3> _n296<0> |
|---|
| 3161 | - =y<3> |
|---|
| 3162 | .names y<3> _n296<1> |
|---|
| 3163 | - =y<3> |
|---|
| 3164 | .names y<3> _n296<2> |
|---|
| 3165 | - =y<3> |
|---|
| 3166 | .names y<3> _n296<3> |
|---|
| 3167 | - =y<3> |
|---|
| 3168 | # {y [3]} & x |
|---|
| 3169 | .names _n296<0> x<0> _n297<0> |
|---|
| 3170 | .def 0 |
|---|
| 3171 | 1 1 1 |
|---|
| 3172 | .names _n296<1> x<1> _n297<1> |
|---|
| 3173 | .def 0 |
|---|
| 3174 | 1 1 1 |
|---|
| 3175 | .names _n296<2> x<2> _n297<2> |
|---|
| 3176 | .def 0 |
|---|
| 3177 | 1 1 1 |
|---|
| 3178 | .names _n296<3> x<3> _n297<3> |
|---|
| 3179 | .def 0 |
|---|
| 3180 | 1 1 1 |
|---|
| 3181 | .names _n297<0> _n28e<3> |
|---|
| 3182 | - =_n297<0> |
|---|
| 3183 | .names _n297<1> _n28e<4> |
|---|
| 3184 | - =_n297<1> |
|---|
| 3185 | .names _n297<2> _n28e<5> |
|---|
| 3186 | - =_n297<2> |
|---|
| 3187 | .names _n297<3> _n28e<6> |
|---|
| 3188 | - =_n297<3> |
|---|
| 3189 | # int2 + {{y [3]} & x , {'b0}} |
|---|
| 3190 | .names _n299 |
|---|
| 3191 | 0 |
|---|
| 3192 | .names int2<0> _n28e<0> _n299 _n298<0> |
|---|
| 3193 | .def 0 |
|---|
| 3194 | 0 0 1 1 |
|---|
| 3195 | 0 1 0 1 |
|---|
| 3196 | 1 0 0 1 |
|---|
| 3197 | 1 1 1 1 |
|---|
| 3198 | # carry/borrow |
|---|
| 3199 | .names _n29b |
|---|
| 3200 | 0 |
|---|
| 3201 | .names int2<0> _n28e<0> _n29b _n29a |
|---|
| 3202 | .def 0 |
|---|
| 3203 | 0 1 1 1 |
|---|
| 3204 | 1 0 1 1 |
|---|
| 3205 | 1 1 0 1 |
|---|
| 3206 | 1 1 1 1 |
|---|
| 3207 | .names int2<1> _n28e<1> _n29a _n298<1> |
|---|
| 3208 | .def 0 |
|---|
| 3209 | 0 0 1 1 |
|---|
| 3210 | 0 1 0 1 |
|---|
| 3211 | 1 0 0 1 |
|---|
| 3212 | 1 1 1 1 |
|---|
| 3213 | # carry/borrow |
|---|
| 3214 | .names int2<1> _n28e<1> _n29a _n29c |
|---|
| 3215 | .def 0 |
|---|
| 3216 | 0 1 1 1 |
|---|
| 3217 | 1 0 1 1 |
|---|
| 3218 | 1 1 0 1 |
|---|
| 3219 | 1 1 1 1 |
|---|
| 3220 | .names int2<2> _n28e<2> _n29c _n298<2> |
|---|
| 3221 | .def 0 |
|---|
| 3222 | 0 0 1 1 |
|---|
| 3223 | 0 1 0 1 |
|---|
| 3224 | 1 0 0 1 |
|---|
| 3225 | 1 1 1 1 |
|---|
| 3226 | # carry/borrow |
|---|
| 3227 | .names int2<2> _n28e<2> _n29c _n29d |
|---|
| 3228 | .def 0 |
|---|
| 3229 | 0 1 1 1 |
|---|
| 3230 | 1 0 1 1 |
|---|
| 3231 | 1 1 0 1 |
|---|
| 3232 | 1 1 1 1 |
|---|
| 3233 | .names int2<3> _n28e<3> _n29d _n298<3> |
|---|
| 3234 | .def 0 |
|---|
| 3235 | 0 0 1 1 |
|---|
| 3236 | 0 1 0 1 |
|---|
| 3237 | 1 0 0 1 |
|---|
| 3238 | 1 1 1 1 |
|---|
| 3239 | # carry/borrow |
|---|
| 3240 | .names int2<3> _n28e<3> _n29d _n29e |
|---|
| 3241 | .def 0 |
|---|
| 3242 | 0 1 1 1 |
|---|
| 3243 | 1 0 1 1 |
|---|
| 3244 | 1 1 0 1 |
|---|
| 3245 | 1 1 1 1 |
|---|
| 3246 | .names int2<4> _n28e<4> _n29e _n298<4> |
|---|
| 3247 | .def 0 |
|---|
| 3248 | 0 0 1 1 |
|---|
| 3249 | 0 1 0 1 |
|---|
| 3250 | 1 0 0 1 |
|---|
| 3251 | 1 1 1 1 |
|---|
| 3252 | # carry/borrow |
|---|
| 3253 | .names int2<4> _n28e<4> _n29e _n29f |
|---|
| 3254 | .def 0 |
|---|
| 3255 | 0 1 1 1 |
|---|
| 3256 | 1 0 1 1 |
|---|
| 3257 | 1 1 0 1 |
|---|
| 3258 | 1 1 1 1 |
|---|
| 3259 | .names int2<5> _n28e<5> _n29f _n298<5> |
|---|
| 3260 | .def 0 |
|---|
| 3261 | 0 0 1 1 |
|---|
| 3262 | 0 1 0 1 |
|---|
| 3263 | 1 0 0 1 |
|---|
| 3264 | 1 1 1 1 |
|---|
| 3265 | # carry/borrow |
|---|
| 3266 | .names int2<5> _n28e<5> _n29f _n2a0 |
|---|
| 3267 | .def 0 |
|---|
| 3268 | 0 1 1 1 |
|---|
| 3269 | 1 0 1 1 |
|---|
| 3270 | 1 1 0 1 |
|---|
| 3271 | 1 1 1 1 |
|---|
| 3272 | .names int2<6> _n28e<6> _n2a0 _n298<6> |
|---|
| 3273 | .def 0 |
|---|
| 3274 | 0 0 1 1 |
|---|
| 3275 | 0 1 0 1 |
|---|
| 3276 | 1 0 0 1 |
|---|
| 3277 | 1 1 1 1 |
|---|
| 3278 | # carry/borrow |
|---|
| 3279 | .names int2<6> _n28e<6> _n2a0 _n2a1 |
|---|
| 3280 | .def 0 |
|---|
| 3281 | 0 1 1 1 |
|---|
| 3282 | 1 0 1 1 |
|---|
| 3283 | 1 1 0 1 |
|---|
| 3284 | 1 1 1 1 |
|---|
| 3285 | .names _n2a1 _n298<7> |
|---|
| 3286 | 1 1 |
|---|
| 3287 | 0 0 |
|---|
| 3288 | .names _n298<0> int3$raw_n28d<0> |
|---|
| 3289 | - =_n298<0> |
|---|
| 3290 | .names _n298<1> int3$raw_n28d<1> |
|---|
| 3291 | - =_n298<1> |
|---|
| 3292 | .names _n298<2> int3$raw_n28d<2> |
|---|
| 3293 | - =_n298<2> |
|---|
| 3294 | .names _n298<3> int3$raw_n28d<3> |
|---|
| 3295 | - =_n298<3> |
|---|
| 3296 | .names _n298<4> int3$raw_n28d<4> |
|---|
| 3297 | - =_n298<4> |
|---|
| 3298 | .names _n298<5> int3$raw_n28d<5> |
|---|
| 3299 | - =_n298<5> |
|---|
| 3300 | .names _n298<6> int3$raw_n28d<6> |
|---|
| 3301 | - =_n298<6> |
|---|
| 3302 | .names _n298<7> int3$raw_n28d<7> |
|---|
| 3303 | - =_n298<7> |
|---|
| 3304 | # assign z = int3 |
|---|
| 3305 | .names int3<0> z$raw_n2a2<0> |
|---|
| 3306 | - =int3<0> |
|---|
| 3307 | .names int3<1> z$raw_n2a2<1> |
|---|
| 3308 | - =int3<1> |
|---|
| 3309 | .names int3<2> z$raw_n2a2<2> |
|---|
| 3310 | - =int3<2> |
|---|
| 3311 | .names int3<3> z$raw_n2a2<3> |
|---|
| 3312 | - =int3<3> |
|---|
| 3313 | .names int3<4> z$raw_n2a2<4> |
|---|
| 3314 | - =int3<4> |
|---|
| 3315 | .names int3<5> z$raw_n2a2<5> |
|---|
| 3316 | - =int3<5> |
|---|
| 3317 | .names int3<6> z$raw_n2a2<6> |
|---|
| 3318 | - =int3<6> |
|---|
| 3319 | .names int3<7> z$raw_n2a2<7> |
|---|
| 3320 | - =int3<7> |
|---|
| 3321 | # conflict arbitrators |
|---|
| 3322 | .names z$raw_n2a2<0> z<0> |
|---|
| 3323 | - =z$raw_n2a2<0> |
|---|
| 3324 | .names z$raw_n2a2<1> z<1> |
|---|
| 3325 | - =z$raw_n2a2<1> |
|---|
| 3326 | .names z$raw_n2a2<2> z<2> |
|---|
| 3327 | - =z$raw_n2a2<2> |
|---|
| 3328 | .names z$raw_n2a2<3> z<3> |
|---|
| 3329 | - =z$raw_n2a2<3> |
|---|
| 3330 | .names z$raw_n2a2<4> z<4> |
|---|
| 3331 | - =z$raw_n2a2<4> |
|---|
| 3332 | .names z$raw_n2a2<5> z<5> |
|---|
| 3333 | - =z$raw_n2a2<5> |
|---|
| 3334 | .names z$raw_n2a2<6> z<6> |
|---|
| 3335 | - =z$raw_n2a2<6> |
|---|
| 3336 | .names z$raw_n2a2<7> z<7> |
|---|
| 3337 | - =z$raw_n2a2<7> |
|---|
| 3338 | .names int0$raw_n26a<0> int0<0> |
|---|
| 3339 | - =int0$raw_n26a<0> |
|---|
| 3340 | .names int0$raw_n26a<1> int0<1> |
|---|
| 3341 | - =int0$raw_n26a<1> |
|---|
| 3342 | .names int0$raw_n26a<2> int0<2> |
|---|
| 3343 | - =int0$raw_n26a<2> |
|---|
| 3344 | .names int0$raw_n26a<3> int0<3> |
|---|
| 3345 | - =int0$raw_n26a<3> |
|---|
| 3346 | .names int1$raw_n26d<0> int1<0> |
|---|
| 3347 | - =int1$raw_n26d<0> |
|---|
| 3348 | .names int1$raw_n26d<1> int1<1> |
|---|
| 3349 | - =int1$raw_n26d<1> |
|---|
| 3350 | .names int1$raw_n26d<2> int1<2> |
|---|
| 3351 | - =int1$raw_n26d<2> |
|---|
| 3352 | .names int1$raw_n26d<3> int1<3> |
|---|
| 3353 | - =int1$raw_n26d<3> |
|---|
| 3354 | .names int1$raw_n26d<4> int1<4> |
|---|
| 3355 | - =int1$raw_n26d<4> |
|---|
| 3356 | .names int1$raw_n26d<5> int1<5> |
|---|
| 3357 | - =int1$raw_n26d<5> |
|---|
| 3358 | .names int2$raw_n27b<0> int2<0> |
|---|
| 3359 | - =int2$raw_n27b<0> |
|---|
| 3360 | .names int2$raw_n27b<1> int2<1> |
|---|
| 3361 | - =int2$raw_n27b<1> |
|---|
| 3362 | .names int2$raw_n27b<2> int2<2> |
|---|
| 3363 | - =int2$raw_n27b<2> |
|---|
| 3364 | .names int2$raw_n27b<3> int2<3> |
|---|
| 3365 | - =int2$raw_n27b<3> |
|---|
| 3366 | .names int2$raw_n27b<4> int2<4> |
|---|
| 3367 | - =int2$raw_n27b<4> |
|---|
| 3368 | .names int2$raw_n27b<5> int2<5> |
|---|
| 3369 | - =int2$raw_n27b<5> |
|---|
| 3370 | .names int2$raw_n27b<6> int2<6> |
|---|
| 3371 | - =int2$raw_n27b<6> |
|---|
| 3372 | .names int3$raw_n28d<0> int3<0> |
|---|
| 3373 | - =int3$raw_n28d<0> |
|---|
| 3374 | .names int3$raw_n28d<1> int3<1> |
|---|
| 3375 | - =int3$raw_n28d<1> |
|---|
| 3376 | .names int3$raw_n28d<2> int3<2> |
|---|
| 3377 | - =int3$raw_n28d<2> |
|---|
| 3378 | .names int3$raw_n28d<3> int3<3> |
|---|
| 3379 | - =int3$raw_n28d<3> |
|---|
| 3380 | .names int3$raw_n28d<4> int3<4> |
|---|
| 3381 | - =int3$raw_n28d<4> |
|---|
| 3382 | .names int3$raw_n28d<5> int3<5> |
|---|
| 3383 | - =int3$raw_n28d<5> |
|---|
| 3384 | .names int3$raw_n28d<6> int3<6> |
|---|
| 3385 | - =int3$raw_n28d<6> |
|---|
| 3386 | .names int3$raw_n28d<7> int3<7> |
|---|
| 3387 | - =int3$raw_n28d<7> |
|---|
| 3388 | # non-blocking assignments |
|---|
| 3389 | # latches |
|---|
| 3390 | # quasi-continuous assignment |
|---|
| 3391 | .end |
|---|
| 3392 | |
|---|
| 3393 | |
|---|
![(please configure the [header_logo] section in trac.ini)](/trac/verif_tools/chrome/site/your_project_logo.png){kind=logo}
