SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
100.00 | 100.00 | 100.00 | 100.00 | 100.00 |
Line No. | Total | Covered | Percent | |
---|---|---|---|---|
TOTAL | 15 | 15 | 100.00 | |
CONT_ASSIGN | 89 | 1 | 1 | 100.00 |
ALWAYS | 95 | 6 | 6 | 100.00 |
CONT_ASSIGN | 108 | 1 | 1 | 100.00 |
CONT_ASSIGN | 109 | 0 | 0 | |
CONT_ASSIGN | 132 | 1 | 1 | 100.00 |
CONT_ASSIGN | 133 | 0 | 0 | |
CONT_ASSIGN | 153 | 1 | 1 | 100.00 |
CONT_ASSIGN | 154 | 0 | 0 | |
CONT_ASSIGN | 172 | 1 | 1 | 100.00 |
CONT_ASSIGN | 173 | 1 | 1 | 100.00 |
CONT_ASSIGN | 176 | 1 | 1 | 100.00 |
CONT_ASSIGN | 177 | 1 | 1 | 100.00 |
CONT_ASSIGN | 178 | 1 | 1 | 100.00 |
Line No. | Covered | Statements | |
---|---|---|---|
89 | 1 | 1 | |
95 | 1 | 1 | |
96 | 1 | 1 | |
97 | 1 | 1 | |
98 | 1 | 1 | |
99 | 1 | 1 | |
100 | 1 | 1 | |
MISSING_ELSE | |||
108 | 1 | 1 | |
109 | unreachable | ||
132 | 1 | 1 | |
133 | unreachable | ||
153 | 1 | 1 | |
154 | unreachable | ||
172 | 1 | 1 | |
173 | 1 | 1 | |
176 | 1 | 1 | |
177 | 1 | 1 | |
178 | 1 | 1 |
Total | Covered | Percent | |
---|---|---|---|
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 |
LINE 97 EXPRESSION (wr_en && ((!err_storage))) --1-- --------2-------
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T13,T15,T32 |
1 | 1 | Covered | T1,T2,T3 |
LINE 99 EXPRESSION (phase_clear || err_storage) -----1----- -----2-----
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T13,T15,T31 |
1 | 0 | Covered | T23,T13,T30 |
LINE 172 EXPRESSION (((~staged_q) != wr_data) ? ((phase_q & wr_en)) : 1'b0) ------------1-----------
-1- | Status | Tests |
---|---|---|
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
Line No. | Total | Covered | Percent | |
---|---|---|---|---|
Branches | 6 | 6 | 100.00 | |
TERNARY | 172 | 2 | 2 | 100.00 |
IF | 95 | 4 | 4 | 100.00 |
LineNo. Expression -1-: 172 (((~staged_q) != wr_data)) ?
-1- | Status | Tests |
---|---|---|
1 | Covered | T1,T2,T3 |
0 | Covered | T1,T2,T3 |
LineNo. Expression -1-: 95 if ((!rst_ni)) -2-: 97 if ((wr_en && (!err_storage))) -3-: 99 if ((phase_clear || err_storage))
-1- | -2- | -3- | Status | Tests |
---|---|---|---|---|
1 | - | - | Covered | T1,T2,T3 |
0 | 1 | - | Covered | T1,T2,T3 |
0 | 0 | 1 | Covered | T23,T13,T30 |
0 | 0 | 0 | Covered | T1,T2,T3 |
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 |
CheckSwAccessIsLegal_A | 73098 | 73098 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 73098 | 73098 | 0 | 0 |
T1 | 262 | 262 | 0 | 0 |
T2 | 262 | 262 | 0 | 0 |
T3 | 262 | 262 | 0 | 0 |
T4 | 262 | 262 | 0 | 0 |
T5 | 262 | 262 | 0 | 0 |
T6 | 262 | 262 | 0 | 0 |
T7 | 262 | 262 | 0 | 0 |
T8 | 262 | 262 | 0 | 0 |
T9 | 262 | 262 | 0 | 0 |
T10 | 262 | 262 | 0 | 0 |
0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |