| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
| 85.71 | 85.71 |
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
| tb.dut.gpio_csr_assert | 85.71 | 85.71 |
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
| 85.71 | 85.71 |
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
| 85.71 | 85.71 |
| SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
| 100.00 | 100.00 | 100.00 | 100.00 | 100.00 | 100.00 | dut |
| NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
| no children | |||||||
| Total | Attempted | Percent | Succeeded/Matched | Percent | |
|---|---|---|---|---|---|
| Assertions | 7 | 7 | 100.00 | 6 | 85.71 |
| Cover properties | 0 | 0 | 0 | ||
| Cover sequences | 0 | 0 | 0 | ||
| Total | 7 | 7 | 100.00 | 6 | 85.71 |
| Name | Attempts | Real Successes | Failures | Incomplete |
| TlulOOBAddrErr_A | 56779612 | 0 | 0 | 0 |
| ctrl_en_input_filter_rd_A | 56779612 | 92562 | 0 | 0 |
| intr_ctrl_en_falling_rd_A | 56779612 | 92546 | 0 | 0 |
| intr_ctrl_en_lvlhigh_rd_A | 56779612 | 93041 | 0 | 0 |
| intr_ctrl_en_lvllow_rd_A | 56779612 | 92590 | 0 | 0 |
| intr_ctrl_en_rising_rd_A | 56779612 | 92544 | 0 | 0 |
| intr_enable_rd_A | 56779612 | 91399 | 0 | 0 |
| Name | Attempts | Real Successes | Failures | Incomplete |
|---|---|---|---|---|
| Total | 56779612 | 0 | 0 | 0 |
| Name | Attempts | Real Successes | Failures | Incomplete |
|---|---|---|---|---|
| Total | 56779612 | 92562 | 0 | 0 |
| T1 | 4698 | 9 | 0 | 0 |
| T2 | 0 | 932 | 0 | 0 |
| T3 | 0 | 3057 | 0 | 0 |
| T4 | 0 | 128 | 0 | 0 |
| T5 | 0 | 4555 | 0 | 0 |
| T6 | 0 | 18 | 0 | 0 |
| T7 | 0 | 3546 | 0 | 0 |
| T8 | 0 | 5559 | 0 | 0 |
| T9 | 0 | 2420 | 0 | 0 |
| T10 | 0 | 4931 | 0 | 0 |
| T11 | 3253 | 0 | 0 | 0 |
| T12 | 5028 | 0 | 0 | 0 |
| T13 | 1523 | 0 | 0 | 0 |
| T14 | 2420 | 0 | 0 | 0 |
| T15 | 2643 | 0 | 0 | 0 |
| T16 | 708811 | 0 | 0 | 0 |
| T17 | 219309 | 0 | 0 | 0 |
| T18 | 22450 | 0 | 0 | 0 |
| T19 | 2617 | 0 | 0 | 0 |
| Name | Attempts | Real Successes | Failures | Incomplete |
|---|---|---|---|---|
| Total | 56779612 | 92546 | 0 | 0 |
| T2 | 600019 | 850 | 0 | 0 |
| T3 | 872841 | 3114 | 0 | 0 |
| T4 | 0 | 192 | 0 | 0 |
| T5 | 0 | 4800 | 0 | 0 |
| T6 | 0 | 64 | 0 | 0 |
| T7 | 0 | 3314 | 0 | 0 |
| T8 | 0 | 5676 | 0 | 0 |
| T9 | 0 | 2411 | 0 | 0 |
| T10 | 0 | 5058 | 0 | 0 |
| T20 | 0 | 70 | 0 | 0 |
| T21 | 3895 | 0 | 0 | 0 |
| T22 | 3348 | 0 | 0 | 0 |
| T23 | 7666 | 0 | 0 | 0 |
| T24 | 4403 | 0 | 0 | 0 |
| T25 | 4445 | 0 | 0 | 0 |
| T26 | 41901 | 0 | 0 | 0 |
| T27 | 1363 | 0 | 0 | 0 |
| T28 | 5017 | 0 | 0 | 0 |
| Name | Attempts | Real Successes | Failures | Incomplete |
|---|---|---|---|---|
| Total | 56779612 | 93041 | 0 | 0 |
| T2 | 600019 | 869 | 0 | 0 |
| T3 | 872841 | 2923 | 0 | 0 |
| T4 | 0 | 133 | 0 | 0 |
| T5 | 0 | 4903 | 0 | 0 |
| T6 | 0 | 63 | 0 | 0 |
| T7 | 0 | 3504 | 0 | 0 |
| T8 | 0 | 5195 | 0 | 0 |
| T9 | 0 | 2527 | 0 | 0 |
| T10 | 0 | 4667 | 0 | 0 |
| T20 | 0 | 81 | 0 | 0 |
| T21 | 3895 | 0 | 0 | 0 |
| T22 | 3348 | 0 | 0 | 0 |
| T23 | 7666 | 0 | 0 | 0 |
| T24 | 4403 | 0 | 0 | 0 |
| T25 | 4445 | 0 | 0 | 0 |
| T26 | 41901 | 0 | 0 | 0 |
| T27 | 1363 | 0 | 0 | 0 |
| T28 | 5017 | 0 | 0 | 0 |
| Name | Attempts | Real Successes | Failures | Incomplete |
|---|---|---|---|---|
| Total | 56779612 | 92590 | 0 | 0 |
| T2 | 600019 | 970 | 0 | 0 |
| T3 | 872841 | 3126 | 0 | 0 |
| T4 | 0 | 130 | 0 | 0 |
| T5 | 0 | 4655 | 0 | 0 |
| T6 | 0 | 25 | 0 | 0 |
| T7 | 0 | 3662 | 0 | 0 |
| T8 | 0 | 5423 | 0 | 0 |
| T9 | 0 | 2516 | 0 | 0 |
| T10 | 0 | 4946 | 0 | 0 |
| T20 | 0 | 70 | 0 | 0 |
| T21 | 3895 | 0 | 0 | 0 |
| T22 | 3348 | 0 | 0 | 0 |
| T23 | 7666 | 0 | 0 | 0 |
| T24 | 4403 | 0 | 0 | 0 |
| T25 | 4445 | 0 | 0 | 0 |
| T26 | 41901 | 0 | 0 | 0 |
| T27 | 1363 | 0 | 0 | 0 |
| T28 | 5017 | 0 | 0 | 0 |
| Name | Attempts | Real Successes | Failures | Incomplete |
|---|---|---|---|---|
| Total | 56779612 | 92544 | 0 | 0 |
| T2 | 600019 | 942 | 0 | 0 |
| T3 | 872841 | 3197 | 0 | 0 |
| T4 | 0 | 123 | 0 | 0 |
| T5 | 0 | 5040 | 0 | 0 |
| T6 | 0 | 48 | 0 | 0 |
| T7 | 0 | 3870 | 0 | 0 |
| T8 | 0 | 5498 | 0 | 0 |
| T9 | 0 | 2092 | 0 | 0 |
| T10 | 0 | 4792 | 0 | 0 |
| T20 | 0 | 62 | 0 | 0 |
| T21 | 3895 | 0 | 0 | 0 |
| T22 | 3348 | 0 | 0 | 0 |
| T23 | 7666 | 0 | 0 | 0 |
| T24 | 4403 | 0 | 0 | 0 |
| T25 | 4445 | 0 | 0 | 0 |
| T26 | 41901 | 0 | 0 | 0 |
| T27 | 1363 | 0 | 0 | 0 |
| T28 | 5017 | 0 | 0 | 0 |
| Name | Attempts | Real Successes | Failures | Incomplete |
|---|---|---|---|---|
| Total | 56779612 | 91399 | 0 | 0 |
| T2 | 600019 | 980 | 0 | 0 |
| T3 | 872841 | 3201 | 0 | 0 |
| T4 | 0 | 121 | 0 | 0 |
| T5 | 0 | 4717 | 0 | 0 |
| T6 | 0 | 34 | 0 | 0 |
| T7 | 0 | 3595 | 0 | 0 |
| T8 | 0 | 5130 | 0 | 0 |
| T9 | 0 | 2490 | 0 | 0 |
| T10 | 0 | 4894 | 0 | 0 |
| T20 | 0 | 54 | 0 | 0 |
| T21 | 3895 | 0 | 0 | 0 |
| T22 | 3348 | 0 | 0 | 0 |
| T23 | 7666 | 0 | 0 | 0 |
| T24 | 4403 | 0 | 0 | 0 |
| T25 | 4445 | 0 | 0 | 0 |
| T26 | 41901 | 0 | 0 | 0 |
| T27 | 1363 | 0 | 0 | 0 |
| T28 | 5017 | 0 | 0 | 0 |
| 0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |