Line Coverage for Module :
tlul_socket_1n
| Line No. | Total | Covered | Percent |
| TOTAL | | 56 | 55 | 98.21 |
| CONT_ASSIGN | 112 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 113 | 1 | 1 | 100.00 |
| ALWAYS | 116 | 9 | 9 | 100.00 |
| CONT_ASSIGN | 132 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 145 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 155 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 155 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 157 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 157 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 158 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 158 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 159 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 159 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 160 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 160 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 161 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 161 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 162 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 162 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 163 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 163 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 164 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 164 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 167 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 167 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 171 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 171 | 1 | 1 | 100.00 |
| ALWAYS | 180 | 6 | 6 | 100.00 |
| CONT_ASSIGN | 189 | 1 | 1 | 100.00 |
| ALWAYS | 192 | 4 | 4 | 100.00 |
| CONT_ASSIGN | 197 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 198 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 199 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 200 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 201 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 202 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 203 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 204 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 205 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 252 | 1 | 0 | 0.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_tlul_socket_1n_0.1/rtl/tlul_socket_1n.sv' or '../src/lowrisc_tlul_socket_1n_0.1/rtl/tlul_socket_1n.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 112 |
1 |
1 |
| 113 |
1 |
1 |
| 116 |
1 |
1 |
| 117 |
1 |
1 |
| 118 |
1 |
1 |
| 119 |
1 |
1 |
| 120 |
1 |
1 |
| 121 |
1 |
1 |
|
|
|
==> MISSING_ELSE |
| 123 |
1 |
1 |
| 124 |
1 |
1 |
| 125 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 132 |
1 |
1 |
| 145 |
1 |
1 |
| 155 |
2 |
2 |
| 157 |
2 |
2 |
| 158 |
2 |
2 |
| 159 |
2 |
2 |
| 160 |
2 |
2 |
| 161 |
2 |
2 |
| 162 |
2 |
2 |
| 163 |
2 |
2 |
| 164 |
2 |
2 |
| 167 |
2 |
2 |
| 171 |
2 |
2 |
| 180 |
1 |
1 |
| 181 |
1 |
1 |
| 183 |
2 |
2 |
|
|
|
MISSING_ELSE |
| 185 |
2 |
2 |
|
|
|
MISSING_ELSE |
| 189 |
1 |
1 |
| 192 |
1 |
1 |
| 193 |
1 |
1 |
| 194 |
2 |
2 |
|
|
|
MISSING_ELSE |
| 197 |
1 |
1 |
| 198 |
1 |
1 |
| 199 |
1 |
1 |
| 200 |
1 |
1 |
| 201 |
1 |
1 |
| 202 |
1 |
1 |
| 203 |
1 |
1 |
| 204 |
1 |
1 |
| 205 |
1 |
1 |
| 252 |
0 |
1 |
Cond Coverage for Module :
tlul_socket_1n
| Total | Covered | Percent |
| Conditions | 44 | 43 | 97.73 |
| Logical | 44 | 43 | 97.73 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 112
EXPRESSION (tl_t_o.a_valid & tl_t_i.a_ready)
-------1------ -------2------
| -1- | -2- | Status | Tests |
| 0 | 1 | Not Covered | |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T1,T2,T3 |
LINE 113
EXPRESSION (tl_t_i.d_valid & tl_t_o.d_ready)
-------1------ -------2------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T17,T16 |
| 1 | 1 | Covered | T1,T2,T3 |
LINE 132
EXPRESSION ((num_req_outstanding != '0) & (dev_select_t != dev_select_outstanding))
-------------1------------- --------------------2-------------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T1,T17,T25 |
LINE 132
SUB-EXPRESSION (num_req_outstanding != '0)
-------------1-------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 132
SUB-EXPRESSION (dev_select_t != dev_select_outstanding)
--------------------1-------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 155
EXPRESSION ((dev_select_t == 1'(0)) & ((~hold_all_requests)))
-----------1----------- -----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T17,T25 |
| 1 | 1 | Covered | T1,T2,T3 |
LINE 155
SUB-EXPRESSION (dev_select_t == 1'(0))
-----------1-----------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 155
EXPRESSION ((dev_select_t == 1'(1)) & ((~hold_all_requests)))
-----------1----------- -----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T17,T25 |
| 1 | 1 | Covered | T1,T2,T3 |
LINE 155
SUB-EXPRESSION (dev_select_t == 1'(1))
-----------1-----------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 157
EXPRESSION (tl_t_o.a_valid & gen_u_o[0].dev_select)
-------1------ ----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T17,T25 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T1,T2,T3 |
LINE 157
EXPRESSION (tl_t_o.a_valid & gen_u_o[1].dev_select)
-------1------ ----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T17,T25 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T1,T2,T3 |
LINE 164
EXPRESSION (gen_u_o[0].dev_select ? tl_t_o.a_data : tlul_pkg::BlankedAData)
----------1----------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 164
EXPRESSION (gen_u_o[1].dev_select ? tl_t_o.a_data : tlul_pkg::BlankedAData)
----------1----------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 167
EXPRESSION (gen_u_o[0].dev_select ? tl_t_o.a_user : blanked_auser)
----------1----------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 167
EXPRESSION (gen_u_o[1].dev_select ? tl_t_o.a_user : blanked_auser)
----------1----------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 183
EXPRESSION (dev_select_t == 1'(idx))
------------1------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 189
EXPRESSION (tl_t_o.a_valid & hfifo_reqready)
-------1------ -------2------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T17,T25 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T1,T2,T3 |
LINE 194
EXPRESSION (dev_select_outstanding == 1'(idx))
-----------------1-----------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
Branch Coverage for Module :
tlul_socket_1n
| Line No. | Total | Covered | Percent |
| Branches |
|
19 |
18 |
94.74 |
| TERNARY |
164 |
2 |
2 |
100.00 |
| TERNARY |
167 |
2 |
2 |
100.00 |
| TERNARY |
164 |
2 |
2 |
100.00 |
| TERNARY |
167 |
2 |
2 |
100.00 |
| IF |
116 |
5 |
4 |
80.00 |
| IF |
183 |
2 |
2 |
100.00 |
| IF |
185 |
2 |
2 |
100.00 |
| IF |
194 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_tlul_socket_1n_0.1/rtl/tlul_socket_1n.sv' or '../src/lowrisc_tlul_socket_1n_0.1/rtl/tlul_socket_1n.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 164 (gen_u_o[0].dev_select) ?
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 167 (gen_u_o[0].dev_select) ?
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 164 (gen_u_o[1].dev_select) ?
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 167 (gen_u_o[1].dev_select) ?
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 116 if ((!rst_ni))
-2-: 119 if (accept_t_req)
-3-: 120 if ((!accept_t_rsp))
-4-: 124 if (accept_t_rsp)
Branches:
| -1- | -2- | -3- | -4- | Status | Tests |
| 1 |
- |
- |
- |
Covered |
T1,T2,T3 |
| 0 |
1 |
1 |
- |
Covered |
T1,T2,T3 |
| 0 |
1 |
0 |
- |
Not Covered |
|
| 0 |
0 |
- |
1 |
Covered |
T1,T2,T3 |
| 0 |
0 |
- |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 183 if ((dev_select_t == 1'(idx)))
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 185 if (hold_all_requests)
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 194 if ((dev_select_outstanding == 1'(idx)))
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |
Assert Coverage for Module :
tlul_socket_1n
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete |
|
NotOverflowed_A |
470344131 |
470226543 |
0 |
0 |
|
maxN |
741 |
741 |
0 |
0 |
NotOverflowed_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
470344131 |
470226543 |
0 |
0 |
| T1 |
882538 |
882487 |
0 |
0 |
| T2 |
770228 |
770135 |
0 |
0 |
| T3 |
185957 |
185900 |
0 |
0 |
| T16 |
437269 |
437263 |
0 |
0 |
| T17 |
134508 |
134414 |
0 |
0 |
| T19 |
1853 |
1755 |
0 |
0 |
| T21 |
600 |
546 |
0 |
0 |
| T36 |
157000 |
156923 |
0 |
0 |
| T37 |
5641 |
5586 |
0 |
0 |
| T38 |
246892 |
246836 |
0 |
0 |
maxN
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
741 |
741 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T16 |
1 |
1 |
0 |
0 |
| T17 |
1 |
1 |
0 |
0 |
| T19 |
1 |
1 |
0 |
0 |
| T21 |
1 |
1 |
0 |
0 |
| T36 |
1 |
1 |
0 |
0 |
| T37 |
1 |
1 |
0 |
0 |
| T38 |
1 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_socket
| Line No. | Total | Covered | Percent |
| TOTAL | | 56 | 55 | 98.21 |
| CONT_ASSIGN | 112 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 113 | 1 | 1 | 100.00 |
| ALWAYS | 116 | 9 | 9 | 100.00 |
| CONT_ASSIGN | 132 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 145 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 155 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 155 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 157 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 157 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 158 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 158 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 159 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 159 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 160 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 160 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 161 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 161 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 162 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 162 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 163 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 163 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 164 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 164 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 167 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 167 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 171 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 171 | 1 | 1 | 100.00 |
| ALWAYS | 180 | 6 | 6 | 100.00 |
| CONT_ASSIGN | 189 | 1 | 1 | 100.00 |
| ALWAYS | 192 | 4 | 4 | 100.00 |
| CONT_ASSIGN | 197 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 198 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 199 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 200 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 201 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 202 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 203 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 204 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 205 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 252 | 1 | 0 | 0.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_tlul_socket_1n_0.1/rtl/tlul_socket_1n.sv' or '../src/lowrisc_tlul_socket_1n_0.1/rtl/tlul_socket_1n.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 112 |
1 |
1 |
| 113 |
1 |
1 |
| 116 |
1 |
1 |
| 117 |
1 |
1 |
| 118 |
1 |
1 |
| 119 |
1 |
1 |
| 120 |
1 |
1 |
| 121 |
1 |
1 |
|
|
|
==> MISSING_ELSE |
| 123 |
1 |
1 |
| 124 |
1 |
1 |
| 125 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 132 |
1 |
1 |
| 145 |
1 |
1 |
| 155 |
2 |
2 |
| 157 |
2 |
2 |
| 158 |
2 |
2 |
| 159 |
2 |
2 |
| 160 |
2 |
2 |
| 161 |
2 |
2 |
| 162 |
2 |
2 |
| 163 |
2 |
2 |
| 164 |
2 |
2 |
| 167 |
2 |
2 |
| 171 |
2 |
2 |
| 180 |
1 |
1 |
| 181 |
1 |
1 |
| 183 |
2 |
2 |
|
|
|
MISSING_ELSE |
| 185 |
2 |
2 |
|
|
|
MISSING_ELSE |
| 189 |
1 |
1 |
| 192 |
1 |
1 |
| 193 |
1 |
1 |
| 194 |
2 |
2 |
|
|
|
MISSING_ELSE |
| 197 |
1 |
1 |
| 198 |
1 |
1 |
| 199 |
1 |
1 |
| 200 |
1 |
1 |
| 201 |
1 |
1 |
| 202 |
1 |
1 |
| 203 |
1 |
1 |
| 204 |
1 |
1 |
| 205 |
1 |
1 |
| 252 |
0 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_socket
| Total | Covered | Percent |
| Conditions | 43 | 43 | 100.00 |
| Logical | 43 | 43 | 100.00 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 112
EXPRESSION (tl_t_o.a_valid & tl_t_i.a_ready)
-------1------ -------2------
| -1- | -2- | Status | Tests | Exclude Annotation |
| 0 | 1 | Excluded | |
VC_COV_UNR |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T1,T2,T3 |
LINE 113
EXPRESSION (tl_t_i.d_valid & tl_t_o.d_ready)
-------1------ -------2------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T17,T16 |
| 1 | 1 | Covered | T1,T2,T3 |
LINE 132
EXPRESSION ((num_req_outstanding != '0) & (dev_select_t != dev_select_outstanding))
-------------1------------- --------------------2-------------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T1,T17,T25 |
LINE 132
SUB-EXPRESSION (num_req_outstanding != '0)
-------------1-------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 132
SUB-EXPRESSION (dev_select_t != dev_select_outstanding)
--------------------1-------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 155
EXPRESSION ((dev_select_t == 1'(0)) & ((~hold_all_requests)))
-----------1----------- -----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T17,T25 |
| 1 | 1 | Covered | T1,T2,T3 |
LINE 155
SUB-EXPRESSION (dev_select_t == 1'(0))
-----------1-----------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 155
EXPRESSION ((dev_select_t == 1'(1)) & ((~hold_all_requests)))
-----------1----------- -----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T17,T25 |
| 1 | 1 | Covered | T1,T2,T3 |
LINE 155
SUB-EXPRESSION (dev_select_t == 1'(1))
-----------1-----------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 157
EXPRESSION (tl_t_o.a_valid & gen_u_o[0].dev_select)
-------1------ ----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T17,T25 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T1,T2,T3 |
LINE 157
EXPRESSION (tl_t_o.a_valid & gen_u_o[1].dev_select)
-------1------ ----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T17,T25 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T1,T2,T3 |
LINE 164
EXPRESSION (gen_u_o[0].dev_select ? tl_t_o.a_data : tlul_pkg::BlankedAData)
----------1----------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 164
EXPRESSION (gen_u_o[1].dev_select ? tl_t_o.a_data : tlul_pkg::BlankedAData)
----------1----------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 167
EXPRESSION (gen_u_o[0].dev_select ? tl_t_o.a_user : blanked_auser)
----------1----------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 167
EXPRESSION (gen_u_o[1].dev_select ? tl_t_o.a_user : blanked_auser)
----------1----------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 183
EXPRESSION (dev_select_t == 1'(idx))
------------1------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 189
EXPRESSION (tl_t_o.a_valid & hfifo_reqready)
-------1------ -------2------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T17,T25 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T1,T2,T3 |
LINE 194
EXPRESSION (dev_select_outstanding == 1'(idx))
-----------------1-----------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_socket
| Line No. | Total | Covered | Percent |
| Branches |
|
18 |
18 |
100.00 |
| TERNARY |
164 |
2 |
2 |
100.00 |
| TERNARY |
167 |
2 |
2 |
100.00 |
| TERNARY |
164 |
2 |
2 |
100.00 |
| TERNARY |
167 |
2 |
2 |
100.00 |
| IF |
116 |
4 |
4 |
100.00 |
| IF |
183 |
2 |
2 |
100.00 |
| IF |
185 |
2 |
2 |
100.00 |
| IF |
194 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_tlul_socket_1n_0.1/rtl/tlul_socket_1n.sv' or '../src/lowrisc_tlul_socket_1n_0.1/rtl/tlul_socket_1n.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 164 (gen_u_o[0].dev_select) ?
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 167 (gen_u_o[0].dev_select) ?
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 164 (gen_u_o[1].dev_select) ?
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 167 (gen_u_o[1].dev_select) ?
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 116 if ((!rst_ni))
-2-: 119 if (accept_t_req)
-3-: 120 if ((!accept_t_rsp))
-4-: 124 if (accept_t_rsp)
Branches:
| -1- | -2- | -3- | -4- | Status | Tests | Exclude Annotation |
| 1 |
- |
- |
- |
Covered |
T1,T2,T3 |
|
| 0 |
1 |
1 |
- |
Covered |
T1,T2,T3 |
|
| 0 |
1 |
0 |
- |
Excluded |
|
VC_COV_UNR |
| 0 |
0 |
- |
1 |
Covered |
T1,T2,T3 |
|
| 0 |
0 |
- |
0 |
Covered |
T1,T2,T3 |
|
LineNo. Expression
-1-: 183 if ((dev_select_t == 1'(idx)))
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 185 if (hold_all_requests)
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 194 if ((dev_select_outstanding == 1'(idx)))
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.u_reg.u_socket
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete |
|
NotOverflowed_A |
470344131 |
470226543 |
0 |
0 |
|
maxN |
741 |
741 |
0 |
0 |
NotOverflowed_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
470344131 |
470226543 |
0 |
0 |
| T1 |
882538 |
882487 |
0 |
0 |
| T2 |
770228 |
770135 |
0 |
0 |
| T3 |
185957 |
185900 |
0 |
0 |
| T16 |
437269 |
437263 |
0 |
0 |
| T17 |
134508 |
134414 |
0 |
0 |
| T19 |
1853 |
1755 |
0 |
0 |
| T21 |
600 |
546 |
0 |
0 |
| T36 |
157000 |
156923 |
0 |
0 |
| T37 |
5641 |
5586 |
0 |
0 |
| T38 |
246892 |
246836 |
0 |
0 |
maxN
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
741 |
741 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T16 |
1 |
1 |
0 |
0 |
| T17 |
1 |
1 |
0 |
0 |
| T19 |
1 |
1 |
0 |
0 |
| T21 |
1 |
1 |
0 |
0 |
| T36 |
1 |
1 |
0 |
0 |
| T37 |
1 |
1 |
0 |
0 |
| T38 |
1 |
1 |
0 |
0 |