SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
100.00 | 100.00 |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
tb.dut.hmac_csr_assert | 100.00 | 100.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
100.00 | 100.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
100.00 | 100.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
98.42 | 100.00 | 93.75 | 100.00 | 100.00 | 96.77 | 100.00 | dut |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
no children |
Total | Attempted | Percent | Succeeded/Matched | Percent | |
---|---|---|---|---|---|
Assertions | 2 | 2 | 100.00 | 2 | 100.00 |
Cover properties | 0 | 0 | 0 | ||
Cover sequences | 0 | 0 | 0 | ||
Total | 2 | 2 | 100.00 | 2 | 100.00 |
Name | Attempts | Real Successes | Failures | Incomplete |
TlulOOBAddrErr_A | 1466723471 | 797284 | 0 | 0 |
intr_enable_rd_A | 1466723471 | 2554 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 1466723471 | 797284 | 0 | 0 |
T17 | 913617 | 33433 | 0 | 0 |
T42 | 0 | 267479 | 0 | 0 |
T43 | 0 | 16 | 0 | 0 |
T53 | 0 | 883 | 0 | 0 |
T54 | 0 | 5 | 0 | 0 |
T55 | 0 | 4 | 0 | 0 |
T57 | 0 | 1192 | 0 | 0 |
T58 | 0 | 399 | 0 | 0 |
T62 | 0 | 841 | 0 | 0 |
T63 | 0 | 7 | 0 | 0 |
T64 | 133891 | 0 | 0 | 0 |
T65 | 80082 | 0 | 0 | 0 |
T66 | 288325 | 0 | 0 | 0 |
T67 | 759349 | 0 | 0 | 0 |
T68 | 40776 | 0 | 0 | 0 |
T69 | 746120 | 0 | 0 | 0 |
T70 | 294030 | 0 | 0 | 0 |
T71 | 180712 | 0 | 0 | 0 |
T72 | 306165 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 1466723471 | 2554 | 0 | 0 |
T12 | 59654 | 0 | 0 | 0 |
T13 | 180269 | 0 | 0 | 0 |
T19 | 802985 | 24 | 0 | 0 |
T33 | 884054 | 0 | 0 | 0 |
T34 | 117813 | 0 | 0 | 0 |
T35 | 595074 | 0 | 0 | 0 |
T71 | 0 | 43 | 0 | 0 |
T73 | 0 | 28 | 0 | 0 |
T74 | 0 | 62 | 0 | 0 |
T75 | 0 | 37 | 0 | 0 |
T76 | 0 | 34 | 0 | 0 |
T77 | 0 | 37 | 0 | 0 |
T78 | 0 | 5 | 0 | 0 |
T79 | 0 | 6 | 0 | 0 |
T80 | 0 | 17 | 0 | 0 |
T81 | 787304 | 0 | 0 | 0 |
T82 | 152209 | 0 | 0 | 0 |
T83 | 332759 | 0 | 0 | 0 |
T84 | 5868 | 0 | 0 | 0 |
0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |