SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
100.00 | 100.00 |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
tb.dut.rom_ctrl_regs_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 |
94.98 | 100.00 | 98.28 | 97.33 | 100.00 | 79.31 | dut |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
no children |
Total | Attempted | Percent | Succeeded/Matched | Percent | |
---|---|---|---|---|---|
Assertions | 1 | 1 | 100.00 | 1 | 100.00 |
Cover properties | 0 | 0 | 0 | ||
Cover sequences | 0 | 0 | 0 | ||
Total | 1 | 1 | 100.00 | 1 | 100.00 |
Name | Attempts | Real Successes | Failures | Incomplete |
TlulOOBAddrErr_A | 189252270 | 1982971 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 189252270 | 1982971 | 0 | 0 |
T13 | 552613 | 152775 | 0 | 0 |
T14 | 266582 | 67383 | 0 | 0 |
T15 | 267738 | 76916 | 0 | 0 |
T25 | 342532 | 0 | 0 | 0 |
T26 | 82259 | 0 | 0 | 0 |
T28 | 330521 | 0 | 0 | 0 |
T31 | 28946 | 0 | 0 | 0 |
T38 | 0 | 68782 | 0 | 0 |
T39 | 0 | 42390 | 0 | 0 |
T40 | 0 | 19615 | 0 | 0 |
T41 | 0 | 47100 | 0 | 0 |
T42 | 0 | 45878 | 0 | 0 |
T43 | 0 | 183547 | 0 | 0 |
T44 | 0 | 82899 | 0 | 0 |
T45 | 103301 | 0 | 0 | 0 |
T46 | 417905 | 0 | 0 | 0 |
T47 | 247643 | 0 | 0 | 0 |
0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |