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.71 | 100.00 | 93.33 | 100.00 | 100.00 | 98.90 | 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 | 446479867 | 925087 | 0 | 0 |
intr_enable_rd_A | 446479867 | 3502 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 446479867 | 925087 | 0 | 0 |
T9 | 346026 | 4646 | 0 | 0 |
T10 | 0 | 24769 | 0 | 0 |
T11 | 0 | 6027 | 0 | 0 |
T15 | 0 | 1433 | 0 | 0 |
T16 | 0 | 6455 | 0 | 0 |
T19 | 107242 | 0 | 0 | 0 |
T22 | 0 | 6830 | 0 | 0 |
T39 | 574233 | 0 | 0 | 0 |
T57 | 0 | 2 | 0 | 0 |
T61 | 0 | 19 | 0 | 0 |
T62 | 0 | 362 | 0 | 0 |
T63 | 0 | 373 | 0 | 0 |
T64 | 496543 | 0 | 0 | 0 |
T65 | 91585 | 0 | 0 | 0 |
T66 | 148763 | 0 | 0 | 0 |
T67 | 27924 | 0 | 0 | 0 |
T68 | 522940 | 0 | 0 | 0 |
T69 | 1021 | 0 | 0 | 0 |
T70 | 2291 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 446479867 | 3502 | 0 | 0 |
T11 | 0 | 64 | 0 | 0 |
T20 | 115130 | 9 | 0 | 0 |
T21 | 198971 | 0 | 0 | 0 |
T36 | 260474 | 0 | 0 | 0 |
T40 | 102651 | 0 | 0 | 0 |
T42 | 102604 | 0 | 0 | 0 |
T71 | 0 | 46 | 0 | 0 |
T72 | 0 | 13 | 0 | 0 |
T73 | 0 | 26 | 0 | 0 |
T74 | 0 | 38 | 0 | 0 |
T75 | 0 | 21 | 0 | 0 |
T76 | 0 | 10 | 0 | 0 |
T77 | 0 | 38 | 0 | 0 |
T78 | 0 | 27 | 0 | 0 |
T79 | 694681 | 0 | 0 | 0 |
T80 | 178003 | 0 | 0 | 0 |
T81 | 352725 | 0 | 0 | 0 |
T82 | 304863 | 0 | 0 | 0 |
T83 | 8134 | 0 | 0 | 0 |
0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |