| 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 |
| 83.26 | 93.44 | 77.86 | 100.00 | 40.00 | 88.24 | 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 | 416836388 | 2669506 | 0 | 0 |
| intr_enable_rd_A | 416836388 | 3361 | 0 | 0 |
| Name | Attempts | Real Successes | Failures | Incomplete |
|---|---|---|---|---|
| Total | 416836388 | 2669506 | 0 | 0 |
| T5 | 0 | 115238 | 0 | 0 |
| T6 | 0 | 231298 | 0 | 0 |
| T7 | 0 | 223446 | 0 | 0 |
| T8 | 0 | 213507 | 0 | 0 |
| T9 | 0 | 116638 | 0 | 0 |
| T10 | 0 | 221401 | 0 | 0 |
| T12 | 101300 | 44371 | 0 | 0 |
| T13 | 350342 | 157077 | 0 | 0 |
| T46 | 3169 | 0 | 0 | 0 |
| T47 | 169133 | 0 | 0 | 0 |
| T63 | 0 | 219186 | 0 | 0 |
| T64 | 0 | 61331 | 0 | 0 |
| T65 | 18204 | 0 | 0 | 0 |
| T66 | 302891 | 0 | 0 | 0 |
| T67 | 1453 | 0 | 0 | 0 |
| T68 | 560592 | 0 | 0 | 0 |
| T69 | 184824 | 0 | 0 | 0 |
| T70 | 21025 | 0 | 0 | 0 |
| Name | Attempts | Real Successes | Failures | Incomplete |
|---|---|---|---|---|
| Total | 416836388 | 3361 | 0 | 0 |
| T42 | 714915 | 42 | 0 | 0 |
| T43 | 0 | 59 | 0 | 0 |
| T48 | 123143 | 0 | 0 | 0 |
| T58 | 0 | 228 | 0 | 0 |
| T71 | 0 | 20 | 0 | 0 |
| T72 | 0 | 71 | 0 | 0 |
| T73 | 0 | 22 | 0 | 0 |
| T74 | 0 | 23 | 0 | 0 |
| T75 | 0 | 39 | 0 | 0 |
| T76 | 0 | 21 | 0 | 0 |
| T77 | 0 | 5 | 0 | 0 |
| T78 | 17541 | 0 | 0 | 0 |
| T79 | 801341 | 0 | 0 | 0 |
| T80 | 189619 | 0 | 0 | 0 |
| T81 | 3118 | 0 | 0 | 0 |
| T82 | 45787 | 0 | 0 | 0 |
| T83 | 954 | 0 | 0 | 0 |
| T84 | 291737 | 0 | 0 | 0 |
| T85 | 119319 | 0 | 0 | 0 |
| 0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |