SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
93.33 | 100.00 | 80.00 | 100.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
93.33 | 100.00 | 80.00 | 100.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
93.33 | 100.00 | 80.00 | 100.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
87.26 | 90.91 | 69.23 | 88.89 | 100.00 | tl_adapter_host_i_ibex |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
no children |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
93.33 | 100.00 | 80.00 | 100.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
93.33 | 100.00 | 80.00 | 100.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
90.91 | 91.30 | 82.35 | 90.00 | 100.00 | tl_adapter_host_d_ibex |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
no children |
Line No. | Total | Covered | Percent | |
---|---|---|---|---|
TOTAL | 3 | 3 | 100.00 | |
CONT_ASSIGN | 23 | 1 | 1 | 100.00 |
CONT_ASSIGN | 47 | 1 | 1 | 100.00 |
CONT_ASSIGN | 50 | 1 | 1 | 100.00 |
Line No. | Covered | Statements | |
---|---|---|---|
23 | 1 | 1 | |
47 | 1 | 1 | |
50 | 1 | 1 |
Total | Covered | Percent | |
---|---|---|---|
Conditions | 5 | 4 | 80.00 |
Logical | 5 | 4 | 80.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 |
LINE 47 EXPRESSION (tl_i.d_valid & (((|rsp_err)) | rsp_data_err)) ------1----- --------------2--------------
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Not Covered |
LINE 47 SUB-EXPRESSION (((|rsp_err)) | rsp_data_err) ------1----- ------2-----
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Unreachable | |
1 | 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 |
PayLoadWidthCheck | 2046 | 2046 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 2046 | 2046 | 0 | 0 |
T1 | 2 | 2 | 0 | 0 |
T2 | 2 | 2 | 0 | 0 |
T3 | 2 | 2 | 0 | 0 |
T30 | 2 | 2 | 0 | 0 |
T46 | 2 | 2 | 0 | 0 |
T47 | 2 | 2 | 0 | 0 |
T51 | 2 | 2 | 0 | 0 |
T66 | 2 | 2 | 0 | 0 |
T88 | 2 | 2 | 0 | 0 |
T89 | 2 | 2 | 0 | 0 |
Line No. | Total | Covered | Percent | |
---|---|---|---|---|
TOTAL | 3 | 3 | 100.00 | |
CONT_ASSIGN | 23 | 1 | 1 | 100.00 |
CONT_ASSIGN | 47 | 1 | 1 | 100.00 |
CONT_ASSIGN | 50 | 1 | 1 | 100.00 |
Line No. | Covered | Statements | |
---|---|---|---|
23 | 1 | 1 | |
47 | 1 | 1 | |
50 | 1 | 1 |
Total | Covered | Percent | |
---|---|---|---|
Conditions | 5 | 4 | 80.00 |
Logical | 5 | 4 | 80.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 |
LINE 47 EXPRESSION (tl_i.d_valid & (((|rsp_err)) | rsp_data_err)) ------1----- --------------2--------------
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Not Covered |
LINE 47 SUB-EXPRESSION (((|rsp_err)) | rsp_data_err) ------1----- ------2-----
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Unreachable | |
1 | 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 |
PayLoadWidthCheck | 1023 | 1023 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 1023 | 1023 | 0 | 0 |
T1 | 1 | 1 | 0 | 0 |
T2 | 1 | 1 | 0 | 0 |
T3 | 1 | 1 | 0 | 0 |
T30 | 1 | 1 | 0 | 0 |
T46 | 1 | 1 | 0 | 0 |
T47 | 1 | 1 | 0 | 0 |
T51 | 1 | 1 | 0 | 0 |
T66 | 1 | 1 | 0 | 0 |
T88 | 1 | 1 | 0 | 0 |
T89 | 1 | 1 | 0 | 0 |
Line No. | Total | Covered | Percent | |
---|---|---|---|---|
TOTAL | 3 | 3 | 100.00 | |
CONT_ASSIGN | 23 | 1 | 1 | 100.00 |
CONT_ASSIGN | 47 | 1 | 1 | 100.00 |
CONT_ASSIGN | 50 | 1 | 1 | 100.00 |
Line No. | Covered | Statements | |
---|---|---|---|
23 | 1 | 1 | |
47 | 1 | 1 | |
50 | 1 | 1 |
Total | Covered | Percent | |
---|---|---|---|
Conditions | 5 | 4 | 80.00 |
Logical | 5 | 4 | 80.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 |
LINE 47 EXPRESSION (tl_i.d_valid & (((|rsp_err)) | rsp_data_err)) ------1----- --------------2--------------
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Not Covered |
LINE 47 SUB-EXPRESSION (((|rsp_err)) | rsp_data_err) ------1----- ------2-----
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Unreachable | |
1 | 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 |
PayLoadWidthCheck | 1023 | 1023 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 1023 | 1023 | 0 | 0 |
T1 | 1 | 1 | 0 | 0 |
T2 | 1 | 1 | 0 | 0 |
T3 | 1 | 1 | 0 | 0 |
T30 | 1 | 1 | 0 | 0 |
T46 | 1 | 1 | 0 | 0 |
T47 | 1 | 1 | 0 | 0 |
T51 | 1 | 1 | 0 | 0 |
T66 | 1 | 1 | 0 | 0 |
T88 | 1 | 1 | 0 | 0 |
T89 | 1 | 1 | 0 | 0 |
0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |