SCORE | WEIGHT | GOAL | AT LEAST | AUTO BIN MAX | PRINT MISSING |
99.19 | 1 | 100 | 1 | 64 | 64 |
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
Variables | 64 | 1 | 63 | 98.44 |
Crosses | 60 | 0 | 60 | 100.00 |
VARIABLE | EXPECTED | UNCOVERED | COVERED | PERCENT | GOAL | WEIGHT | AT LEAST | AUTO BIN MAX | COMMENT |
esc_scrap_state0_i_cp | 2 | 0 | 2 | 100.00 | 100 | 1 | 1 | 2 | |
esc_scrap_state1_i_cp | 2 | 0 | 2 | 100.00 | 100 | 1 | 1 | 2 | |
fsm_state_q | 15 | 0 | 15 | 100.00 | 100 | 1 | 1 | 0 | |
fsm_state_q_cp | 45 | 1 | 44 | 97.78 | 100 | 1 | 1 | 0 |
CROSS | EXPECTED | UNCOVERED | COVERED | PERCENT | GOAL | WEIGHT | AT LEAST | PRINT MISSING | COMMENT |
scrap_state0_xp | 30 | 0 | 30 | 100.00 | 100 | 1 | 1 | 0 | |
scrap_state1_xp | 30 | 0 | 30 | 100.00 | 100 | 1 | 1 | 0 |
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
Automatically Generated Bins | 2 | 0 | 2 | 100.00 |
NAME | COUNT | AT LEAST | STATUS | TEST | COUNT | TEST | COUNT | TEST | COUNT | |||
auto[0] | 195641774 | 1 | T1 | 5643 | T2 | 29095 | T3 | 333679 | ||||
auto[1] | 2790315 | 1 | T1 | 297 | T2 | 990 | T3 | 24324 |
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
Automatically Generated Bins | 2 | 0 | 2 | 100.00 |
NAME | COUNT | AT LEAST | STATUS | TEST | COUNT | TEST | COUNT | TEST | COUNT | |||
auto[0] | 195651433 | 1 | T1 | 5841 | T2 | 28303 | T3 | 333545 | ||||
auto[1] | 2780656 | 1 | T1 | 99 | T2 | 1782 | T3 | 25666 |
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
Automatically Generated Bins | 15 | 0 | 15 | 100.00 |
NAME | COUNT | AT LEAST | STATUS | TEST | COUNT | TEST | COUNT | TEST | COUNT | |||
auto[ResetSt] | 14705812 | 1 | T1 | 1151 | T2 | 6633 | T3 | 175957 | ||||
auto[IdleSt] | 41293469 | 1 | T1 | 1307 | T2 | 5342 | T3 | 472787 | ||||
auto[ClkMuxSt] | 69264 | 1 | T1 | 7 | T2 | 39 | T3 | 469 | ||||
auto[CntIncrSt] | 68689 | 1 | T1 | 7 | T2 | 39 | T3 | 469 | ||||
auto[CntProgSt] | 3566986 | 1 | T1 | 14 | T2 | 66 | T3 | 22754 | ||||
auto[TransCheckSt] | 54115 | 1 | T1 | 7 | T2 | 27 | T3 | 347 | ||||
auto[TokenHashSt] | 74736633 | 1 | T1 | 76 | T2 | 4545 | T3 | 173346 | ||||
auto[FlashRmaSt] | 55907 | 1 | T1 | 11 | T2 | 59 | T3 | 494 | ||||
auto[TokenCheck0St] | 24672 | 1 | T1 | 7 | T2 | 23 | T3 | 216 | ||||
auto[TokenCheck1St] | 18273 | 1 | T1 | 7 | T2 | 14 | T3 | 179 | ||||
auto[TransProgSt] | 870661 | 1 | T1 | 14 | T2 | 26 | T3 | 9155 | ||||
auto[PostTransSt] | 25760001 | 1 | T1 | 1840 | T2 | 6233 | T3 | 334557 | ||||
auto[ScrapSt] | 206172 | 1 | T3 | 1458 | T10 | 3 | T17 | 11755 | ||||
auto[EscalateSt] | 13616015 | 1 | T1 | 941 | T2 | 4043 | T3 | 201809 | ||||
auto[InvalidSt] | 23381281 | 1 | T1 | 550 | T2 | 2996 | T3 | 406942 |
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
User Defined Bins | 45 | 1 | 44 | 97.78 |
NAME | COUNT | AT LEAST | NUMBER | STATUS |
arcs[TokenCheck1St=>TokenCheck1St] | 0 | 1 | 1 |
NAME | COUNT | STATUS |
IllegalEncoding | 4139 | Excluded |
NAME | COUNT | AT LEAST | STATUS | TEST | COUNT | TEST | COUNT | TEST | COUNT | |||
InvalidSt | 23381281 | 1 | T1 | 550 | T2 | 2996 | T3 | 406942 | ||||
EscalateSt | 13616015 | 1 | T1 | 941 | T2 | 4043 | T3 | 201809 | ||||
ScrapSt | 206172 | 1 | T3 | 1458 | T10 | 3 | T17 | 11755 | ||||
PostTransSt | 25760001 | 1 | T1 | 1840 | T2 | 6233 | T3 | 334557 | ||||
TransProgSt | 870661 | 1 | T1 | 14 | T2 | 26 | T3 | 9155 | ||||
TokenCheck1St | 18273 | 1 | T1 | 7 | T2 | 14 | T3 | 179 | ||||
TokenCheck0St | 24672 | 1 | T1 | 7 | T2 | 23 | T3 | 216 | ||||
FlashRmaSt | 55907 | 1 | T1 | 11 | T2 | 59 | T3 | 494 | ||||
TokenHashSt | 74736633 | 1 | T1 | 76 | T2 | 4545 | T3 | 173346 | ||||
TransCheckSt | 54115 | 1 | T1 | 7 | T2 | 27 | T3 | 347 | ||||
CntProgSt | 3566986 | 1 | T1 | 14 | T2 | 66 | T3 | 22754 | ||||
CntIncrSt | 68689 | 1 | T1 | 7 | T2 | 39 | T3 | 469 | ||||
ClkMuxSt | 69264 | 1 | T1 | 7 | T2 | 39 | T3 | 469 | ||||
IdleSt | 41293469 | 1 | T1 | 1307 | T2 | 5342 | T3 | 472787 | ||||
ResetSt | 14705812 | 1 | T1 | 1151 | T2 | 6633 | T3 | 175957 | ||||
arcs[ResetSt=>IdleSt] | 107076 | 1 | T1 | 13 | T2 | 56 | T3 | 984 | ||||
arcs[IdleSt=>ScrapSt] | 595 | 1 | T3 | 4 | T10 | 1 | T17 | 6 | ||||
arcs[IdleSt=>ClkMuxSt] | 68795 | 1 | T1 | 7 | T2 | 39 | T3 | 469 | ||||
arcs[ClkMuxSt=>CntIncrSt] | 68689 | 1 | T1 | 7 | T2 | 39 | T3 | 469 | ||||
arcs[CntIncrSt=>PostTransSt] | 3233 | 1 | T3 | 32 | T14 | 17 | T17 | 16 | ||||
arcs[CntIncrSt=>CntProgSt] | 65329 | 1 | T1 | 7 | T2 | 39 | T3 | 437 | ||||
arcs[CntProgSt=>PostTransSt] | 9132 | 1 | T2 | 12 | T3 | 90 | T14 | 56 | ||||
arcs[CntProgSt=>TransCheckSt] | 54115 | 1 | T1 | 7 | T2 | 27 | T3 | 347 | ||||
arcs[TransCheckSt=>PostTransSt] | 7355 | 1 | T3 | 36 | T13 | 26 | T14 | 20 | ||||
arcs[TransCheckSt=>TokenHashSt] | 46512 | 1 | T1 | 7 | T2 | 27 | T3 | 311 | ||||
arcs[TokenHashSt=>PostTransSt] | 20324 | 1 | T2 | 4 | T3 | 95 | T13 | 7 | ||||
arcs[TokenHashSt=>FlashRmaSt] | 24879 | 1 | T1 | 7 | T2 | 23 | T3 | 216 | ||||
arcs[FlashRmaSt=>TokenCheck0St] | 24672 | 1 | T1 | 7 | T2 | 23 | T3 | 216 | ||||
arcs[TokenCheck0St=>PostTransSt] | 6349 | 1 | T2 | 9 | T3 | 37 | T13 | 15 | ||||
arcs[TokenCheck0St=>TokenCheck1St] | 18273 | 1 | T1 | 7 | T2 | 14 | T3 | 179 | ||||
arcs[TokenCheck1St=>PostTransSt] | 1309 | 1 | T2 | 1 | T3 | 2 | T13 | 5 | ||||
arcs[TransProgSt=>PostTransSt] | 15245 | 1 | T1 | 7 | T2 | 13 | T3 | 177 | ||||
arcs[IdleSt=>EscalateSt] | 351 | 1 | T10 | 9 | T52 | 7 | T53 | 9 | ||||
arcs[ClkMuxSt=>EscalateSt] | 106 | 1 | T49 | 2 | T50 | 4 | T51 | 1 | ||||
arcs[CntIncrSt=>EscalateSt] | 127 | 1 | T10 | 2 | T52 | 1 | T53 | 2 | ||||
arcs[CntProgSt=>EscalateSt] | 2082 | 1 | T10 | 29 | T52 | 14 | T53 | 9 | ||||
arcs[TransCheckSt=>EscalateSt] | 248 | 1 | T52 | 10 | T53 | 11 | T50 | 6 | ||||
arcs[TokenHashSt=>EscalateSt] | 1309 | 1 | T10 | 6 | T39 | 1 | T40 | 1 | ||||
arcs[FlashRmaSt=>EscalateSt] | 207 | 1 | T10 | 3 | T52 | 2 | T53 | 2 | ||||
arcs[TokenCheck0St=>EscalateSt] | 50 | 1 | T10 | 1 | T50 | 1 | T51 | 2 | ||||
arcs[TokenCheck1St=>EscalateSt] | 318 | 1 | T10 | 4 | T52 | 3 | T53 | 4 | ||||
arcs[TransProgSt=>EscalateSt] | 1401 | 1 | T10 | 17 | T52 | 16 | T53 | 16 | ||||
arcs[PostTransSt=>EscalateSt] | 9657 | 1 | T2 | 12 | T3 | 90 | T10 | 1 | ||||
arcs[InvalidSt=>EscalateSt] | 28885 | 1 | T1 | 4 | T2 | 16 | T3 | 418 |
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | MISSING |
Automatically Generated Cross Bins | 30 | 0 | 30 | 100.00 |
esc_scrap_state0_i_cp | fsm_state_q | COUNT | AT LEAST | STATUS | TEST | COUNT | TEST | COUNT | TEST | COUNT | |||
auto[0] | auto[ResetSt] | 14705436 | 1 | T1 | 1151 | T2 | 6633 | T3 | 175957 | ||||
auto[0] | auto[IdleSt] | 41293232 | 1 | T1 | 1307 | T2 | 5342 | T3 | 472787 | ||||
auto[0] | auto[ClkMuxSt] | 69201 | 1 | T1 | 7 | T2 | 39 | T3 | 469 | ||||
auto[0] | auto[CntIncrSt] | 68602 | 1 | T1 | 7 | T2 | 39 | T3 | 469 | ||||
auto[0] | auto[CntProgSt] | 3565585 | 1 | T1 | 14 | T2 | 66 | T3 | 22754 | ||||
auto[0] | auto[TransCheckSt] | 53944 | 1 | T1 | 7 | T2 | 27 | T3 | 347 | ||||
auto[0] | auto[TokenHashSt] | 74735786 | 1 | T1 | 76 | T2 | 4545 | T3 | 173346 | ||||
auto[0] | auto[FlashRmaSt] | 55760 | 1 | T1 | 11 | T2 | 59 | T3 | 494 | ||||
auto[0] | auto[TokenCheck0St] | 24636 | 1 | T1 | 7 | T2 | 23 | T3 | 216 | ||||
auto[0] | auto[TokenCheck1St] | 18055 | 1 | T1 | 7 | T2 | 14 | T3 | 179 | ||||
auto[0] | auto[TransProgSt] | 869698 | 1 | T1 | 14 | T2 | 26 | T3 | 9155 | ||||
auto[0] | auto[PostTransSt] | 25754999 | 1 | T1 | 1840 | T2 | 6227 | T3 | 334505 | ||||
auto[0] | auto[ScrapSt] | 206063 | 1 | T3 | 1458 | T10 | 2 | T17 | 11755 | ||||
auto[0] | auto[EscalateSt] | 10849731 | 1 | T1 | 647 | T2 | 3063 | T3 | 177732 | ||||
auto[0] | auto[InvalidSt] | 23366907 | 1 | T1 | 547 | T2 | 2992 | T3 | 406747 | ||||
auto[1] | auto[ResetSt] | 376 | 1 | T10 | 1 | T52 | 4 | T53 | 6 | ||||
auto[1] | auto[IdleSt] | 237 | 1 | T10 | 6 | T52 | 6 | T53 | 6 | ||||
auto[1] | auto[ClkMuxSt] | 63 | 1 | T49 | 2 | T50 | 3 | T51 | 1 | ||||
auto[1] | auto[CntIncrSt] | 87 | 1 | T10 | 2 | T52 | 1 | T53 | 2 | ||||
auto[1] | auto[CntProgSt] | 1401 | 1 | T10 | 22 | T52 | 9 | T53 | 5 | ||||
auto[1] | auto[TransCheckSt] | 171 | 1 | T52 | 5 | T53 | 6 | T214 | 5 | ||||
auto[1] | auto[TokenHashSt] | 847 | 1 | T10 | 3 | T39 | 1 | T52 | 20 | ||||
auto[1] | auto[FlashRmaSt] | 147 | 1 | T10 | 2 | T52 | 1 | T53 | 1 | ||||
auto[1] | auto[TokenCheck0St] | 36 | 1 | T50 | 1 | T51 | 2 | T214 | 1 | ||||
auto[1] | auto[TokenCheck1St] | 218 | 1 | T10 | 3 | T52 | 3 | T53 | 2 | ||||
auto[1] | auto[TransProgSt] | 963 | 1 | T10 | 7 | T52 | 13 | T53 | 10 | ||||
auto[1] | auto[PostTransSt] | 5002 | 1 | T2 | 6 | T3 | 52 | T10 | 1 | ||||
auto[1] | auto[ScrapSt] | 109 | 1 | T10 | 1 | T53 | 1 | T49 | 2 | ||||
auto[1] | auto[EscalateSt] | 2766284 | 1 | T1 | 294 | T2 | 980 | T3 | 24077 | ||||
auto[1] | auto[InvalidSt] | 14374 | 1 | T1 | 3 | T2 | 4 | T3 | 195 |
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | MISSING |
Automatically Generated Cross Bins | 30 | 0 | 30 | 100.00 |
esc_scrap_state1_i_cp | fsm_state_q | COUNT | AT LEAST | STATUS | TEST | COUNT | TEST | COUNT | TEST | COUNT | |||
auto[0] | auto[ResetSt] | 14705427 | 1 | T1 | 1151 | T2 | 6633 | T3 | 175957 | ||||
auto[0] | auto[IdleSt] | 41293234 | 1 | T1 | 1307 | T2 | 5342 | T3 | 472787 | ||||
auto[0] | auto[ClkMuxSt] | 69184 | 1 | T1 | 7 | T2 | 39 | T3 | 469 | ||||
auto[0] | auto[CntIncrSt] | 68593 | 1 | T1 | 7 | T2 | 39 | T3 | 469 | ||||
auto[0] | auto[CntProgSt] | 3565582 | 1 | T1 | 14 | T2 | 66 | T3 | 22754 | ||||
auto[0] | auto[TransCheckSt] | 53950 | 1 | T1 | 7 | T2 | 27 | T3 | 347 | ||||
auto[0] | auto[TokenHashSt] | 74735773 | 1 | T1 | 76 | T2 | 4545 | T3 | 173346 | ||||
auto[0] | auto[FlashRmaSt] | 55766 | 1 | T1 | 11 | T2 | 59 | T3 | 494 | ||||
auto[0] | auto[TokenCheck0St] | 24633 | 1 | T1 | 7 | T2 | 23 | T3 | 216 | ||||
auto[0] | auto[TokenCheck1St] | 18074 | 1 | T1 | 7 | T2 | 14 | T3 | 179 | ||||
auto[0] | auto[TransProgSt] | 869755 | 1 | T1 | 14 | T2 | 26 | T3 | 9155 | ||||
auto[0] | auto[PostTransSt] | 25755206 | 1 | T1 | 1840 | T2 | 6227 | T3 | 334519 | ||||
auto[0] | auto[ScrapSt] | 206073 | 1 | T3 | 1458 | T10 | 3 | T17 | 11755 | ||||
auto[0] | auto[EscalateSt] | 10859274 | 1 | T1 | 843 | T2 | 2279 | T3 | 176404 | ||||
auto[0] | auto[InvalidSt] | 23366770 | 1 | T1 | 549 | T2 | 2984 | T3 | 406719 | ||||
auto[1] | auto[ResetSt] | 385 | 1 | T10 | 5 | T52 | 2 | T53 | 3 | ||||
auto[1] | auto[IdleSt] | 235 | 1 | T10 | 7 | T52 | 4 | T53 | 7 | ||||
auto[1] | auto[ClkMuxSt] | 80 | 1 | T49 | 1 | T50 | 3 | T215 | 2 | ||||
auto[1] | auto[CntIncrSt] | 96 | 1 | T10 | 2 | T52 | 1 | T53 | 1 | ||||
auto[1] | auto[CntProgSt] | 1404 | 1 | T10 | 15 | T52 | 11 | T53 | 6 | ||||
auto[1] | auto[TransCheckSt] | 165 | 1 | T52 | 7 | T53 | 7 | T50 | 6 | ||||
auto[1] | auto[TokenHashSt] | 860 | 1 | T10 | 6 | T40 | 1 | T52 | 18 | ||||
auto[1] | auto[FlashRmaSt] | 141 | 1 | T10 | 1 | T52 | 2 | T53 | 2 | ||||
auto[1] | auto[TokenCheck0St] | 39 | 1 | T10 | 1 | T50 | 1 | T51 | 1 | ||||
auto[1] | auto[TokenCheck1St] | 199 | 1 | T10 | 2 | T52 | 1 | T53 | 2 | ||||
auto[1] | auto[TransProgSt] | 906 | 1 | T10 | 15 | T52 | 10 | T53 | 8 | ||||
auto[1] | auto[PostTransSt] | 4795 | 1 | T2 | 6 | T3 | 38 | T14 | 32 | ||||
auto[1] | auto[ScrapSt] | 99 | 1 | T52 | 1 | T49 | 2 | T51 | 1 | ||||
auto[1] | auto[EscalateSt] | 2756741 | 1 | T1 | 98 | T2 | 1764 | T3 | 25405 | ||||
auto[1] | auto[InvalidSt] | 14511 | 1 | T1 | 1 | T2 | 12 | T3 | 223 |
0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |