SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
100.00 | 100.00 |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
tb.dut.clkmgr_pwrmgr_main_sva_if | 100.00 | 100.00 | |||||
tb.dut.clkmgr_pwrmgr_io_sva_if | 100.00 | 100.00 | |||||
tb.dut.clkmgr_pwrmgr_usb_sva_if | 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 |
98.65 | 100.00 | 93.24 | 100.00 | 100.00 | 100.00 | dut |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
no children |
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 |
98.65 | 100.00 | 93.24 | 100.00 | 100.00 | 100.00 | dut |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
no children |
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 |
98.65 | 100.00 | 93.24 | 100.00 | 100.00 | 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 |
StatusFall_A | 479078373 | 430 | 0 | 0 |
StatusRise_A | 479078373 | 430 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 479078373 | 430 | 0 | 0 |
T22 | 58917 | 0 | 0 | 0 |
T31 | 2838 | 4 | 0 | 0 |
T32 | 0 | 4 | 0 | 0 |
T33 | 0 | 10 | 0 | 0 |
T97 | 5652 | 0 | 0 | 0 |
T131 | 5724 | 0 | 0 | 0 |
T132 | 5124 | 0 | 0 | 0 |
T133 | 4374 | 0 | 0 | 0 |
T145 | 0 | 6 | 0 | 0 |
T146 | 0 | 15 | 0 | 0 |
T147 | 0 | 14 | 0 | 0 |
T148 | 0 | 5 | 0 | 0 |
T149 | 0 | 7 | 0 | 0 |
T150 | 0 | 7 | 0 | 0 |
T151 | 0 | 11 | 0 | 0 |
T152 | 3384 | 0 | 0 | 0 |
T153 | 7098 | 0 | 0 | 0 |
T154 | 6720 | 0 | 0 | 0 |
T155 | 3705 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 479078373 | 430 | 0 | 0 |
T22 | 58917 | 0 | 0 | 0 |
T31 | 2838 | 4 | 0 | 0 |
T32 | 0 | 4 | 0 | 0 |
T33 | 0 | 10 | 0 | 0 |
T97 | 5652 | 0 | 0 | 0 |
T131 | 5724 | 0 | 0 | 0 |
T132 | 5124 | 0 | 0 | 0 |
T133 | 4374 | 0 | 0 | 0 |
T145 | 0 | 6 | 0 | 0 |
T146 | 0 | 15 | 0 | 0 |
T147 | 0 | 14 | 0 | 0 |
T148 | 0 | 5 | 0 | 0 |
T149 | 0 | 7 | 0 | 0 |
T150 | 0 | 7 | 0 | 0 |
T151 | 0 | 11 | 0 | 0 |
T152 | 3384 | 0 | 0 | 0 |
T153 | 7098 | 0 | 0 | 0 |
T154 | 6720 | 0 | 0 | 0 |
T155 | 3705 | 0 | 0 | 0 |
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 |
StatusFall_A | 159692791 | 138 | 0 | 0 |
StatusRise_A | 159692791 | 138 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 159692791 | 138 | 0 | 0 |
T22 | 19639 | 0 | 0 | 0 |
T31 | 946 | 1 | 0 | 0 |
T32 | 0 | 1 | 0 | 0 |
T33 | 0 | 3 | 0 | 0 |
T97 | 1884 | 0 | 0 | 0 |
T131 | 1908 | 0 | 0 | 0 |
T132 | 1708 | 0 | 0 | 0 |
T133 | 1458 | 0 | 0 | 0 |
T145 | 0 | 2 | 0 | 0 |
T146 | 0 | 6 | 0 | 0 |
T147 | 0 | 4 | 0 | 0 |
T148 | 0 | 2 | 0 | 0 |
T149 | 0 | 2 | 0 | 0 |
T150 | 0 | 3 | 0 | 0 |
T151 | 0 | 3 | 0 | 0 |
T152 | 1128 | 0 | 0 | 0 |
T153 | 2366 | 0 | 0 | 0 |
T154 | 2240 | 0 | 0 | 0 |
T155 | 1235 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 159692791 | 138 | 0 | 0 |
T22 | 19639 | 0 | 0 | 0 |
T31 | 946 | 1 | 0 | 0 |
T32 | 0 | 1 | 0 | 0 |
T33 | 0 | 3 | 0 | 0 |
T97 | 1884 | 0 | 0 | 0 |
T131 | 1908 | 0 | 0 | 0 |
T132 | 1708 | 0 | 0 | 0 |
T133 | 1458 | 0 | 0 | 0 |
T145 | 0 | 2 | 0 | 0 |
T146 | 0 | 6 | 0 | 0 |
T147 | 0 | 4 | 0 | 0 |
T148 | 0 | 2 | 0 | 0 |
T149 | 0 | 2 | 0 | 0 |
T150 | 0 | 3 | 0 | 0 |
T151 | 0 | 3 | 0 | 0 |
T152 | 1128 | 0 | 0 | 0 |
T153 | 2366 | 0 | 0 | 0 |
T154 | 2240 | 0 | 0 | 0 |
T155 | 1235 | 0 | 0 | 0 |
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 |
StatusFall_A | 159692791 | 140 | 0 | 0 |
StatusRise_A | 159692791 | 140 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 159692791 | 140 | 0 | 0 |
T22 | 19639 | 0 | 0 | 0 |
T31 | 946 | 1 | 0 | 0 |
T32 | 0 | 2 | 0 | 0 |
T33 | 0 | 3 | 0 | 0 |
T97 | 1884 | 0 | 0 | 0 |
T131 | 1908 | 0 | 0 | 0 |
T132 | 1708 | 0 | 0 | 0 |
T133 | 1458 | 0 | 0 | 0 |
T145 | 0 | 3 | 0 | 0 |
T146 | 0 | 4 | 0 | 0 |
T147 | 0 | 4 | 0 | 0 |
T148 | 0 | 2 | 0 | 0 |
T149 | 0 | 2 | 0 | 0 |
T150 | 0 | 1 | 0 | 0 |
T151 | 0 | 4 | 0 | 0 |
T152 | 1128 | 0 | 0 | 0 |
T153 | 2366 | 0 | 0 | 0 |
T154 | 2240 | 0 | 0 | 0 |
T155 | 1235 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 159692791 | 140 | 0 | 0 |
T22 | 19639 | 0 | 0 | 0 |
T31 | 946 | 1 | 0 | 0 |
T32 | 0 | 2 | 0 | 0 |
T33 | 0 | 3 | 0 | 0 |
T97 | 1884 | 0 | 0 | 0 |
T131 | 1908 | 0 | 0 | 0 |
T132 | 1708 | 0 | 0 | 0 |
T133 | 1458 | 0 | 0 | 0 |
T145 | 0 | 3 | 0 | 0 |
T146 | 0 | 4 | 0 | 0 |
T147 | 0 | 4 | 0 | 0 |
T148 | 0 | 2 | 0 | 0 |
T149 | 0 | 2 | 0 | 0 |
T150 | 0 | 1 | 0 | 0 |
T151 | 0 | 4 | 0 | 0 |
T152 | 1128 | 0 | 0 | 0 |
T153 | 2366 | 0 | 0 | 0 |
T154 | 2240 | 0 | 0 | 0 |
T155 | 1235 | 0 | 0 | 0 |
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 |
StatusFall_A | 159692791 | 152 | 0 | 0 |
StatusRise_A | 159692791 | 152 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 159692791 | 152 | 0 | 0 |
T22 | 19639 | 0 | 0 | 0 |
T31 | 946 | 2 | 0 | 0 |
T32 | 0 | 1 | 0 | 0 |
T33 | 0 | 4 | 0 | 0 |
T97 | 1884 | 0 | 0 | 0 |
T131 | 1908 | 0 | 0 | 0 |
T132 | 1708 | 0 | 0 | 0 |
T133 | 1458 | 0 | 0 | 0 |
T145 | 0 | 1 | 0 | 0 |
T146 | 0 | 5 | 0 | 0 |
T147 | 0 | 6 | 0 | 0 |
T148 | 0 | 1 | 0 | 0 |
T149 | 0 | 3 | 0 | 0 |
T150 | 0 | 3 | 0 | 0 |
T151 | 0 | 4 | 0 | 0 |
T152 | 1128 | 0 | 0 | 0 |
T153 | 2366 | 0 | 0 | 0 |
T154 | 2240 | 0 | 0 | 0 |
T155 | 1235 | 0 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 159692791 | 152 | 0 | 0 |
T22 | 19639 | 0 | 0 | 0 |
T31 | 946 | 2 | 0 | 0 |
T32 | 0 | 1 | 0 | 0 |
T33 | 0 | 4 | 0 | 0 |
T97 | 1884 | 0 | 0 | 0 |
T131 | 1908 | 0 | 0 | 0 |
T132 | 1708 | 0 | 0 | 0 |
T133 | 1458 | 0 | 0 | 0 |
T145 | 0 | 1 | 0 | 0 |
T146 | 0 | 5 | 0 | 0 |
T147 | 0 | 6 | 0 | 0 |
T148 | 0 | 1 | 0 | 0 |
T149 | 0 | 3 | 0 | 0 |
T150 | 0 | 3 | 0 | 0 |
T151 | 0 | 4 | 0 | 0 |
T152 | 1128 | 0 | 0 | 0 |
T153 | 2366 | 0 | 0 | 0 |
T154 | 2240 | 0 | 0 | 0 |
T155 | 1235 | 0 | 0 | 0 |
0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |