Line Coverage for Module :
prim_reg_cdc
| Line No. | Total | Covered | Percent |
TOTAL | | 22 | 22 | 100.00 |
CONT_ASSIGN | 65 | 1 | 1 | 100.00 |
ALWAYS | 71 | 6 | 6 | 100.00 |
CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
CONT_ASSIGN | 109 | 1 | 1 | 100.00 |
ALWAYS | 115 | 9 | 9 | 100.00 |
CONT_ASSIGN | 150 | 1 | 1 | 100.00 |
CONT_ASSIGN | 155 | 1 | 1 | 100.00 |
CONT_ASSIGN | 156 | 1 | 1 | 100.00 |
CONT_ASSIGN | 200 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
65 |
1 |
1 |
71 |
1 |
1 |
72 |
1 |
1 |
73 |
1 |
1 |
74 |
1 |
1 |
75 |
1 |
1 |
76 |
1 |
1 |
|
|
|
MISSING_ELSE |
85 |
1 |
1 |
109 |
1 |
1 |
115 |
1 |
1 |
116 |
1 |
1 |
117 |
1 |
1 |
118 |
1 |
1 |
123 |
1 |
1 |
124 |
1 |
1 |
125 |
1 |
1 |
134 |
1 |
1 |
135 |
1 |
1 |
|
|
|
MISSING_ELSE |
150 |
1 |
1 |
155 |
1 |
1 |
156 |
1 |
1 |
200 |
1 |
1 |
Cond Coverage for Module :
prim_reg_cdc
| Total | Covered | Percent |
Conditions | 15 | 13 | 86.67 |
Logical | 15 | 13 | 86.67 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 65
EXPRESSION (src_we_i | src_re_i)
----1--- ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T4 |
0 | 1 | Covered | T2,T3,T15 |
1 | 0 | Covered | T1,T2,T3 |
LINE 109
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T4 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 125
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T4 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
LINE 125
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 125
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T4 |
1 | 0 | Not Covered | |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Module :
prim_reg_cdc
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
IF |
71 |
4 |
4 |
100.00 |
IF |
115 |
4 |
4 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 71 if ((!rst_src_ni))
-2-: 73 if (src_req)
-3-: 75 if (src_ack)
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T1,T2,T4 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T4 |
LineNo. Expression
-1-: 115 if ((!rst_src_ni))
-2-: 118 if (src_req)
-3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T1,T2,T4 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T4 |
Assert Coverage for Module :
prim_reg_cdc
Assertion Details
BusySrcReqChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1605917450 |
1535683 |
0 |
0 |
T1 |
2019800 |
4364 |
0 |
0 |
T2 |
5851060 |
31341 |
0 |
0 |
T3 |
1258990 |
15381 |
0 |
0 |
T4 |
11550 |
0 |
0 |
0 |
T8 |
0 |
1125 |
0 |
0 |
T9 |
0 |
416 |
0 |
0 |
T10 |
0 |
11692 |
0 |
0 |
T11 |
0 |
4045 |
0 |
0 |
T15 |
229330 |
1164 |
0 |
0 |
T16 |
25660 |
0 |
0 |
0 |
T17 |
20620 |
0 |
0 |
0 |
T18 |
17060 |
0 |
0 |
0 |
T19 |
17280 |
0 |
0 |
0 |
T20 |
9350 |
0 |
0 |
0 |
T21 |
0 |
1144 |
0 |
0 |
T22 |
0 |
378 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2144912130 |
0 |
0 |
T1 |
5088282 |
5081928 |
0 |
0 |
T2 |
3110886 |
3108178 |
0 |
0 |
T3 |
5971764 |
5964006 |
0 |
0 |
T4 |
29046 |
27888 |
0 |
0 |
T15 |
135980 |
13898 |
0 |
0 |
T16 |
16058 |
14884 |
0 |
0 |
T17 |
53532 |
52724 |
0 |
0 |
T18 |
11248 |
10092 |
0 |
0 |
T19 |
11344 |
10294 |
0 |
0 |
T20 |
29472 |
28230 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1605917450 |
281278 |
0 |
0 |
T1 |
2019800 |
1340 |
0 |
0 |
T2 |
5851060 |
5965 |
0 |
0 |
T3 |
1258990 |
5520 |
0 |
0 |
T4 |
11550 |
0 |
0 |
0 |
T8 |
0 |
320 |
0 |
0 |
T9 |
0 |
80 |
0 |
0 |
T10 |
0 |
3425 |
0 |
0 |
T11 |
0 |
1300 |
0 |
0 |
T15 |
229330 |
140 |
0 |
0 |
T16 |
25660 |
0 |
0 |
0 |
T17 |
20620 |
0 |
0 |
0 |
T18 |
17060 |
0 |
0 |
0 |
T19 |
17280 |
0 |
0 |
0 |
T20 |
9350 |
0 |
0 |
0 |
T21 |
0 |
340 |
0 |
0 |
T22 |
0 |
120 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1605917450 |
1575934450 |
0 |
0 |
T1 |
2019800 |
2017070 |
0 |
0 |
T2 |
5851060 |
5843970 |
0 |
0 |
T3 |
1258990 |
1257170 |
0 |
0 |
T4 |
11550 |
11030 |
0 |
0 |
T15 |
229330 |
20680 |
0 |
0 |
T16 |
25660 |
23550 |
0 |
0 |
T17 |
20620 |
20280 |
0 |
0 |
T18 |
17060 |
15030 |
0 |
0 |
T19 |
17280 |
15380 |
0 |
0 |
T20 |
9350 |
8930 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_io_meas_ctrl_en_cdc
| Line No. | Total | Covered | Percent |
TOTAL | | 22 | 22 | 100.00 |
CONT_ASSIGN | 65 | 1 | 1 | 100.00 |
ALWAYS | 71 | 6 | 6 | 100.00 |
CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
CONT_ASSIGN | 109 | 1 | 1 | 100.00 |
ALWAYS | 115 | 9 | 9 | 100.00 |
CONT_ASSIGN | 150 | 1 | 1 | 100.00 |
CONT_ASSIGN | 155 | 1 | 1 | 100.00 |
CONT_ASSIGN | 156 | 1 | 1 | 100.00 |
CONT_ASSIGN | 200 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
65 |
1 |
1 |
71 |
1 |
1 |
72 |
1 |
1 |
73 |
1 |
1 |
74 |
1 |
1 |
75 |
1 |
1 |
76 |
1 |
1 |
|
|
|
MISSING_ELSE |
85 |
1 |
1 |
109 |
1 |
1 |
115 |
1 |
1 |
116 |
1 |
1 |
117 |
1 |
1 |
118 |
1 |
1 |
123 |
1 |
1 |
124 |
1 |
1 |
125 |
1 |
1 |
134 |
1 |
1 |
135 |
1 |
1 |
|
|
|
MISSING_ELSE |
150 |
1 |
1 |
155 |
1 |
1 |
156 |
1 |
1 |
200 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_io_meas_ctrl_en_cdc
| Total | Covered | Percent |
Conditions | 14 | 12 | 85.71 |
Logical | 14 | 12 | 85.71 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 65
EXPRESSION (src_we_i | src_re_i)
----1--- ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T4 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 109
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T4 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 125
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T4 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
LINE 125
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 125
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T4 |
1 | 0 | Not Covered | |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_io_meas_ctrl_en_cdc
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
IF |
71 |
4 |
4 |
100.00 |
IF |
115 |
4 |
4 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 71 if ((!rst_src_ni))
-2-: 73 if (src_req)
-3-: 75 if (src_ack)
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T1,T2,T4 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T4 |
LineNo. Expression
-1-: 115 if ((!rst_src_ni))
-2-: 118 if (src_req)
-3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T1,T2,T4 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T4 |
Assert Coverage for Instance : tb.dut.u_reg.u_io_meas_ctrl_en_cdc
Assertion Details
BusySrcReqChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
160591745 |
93770 |
0 |
0 |
T1 |
201980 |
319 |
0 |
0 |
T2 |
585106 |
2156 |
0 |
0 |
T3 |
125899 |
1372 |
0 |
0 |
T4 |
1155 |
0 |
0 |
0 |
T8 |
0 |
84 |
0 |
0 |
T9 |
0 |
28 |
0 |
0 |
T10 |
0 |
852 |
0 |
0 |
T11 |
0 |
322 |
0 |
0 |
T15 |
22933 |
54 |
0 |
0 |
T16 |
2566 |
0 |
0 |
0 |
T17 |
2062 |
0 |
0 |
0 |
T18 |
1706 |
0 |
0 |
0 |
T19 |
1728 |
0 |
0 |
0 |
T20 |
935 |
0 |
0 |
0 |
T21 |
0 |
84 |
0 |
0 |
T22 |
0 |
27 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
325539763 |
320942220 |
0 |
0 |
T1 |
750308 |
749201 |
0 |
0 |
T2 |
105642 |
105508 |
0 |
0 |
T3 |
896856 |
895509 |
0 |
0 |
T4 |
4440 |
4236 |
0 |
0 |
T15 |
23419 |
2112 |
0 |
0 |
T16 |
2464 |
2261 |
0 |
0 |
T17 |
7923 |
7788 |
0 |
0 |
T18 |
1706 |
1503 |
0 |
0 |
T19 |
1728 |
1538 |
0 |
0 |
T20 |
4492 |
4288 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
160591745 |
25238 |
0 |
0 |
T1 |
201980 |
134 |
0 |
0 |
T2 |
585106 |
591 |
0 |
0 |
T3 |
125899 |
550 |
0 |
0 |
T4 |
1155 |
0 |
0 |
0 |
T8 |
0 |
32 |
0 |
0 |
T9 |
0 |
8 |
0 |
0 |
T10 |
0 |
340 |
0 |
0 |
T11 |
0 |
130 |
0 |
0 |
T15 |
22933 |
10 |
0 |
0 |
T16 |
2566 |
0 |
0 |
0 |
T17 |
2062 |
0 |
0 |
0 |
T18 |
1706 |
0 |
0 |
0 |
T19 |
1728 |
0 |
0 |
0 |
T20 |
935 |
0 |
0 |
0 |
T21 |
0 |
34 |
0 |
0 |
T22 |
0 |
12 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
160591745 |
157593445 |
0 |
0 |
T1 |
201980 |
201707 |
0 |
0 |
T2 |
585106 |
584397 |
0 |
0 |
T3 |
125899 |
125717 |
0 |
0 |
T4 |
1155 |
1103 |
0 |
0 |
T15 |
22933 |
2068 |
0 |
0 |
T16 |
2566 |
2355 |
0 |
0 |
T17 |
2062 |
2028 |
0 |
0 |
T18 |
1706 |
1503 |
0 |
0 |
T19 |
1728 |
1538 |
0 |
0 |
T20 |
935 |
893 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc
| Line No. | Total | Covered | Percent |
TOTAL | | 22 | 22 | 100.00 |
CONT_ASSIGN | 65 | 1 | 1 | 100.00 |
ALWAYS | 71 | 6 | 6 | 100.00 |
CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
CONT_ASSIGN | 109 | 1 | 1 | 100.00 |
ALWAYS | 115 | 9 | 9 | 100.00 |
CONT_ASSIGN | 150 | 1 | 1 | 100.00 |
CONT_ASSIGN | 155 | 1 | 1 | 100.00 |
CONT_ASSIGN | 156 | 1 | 1 | 100.00 |
CONT_ASSIGN | 200 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
65 |
1 |
1 |
71 |
1 |
1 |
72 |
1 |
1 |
73 |
1 |
1 |
74 |
1 |
1 |
75 |
1 |
1 |
76 |
1 |
1 |
|
|
|
MISSING_ELSE |
85 |
1 |
1 |
109 |
1 |
1 |
115 |
1 |
1 |
116 |
1 |
1 |
117 |
1 |
1 |
118 |
1 |
1 |
123 |
1 |
1 |
124 |
1 |
1 |
125 |
1 |
1 |
134 |
1 |
1 |
135 |
1 |
1 |
|
|
|
MISSING_ELSE |
150 |
1 |
1 |
155 |
1 |
1 |
156 |
1 |
1 |
200 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc
| Total | Covered | Percent |
Conditions | 14 | 12 | 85.71 |
Logical | 14 | 12 | 85.71 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 65
EXPRESSION (src_we_i | src_re_i)
----1--- ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T4 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 109
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T4 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 125
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T4 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
LINE 125
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 125
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T4 |
1 | 0 | Not Covered | |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
IF |
71 |
4 |
4 |
100.00 |
IF |
115 |
4 |
4 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 71 if ((!rst_src_ni))
-2-: 73 if (src_req)
-3-: 75 if (src_ack)
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T1,T2,T4 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T4 |
LineNo. Expression
-1-: 115 if ((!rst_src_ni))
-2-: 118 if (src_req)
-3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T1,T2,T4 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T4 |
Assert Coverage for Instance : tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc
Assertion Details
BusySrcReqChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
160591745 |
136039 |
0 |
0 |
T1 |
201980 |
453 |
0 |
0 |
T2 |
585106 |
3110 |
0 |
0 |
T3 |
125899 |
1442 |
0 |
0 |
T4 |
1155 |
0 |
0 |
0 |
T8 |
0 |
114 |
0 |
0 |
T9 |
0 |
41 |
0 |
0 |
T10 |
0 |
1192 |
0 |
0 |
T11 |
0 |
413 |
0 |
0 |
T15 |
22933 |
86 |
0 |
0 |
T16 |
2566 |
0 |
0 |
0 |
T17 |
2062 |
0 |
0 |
0 |
T18 |
1706 |
0 |
0 |
0 |
T19 |
1728 |
0 |
0 |
0 |
T20 |
935 |
0 |
0 |
0 |
T21 |
0 |
118 |
0 |
0 |
T22 |
0 |
39 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161860189 |
160711471 |
0 |
0 |
T1 |
375431 |
375189 |
0 |
0 |
T2 |
528148 |
527872 |
0 |
0 |
T3 |
448418 |
448114 |
0 |
0 |
T4 |
2160 |
2118 |
0 |
0 |
T15 |
5644 |
1056 |
0 |
0 |
T16 |
1179 |
1131 |
0 |
0 |
T17 |
4420 |
4379 |
0 |
0 |
T18 |
859 |
818 |
0 |
0 |
T19 |
854 |
826 |
0 |
0 |
T20 |
2213 |
2144 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
160591745 |
25238 |
0 |
0 |
T1 |
201980 |
134 |
0 |
0 |
T2 |
585106 |
591 |
0 |
0 |
T3 |
125899 |
550 |
0 |
0 |
T4 |
1155 |
0 |
0 |
0 |
T8 |
0 |
32 |
0 |
0 |
T9 |
0 |
8 |
0 |
0 |
T10 |
0 |
340 |
0 |
0 |
T11 |
0 |
130 |
0 |
0 |
T15 |
22933 |
10 |
0 |
0 |
T16 |
2566 |
0 |
0 |
0 |
T17 |
2062 |
0 |
0 |
0 |
T18 |
1706 |
0 |
0 |
0 |
T19 |
1728 |
0 |
0 |
0 |
T20 |
935 |
0 |
0 |
0 |
T21 |
0 |
34 |
0 |
0 |
T22 |
0 |
12 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
160591745 |
157593445 |
0 |
0 |
T1 |
201980 |
201707 |
0 |
0 |
T2 |
585106 |
584397 |
0 |
0 |
T3 |
125899 |
125717 |
0 |
0 |
T4 |
1155 |
1103 |
0 |
0 |
T15 |
22933 |
2068 |
0 |
0 |
T16 |
2566 |
2355 |
0 |
0 |
T17 |
2062 |
2028 |
0 |
0 |
T18 |
1706 |
1503 |
0 |
0 |
T19 |
1728 |
1538 |
0 |
0 |
T20 |
935 |
893 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc
| Line No. | Total | Covered | Percent |
TOTAL | | 22 | 22 | 100.00 |
CONT_ASSIGN | 65 | 1 | 1 | 100.00 |
ALWAYS | 71 | 6 | 6 | 100.00 |
CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
CONT_ASSIGN | 109 | 1 | 1 | 100.00 |
ALWAYS | 115 | 9 | 9 | 100.00 |
CONT_ASSIGN | 150 | 1 | 1 | 100.00 |
CONT_ASSIGN | 155 | 1 | 1 | 100.00 |
CONT_ASSIGN | 156 | 1 | 1 | 100.00 |
CONT_ASSIGN | 200 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
65 |
1 |
1 |
71 |
1 |
1 |
72 |
1 |
1 |
73 |
1 |
1 |
74 |
1 |
1 |
75 |
1 |
1 |
76 |
1 |
1 |
|
|
|
MISSING_ELSE |
85 |
1 |
1 |
109 |
1 |
1 |
115 |
1 |
1 |
116 |
1 |
1 |
117 |
1 |
1 |
118 |
1 |
1 |
123 |
1 |
1 |
124 |
1 |
1 |
125 |
1 |
1 |
134 |
1 |
1 |
135 |
1 |
1 |
|
|
|
MISSING_ELSE |
150 |
1 |
1 |
155 |
1 |
1 |
156 |
1 |
1 |
200 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc
| Total | Covered | Percent |
Conditions | 14 | 12 | 85.71 |
Logical | 14 | 12 | 85.71 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 65
EXPRESSION (src_we_i | src_re_i)
----1--- ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T4 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 109
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T4 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 125
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T4 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
LINE 125
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 125
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T4 |
1 | 0 | Not Covered | |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
IF |
71 |
4 |
4 |
100.00 |
IF |
115 |
4 |
4 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 71 if ((!rst_src_ni))
-2-: 73 if (src_req)
-3-: 75 if (src_ack)
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T1,T2,T4 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T4 |
LineNo. Expression
-1-: 115 if ((!rst_src_ni))
-2-: 118 if (src_req)
-3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T1,T2,T4 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T4 |
Assert Coverage for Instance : tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc
Assertion Details
BusySrcReqChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
160591745 |
220086 |
0 |
0 |
T1 |
201980 |
638 |
0 |
0 |
T2 |
585106 |
4999 |
0 |
0 |
T3 |
125899 |
2002 |
0 |
0 |
T4 |
1155 |
0 |
0 |
0 |
T8 |
0 |
165 |
0 |
0 |
T9 |
0 |
66 |
0 |
0 |
T10 |
0 |
1706 |
0 |
0 |
T11 |
0 |
552 |
0 |
0 |
T15 |
22933 |
149 |
0 |
0 |
T16 |
2566 |
0 |
0 |
0 |
T17 |
2062 |
0 |
0 |
0 |
T18 |
1706 |
0 |
0 |
0 |
T19 |
1728 |
0 |
0 |
0 |
T20 |
935 |
0 |
0 |
0 |
T21 |
0 |
168 |
0 |
0 |
T22 |
0 |
58 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
80929489 |
80355261 |
0 |
0 |
T1 |
187715 |
187595 |
0 |
0 |
T2 |
264073 |
263935 |
0 |
0 |
T3 |
224208 |
224056 |
0 |
0 |
T4 |
1080 |
1059 |
0 |
0 |
T15 |
2822 |
528 |
0 |
0 |
T16 |
589 |
565 |
0 |
0 |
T17 |
2208 |
2187 |
0 |
0 |
T18 |
428 |
407 |
0 |
0 |
T19 |
426 |
412 |
0 |
0 |
T20 |
1107 |
1072 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
160591745 |
25238 |
0 |
0 |
T1 |
201980 |
134 |
0 |
0 |
T2 |
585106 |
591 |
0 |
0 |
T3 |
125899 |
550 |
0 |
0 |
T4 |
1155 |
0 |
0 |
0 |
T8 |
0 |
32 |
0 |
0 |
T9 |
0 |
8 |
0 |
0 |
T10 |
0 |
340 |
0 |
0 |
T11 |
0 |
130 |
0 |
0 |
T15 |
22933 |
10 |
0 |
0 |
T16 |
2566 |
0 |
0 |
0 |
T17 |
2062 |
0 |
0 |
0 |
T18 |
1706 |
0 |
0 |
0 |
T19 |
1728 |
0 |
0 |
0 |
T20 |
935 |
0 |
0 |
0 |
T21 |
0 |
34 |
0 |
0 |
T22 |
0 |
12 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
160591745 |
157593445 |
0 |
0 |
T1 |
201980 |
201707 |
0 |
0 |
T2 |
585106 |
584397 |
0 |
0 |
T3 |
125899 |
125717 |
0 |
0 |
T4 |
1155 |
1103 |
0 |
0 |
T15 |
22933 |
2068 |
0 |
0 |
T16 |
2566 |
2355 |
0 |
0 |
T17 |
2062 |
2028 |
0 |
0 |
T18 |
1706 |
1503 |
0 |
0 |
T19 |
1728 |
1538 |
0 |
0 |
T20 |
935 |
893 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_main_meas_ctrl_en_cdc
| Line No. | Total | Covered | Percent |
TOTAL | | 22 | 22 | 100.00 |
CONT_ASSIGN | 65 | 1 | 1 | 100.00 |
ALWAYS | 71 | 6 | 6 | 100.00 |
CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
CONT_ASSIGN | 109 | 1 | 1 | 100.00 |
ALWAYS | 115 | 9 | 9 | 100.00 |
CONT_ASSIGN | 150 | 1 | 1 | 100.00 |
CONT_ASSIGN | 155 | 1 | 1 | 100.00 |
CONT_ASSIGN | 156 | 1 | 1 | 100.00 |
CONT_ASSIGN | 200 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
65 |
1 |
1 |
71 |
1 |
1 |
72 |
1 |
1 |
73 |
1 |
1 |
74 |
1 |
1 |
75 |
1 |
1 |
76 |
1 |
1 |
|
|
|
MISSING_ELSE |
85 |
1 |
1 |
109 |
1 |
1 |
115 |
1 |
1 |
116 |
1 |
1 |
117 |
1 |
1 |
118 |
1 |
1 |
123 |
1 |
1 |
124 |
1 |
1 |
125 |
1 |
1 |
134 |
1 |
1 |
135 |
1 |
1 |
|
|
|
MISSING_ELSE |
150 |
1 |
1 |
155 |
1 |
1 |
156 |
1 |
1 |
200 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_main_meas_ctrl_en_cdc
| Total | Covered | Percent |
Conditions | 14 | 12 | 85.71 |
Logical | 14 | 12 | 85.71 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 65
EXPRESSION (src_we_i | src_re_i)
----1--- ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T4 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 109
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T4 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 125
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T4 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
LINE 125
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 125
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T4 |
1 | 0 | Not Covered | |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_main_meas_ctrl_en_cdc
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
IF |
71 |
4 |
4 |
100.00 |
IF |
115 |
4 |
4 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 71 if ((!rst_src_ni))
-2-: 73 if (src_req)
-3-: 75 if (src_ack)
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T1,T2,T4 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T4 |
LineNo. Expression
-1-: 115 if ((!rst_src_ni))
-2-: 118 if (src_req)
-3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T1,T2,T4 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T4 |
Assert Coverage for Instance : tb.dut.u_reg.u_main_meas_ctrl_en_cdc
Assertion Details
BusySrcReqChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
160591745 |
91348 |
0 |
0 |
T1 |
201980 |
319 |
0 |
0 |
T2 |
585106 |
2111 |
0 |
0 |
T3 |
125899 |
1372 |
0 |
0 |
T4 |
1155 |
0 |
0 |
0 |
T8 |
0 |
81 |
0 |
0 |
T9 |
0 |
28 |
0 |
0 |
T10 |
0 |
852 |
0 |
0 |
T11 |
0 |
322 |
0 |
0 |
T15 |
22933 |
53 |
0 |
0 |
T16 |
2566 |
0 |
0 |
0 |
T17 |
2062 |
0 |
0 |
0 |
T18 |
1706 |
0 |
0 |
0 |
T19 |
1728 |
0 |
0 |
0 |
T20 |
935 |
0 |
0 |
0 |
T21 |
0 |
84 |
0 |
0 |
T22 |
0 |
27 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
349717531 |
344914620 |
0 |
0 |
T1 |
829595 |
828442 |
0 |
0 |
T2 |
112927 |
112788 |
0 |
0 |
T3 |
955855 |
954452 |
0 |
0 |
T4 |
4624 |
4413 |
0 |
0 |
T15 |
24396 |
2198 |
0 |
0 |
T16 |
2566 |
2355 |
0 |
0 |
T17 |
8253 |
8113 |
0 |
0 |
T18 |
1778 |
1566 |
0 |
0 |
T19 |
1800 |
1602 |
0 |
0 |
T20 |
4679 |
4467 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
160591745 |
25238 |
0 |
0 |
T1 |
201980 |
134 |
0 |
0 |
T2 |
585106 |
591 |
0 |
0 |
T3 |
125899 |
550 |
0 |
0 |
T4 |
1155 |
0 |
0 |
0 |
T8 |
0 |
32 |
0 |
0 |
T9 |
0 |
8 |
0 |
0 |
T10 |
0 |
340 |
0 |
0 |
T11 |
0 |
130 |
0 |
0 |
T15 |
22933 |
10 |
0 |
0 |
T16 |
2566 |
0 |
0 |
0 |
T17 |
2062 |
0 |
0 |
0 |
T18 |
1706 |
0 |
0 |
0 |
T19 |
1728 |
0 |
0 |
0 |
T20 |
935 |
0 |
0 |
0 |
T21 |
0 |
34 |
0 |
0 |
T22 |
0 |
12 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
160591745 |
157593445 |
0 |
0 |
T1 |
201980 |
201707 |
0 |
0 |
T2 |
585106 |
584397 |
0 |
0 |
T3 |
125899 |
125717 |
0 |
0 |
T4 |
1155 |
1103 |
0 |
0 |
T15 |
22933 |
2068 |
0 |
0 |
T16 |
2566 |
2355 |
0 |
0 |
T17 |
2062 |
2028 |
0 |
0 |
T18 |
1706 |
1503 |
0 |
0 |
T19 |
1728 |
1538 |
0 |
0 |
T20 |
935 |
893 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_usb_meas_ctrl_en_cdc
| Line No. | Total | Covered | Percent |
TOTAL | | 22 | 22 | 100.00 |
CONT_ASSIGN | 65 | 1 | 1 | 100.00 |
ALWAYS | 71 | 6 | 6 | 100.00 |
CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
CONT_ASSIGN | 109 | 1 | 1 | 100.00 |
ALWAYS | 115 | 9 | 9 | 100.00 |
CONT_ASSIGN | 150 | 1 | 1 | 100.00 |
CONT_ASSIGN | 155 | 1 | 1 | 100.00 |
CONT_ASSIGN | 156 | 1 | 1 | 100.00 |
CONT_ASSIGN | 200 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
65 |
1 |
1 |
71 |
1 |
1 |
72 |
1 |
1 |
73 |
1 |
1 |
74 |
1 |
1 |
75 |
1 |
1 |
76 |
1 |
1 |
|
|
|
MISSING_ELSE |
85 |
1 |
1 |
109 |
1 |
1 |
115 |
1 |
1 |
116 |
1 |
1 |
117 |
1 |
1 |
118 |
1 |
1 |
123 |
1 |
1 |
124 |
1 |
1 |
125 |
1 |
1 |
134 |
1 |
1 |
135 |
1 |
1 |
|
|
|
MISSING_ELSE |
150 |
1 |
1 |
155 |
1 |
1 |
156 |
1 |
1 |
200 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_usb_meas_ctrl_en_cdc
| Total | Covered | Percent |
Conditions | 14 | 12 | 85.71 |
Logical | 14 | 12 | 85.71 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 65
EXPRESSION (src_we_i | src_re_i)
----1--- ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T4 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 109
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T4 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 125
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T4 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
LINE 125
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 125
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T4 |
1 | 0 | Not Covered | |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_usb_meas_ctrl_en_cdc
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
IF |
71 |
4 |
4 |
100.00 |
IF |
115 |
4 |
4 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 71 if ((!rst_src_ni))
-2-: 73 if (src_req)
-3-: 75 if (src_ack)
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T1,T2,T4 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T4 |
LineNo. Expression
-1-: 115 if ((!rst_src_ni))
-2-: 118 if (src_req)
-3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T1,T2,T4 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T4 |
Assert Coverage for Instance : tb.dut.u_reg.u_usb_meas_ctrl_en_cdc
Assertion Details
BusySrcReqChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
160591745 |
134722 |
0 |
0 |
T1 |
201980 |
453 |
0 |
0 |
T2 |
585106 |
3122 |
0 |
0 |
T3 |
125899 |
1453 |
0 |
0 |
T4 |
1155 |
0 |
0 |
0 |
T8 |
0 |
115 |
0 |
0 |
T9 |
0 |
42 |
0 |
0 |
T10 |
0 |
1192 |
0 |
0 |
T11 |
0 |
407 |
0 |
0 |
T15 |
22933 |
51 |
0 |
0 |
T16 |
2566 |
0 |
0 |
0 |
T17 |
2062 |
0 |
0 |
0 |
T18 |
1706 |
0 |
0 |
0 |
T19 |
1728 |
0 |
0 |
0 |
T20 |
935 |
0 |
0 |
0 |
T21 |
0 |
118 |
0 |
0 |
T22 |
0 |
39 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
167847880 |
165532493 |
0 |
0 |
T1 |
401092 |
400537 |
0 |
0 |
T2 |
544653 |
543986 |
0 |
0 |
T3 |
460545 |
459872 |
0 |
0 |
T4 |
2219 |
2118 |
0 |
0 |
T15 |
11709 |
1055 |
0 |
0 |
T16 |
1231 |
1130 |
0 |
0 |
T17 |
3962 |
3895 |
0 |
0 |
T18 |
853 |
752 |
0 |
0 |
T19 |
864 |
769 |
0 |
0 |
T20 |
2245 |
2144 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
160591745 |
24725 |
0 |
0 |
T1 |
201980 |
134 |
0 |
0 |
T2 |
585106 |
591 |
0 |
0 |
T3 |
125899 |
550 |
0 |
0 |
T4 |
1155 |
0 |
0 |
0 |
T8 |
0 |
32 |
0 |
0 |
T9 |
0 |
8 |
0 |
0 |
T10 |
0 |
340 |
0 |
0 |
T11 |
0 |
130 |
0 |
0 |
T15 |
22933 |
5 |
0 |
0 |
T16 |
2566 |
0 |
0 |
0 |
T17 |
2062 |
0 |
0 |
0 |
T18 |
1706 |
0 |
0 |
0 |
T19 |
1728 |
0 |
0 |
0 |
T20 |
935 |
0 |
0 |
0 |
T21 |
0 |
34 |
0 |
0 |
T22 |
0 |
12 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
160591745 |
157593445 |
0 |
0 |
T1 |
201980 |
201707 |
0 |
0 |
T2 |
585106 |
584397 |
0 |
0 |
T3 |
125899 |
125717 |
0 |
0 |
T4 |
1155 |
1103 |
0 |
0 |
T15 |
22933 |
2068 |
0 |
0 |
T16 |
2566 |
2355 |
0 |
0 |
T17 |
2062 |
2028 |
0 |
0 |
T18 |
1706 |
1503 |
0 |
0 |
T19 |
1728 |
1538 |
0 |
0 |
T20 |
935 |
893 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc
| Line No. | Total | Covered | Percent |
TOTAL | | 22 | 22 | 100.00 |
CONT_ASSIGN | 65 | 1 | 1 | 100.00 |
ALWAYS | 71 | 6 | 6 | 100.00 |
CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
CONT_ASSIGN | 109 | 1 | 1 | 100.00 |
ALWAYS | 115 | 9 | 9 | 100.00 |
CONT_ASSIGN | 150 | 1 | 1 | 100.00 |
CONT_ASSIGN | 155 | 1 | 1 | 100.00 |
CONT_ASSIGN | 156 | 1 | 1 | 100.00 |
CONT_ASSIGN | 200 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
65 |
1 |
1 |
71 |
1 |
1 |
72 |
1 |
1 |
73 |
1 |
1 |
74 |
1 |
1 |
75 |
1 |
1 |
76 |
1 |
1 |
|
|
|
MISSING_ELSE |
85 |
1 |
1 |
109 |
1 |
1 |
115 |
1 |
1 |
116 |
1 |
1 |
117 |
1 |
1 |
118 |
1 |
1 |
123 |
1 |
1 |
124 |
1 |
1 |
125 |
1 |
1 |
134 |
1 |
1 |
135 |
1 |
1 |
|
|
|
MISSING_ELSE |
150 |
1 |
1 |
155 |
1 |
1 |
156 |
1 |
1 |
200 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc
| Total | Covered | Percent |
Conditions | 12 | 11 | 91.67 |
Logical | 12 | 11 | 91.67 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 65
EXPRESSION (src_we_i | src_re_i)
----1--- ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T4 |
0 | 1 | Covered | T2,T3,T15 |
1 | 0 | Covered | T1,T2,T3 |
LINE 109
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T4 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 125
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T4 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 125
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 125
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T4 |
1 | 0 | Unreachable | |
1 | 1 | Unreachable | |
Branch Coverage for Instance : tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
IF |
71 |
4 |
4 |
100.00 |
IF |
115 |
4 |
4 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 71 if ((!rst_src_ni))
-2-: 73 if (src_req)
-3-: 75 if (src_ack)
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T1,T2,T4 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T4 |
LineNo. Expression
-1-: 115 if ((!rst_src_ni))
-2-: 118 if (src_req)
-3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T1,T2,T4 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T4 |
Assert Coverage for Instance : tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc
Assertion Details
BusySrcReqChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
160591745 |
117766 |
0 |
0 |
T1 |
201980 |
319 |
0 |
0 |
T2 |
585106 |
2204 |
0 |
0 |
T3 |
125899 |
1380 |
0 |
0 |
T4 |
1155 |
0 |
0 |
0 |
T8 |
0 |
82 |
0 |
0 |
T9 |
0 |
30 |
0 |
0 |
T10 |
0 |
868 |
0 |
0 |
T11 |
0 |
321 |
0 |
0 |
T15 |
22933 |
98 |
0 |
0 |
T16 |
2566 |
0 |
0 |
0 |
T17 |
2062 |
0 |
0 |
0 |
T18 |
1706 |
0 |
0 |
0 |
T19 |
1728 |
0 |
0 |
0 |
T20 |
935 |
0 |
0 |
0 |
T21 |
0 |
84 |
0 |
0 |
T22 |
0 |
27 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
325539763 |
320942220 |
0 |
0 |
T1 |
750308 |
749201 |
0 |
0 |
T2 |
105642 |
105508 |
0 |
0 |
T3 |
896856 |
895509 |
0 |
0 |
T4 |
4440 |
4236 |
0 |
0 |
T15 |
23419 |
2112 |
0 |
0 |
T16 |
2464 |
2261 |
0 |
0 |
T17 |
7923 |
7788 |
0 |
0 |
T18 |
1706 |
1503 |
0 |
0 |
T19 |
1728 |
1538 |
0 |
0 |
T20 |
4492 |
4288 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
160591745 |
31094 |
0 |
0 |
T1 |
201980 |
134 |
0 |
0 |
T2 |
585106 |
602 |
0 |
0 |
T3 |
125899 |
554 |
0 |
0 |
T4 |
1155 |
0 |
0 |
0 |
T8 |
0 |
32 |
0 |
0 |
T9 |
0 |
8 |
0 |
0 |
T10 |
0 |
345 |
0 |
0 |
T11 |
0 |
130 |
0 |
0 |
T15 |
22933 |
20 |
0 |
0 |
T16 |
2566 |
0 |
0 |
0 |
T17 |
2062 |
0 |
0 |
0 |
T18 |
1706 |
0 |
0 |
0 |
T19 |
1728 |
0 |
0 |
0 |
T20 |
935 |
0 |
0 |
0 |
T21 |
0 |
34 |
0 |
0 |
T22 |
0 |
12 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
160591745 |
157593445 |
0 |
0 |
T1 |
201980 |
201707 |
0 |
0 |
T2 |
585106 |
584397 |
0 |
0 |
T3 |
125899 |
125717 |
0 |
0 |
T4 |
1155 |
1103 |
0 |
0 |
T15 |
22933 |
2068 |
0 |
0 |
T16 |
2566 |
2355 |
0 |
0 |
T17 |
2062 |
2028 |
0 |
0 |
T18 |
1706 |
1503 |
0 |
0 |
T19 |
1728 |
1538 |
0 |
0 |
T20 |
935 |
893 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc
| Line No. | Total | Covered | Percent |
TOTAL | | 22 | 22 | 100.00 |
CONT_ASSIGN | 65 | 1 | 1 | 100.00 |
ALWAYS | 71 | 6 | 6 | 100.00 |
CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
CONT_ASSIGN | 109 | 1 | 1 | 100.00 |
ALWAYS | 115 | 9 | 9 | 100.00 |
CONT_ASSIGN | 150 | 1 | 1 | 100.00 |
CONT_ASSIGN | 155 | 1 | 1 | 100.00 |
CONT_ASSIGN | 156 | 1 | 1 | 100.00 |
CONT_ASSIGN | 200 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
65 |
1 |
1 |
71 |
1 |
1 |
72 |
1 |
1 |
73 |
1 |
1 |
74 |
1 |
1 |
75 |
1 |
1 |
76 |
1 |
1 |
|
|
|
MISSING_ELSE |
85 |
1 |
1 |
109 |
1 |
1 |
115 |
1 |
1 |
116 |
1 |
1 |
117 |
1 |
1 |
118 |
1 |
1 |
123 |
1 |
1 |
124 |
1 |
1 |
125 |
1 |
1 |
134 |
1 |
1 |
135 |
1 |
1 |
|
|
|
MISSING_ELSE |
150 |
1 |
1 |
155 |
1 |
1 |
156 |
1 |
1 |
200 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc
| Total | Covered | Percent |
Conditions | 12 | 11 | 91.67 |
Logical | 12 | 11 | 91.67 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 65
EXPRESSION (src_we_i | src_re_i)
----1--- ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T4 |
0 | 1 | Covered | T2,T3,T15 |
1 | 0 | Covered | T1,T2,T3 |
LINE 109
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T4 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 125
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T4 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 125
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 125
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T4 |
1 | 0 | Unreachable | |
1 | 1 | Unreachable | |
Branch Coverage for Instance : tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
IF |
71 |
4 |
4 |
100.00 |
IF |
115 |
4 |
4 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 71 if ((!rst_src_ni))
-2-: 73 if (src_req)
-3-: 75 if (src_ack)
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T1,T2,T4 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T4 |
LineNo. Expression
-1-: 115 if ((!rst_src_ni))
-2-: 118 if (src_req)
-3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T1,T2,T4 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T4 |
Assert Coverage for Instance : tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc
Assertion Details
BusySrcReqChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
160591745 |
172787 |
0 |
0 |
T1 |
201980 |
453 |
0 |
0 |
T2 |
585106 |
3190 |
0 |
0 |
T3 |
125899 |
1473 |
0 |
0 |
T4 |
1155 |
0 |
0 |
0 |
T8 |
0 |
119 |
0 |
0 |
T9 |
0 |
42 |
0 |
0 |
T10 |
0 |
1213 |
0 |
0 |
T11 |
0 |
416 |
0 |
0 |
T15 |
22933 |
162 |
0 |
0 |
T16 |
2566 |
0 |
0 |
0 |
T17 |
2062 |
0 |
0 |
0 |
T18 |
1706 |
0 |
0 |
0 |
T19 |
1728 |
0 |
0 |
0 |
T20 |
935 |
0 |
0 |
0 |
T21 |
0 |
118 |
0 |
0 |
T22 |
0 |
40 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161860189 |
160711471 |
0 |
0 |
T1 |
375431 |
375189 |
0 |
0 |
T2 |
528148 |
527872 |
0 |
0 |
T3 |
448418 |
448114 |
0 |
0 |
T4 |
2160 |
2118 |
0 |
0 |
T15 |
5644 |
1056 |
0 |
0 |
T16 |
1179 |
1131 |
0 |
0 |
T17 |
4420 |
4379 |
0 |
0 |
T18 |
859 |
818 |
0 |
0 |
T19 |
854 |
826 |
0 |
0 |
T20 |
2213 |
2144 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
160591745 |
31254 |
0 |
0 |
T1 |
201980 |
134 |
0 |
0 |
T2 |
585106 |
602 |
0 |
0 |
T3 |
125899 |
554 |
0 |
0 |
T4 |
1155 |
0 |
0 |
0 |
T8 |
0 |
32 |
0 |
0 |
T9 |
0 |
8 |
0 |
0 |
T10 |
0 |
345 |
0 |
0 |
T11 |
0 |
130 |
0 |
0 |
T15 |
22933 |
20 |
0 |
0 |
T16 |
2566 |
0 |
0 |
0 |
T17 |
2062 |
0 |
0 |
0 |
T18 |
1706 |
0 |
0 |
0 |
T19 |
1728 |
0 |
0 |
0 |
T20 |
935 |
0 |
0 |
0 |
T21 |
0 |
34 |
0 |
0 |
T22 |
0 |
12 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
160591745 |
157593445 |
0 |
0 |
T1 |
201980 |
201707 |
0 |
0 |
T2 |
585106 |
584397 |
0 |
0 |
T3 |
125899 |
125717 |
0 |
0 |
T4 |
1155 |
1103 |
0 |
0 |
T15 |
22933 |
2068 |
0 |
0 |
T16 |
2566 |
2355 |
0 |
0 |
T17 |
2062 |
2028 |
0 |
0 |
T18 |
1706 |
1503 |
0 |
0 |
T19 |
1728 |
1538 |
0 |
0 |
T20 |
935 |
893 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc
| Line No. | Total | Covered | Percent |
TOTAL | | 22 | 22 | 100.00 |
CONT_ASSIGN | 65 | 1 | 1 | 100.00 |
ALWAYS | 71 | 6 | 6 | 100.00 |
CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
CONT_ASSIGN | 109 | 1 | 1 | 100.00 |
ALWAYS | 115 | 9 | 9 | 100.00 |
CONT_ASSIGN | 150 | 1 | 1 | 100.00 |
CONT_ASSIGN | 155 | 1 | 1 | 100.00 |
CONT_ASSIGN | 156 | 1 | 1 | 100.00 |
CONT_ASSIGN | 200 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
65 |
1 |
1 |
71 |
1 |
1 |
72 |
1 |
1 |
73 |
1 |
1 |
74 |
1 |
1 |
75 |
1 |
1 |
76 |
1 |
1 |
|
|
|
MISSING_ELSE |
85 |
1 |
1 |
109 |
1 |
1 |
115 |
1 |
1 |
116 |
1 |
1 |
117 |
1 |
1 |
118 |
1 |
1 |
123 |
1 |
1 |
124 |
1 |
1 |
125 |
1 |
1 |
134 |
1 |
1 |
135 |
1 |
1 |
|
|
|
MISSING_ELSE |
150 |
1 |
1 |
155 |
1 |
1 |
156 |
1 |
1 |
200 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc
| Total | Covered | Percent |
Conditions | 12 | 11 | 91.67 |
Logical | 12 | 11 | 91.67 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 65
EXPRESSION (src_we_i | src_re_i)
----1--- ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T4 |
0 | 1 | Covered | T2,T3,T15 |
1 | 0 | Covered | T1,T2,T3 |
LINE 109
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T4 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 125
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T4 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 125
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 125
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T4 |
1 | 0 | Unreachable | |
1 | 1 | Unreachable | |
Branch Coverage for Instance : tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
IF |
71 |
4 |
4 |
100.00 |
IF |
115 |
4 |
4 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 71 if ((!rst_src_ni))
-2-: 73 if (src_req)
-3-: 75 if (src_ack)
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T1,T2,T4 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T4 |
LineNo. Expression
-1-: 115 if ((!rst_src_ni))
-2-: 118 if (src_req)
-3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T1,T2,T4 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T4 |
Assert Coverage for Instance : tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc
Assertion Details
BusySrcReqChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
160591745 |
280218 |
0 |
0 |
T1 |
201980 |
638 |
0 |
0 |
T2 |
585106 |
5102 |
0 |
0 |
T3 |
125899 |
2035 |
0 |
0 |
T4 |
1155 |
0 |
0 |
0 |
T8 |
0 |
168 |
0 |
0 |
T9 |
0 |
68 |
0 |
0 |
T10 |
0 |
1736 |
0 |
0 |
T11 |
0 |
561 |
0 |
0 |
T15 |
22933 |
274 |
0 |
0 |
T16 |
2566 |
0 |
0 |
0 |
T17 |
2062 |
0 |
0 |
0 |
T18 |
1706 |
0 |
0 |
0 |
T19 |
1728 |
0 |
0 |
0 |
T20 |
935 |
0 |
0 |
0 |
T21 |
0 |
168 |
0 |
0 |
T22 |
0 |
55 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
80929489 |
80355261 |
0 |
0 |
T1 |
187715 |
187595 |
0 |
0 |
T2 |
264073 |
263935 |
0 |
0 |
T3 |
224208 |
224056 |
0 |
0 |
T4 |
1080 |
1059 |
0 |
0 |
T15 |
2822 |
528 |
0 |
0 |
T16 |
589 |
565 |
0 |
0 |
T17 |
2208 |
2187 |
0 |
0 |
T18 |
428 |
407 |
0 |
0 |
T19 |
426 |
412 |
0 |
0 |
T20 |
1107 |
1072 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
160591745 |
31157 |
0 |
0 |
T1 |
201980 |
134 |
0 |
0 |
T2 |
585106 |
602 |
0 |
0 |
T3 |
125899 |
554 |
0 |
0 |
T4 |
1155 |
0 |
0 |
0 |
T8 |
0 |
32 |
0 |
0 |
T9 |
0 |
8 |
0 |
0 |
T10 |
0 |
345 |
0 |
0 |
T11 |
0 |
130 |
0 |
0 |
T15 |
22933 |
20 |
0 |
0 |
T16 |
2566 |
0 |
0 |
0 |
T17 |
2062 |
0 |
0 |
0 |
T18 |
1706 |
0 |
0 |
0 |
T19 |
1728 |
0 |
0 |
0 |
T20 |
935 |
0 |
0 |
0 |
T21 |
0 |
34 |
0 |
0 |
T22 |
0 |
12 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
160591745 |
157593445 |
0 |
0 |
T1 |
201980 |
201707 |
0 |
0 |
T2 |
585106 |
584397 |
0 |
0 |
T3 |
125899 |
125717 |
0 |
0 |
T4 |
1155 |
1103 |
0 |
0 |
T15 |
22933 |
2068 |
0 |
0 |
T16 |
2566 |
2355 |
0 |
0 |
T17 |
2062 |
2028 |
0 |
0 |
T18 |
1706 |
1503 |
0 |
0 |
T19 |
1728 |
1538 |
0 |
0 |
T20 |
935 |
893 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc
| Line No. | Total | Covered | Percent |
TOTAL | | 22 | 22 | 100.00 |
CONT_ASSIGN | 65 | 1 | 1 | 100.00 |
ALWAYS | 71 | 6 | 6 | 100.00 |
CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
CONT_ASSIGN | 109 | 1 | 1 | 100.00 |
ALWAYS | 115 | 9 | 9 | 100.00 |
CONT_ASSIGN | 150 | 1 | 1 | 100.00 |
CONT_ASSIGN | 155 | 1 | 1 | 100.00 |
CONT_ASSIGN | 156 | 1 | 1 | 100.00 |
CONT_ASSIGN | 200 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
65 |
1 |
1 |
71 |
1 |
1 |
72 |
1 |
1 |
73 |
1 |
1 |
74 |
1 |
1 |
75 |
1 |
1 |
76 |
1 |
1 |
|
|
|
MISSING_ELSE |
85 |
1 |
1 |
109 |
1 |
1 |
115 |
1 |
1 |
116 |
1 |
1 |
117 |
1 |
1 |
118 |
1 |
1 |
123 |
1 |
1 |
124 |
1 |
1 |
125 |
1 |
1 |
134 |
1 |
1 |
135 |
1 |
1 |
|
|
|
MISSING_ELSE |
150 |
1 |
1 |
155 |
1 |
1 |
156 |
1 |
1 |
200 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc
| Total | Covered | Percent |
Conditions | 12 | 11 | 91.67 |
Logical | 12 | 11 | 91.67 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 65
EXPRESSION (src_we_i | src_re_i)
----1--- ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T4 |
0 | 1 | Covered | T2,T3,T15 |
1 | 0 | Covered | T1,T2,T3 |
LINE 109
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T4 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 125
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T4 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 125
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 125
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T4 |
1 | 0 | Unreachable | |
1 | 1 | Unreachable | |
Branch Coverage for Instance : tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
IF |
71 |
4 |
4 |
100.00 |
IF |
115 |
4 |
4 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 71 if ((!rst_src_ni))
-2-: 73 if (src_req)
-3-: 75 if (src_ack)
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T1,T2,T4 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T4 |
LineNo. Expression
-1-: 115 if ((!rst_src_ni))
-2-: 118 if (src_req)
-3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T1,T2,T4 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T4 |
Assert Coverage for Instance : tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc
Assertion Details
BusySrcReqChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
160591745 |
116025 |
0 |
0 |
T1 |
201980 |
319 |
0 |
0 |
T2 |
585106 |
2156 |
0 |
0 |
T3 |
125899 |
1380 |
0 |
0 |
T4 |
1155 |
0 |
0 |
0 |
T8 |
0 |
81 |
0 |
0 |
T9 |
0 |
29 |
0 |
0 |
T10 |
0 |
868 |
0 |
0 |
T11 |
0 |
321 |
0 |
0 |
T15 |
22933 |
100 |
0 |
0 |
T16 |
2566 |
0 |
0 |
0 |
T17 |
2062 |
0 |
0 |
0 |
T18 |
1706 |
0 |
0 |
0 |
T19 |
1728 |
0 |
0 |
0 |
T20 |
935 |
0 |
0 |
0 |
T21 |
0 |
84 |
0 |
0 |
T22 |
0 |
27 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
349717531 |
344914620 |
0 |
0 |
T1 |
829595 |
828442 |
0 |
0 |
T2 |
112927 |
112788 |
0 |
0 |
T3 |
955855 |
954452 |
0 |
0 |
T4 |
4624 |
4413 |
0 |
0 |
T15 |
24396 |
2198 |
0 |
0 |
T16 |
2566 |
2355 |
0 |
0 |
T17 |
8253 |
8113 |
0 |
0 |
T18 |
1778 |
1566 |
0 |
0 |
T19 |
1800 |
1602 |
0 |
0 |
T20 |
4679 |
4467 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
160591745 |
31157 |
0 |
0 |
T1 |
201980 |
134 |
0 |
0 |
T2 |
585106 |
602 |
0 |
0 |
T3 |
125899 |
554 |
0 |
0 |
T4 |
1155 |
0 |
0 |
0 |
T8 |
0 |
32 |
0 |
0 |
T9 |
0 |
8 |
0 |
0 |
T10 |
0 |
345 |
0 |
0 |
T11 |
0 |
130 |
0 |
0 |
T15 |
22933 |
20 |
0 |
0 |
T16 |
2566 |
0 |
0 |
0 |
T17 |
2062 |
0 |
0 |
0 |
T18 |
1706 |
0 |
0 |
0 |
T19 |
1728 |
0 |
0 |
0 |
T20 |
935 |
0 |
0 |
0 |
T21 |
0 |
34 |
0 |
0 |
T22 |
0 |
12 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
160591745 |
157593445 |
0 |
0 |
T1 |
201980 |
201707 |
0 |
0 |
T2 |
585106 |
584397 |
0 |
0 |
T3 |
125899 |
125717 |
0 |
0 |
T4 |
1155 |
1103 |
0 |
0 |
T15 |
22933 |
2068 |
0 |
0 |
T16 |
2566 |
2355 |
0 |
0 |
T17 |
2062 |
2028 |
0 |
0 |
T18 |
1706 |
1503 |
0 |
0 |
T19 |
1728 |
1538 |
0 |
0 |
T20 |
935 |
893 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc
| Line No. | Total | Covered | Percent |
TOTAL | | 22 | 22 | 100.00 |
CONT_ASSIGN | 65 | 1 | 1 | 100.00 |
ALWAYS | 71 | 6 | 6 | 100.00 |
CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
CONT_ASSIGN | 109 | 1 | 1 | 100.00 |
ALWAYS | 115 | 9 | 9 | 100.00 |
CONT_ASSIGN | 150 | 1 | 1 | 100.00 |
CONT_ASSIGN | 155 | 1 | 1 | 100.00 |
CONT_ASSIGN | 156 | 1 | 1 | 100.00 |
CONT_ASSIGN | 200 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
65 |
1 |
1 |
71 |
1 |
1 |
72 |
1 |
1 |
73 |
1 |
1 |
74 |
1 |
1 |
75 |
1 |
1 |
76 |
1 |
1 |
|
|
|
MISSING_ELSE |
85 |
1 |
1 |
109 |
1 |
1 |
115 |
1 |
1 |
116 |
1 |
1 |
117 |
1 |
1 |
118 |
1 |
1 |
123 |
1 |
1 |
124 |
1 |
1 |
125 |
1 |
1 |
134 |
1 |
1 |
135 |
1 |
1 |
|
|
|
MISSING_ELSE |
150 |
1 |
1 |
155 |
1 |
1 |
156 |
1 |
1 |
200 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc
| Total | Covered | Percent |
Conditions | 12 | 11 | 91.67 |
Logical | 12 | 11 | 91.67 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 65
EXPRESSION (src_we_i | src_re_i)
----1--- ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T4 |
0 | 1 | Covered | T2,T3,T15 |
1 | 0 | Covered | T1,T2,T3 |
LINE 109
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T4 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 125
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T4 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 125
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 125
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T4 |
1 | 0 | Unreachable | |
1 | 1 | Unreachable | |
Branch Coverage for Instance : tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
IF |
71 |
4 |
4 |
100.00 |
IF |
115 |
4 |
4 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 71 if ((!rst_src_ni))
-2-: 73 if (src_req)
-3-: 75 if (src_ack)
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T1,T2,T4 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T4 |
LineNo. Expression
-1-: 115 if ((!rst_src_ni))
-2-: 118 if (src_req)
-3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T1,T2,T4 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T4 |
Assert Coverage for Instance : tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc
Assertion Details
BusySrcReqChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
160591745 |
172922 |
0 |
0 |
T1 |
201980 |
453 |
0 |
0 |
T2 |
585106 |
3191 |
0 |
0 |
T3 |
125899 |
1472 |
0 |
0 |
T4 |
1155 |
0 |
0 |
0 |
T8 |
0 |
116 |
0 |
0 |
T9 |
0 |
42 |
0 |
0 |
T10 |
0 |
1213 |
0 |
0 |
T11 |
0 |
410 |
0 |
0 |
T15 |
22933 |
137 |
0 |
0 |
T16 |
2566 |
0 |
0 |
0 |
T17 |
2062 |
0 |
0 |
0 |
T18 |
1706 |
0 |
0 |
0 |
T19 |
1728 |
0 |
0 |
0 |
T20 |
935 |
0 |
0 |
0 |
T21 |
0 |
118 |
0 |
0 |
T22 |
0 |
39 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
167847880 |
165532493 |
0 |
0 |
T1 |
401092 |
400537 |
0 |
0 |
T2 |
544653 |
543986 |
0 |
0 |
T3 |
460545 |
459872 |
0 |
0 |
T4 |
2219 |
2118 |
0 |
0 |
T15 |
11709 |
1055 |
0 |
0 |
T16 |
1231 |
1130 |
0 |
0 |
T17 |
3962 |
3895 |
0 |
0 |
T18 |
853 |
752 |
0 |
0 |
T19 |
864 |
769 |
0 |
0 |
T20 |
2245 |
2144 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
160591745 |
30939 |
0 |
0 |
T1 |
201980 |
134 |
0 |
0 |
T2 |
585106 |
602 |
0 |
0 |
T3 |
125899 |
554 |
0 |
0 |
T4 |
1155 |
0 |
0 |
0 |
T8 |
0 |
32 |
0 |
0 |
T9 |
0 |
8 |
0 |
0 |
T10 |
0 |
345 |
0 |
0 |
T11 |
0 |
130 |
0 |
0 |
T15 |
22933 |
15 |
0 |
0 |
T16 |
2566 |
0 |
0 |
0 |
T17 |
2062 |
0 |
0 |
0 |
T18 |
1706 |
0 |
0 |
0 |
T19 |
1728 |
0 |
0 |
0 |
T20 |
935 |
0 |
0 |
0 |
T21 |
0 |
34 |
0 |
0 |
T22 |
0 |
12 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
160591745 |
157593445 |
0 |
0 |
T1 |
201980 |
201707 |
0 |
0 |
T2 |
585106 |
584397 |
0 |
0 |
T3 |
125899 |
125717 |
0 |
0 |
T4 |
1155 |
1103 |
0 |
0 |
T15 |
22933 |
2068 |
0 |
0 |
T16 |
2566 |
2355 |
0 |
0 |
T17 |
2062 |
2028 |
0 |
0 |
T18 |
1706 |
1503 |
0 |
0 |
T19 |
1728 |
1538 |
0 |
0 |
T20 |
935 |
893 |
0 |
0 |