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 |
84.91 | 95.81 | 83.54 | 100.00 | 40.00 | 90.11 | 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 | 178214545 | 609085 | 0 | 0 |
intr_enable_rd_A | 178214545 | 2861 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 178214545 | 609085 | 0 | 0 |
T29 | 365274 | 108362 | 0 | 0 |
T30 | 0 | 324 | 0 | 0 |
T31 | 0 | 4 | 0 | 0 |
T52 | 0 | 408 | 0 | 0 |
T53 | 0 | 12 | 0 | 0 |
T55 | 0 | 674 | 0 | 0 |
T56 | 0 | 288266 | 0 | 0 |
T57 | 0 | 815 | 0 | 0 |
T58 | 0 | 419 | 0 | 0 |
T59 | 0 | 42861 | 0 | 0 |
T62 | 5624 | 0 | 0 | 0 |
T63 | 115620 | 0 | 0 | 0 |
T64 | 403783 | 0 | 0 | 0 |
T65 | 28840 | 0 | 0 | 0 |
T66 | 185652 | 0 | 0 | 0 |
T67 | 2982 | 0 | 0 | 0 |
T68 | 96650 | 0 | 0 | 0 |
T69 | 92599 | 0 | 0 | 0 |
T70 | 202235 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 178214545 | 2861 | 0 | 0 |
T31 | 0 | 59 | 0 | 0 |
T33 | 427541 | 51 | 0 | 0 |
T50 | 102057 | 0 | 0 | 0 |
T61 | 0 | 60 | 0 | 0 |
T71 | 0 | 59 | 0 | 0 |
T72 | 0 | 19 | 0 | 0 |
T73 | 0 | 48 | 0 | 0 |
T74 | 0 | 9 | 0 | 0 |
T75 | 0 | 10 | 0 | 0 |
T76 | 0 | 16 | 0 | 0 |
T77 | 0 | 41 | 0 | 0 |
T78 | 117364 | 0 | 0 | 0 |
T79 | 6919 | 0 | 0 | 0 |
T80 | 944 | 0 | 0 | 0 |
T81 | 99176 | 0 | 0 | 0 |
T82 | 328794 | 0 | 0 | 0 |
T83 | 4923 | 0 | 0 | 0 |
T84 | 106863 | 0 | 0 | 0 |
T85 | 288592 | 0 | 0 | 0 |
0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |