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 | 159287579 | 388023 | 0 | 0 |
intr_enable_rd_A | 159287579 | 2439 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 159287579 | 388023 | 0 | 0 |
T26 | 3222 | 20 | 0 | 0 |
T27 | 10184 | 302 | 0 | 0 |
T28 | 7392 | 15 | 0 | 0 |
T52 | 507917 | 221164 | 0 | 0 |
T53 | 6973 | 949 | 0 | 0 |
T54 | 5159 | 235 | 0 | 0 |
T55 | 2090 | 3 | 0 | 0 |
T59 | 5501 | 551 | 0 | 0 |
T62 | 3555 | 415 | 0 | 0 |
T66 | 1912 | 11 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 159287579 | 2439 | 0 | 0 |
T28 | 7392 | 31 | 0 | 0 |
T61 | 1417 | 29 | 0 | 0 |
T67 | 4859 | 39 | 0 | 0 |
T68 | 1617 | 29 | 0 | 0 |
T69 | 2587 | 6 | 0 | 0 |
T70 | 4030 | 1 | 0 | 0 |
T71 | 1032 | 16 | 0 | 0 |
T72 | 1954 | 3 | 0 | 0 |
T73 | 4108 | 11 | 0 | 0 |
T74 | 1352 | 19 | 0 | 0 |
0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |