[28] | 1 | # vl2mv 3_faulty.v |
---|
| 2 | # version: 2.1 |
---|
| 3 | # date: 10:35:53 11/22/2010 (CET) |
---|
| 4 | .model concret |
---|
| 5 | # I/O ports |
---|
| 6 | .outputs p |
---|
| 7 | .outputs q |
---|
| 8 | .inputs i |
---|
| 9 | .inputs j |
---|
| 10 | # p = 1 |
---|
| 11 | .names p$raw_n0 |
---|
| 12 | 1 |
---|
| 13 | # q = 1 |
---|
| 14 | .names q$raw_n1 |
---|
| 15 | 1 |
---|
| 16 | # state = 0 |
---|
| 17 | .names state$raw_n2<0> |
---|
| 18 | 0 |
---|
| 19 | .names state$raw_n2<1> |
---|
| 20 | 0 |
---|
| 21 | .names state$raw_n2<2> |
---|
| 22 | 0 |
---|
| 23 | .names state$raw_n2<3> |
---|
| 24 | 0 |
---|
| 25 | # non-blocking assignments for initial |
---|
| 26 | .names _n5<0> |
---|
| 27 | 0 |
---|
| 28 | .names _n5<1> |
---|
| 29 | 0 |
---|
| 30 | .names _n5<2> |
---|
| 31 | 0 |
---|
| 32 | .names _n5<3> |
---|
| 33 | 0 |
---|
| 34 | .names state<0> _n5<0> _n6<0> |
---|
| 35 | .def 0 |
---|
| 36 | 0 1 1 |
---|
| 37 | 1 0 1 |
---|
| 38 | .names state<1> _n5<1> _n6<1> |
---|
| 39 | .def 0 |
---|
| 40 | 0 1 1 |
---|
| 41 | 1 0 1 |
---|
| 42 | .names state<2> _n5<2> _n6<2> |
---|
| 43 | .def 0 |
---|
| 44 | 0 1 1 |
---|
| 45 | 1 0 1 |
---|
| 46 | .names state<3> _n5<3> _n6<3> |
---|
| 47 | .def 0 |
---|
| 48 | 0 1 1 |
---|
| 49 | 1 0 1 |
---|
| 50 | .names _n6<0> _n6<1> _n6<2> _n6<3> _n7 |
---|
| 51 | .def 1 |
---|
| 52 | 0 0 0 0 0 |
---|
| 53 | .names _n7 _n4 |
---|
| 54 | 0 1 |
---|
| 55 | 1 0 |
---|
| 56 | .names _n4 _n3 |
---|
| 57 | .def 1 |
---|
| 58 | 0 0 |
---|
| 59 | .names _n9 |
---|
| 60 | 1 |
---|
| 61 | # j == 1 |
---|
| 62 | .names j _n9 _na |
---|
| 63 | .def 0 |
---|
| 64 | 0 1 1 |
---|
| 65 | 1 0 1 |
---|
| 66 | .names _na _n8 |
---|
| 67 | 0 1 |
---|
| 68 | 1 0 |
---|
| 69 | .names _n8 _nc |
---|
| 70 | - =_n8 |
---|
| 71 | # state = 3 |
---|
| 72 | .names state$_n8_nd$true<0> |
---|
| 73 | 1 |
---|
| 74 | .names state$_n8_nd$true<1> |
---|
| 75 | 1 |
---|
| 76 | .names state$_n8_nd$true<2> |
---|
| 77 | 0 |
---|
| 78 | .names state$_n8_nd$true<3> |
---|
| 79 | 0 |
---|
| 80 | # p = 0 |
---|
| 81 | .names p$_n8_ne$true |
---|
| 82 | 0 |
---|
| 83 | # q = 1 |
---|
| 84 | .names q$_n8_nf$true |
---|
| 85 | 1 |
---|
| 86 | .names _n11 |
---|
| 87 | 1 |
---|
| 88 | # i == 1 |
---|
| 89 | .names i _n11 _n12 |
---|
| 90 | .def 0 |
---|
| 91 | 0 1 1 |
---|
| 92 | 1 0 1 |
---|
| 93 | .names _n12 _n10 |
---|
| 94 | 0 1 |
---|
| 95 | 1 0 |
---|
| 96 | .names _n10 _n14 |
---|
| 97 | - =_n10 |
---|
| 98 | # state = 5 |
---|
| 99 | .names state$_n10_n15$true<0> |
---|
| 100 | 1 |
---|
| 101 | .names state$_n10_n15$true<1> |
---|
| 102 | 0 |
---|
| 103 | .names state$_n10_n15$true<2> |
---|
| 104 | 1 |
---|
| 105 | .names state$_n10_n15$true<3> |
---|
| 106 | 0 |
---|
| 107 | # p = 1 |
---|
| 108 | .names p$_n10_n16$true |
---|
| 109 | 1 |
---|
| 110 | # q = 0 |
---|
| 111 | .names q$_n10_n17$true |
---|
| 112 | 0 |
---|
| 113 | # state = 1 |
---|
| 114 | .names state$_n10_n18$false<0> |
---|
| 115 | 1 |
---|
| 116 | .names state$_n10_n18$false<1> |
---|
| 117 | 0 |
---|
| 118 | .names state$_n10_n18$false<2> |
---|
| 119 | 0 |
---|
| 120 | .names state$_n10_n18$false<3> |
---|
| 121 | 0 |
---|
| 122 | # p = 1 |
---|
| 123 | .names p$_n10_n19$false |
---|
| 124 | 1 |
---|
| 125 | # q = 1 |
---|
| 126 | .names q$_n10_n1a$false |
---|
| 127 | 1 |
---|
| 128 | # if/else (i == 1) |
---|
| 129 | .names _n10 p$_n10_n16$true p$_n10_n19$false p$_n10$raw_n1e |
---|
| 130 | .def 0 |
---|
| 131 | 1 1 - 1 |
---|
| 132 | 0 - 1 1 |
---|
| 133 | .names _n10 q$_n10_n17$true q$_n10_n1a$false q$_n10$raw_n20 |
---|
| 134 | .def 0 |
---|
| 135 | 1 1 - 1 |
---|
| 136 | 0 - 1 1 |
---|
| 137 | .names _n10 state$_n10_n15$true<0> state$_n10_n18$false<0> state$_n10$raw_n22<0> |
---|
| 138 | .def 0 |
---|
| 139 | 1 1 - 1 |
---|
| 140 | 0 - 1 1 |
---|
| 141 | .names _n10 state$_n10_n15$true<1> state$_n10_n18$false<1> state$_n10$raw_n22<1> |
---|
| 142 | .def 0 |
---|
| 143 | 1 1 - 1 |
---|
| 144 | 0 - 1 1 |
---|
| 145 | .names _n10 state$_n10_n15$true<2> state$_n10_n18$false<2> state$_n10$raw_n22<2> |
---|
| 146 | .def 0 |
---|
| 147 | 1 1 - 1 |
---|
| 148 | 0 - 1 1 |
---|
| 149 | .names _n10 state$_n10_n15$true<3> state$_n10_n18$false<3> state$_n10$raw_n22<3> |
---|
| 150 | .def 0 |
---|
| 151 | 1 1 - 1 |
---|
| 152 | 0 - 1 1 |
---|
| 153 | # if/else (j == 1) |
---|
| 154 | .names _n8 p$_n8_ne$true p$_n10$raw_n1e p$_n8$raw_n30 |
---|
| 155 | .def 0 |
---|
| 156 | 1 1 - 1 |
---|
| 157 | 0 - 1 1 |
---|
| 158 | .names _n8 q$_n8_nf$true q$_n10$raw_n20 q$_n8$raw_n32 |
---|
| 159 | .def 0 |
---|
| 160 | 1 1 - 1 |
---|
| 161 | 0 - 1 1 |
---|
| 162 | .names _n8 state$_n8_nd$true<0> state$_n10$raw_n22<0> state$_n8$raw_n34<0> |
---|
| 163 | .def 0 |
---|
| 164 | 1 1 - 1 |
---|
| 165 | 0 - 1 1 |
---|
| 166 | .names _n8 state$_n8_nd$true<1> state$_n10$raw_n22<1> state$_n8$raw_n34<1> |
---|
| 167 | .def 0 |
---|
| 168 | 1 1 - 1 |
---|
| 169 | 0 - 1 1 |
---|
| 170 | .names _n8 state$_n8_nd$true<2> state$_n10$raw_n22<2> state$_n8$raw_n34<2> |
---|
| 171 | .def 0 |
---|
| 172 | 1 1 - 1 |
---|
| 173 | 0 - 1 1 |
---|
| 174 | .names _n8 state$_n8_nd$true<3> state$_n10$raw_n22<3> state$_n8$raw_n34<3> |
---|
| 175 | .def 0 |
---|
| 176 | 1 1 - 1 |
---|
| 177 | 0 - 1 1 |
---|
| 178 | .names _n41<0> |
---|
| 179 | 1 |
---|
| 180 | .names _n41<1> |
---|
| 181 | 0 |
---|
| 182 | .names _n41<2> |
---|
| 183 | 0 |
---|
| 184 | .names _n41<3> |
---|
| 185 | 0 |
---|
| 186 | .names state<0> _n41<0> _n42<0> |
---|
| 187 | .def 0 |
---|
| 188 | 0 1 1 |
---|
| 189 | 1 0 1 |
---|
| 190 | .names state<1> _n41<1> _n42<1> |
---|
| 191 | .def 0 |
---|
| 192 | 0 1 1 |
---|
| 193 | 1 0 1 |
---|
| 194 | .names state<2> _n41<2> _n42<2> |
---|
| 195 | .def 0 |
---|
| 196 | 0 1 1 |
---|
| 197 | 1 0 1 |
---|
| 198 | .names state<3> _n41<3> _n42<3> |
---|
| 199 | .def 0 |
---|
| 200 | 0 1 1 |
---|
| 201 | 1 0 1 |
---|
| 202 | .names _n42<0> _n42<1> _n42<2> _n42<3> _n43 |
---|
| 203 | .def 1 |
---|
| 204 | 0 0 0 0 0 |
---|
| 205 | .names _n43 _n40 |
---|
| 206 | 0 1 |
---|
| 207 | 1 0 |
---|
| 208 | .names _n40 _n3f |
---|
| 209 | .def 1 |
---|
| 210 | 0 0 |
---|
| 211 | # state = 2 |
---|
| 212 | .names state$_n3f_n44$true<0> |
---|
| 213 | 0 |
---|
| 214 | .names state$_n3f_n44$true<1> |
---|
| 215 | 1 |
---|
| 216 | .names state$_n3f_n44$true<2> |
---|
| 217 | 0 |
---|
| 218 | .names state$_n3f_n44$true<3> |
---|
| 219 | 0 |
---|
| 220 | # p = 1 |
---|
| 221 | .names p$_n3f_n45$true |
---|
| 222 | 1 |
---|
| 223 | # q = 0 |
---|
| 224 | .names q$_n3f_n46$true |
---|
| 225 | 0 |
---|
| 226 | .names _n49<0> |
---|
| 227 | 0 |
---|
| 228 | .names _n49<1> |
---|
| 229 | 1 |
---|
| 230 | .names _n49<2> |
---|
| 231 | 0 |
---|
| 232 | .names _n49<3> |
---|
| 233 | 0 |
---|
| 234 | .names state<0> _n49<0> _n4a<0> |
---|
| 235 | .def 0 |
---|
| 236 | 0 1 1 |
---|
| 237 | 1 0 1 |
---|
| 238 | .names state<1> _n49<1> _n4a<1> |
---|
| 239 | .def 0 |
---|
| 240 | 0 1 1 |
---|
| 241 | 1 0 1 |
---|
| 242 | .names state<2> _n49<2> _n4a<2> |
---|
| 243 | .def 0 |
---|
| 244 | 0 1 1 |
---|
| 245 | 1 0 1 |
---|
| 246 | .names state<3> _n49<3> _n4a<3> |
---|
| 247 | .def 0 |
---|
| 248 | 0 1 1 |
---|
| 249 | 1 0 1 |
---|
| 250 | .names _n4a<0> _n4a<1> _n4a<2> _n4a<3> _n4b |
---|
| 251 | .def 1 |
---|
| 252 | 0 0 0 0 0 |
---|
| 253 | .names _n4b _n48 |
---|
| 254 | 0 1 |
---|
| 255 | 1 0 |
---|
| 256 | .names _n48 _n47 |
---|
| 257 | .def 1 |
---|
| 258 | 0 0 |
---|
| 259 | # state = 8 |
---|
| 260 | .names state$_n47_n4c$true<0> |
---|
| 261 | 0 |
---|
| 262 | .names state$_n47_n4c$true<1> |
---|
| 263 | 0 |
---|
| 264 | .names state$_n47_n4c$true<2> |
---|
| 265 | 0 |
---|
| 266 | .names state$_n47_n4c$true<3> |
---|
| 267 | 1 |
---|
| 268 | # p = 1 |
---|
| 269 | .names p$_n47_n4d$true |
---|
| 270 | 1 |
---|
| 271 | # q = 1 |
---|
| 272 | .names q$_n47_n4e$true |
---|
| 273 | 1 |
---|
| 274 | .names _n51<0> |
---|
| 275 | 1 |
---|
| 276 | .names _n51<1> |
---|
| 277 | 1 |
---|
| 278 | .names _n51<2> |
---|
| 279 | 0 |
---|
| 280 | .names _n51<3> |
---|
| 281 | 0 |
---|
| 282 | .names state<0> _n51<0> _n52<0> |
---|
| 283 | .def 0 |
---|
| 284 | 0 1 1 |
---|
| 285 | 1 0 1 |
---|
| 286 | .names state<1> _n51<1> _n52<1> |
---|
| 287 | .def 0 |
---|
| 288 | 0 1 1 |
---|
| 289 | 1 0 1 |
---|
| 290 | .names state<2> _n51<2> _n52<2> |
---|
| 291 | .def 0 |
---|
| 292 | 0 1 1 |
---|
| 293 | 1 0 1 |
---|
| 294 | .names state<3> _n51<3> _n52<3> |
---|
| 295 | .def 0 |
---|
| 296 | 0 1 1 |
---|
| 297 | 1 0 1 |
---|
| 298 | .names _n52<0> _n52<1> _n52<2> _n52<3> _n53 |
---|
| 299 | .def 1 |
---|
| 300 | 0 0 0 0 0 |
---|
| 301 | .names _n53 _n50 |
---|
| 302 | 0 1 |
---|
| 303 | 1 0 |
---|
| 304 | .names _n50 _n4f |
---|
| 305 | .def 1 |
---|
| 306 | 0 0 |
---|
| 307 | # state = 4 |
---|
| 308 | .names state$_n4f_n54$true<0> |
---|
| 309 | 0 |
---|
| 310 | .names state$_n4f_n54$true<1> |
---|
| 311 | 0 |
---|
| 312 | .names state$_n4f_n54$true<2> |
---|
| 313 | 1 |
---|
| 314 | .names state$_n4f_n54$true<3> |
---|
| 315 | 0 |
---|
| 316 | # p = 1 |
---|
| 317 | .names p$_n4f_n55$true |
---|
| 318 | 1 |
---|
| 319 | # q = 0 |
---|
| 320 | .names q$_n4f_n56$true |
---|
| 321 | 0 |
---|
| 322 | .names _n59<0> |
---|
| 323 | 0 |
---|
| 324 | .names _n59<1> |
---|
| 325 | 0 |
---|
| 326 | .names _n59<2> |
---|
| 327 | 1 |
---|
| 328 | .names _n59<3> |
---|
| 329 | 0 |
---|
| 330 | .names state<0> _n59<0> _n5a<0> |
---|
| 331 | .def 0 |
---|
| 332 | 0 1 1 |
---|
| 333 | 1 0 1 |
---|
| 334 | .names state<1> _n59<1> _n5a<1> |
---|
| 335 | .def 0 |
---|
| 336 | 0 1 1 |
---|
| 337 | 1 0 1 |
---|
| 338 | .names state<2> _n59<2> _n5a<2> |
---|
| 339 | .def 0 |
---|
| 340 | 0 1 1 |
---|
| 341 | 1 0 1 |
---|
| 342 | .names state<3> _n59<3> _n5a<3> |
---|
| 343 | .def 0 |
---|
| 344 | 0 1 1 |
---|
| 345 | 1 0 1 |
---|
| 346 | .names _n5a<0> _n5a<1> _n5a<2> _n5a<3> _n5b |
---|
| 347 | .def 1 |
---|
| 348 | 0 0 0 0 0 |
---|
| 349 | .names _n5b _n58 |
---|
| 350 | 0 1 |
---|
| 351 | 1 0 |
---|
| 352 | .names _n58 _n57 |
---|
| 353 | .def 1 |
---|
| 354 | 0 0 |
---|
| 355 | # state = 4 |
---|
| 356 | .names state$_n57_n5c$true<0> |
---|
| 357 | 0 |
---|
| 358 | .names state$_n57_n5c$true<1> |
---|
| 359 | 0 |
---|
| 360 | .names state$_n57_n5c$true<2> |
---|
| 361 | 1 |
---|
| 362 | .names state$_n57_n5c$true<3> |
---|
| 363 | 0 |
---|
| 364 | # p = 1 |
---|
| 365 | .names p$_n57_n5d$true |
---|
| 366 | 1 |
---|
| 367 | # q = 0 |
---|
| 368 | .names q$_n57_n5e$true |
---|
| 369 | 0 |
---|
| 370 | .names _n61<0> |
---|
| 371 | 1 |
---|
| 372 | .names _n61<1> |
---|
| 373 | 0 |
---|
| 374 | .names _n61<2> |
---|
| 375 | 1 |
---|
| 376 | .names _n61<3> |
---|
| 377 | 0 |
---|
| 378 | .names state<0> _n61<0> _n62<0> |
---|
| 379 | .def 0 |
---|
| 380 | 0 1 1 |
---|
| 381 | 1 0 1 |
---|
| 382 | .names state<1> _n61<1> _n62<1> |
---|
| 383 | .def 0 |
---|
| 384 | 0 1 1 |
---|
| 385 | 1 0 1 |
---|
| 386 | .names state<2> _n61<2> _n62<2> |
---|
| 387 | .def 0 |
---|
| 388 | 0 1 1 |
---|
| 389 | 1 0 1 |
---|
| 390 | .names state<3> _n61<3> _n62<3> |
---|
| 391 | .def 0 |
---|
| 392 | 0 1 1 |
---|
| 393 | 1 0 1 |
---|
| 394 | .names _n62<0> _n62<1> _n62<2> _n62<3> _n63 |
---|
| 395 | .def 1 |
---|
| 396 | 0 0 0 0 0 |
---|
| 397 | .names _n63 _n60 |
---|
| 398 | 0 1 |
---|
| 399 | 1 0 |
---|
| 400 | .names _n60 _n5f |
---|
| 401 | .def 1 |
---|
| 402 | 0 0 |
---|
| 403 | .names _n65 |
---|
| 404 | 0 |
---|
| 405 | # j == 0 |
---|
| 406 | .names j _n65 _n66 |
---|
| 407 | .def 0 |
---|
| 408 | 0 1 1 |
---|
| 409 | 1 0 1 |
---|
| 410 | .names _n66 _n64 |
---|
| 411 | 0 1 |
---|
| 412 | 1 0 |
---|
| 413 | .names _n64 _n68 |
---|
| 414 | - =_n64 |
---|
| 415 | # state = 6 |
---|
| 416 | .names state$_n64_n69$true<0> |
---|
| 417 | 0 |
---|
| 418 | .names state$_n64_n69$true<1> |
---|
| 419 | 1 |
---|
| 420 | .names state$_n64_n69$true<2> |
---|
| 421 | 1 |
---|
| 422 | .names state$_n64_n69$true<3> |
---|
| 423 | 0 |
---|
| 424 | # p = 1 |
---|
| 425 | .names p$_n64_n6a$true |
---|
| 426 | 1 |
---|
| 427 | # q = 1 |
---|
| 428 | .names q$_n64_n6b$true |
---|
| 429 | 1 |
---|
| 430 | # state = 2 |
---|
| 431 | .names state$_n64_n6c$false<0> |
---|
| 432 | 0 |
---|
| 433 | .names state$_n64_n6c$false<1> |
---|
| 434 | 1 |
---|
| 435 | .names state$_n64_n6c$false<2> |
---|
| 436 | 0 |
---|
| 437 | .names state$_n64_n6c$false<3> |
---|
| 438 | 0 |
---|
| 439 | # p = 1 |
---|
| 440 | .names p$_n64_n6d$false |
---|
| 441 | 1 |
---|
| 442 | # q = 0 |
---|
| 443 | .names q$_n64_n6e$false |
---|
| 444 | 0 |
---|
| 445 | # if/else (j == 0) |
---|
| 446 | .names _n64 p$_n64_n6a$true p$_n64_n6d$false p$_n64$raw_n72 |
---|
| 447 | .def 0 |
---|
| 448 | 1 1 - 1 |
---|
| 449 | 0 - 1 1 |
---|
| 450 | .names _n64 q$_n64_n6b$true q$_n64_n6e$false q$_n64$raw_n74 |
---|
| 451 | .def 0 |
---|
| 452 | 1 1 - 1 |
---|
| 453 | 0 - 1 1 |
---|
| 454 | .names _n64 state$_n64_n69$true<0> state$_n64_n6c$false<0> state$_n64$raw_n76<0> |
---|
| 455 | .def 0 |
---|
| 456 | 1 1 - 1 |
---|
| 457 | 0 - 1 1 |
---|
| 458 | .names _n64 state$_n64_n69$true<1> state$_n64_n6c$false<1> state$_n64$raw_n76<1> |
---|
| 459 | .def 0 |
---|
| 460 | 1 1 - 1 |
---|
| 461 | 0 - 1 1 |
---|
| 462 | .names _n64 state$_n64_n69$true<2> state$_n64_n6c$false<2> state$_n64$raw_n76<2> |
---|
| 463 | .def 0 |
---|
| 464 | 1 1 - 1 |
---|
| 465 | 0 - 1 1 |
---|
| 466 | .names _n64 state$_n64_n69$true<3> state$_n64_n6c$false<3> state$_n64$raw_n76<3> |
---|
| 467 | .def 0 |
---|
| 468 | 1 1 - 1 |
---|
| 469 | 0 - 1 1 |
---|
| 470 | .names _n83<0> |
---|
| 471 | 0 |
---|
| 472 | .names _n83<1> |
---|
| 473 | 1 |
---|
| 474 | .names _n83<2> |
---|
| 475 | 1 |
---|
| 476 | .names _n83<3> |
---|
| 477 | 0 |
---|
| 478 | .names state<0> _n83<0> _n84<0> |
---|
| 479 | .def 0 |
---|
| 480 | 0 1 1 |
---|
| 481 | 1 0 1 |
---|
| 482 | .names state<1> _n83<1> _n84<1> |
---|
| 483 | .def 0 |
---|
| 484 | 0 1 1 |
---|
| 485 | 1 0 1 |
---|
| 486 | .names state<2> _n83<2> _n84<2> |
---|
| 487 | .def 0 |
---|
| 488 | 0 1 1 |
---|
| 489 | 1 0 1 |
---|
| 490 | .names state<3> _n83<3> _n84<3> |
---|
| 491 | .def 0 |
---|
| 492 | 0 1 1 |
---|
| 493 | 1 0 1 |
---|
| 494 | .names _n84<0> _n84<1> _n84<2> _n84<3> _n85 |
---|
| 495 | .def 1 |
---|
| 496 | 0 0 0 0 0 |
---|
| 497 | .names _n85 _n82 |
---|
| 498 | 0 1 |
---|
| 499 | 1 0 |
---|
| 500 | .names _n82 _n81 |
---|
| 501 | .def 1 |
---|
| 502 | 0 0 |
---|
| 503 | # state = 7 |
---|
| 504 | .names state$_n81_n86$true<0> |
---|
| 505 | 1 |
---|
| 506 | .names state$_n81_n86$true<1> |
---|
| 507 | 1 |
---|
| 508 | .names state$_n81_n86$true<2> |
---|
| 509 | 1 |
---|
| 510 | .names state$_n81_n86$true<3> |
---|
| 511 | 0 |
---|
| 512 | # p = 0 |
---|
| 513 | .names p$_n81_n87$true |
---|
| 514 | 0 |
---|
| 515 | # q = 1 |
---|
| 516 | .names q$_n81_n88$true |
---|
| 517 | 1 |
---|
| 518 | .names _n8b<0> |
---|
| 519 | 1 |
---|
| 520 | .names _n8b<1> |
---|
| 521 | 1 |
---|
| 522 | .names _n8b<2> |
---|
| 523 | 1 |
---|
| 524 | .names _n8b<3> |
---|
| 525 | 0 |
---|
| 526 | .names state<0> _n8b<0> _n8c<0> |
---|
| 527 | .def 0 |
---|
| 528 | 0 1 1 |
---|
| 529 | 1 0 1 |
---|
| 530 | .names state<1> _n8b<1> _n8c<1> |
---|
| 531 | .def 0 |
---|
| 532 | 0 1 1 |
---|
| 533 | 1 0 1 |
---|
| 534 | .names state<2> _n8b<2> _n8c<2> |
---|
| 535 | .def 0 |
---|
| 536 | 0 1 1 |
---|
| 537 | 1 0 1 |
---|
| 538 | .names state<3> _n8b<3> _n8c<3> |
---|
| 539 | .def 0 |
---|
| 540 | 0 1 1 |
---|
| 541 | 1 0 1 |
---|
| 542 | .names _n8c<0> _n8c<1> _n8c<2> _n8c<3> _n8d |
---|
| 543 | .def 1 |
---|
| 544 | 0 0 0 0 0 |
---|
| 545 | .names _n8d _n8a |
---|
| 546 | 0 1 |
---|
| 547 | 1 0 |
---|
| 548 | .names _n8a _n89 |
---|
| 549 | .def 1 |
---|
| 550 | 0 0 |
---|
| 551 | # state = 8 |
---|
| 552 | .names state$_n89_n8e$true<0> |
---|
| 553 | 0 |
---|
| 554 | .names state$_n89_n8e$true<1> |
---|
| 555 | 0 |
---|
| 556 | .names state$_n89_n8e$true<2> |
---|
| 557 | 0 |
---|
| 558 | .names state$_n89_n8e$true<3> |
---|
| 559 | 1 |
---|
| 560 | # p = 1 |
---|
| 561 | .names p$_n89_n8f$true |
---|
| 562 | 1 |
---|
| 563 | # q = 1 |
---|
| 564 | .names q$_n89_n90$true |
---|
| 565 | 1 |
---|
| 566 | .names _n93<0> |
---|
| 567 | 0 |
---|
| 568 | .names _n93<1> |
---|
| 569 | 0 |
---|
| 570 | .names _n93<2> |
---|
| 571 | 0 |
---|
| 572 | .names _n93<3> |
---|
| 573 | 1 |
---|
| 574 | .names state<0> _n93<0> _n94<0> |
---|
| 575 | .def 0 |
---|
| 576 | 0 1 1 |
---|
| 577 | 1 0 1 |
---|
| 578 | .names state<1> _n93<1> _n94<1> |
---|
| 579 | .def 0 |
---|
| 580 | 0 1 1 |
---|
| 581 | 1 0 1 |
---|
| 582 | .names state<2> _n93<2> _n94<2> |
---|
| 583 | .def 0 |
---|
| 584 | 0 1 1 |
---|
| 585 | 1 0 1 |
---|
| 586 | .names state<3> _n93<3> _n94<3> |
---|
| 587 | .def 0 |
---|
| 588 | 0 1 1 |
---|
| 589 | 1 0 1 |
---|
| 590 | .names _n94<0> _n94<1> _n94<2> _n94<3> _n95 |
---|
| 591 | .def 1 |
---|
| 592 | 0 0 0 0 0 |
---|
| 593 | .names _n95 _n92 |
---|
| 594 | 0 1 |
---|
| 595 | 1 0 |
---|
| 596 | .names _n92 _n91 |
---|
| 597 | .def 1 |
---|
| 598 | 0 0 |
---|
| 599 | # state = 9 |
---|
| 600 | .names state$_n91_n96$true<0> |
---|
| 601 | 1 |
---|
| 602 | .names state$_n91_n96$true<1> |
---|
| 603 | 0 |
---|
| 604 | .names state$_n91_n96$true<2> |
---|
| 605 | 0 |
---|
| 606 | .names state$_n91_n96$true<3> |
---|
| 607 | 1 |
---|
| 608 | # p = 0 |
---|
| 609 | .names p$_n91_n97$true |
---|
| 610 | 0 |
---|
| 611 | # q = 0 |
---|
| 612 | .names q$_n91_n98$true |
---|
| 613 | 0 |
---|
| 614 | .names _n9b<0> |
---|
| 615 | 1 |
---|
| 616 | .names _n9b<1> |
---|
| 617 | 0 |
---|
| 618 | .names _n9b<2> |
---|
| 619 | 0 |
---|
| 620 | .names _n9b<3> |
---|
| 621 | 1 |
---|
| 622 | .names state<0> _n9b<0> _n9c<0> |
---|
| 623 | .def 0 |
---|
| 624 | 0 1 1 |
---|
| 625 | 1 0 1 |
---|
| 626 | .names state<1> _n9b<1> _n9c<1> |
---|
| 627 | .def 0 |
---|
| 628 | 0 1 1 |
---|
| 629 | 1 0 1 |
---|
| 630 | .names state<2> _n9b<2> _n9c<2> |
---|
| 631 | .def 0 |
---|
| 632 | 0 1 1 |
---|
| 633 | 1 0 1 |
---|
| 634 | .names state<3> _n9b<3> _n9c<3> |
---|
| 635 | .def 0 |
---|
| 636 | 0 1 1 |
---|
| 637 | 1 0 1 |
---|
| 638 | .names _n9c<0> _n9c<1> _n9c<2> _n9c<3> _n9d |
---|
| 639 | .def 1 |
---|
| 640 | 0 0 0 0 0 |
---|
| 641 | .names _n9d _n9a |
---|
| 642 | 0 1 |
---|
| 643 | 1 0 |
---|
| 644 | .names _n9a _n99 |
---|
| 645 | .def 1 |
---|
| 646 | 0 0 |
---|
| 647 | # state = 9 |
---|
| 648 | .names state$_n99_n9e$true<0> |
---|
| 649 | 1 |
---|
| 650 | .names state$_n99_n9e$true<1> |
---|
| 651 | 0 |
---|
| 652 | .names state$_n99_n9e$true<2> |
---|
| 653 | 0 |
---|
| 654 | .names state$_n99_n9e$true<3> |
---|
| 655 | 1 |
---|
| 656 | # p = 0 |
---|
| 657 | .names p$_n99_n9f$true |
---|
| 658 | 0 |
---|
| 659 | # q = 0 |
---|
| 660 | .names q$_n99_na0$true |
---|
| 661 | 0 |
---|
| 662 | # case (state ) |
---|
| 663 | .names _n99 p$_n99_n9f$true p p$_n99$raw_na7 |
---|
| 664 | .def 0 |
---|
| 665 | 1 1 - 1 |
---|
| 666 | 0 - 1 1 |
---|
| 667 | .names _n99 q$_n99_na0$true q q$_n99$raw_na9 |
---|
| 668 | .def 0 |
---|
| 669 | 1 1 - 1 |
---|
| 670 | 0 - 1 1 |
---|
| 671 | .names _n99 state$_n99_n9e$true<0> state<0> state$_n99$raw_nab<0> |
---|
| 672 | .def 0 |
---|
| 673 | 1 1 - 1 |
---|
| 674 | 0 - 1 1 |
---|
| 675 | .names _n99 state$_n99_n9e$true<1> state<1> state$_n99$raw_nab<1> |
---|
| 676 | .def 0 |
---|
| 677 | 1 1 - 1 |
---|
| 678 | 0 - 1 1 |
---|
| 679 | .names _n99 state$_n99_n9e$true<2> state<2> state$_n99$raw_nab<2> |
---|
| 680 | .def 0 |
---|
| 681 | 1 1 - 1 |
---|
| 682 | 0 - 1 1 |
---|
| 683 | .names _n99 state$_n99_n9e$true<3> state<3> state$_n99$raw_nab<3> |
---|
| 684 | .def 0 |
---|
| 685 | 1 1 - 1 |
---|
| 686 | 0 - 1 1 |
---|
| 687 | .names _n91 p$_n91_n97$true p$_n99$raw_na7 p$_n91$raw_nb0 |
---|
| 688 | .def 0 |
---|
| 689 | 1 1 - 1 |
---|
| 690 | 0 - 1 1 |
---|
| 691 | .names _n91 q$_n91_n98$true q$_n99$raw_na9 q$_n91$raw_nb2 |
---|
| 692 | .def 0 |
---|
| 693 | 1 1 - 1 |
---|
| 694 | 0 - 1 1 |
---|
| 695 | .names _n91 state$_n91_n96$true<0> state$_n99$raw_nab<0> state$_n91$raw_nb4<0> |
---|
| 696 | .def 0 |
---|
| 697 | 1 1 - 1 |
---|
| 698 | 0 - 1 1 |
---|
| 699 | .names _n91 state$_n91_n96$true<1> state$_n99$raw_nab<1> state$_n91$raw_nb4<1> |
---|
| 700 | .def 0 |
---|
| 701 | 1 1 - 1 |
---|
| 702 | 0 - 1 1 |
---|
| 703 | .names _n91 state$_n91_n96$true<2> state$_n99$raw_nab<2> state$_n91$raw_nb4<2> |
---|
| 704 | .def 0 |
---|
| 705 | 1 1 - 1 |
---|
| 706 | 0 - 1 1 |
---|
| 707 | .names _n91 state$_n91_n96$true<3> state$_n99$raw_nab<3> state$_n91$raw_nb4<3> |
---|
| 708 | .def 0 |
---|
| 709 | 1 1 - 1 |
---|
| 710 | 0 - 1 1 |
---|
| 711 | .names _n89 p$_n89_n8f$true p$_n91$raw_nb0 p$_n89$raw_nc2 |
---|
| 712 | .def 0 |
---|
| 713 | 1 1 - 1 |
---|
| 714 | 0 - 1 1 |
---|
| 715 | .names _n89 q$_n89_n90$true q$_n91$raw_nb2 q$_n89$raw_nc4 |
---|
| 716 | .def 0 |
---|
| 717 | 1 1 - 1 |
---|
| 718 | 0 - 1 1 |
---|
| 719 | .names _n89 state$_n89_n8e$true<0> state$_n91$raw_nb4<0> state$_n89$raw_nc6<0> |
---|
| 720 | .def 0 |
---|
| 721 | 1 1 - 1 |
---|
| 722 | 0 - 1 1 |
---|
| 723 | .names _n89 state$_n89_n8e$true<1> state$_n91$raw_nb4<1> state$_n89$raw_nc6<1> |
---|
| 724 | .def 0 |
---|
| 725 | 1 1 - 1 |
---|
| 726 | 0 - 1 1 |
---|
| 727 | .names _n89 state$_n89_n8e$true<2> state$_n91$raw_nb4<2> state$_n89$raw_nc6<2> |
---|
| 728 | .def 0 |
---|
| 729 | 1 1 - 1 |
---|
| 730 | 0 - 1 1 |
---|
| 731 | .names _n89 state$_n89_n8e$true<3> state$_n91$raw_nb4<3> state$_n89$raw_nc6<3> |
---|
| 732 | .def 0 |
---|
| 733 | 1 1 - 1 |
---|
| 734 | 0 - 1 1 |
---|
| 735 | .names _n81 p$_n81_n87$true p$_n89$raw_nc2 p$_n81$raw_nd4 |
---|
| 736 | .def 0 |
---|
| 737 | 1 1 - 1 |
---|
| 738 | 0 - 1 1 |
---|
| 739 | .names _n81 q$_n81_n88$true q$_n89$raw_nc4 q$_n81$raw_nd6 |
---|
| 740 | .def 0 |
---|
| 741 | 1 1 - 1 |
---|
| 742 | 0 - 1 1 |
---|
| 743 | .names _n81 state$_n81_n86$true<0> state$_n89$raw_nc6<0> state$_n81$raw_nd8<0> |
---|
| 744 | .def 0 |
---|
| 745 | 1 1 - 1 |
---|
| 746 | 0 - 1 1 |
---|
| 747 | .names _n81 state$_n81_n86$true<1> state$_n89$raw_nc6<1> state$_n81$raw_nd8<1> |
---|
| 748 | .def 0 |
---|
| 749 | 1 1 - 1 |
---|
| 750 | 0 - 1 1 |
---|
| 751 | .names _n81 state$_n81_n86$true<2> state$_n89$raw_nc6<2> state$_n81$raw_nd8<2> |
---|
| 752 | .def 0 |
---|
| 753 | 1 1 - 1 |
---|
| 754 | 0 - 1 1 |
---|
| 755 | .names _n81 state$_n81_n86$true<3> state$_n89$raw_nc6<3> state$_n81$raw_nd8<3> |
---|
| 756 | .def 0 |
---|
| 757 | 1 1 - 1 |
---|
| 758 | 0 - 1 1 |
---|
| 759 | .names _n5f p$_n64$raw_n72 p$_n81$raw_nd4 p$_n5f$raw_ne6 |
---|
| 760 | .def 0 |
---|
| 761 | 1 1 - 1 |
---|
| 762 | 0 - 1 1 |
---|
| 763 | .names _n5f q$_n64$raw_n74 q$_n81$raw_nd6 q$_n5f$raw_ne8 |
---|
| 764 | .def 0 |
---|
| 765 | 1 1 - 1 |
---|
| 766 | 0 - 1 1 |
---|
| 767 | .names _n5f state$_n64$raw_n76<0> state$_n81$raw_nd8<0> state$_n5f$raw_nea<0> |
---|
| 768 | .def 0 |
---|
| 769 | 1 1 - 1 |
---|
| 770 | 0 - 1 1 |
---|
| 771 | .names _n5f state$_n64$raw_n76<1> state$_n81$raw_nd8<1> state$_n5f$raw_nea<1> |
---|
| 772 | .def 0 |
---|
| 773 | 1 1 - 1 |
---|
| 774 | 0 - 1 1 |
---|
| 775 | .names _n5f state$_n64$raw_n76<2> state$_n81$raw_nd8<2> state$_n5f$raw_nea<2> |
---|
| 776 | .def 0 |
---|
| 777 | 1 1 - 1 |
---|
| 778 | 0 - 1 1 |
---|
| 779 | .names _n5f state$_n64$raw_n76<3> state$_n81$raw_nd8<3> state$_n5f$raw_nea<3> |
---|
| 780 | .def 0 |
---|
| 781 | 1 1 - 1 |
---|
| 782 | 0 - 1 1 |
---|
| 783 | .names _n57 p$_n57_n5d$true p$_n5f$raw_ne6 p$_n57$raw_nf8 |
---|
| 784 | .def 0 |
---|
| 785 | 1 1 - 1 |
---|
| 786 | 0 - 1 1 |
---|
| 787 | .names _n57 q$_n57_n5e$true q$_n5f$raw_ne8 q$_n57$raw_nfa |
---|
| 788 | .def 0 |
---|
| 789 | 1 1 - 1 |
---|
| 790 | 0 - 1 1 |
---|
| 791 | .names _n57 state$_n57_n5c$true<0> state$_n5f$raw_nea<0> state$_n57$raw_nfc<0> |
---|
| 792 | .def 0 |
---|
| 793 | 1 1 - 1 |
---|
| 794 | 0 - 1 1 |
---|
| 795 | .names _n57 state$_n57_n5c$true<1> state$_n5f$raw_nea<1> state$_n57$raw_nfc<1> |
---|
| 796 | .def 0 |
---|
| 797 | 1 1 - 1 |
---|
| 798 | 0 - 1 1 |
---|
| 799 | .names _n57 state$_n57_n5c$true<2> state$_n5f$raw_nea<2> state$_n57$raw_nfc<2> |
---|
| 800 | .def 0 |
---|
| 801 | 1 1 - 1 |
---|
| 802 | 0 - 1 1 |
---|
| 803 | .names _n57 state$_n57_n5c$true<3> state$_n5f$raw_nea<3> state$_n57$raw_nfc<3> |
---|
| 804 | .def 0 |
---|
| 805 | 1 1 - 1 |
---|
| 806 | 0 - 1 1 |
---|
| 807 | .names _n4f p$_n4f_n55$true p$_n57$raw_nf8 p$_n4f$raw_n10a |
---|
| 808 | .def 0 |
---|
| 809 | 1 1 - 1 |
---|
| 810 | 0 - 1 1 |
---|
| 811 | .names _n4f q$_n4f_n56$true q$_n57$raw_nfa q$_n4f$raw_n10c |
---|
| 812 | .def 0 |
---|
| 813 | 1 1 - 1 |
---|
| 814 | 0 - 1 1 |
---|
| 815 | .names _n4f state$_n4f_n54$true<0> state$_n57$raw_nfc<0> state$_n4f$raw_n10e<0> |
---|
| 816 | .def 0 |
---|
| 817 | 1 1 - 1 |
---|
| 818 | 0 - 1 1 |
---|
| 819 | .names _n4f state$_n4f_n54$true<1> state$_n57$raw_nfc<1> state$_n4f$raw_n10e<1> |
---|
| 820 | .def 0 |
---|
| 821 | 1 1 - 1 |
---|
| 822 | 0 - 1 1 |
---|
| 823 | .names _n4f state$_n4f_n54$true<2> state$_n57$raw_nfc<2> state$_n4f$raw_n10e<2> |
---|
| 824 | .def 0 |
---|
| 825 | 1 1 - 1 |
---|
| 826 | 0 - 1 1 |
---|
| 827 | .names _n4f state$_n4f_n54$true<3> state$_n57$raw_nfc<3> state$_n4f$raw_n10e<3> |
---|
| 828 | .def 0 |
---|
| 829 | 1 1 - 1 |
---|
| 830 | 0 - 1 1 |
---|
| 831 | .names _n47 p$_n47_n4d$true p$_n4f$raw_n10a p$_n47$raw_n11c |
---|
| 832 | .def 0 |
---|
| 833 | 1 1 - 1 |
---|
| 834 | 0 - 1 1 |
---|
| 835 | .names _n47 q$_n47_n4e$true q$_n4f$raw_n10c q$_n47$raw_n11e |
---|
| 836 | .def 0 |
---|
| 837 | 1 1 - 1 |
---|
| 838 | 0 - 1 1 |
---|
| 839 | .names _n47 state$_n47_n4c$true<0> state$_n4f$raw_n10e<0> state$_n47$raw_n120<0> |
---|
| 840 | .def 0 |
---|
| 841 | 1 1 - 1 |
---|
| 842 | 0 - 1 1 |
---|
| 843 | .names _n47 state$_n47_n4c$true<1> state$_n4f$raw_n10e<1> state$_n47$raw_n120<1> |
---|
| 844 | .def 0 |
---|
| 845 | 1 1 - 1 |
---|
| 846 | 0 - 1 1 |
---|
| 847 | .names _n47 state$_n47_n4c$true<2> state$_n4f$raw_n10e<2> state$_n47$raw_n120<2> |
---|
| 848 | .def 0 |
---|
| 849 | 1 1 - 1 |
---|
| 850 | 0 - 1 1 |
---|
| 851 | .names _n47 state$_n47_n4c$true<3> state$_n4f$raw_n10e<3> state$_n47$raw_n120<3> |
---|
| 852 | .def 0 |
---|
| 853 | 1 1 - 1 |
---|
| 854 | 0 - 1 1 |
---|
| 855 | .names _n3f p$_n3f_n45$true p$_n47$raw_n11c p$_n3f$raw_n12e |
---|
| 856 | .def 0 |
---|
| 857 | 1 1 - 1 |
---|
| 858 | 0 - 1 1 |
---|
| 859 | .names _n3f q$_n3f_n46$true q$_n47$raw_n11e q$_n3f$raw_n130 |
---|
| 860 | .def 0 |
---|
| 861 | 1 1 - 1 |
---|
| 862 | 0 - 1 1 |
---|
| 863 | .names _n3f state$_n3f_n44$true<0> state$_n47$raw_n120<0> state$_n3f$raw_n132<0> |
---|
| 864 | .def 0 |
---|
| 865 | 1 1 - 1 |
---|
| 866 | 0 - 1 1 |
---|
| 867 | .names _n3f state$_n3f_n44$true<1> state$_n47$raw_n120<1> state$_n3f$raw_n132<1> |
---|
| 868 | .def 0 |
---|
| 869 | 1 1 - 1 |
---|
| 870 | 0 - 1 1 |
---|
| 871 | .names _n3f state$_n3f_n44$true<2> state$_n47$raw_n120<2> state$_n3f$raw_n132<2> |
---|
| 872 | .def 0 |
---|
| 873 | 1 1 - 1 |
---|
| 874 | 0 - 1 1 |
---|
| 875 | .names _n3f state$_n3f_n44$true<3> state$_n47$raw_n120<3> state$_n3f$raw_n132<3> |
---|
| 876 | .def 0 |
---|
| 877 | 1 1 - 1 |
---|
| 878 | 0 - 1 1 |
---|
| 879 | .names _n3 p$_n8$raw_n30 p$_n3f$raw_n12e p$_n3$raw_n140 |
---|
| 880 | .def 0 |
---|
| 881 | 1 1 - 1 |
---|
| 882 | 0 - 1 1 |
---|
| 883 | .names _n3 q$_n8$raw_n32 q$_n3f$raw_n130 q$_n3$raw_n142 |
---|
| 884 | .def 0 |
---|
| 885 | 1 1 - 1 |
---|
| 886 | 0 - 1 1 |
---|
| 887 | .names _n3 state$_n8$raw_n34<0> state$_n3f$raw_n132<0> state$_n3$raw_n144<0> |
---|
| 888 | .def 0 |
---|
| 889 | 1 1 - 1 |
---|
| 890 | 0 - 1 1 |
---|
| 891 | .names _n3 state$_n8$raw_n34<1> state$_n3f$raw_n132<1> state$_n3$raw_n144<1> |
---|
| 892 | .def 0 |
---|
| 893 | 1 1 - 1 |
---|
| 894 | 0 - 1 1 |
---|
| 895 | .names _n3 state$_n8$raw_n34<2> state$_n3f$raw_n132<2> state$_n3$raw_n144<2> |
---|
| 896 | .def 0 |
---|
| 897 | 1 1 - 1 |
---|
| 898 | 0 - 1 1 |
---|
| 899 | .names _n3 state$_n8$raw_n34<3> state$_n3f$raw_n132<3> state$_n3$raw_n144<3> |
---|
| 900 | .def 0 |
---|
| 901 | 1 1 - 1 |
---|
| 902 | 0 - 1 1 |
---|
| 903 | # conflict arbitrators |
---|
| 904 | .names _n3 _nc _n14 _n3f _n47 _n4f _n57 _n5f _n68 _n81 _n89 _n91 _n99 _n152 |
---|
| 905 | .def 0 |
---|
| 906 | 1 1 - - - - - - - - - - - 1 |
---|
| 907 | 1 0 1 - - - - - - - - - - 1 |
---|
| 908 | 1 0 0 - - - - - - - - - - 1 |
---|
| 909 | 0 - - 1 - - - - - - - - - 1 |
---|
| 910 | 0 - - 0 1 - - - - - - - - 1 |
---|
| 911 | 0 - - 0 0 1 - - - - - - - 1 |
---|
| 912 | 0 - - 0 0 0 1 - - - - - - 1 |
---|
| 913 | 0 - - 0 0 0 0 1 1 - - - - 1 |
---|
| 914 | 0 - - 0 0 0 0 1 0 - - - - 1 |
---|
| 915 | 0 - - 0 0 0 0 0 - 1 - - - 1 |
---|
| 916 | 0 - - 0 0 0 0 0 - 0 1 - - 1 |
---|
| 917 | 0 - - 0 0 0 0 0 - 0 0 1 - 1 |
---|
| 918 | 0 - - 0 0 0 0 0 - 0 0 0 1 1 |
---|
| 919 | .names _n152 p$_n3$raw_n140 p _n153 |
---|
| 920 | 1 0 - 0 |
---|
| 921 | 1 1 - 1 |
---|
| 922 | 0 - 0 0 |
---|
| 923 | 0 - 1 1 |
---|
| 924 | .names _n3 _nc _n14 _n3f _n47 _n4f _n57 _n5f _n68 _n81 _n89 _n91 _n99 _n154 |
---|
| 925 | .def 0 |
---|
| 926 | 1 1 - - - - - - - - - - - 1 |
---|
| 927 | 1 0 1 - - - - - - - - - - 1 |
---|
| 928 | 1 0 0 - - - - - - - - - - 1 |
---|
| 929 | 0 - - 1 - - - - - - - - - 1 |
---|
| 930 | 0 - - 0 1 - - - - - - - - 1 |
---|
| 931 | 0 - - 0 0 1 - - - - - - - 1 |
---|
| 932 | 0 - - 0 0 0 1 - - - - - - 1 |
---|
| 933 | 0 - - 0 0 0 0 1 1 - - - - 1 |
---|
| 934 | 0 - - 0 0 0 0 1 0 - - - - 1 |
---|
| 935 | 0 - - 0 0 0 0 0 - 1 - - - 1 |
---|
| 936 | 0 - - 0 0 0 0 0 - 0 1 - - 1 |
---|
| 937 | 0 - - 0 0 0 0 0 - 0 0 1 - 1 |
---|
| 938 | 0 - - 0 0 0 0 0 - 0 0 0 1 1 |
---|
| 939 | .names _n154 q$_n3$raw_n142 q _n155 |
---|
| 940 | 1 0 - 0 |
---|
| 941 | 1 1 - 1 |
---|
| 942 | 0 - 0 0 |
---|
| 943 | 0 - 1 1 |
---|
| 944 | .names _n3 _nc _n14 _n3f _n47 _n4f _n57 _n5f _n68 _n81 _n89 _n91 _n99 _n156 |
---|
| 945 | .def 0 |
---|
| 946 | 1 1 - - - - - - - - - - - 1 |
---|
| 947 | 1 0 1 - - - - - - - - - - 1 |
---|
| 948 | 1 0 0 - - - - - - - - - - 1 |
---|
| 949 | 0 - - 1 - - - - - - - - - 1 |
---|
| 950 | 0 - - 0 1 - - - - - - - - 1 |
---|
| 951 | 0 - - 0 0 1 - - - - - - - 1 |
---|
| 952 | 0 - - 0 0 0 1 - - - - - - 1 |
---|
| 953 | 0 - - 0 0 0 0 1 1 - - - - 1 |
---|
| 954 | 0 - - 0 0 0 0 1 0 - - - - 1 |
---|
| 955 | 0 - - 0 0 0 0 0 - 1 - - - 1 |
---|
| 956 | 0 - - 0 0 0 0 0 - 0 1 - - 1 |
---|
| 957 | 0 - - 0 0 0 0 0 - 0 0 1 - 1 |
---|
| 958 | 0 - - 0 0 0 0 0 - 0 0 0 1 1 |
---|
| 959 | .names _n156 state$_n3$raw_n144<0> state$_n3$raw_n144<1> state$_n3$raw_n144<2> state$_n3$raw_n144<3> state<0> state<1> state<2> state<3> -> _n157<0> _n157<1> _n157<2> _n157<3> |
---|
| 960 | 1 - - - - - - - - =state$_n3$raw_n144<0> =state$_n3$raw_n144<1> =state$_n3$raw_n144<2> =state$_n3$raw_n144<3> |
---|
| 961 | 0 - - - - - - - - =state<0> =state<1> =state<2> =state<3> |
---|
| 962 | # non-blocking assignments |
---|
| 963 | # latches |
---|
| 964 | .r p$raw_n0 p |
---|
| 965 | 0 0 |
---|
| 966 | 1 1 |
---|
| 967 | .latch _n153 p |
---|
| 968 | .r q$raw_n1 q |
---|
| 969 | 0 0 |
---|
| 970 | 1 1 |
---|
| 971 | .latch _n155 q |
---|
| 972 | .r state$raw_n2<0> state<0> |
---|
| 973 | .def 0 |
---|
| 974 | 1 1 |
---|
| 975 | .r state$raw_n2<1> state<1> |
---|
| 976 | .def 0 |
---|
| 977 | 1 1 |
---|
| 978 | .r state$raw_n2<2> state<2> |
---|
| 979 | .def 0 |
---|
| 980 | 1 1 |
---|
| 981 | .r state$raw_n2<3> state<3> |
---|
| 982 | .def 0 |
---|
| 983 | 1 1 |
---|
| 984 | .latch _n157<0> state<0> |
---|
| 985 | .latch _n157<1> state<1> |
---|
| 986 | .latch _n157<2> state<2> |
---|
| 987 | .latch _n157<3> state<3> |
---|
| 988 | # quasi-continuous assignment |
---|
| 989 | .end |
---|