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 | T6,T1,T7 |
0 | 1 | Covered | T1,T26,T27 |
1 | 0 | Covered | T1,T4,T5 |
LINE 109
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T6,T1,T7 |
1 | 0 | Covered | T1,T4,T5 |
1 | 1 | Covered | T1,T4,T5 |
LINE 125
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T6,T1,T7 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T4,T5 |
LINE 125
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T4,T5 |
1 | 1 | Covered | T1,T4,T5 |
LINE 125
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T6,T1,T7 |
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 |
T6,T1,T7 |
0 |
1 |
- |
Covered |
T1,T4,T5 |
0 |
0 |
1 |
Covered |
T1,T4,T5 |
0 |
0 |
0 |
Covered |
T6,T1,T7 |
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 |
T6,T1,T7 |
0 |
1 |
- |
Covered |
T1,T4,T5 |
0 |
0 |
1 |
Covered |
T1,T4,T5 |
0 |
0 |
0 |
Covered |
T6,T1,T7 |
Assert Coverage for Module :
prim_reg_cdc
Assertion Details
BusySrcReqChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1610500060 |
1373239 |
0 |
0 |
T1 |
6545300 |
4433 |
0 |
0 |
T2 |
434690 |
792 |
0 |
0 |
T3 |
0 |
1163 |
0 |
0 |
T4 |
947440 |
1660 |
0 |
0 |
T5 |
1209180 |
1647 |
0 |
0 |
T7 |
23460 |
0 |
0 |
0 |
T9 |
0 |
327 |
0 |
0 |
T16 |
20460 |
0 |
0 |
0 |
T17 |
8090 |
0 |
0 |
0 |
T18 |
69120 |
0 |
0 |
0 |
T19 |
21840 |
0 |
0 |
0 |
T20 |
15050 |
0 |
0 |
0 |
T21 |
0 |
166 |
0 |
0 |
T22 |
0 |
833 |
0 |
0 |
T24 |
0 |
544 |
0 |
0 |
T25 |
0 |
1289 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
2808296 |
2799952 |
0 |
0 |
T2 |
742324 |
741146 |
0 |
0 |
T4 |
1092674 |
1091448 |
0 |
0 |
T5 |
641748 |
640850 |
0 |
0 |
T6 |
21328 |
20100 |
0 |
0 |
T7 |
17594 |
16918 |
0 |
0 |
T16 |
273670 |
272492 |
0 |
0 |
T17 |
104580 |
104044 |
0 |
0 |
T18 |
176660 |
172674 |
0 |
0 |
T19 |
55084 |
54088 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1610500060 |
273881 |
0 |
0 |
T1 |
6545300 |
1285 |
0 |
0 |
T2 |
434690 |
200 |
0 |
0 |
T3 |
0 |
320 |
0 |
0 |
T4 |
947440 |
340 |
0 |
0 |
T5 |
1209180 |
200 |
0 |
0 |
T7 |
23460 |
0 |
0 |
0 |
T9 |
0 |
120 |
0 |
0 |
T16 |
20460 |
0 |
0 |
0 |
T17 |
8090 |
0 |
0 |
0 |
T18 |
69120 |
0 |
0 |
0 |
T19 |
21840 |
0 |
0 |
0 |
T20 |
15050 |
0 |
0 |
0 |
T21 |
0 |
60 |
0 |
0 |
T22 |
0 |
160 |
0 |
0 |
T24 |
0 |
160 |
0 |
0 |
T25 |
0 |
160 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1610500060 |
1585877180 |
0 |
0 |
T1 |
6545300 |
6518470 |
0 |
0 |
T2 |
434690 |
433910 |
0 |
0 |
T4 |
947440 |
946410 |
0 |
0 |
T5 |
1209180 |
1207650 |
0 |
0 |
T6 |
8170 |
7630 |
0 |
0 |
T7 |
23460 |
22250 |
0 |
0 |
T16 |
20460 |
20360 |
0 |
0 |
T17 |
8090 |
8050 |
0 |
0 |
T18 |
69120 |
67400 |
0 |
0 |
T19 |
21840 |
21390 |
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 | T6,T1,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T4,T5 |
LINE 109
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T6,T1,T7 |
1 | 0 | Covered | T1,T4,T5 |
1 | 1 | Covered | T1,T4,T5 |
LINE 125
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T6,T1,T7 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T4,T5 |
LINE 125
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T4,T5 |
1 | 1 | Covered | T1,T4,T5 |
LINE 125
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T6,T1,T7 |
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 |
T6,T1,T7 |
0 |
1 |
- |
Covered |
T1,T4,T5 |
0 |
0 |
1 |
Covered |
T1,T4,T5 |
0 |
0 |
0 |
Covered |
T6,T1,T7 |
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 |
T6,T1,T7 |
0 |
1 |
- |
Covered |
T1,T4,T5 |
0 |
0 |
1 |
Covered |
T1,T4,T5 |
0 |
0 |
0 |
Covered |
T6,T1,T7 |
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 |
161050006 |
83880 |
0 |
0 |
T1 |
654530 |
320 |
0 |
0 |
T2 |
43469 |
58 |
0 |
0 |
T3 |
0 |
90 |
0 |
0 |
T4 |
94744 |
116 |
0 |
0 |
T5 |
120918 |
102 |
0 |
0 |
T7 |
2346 |
0 |
0 |
0 |
T9 |
0 |
31 |
0 |
0 |
T16 |
2046 |
0 |
0 |
0 |
T17 |
809 |
0 |
0 |
0 |
T18 |
6912 |
0 |
0 |
0 |
T19 |
2184 |
0 |
0 |
0 |
T20 |
1505 |
0 |
0 |
0 |
T21 |
0 |
12 |
0 |
0 |
T22 |
0 |
56 |
0 |
0 |
T24 |
0 |
40 |
0 |
0 |
T25 |
0 |
81 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
592767651 |
588435087 |
0 |
0 |
T1 |
250862 |
249788 |
0 |
0 |
T2 |
112780 |
112577 |
0 |
0 |
T4 |
151640 |
151423 |
0 |
0 |
T5 |
88449 |
88301 |
0 |
0 |
T6 |
3270 |
3053 |
0 |
0 |
T7 |
2346 |
2225 |
0 |
0 |
T16 |
39300 |
39097 |
0 |
0 |
T17 |
15557 |
15463 |
0 |
0 |
T18 |
26545 |
25875 |
0 |
0 |
T19 |
8391 |
8216 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161050006 |
24332 |
0 |
0 |
T1 |
654530 |
126 |
0 |
0 |
T2 |
43469 |
20 |
0 |
0 |
T3 |
0 |
32 |
0 |
0 |
T4 |
94744 |
34 |
0 |
0 |
T5 |
120918 |
20 |
0 |
0 |
T7 |
2346 |
0 |
0 |
0 |
T9 |
0 |
12 |
0 |
0 |
T16 |
2046 |
0 |
0 |
0 |
T17 |
809 |
0 |
0 |
0 |
T18 |
6912 |
0 |
0 |
0 |
T19 |
2184 |
0 |
0 |
0 |
T20 |
1505 |
0 |
0 |
0 |
T21 |
0 |
6 |
0 |
0 |
T22 |
0 |
16 |
0 |
0 |
T24 |
0 |
16 |
0 |
0 |
T25 |
0 |
16 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161050006 |
158587718 |
0 |
0 |
T1 |
654530 |
651847 |
0 |
0 |
T2 |
43469 |
43391 |
0 |
0 |
T4 |
94744 |
94641 |
0 |
0 |
T5 |
120918 |
120765 |
0 |
0 |
T6 |
817 |
763 |
0 |
0 |
T7 |
2346 |
2225 |
0 |
0 |
T16 |
2046 |
2036 |
0 |
0 |
T17 |
809 |
805 |
0 |
0 |
T18 |
6912 |
6740 |
0 |
0 |
T19 |
2184 |
2139 |
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 | T6,T1,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T4,T5 |
LINE 109
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T6,T1,T7 |
1 | 0 | Covered | T1,T4,T5 |
1 | 1 | Covered | T1,T4,T5 |
LINE 125
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T6,T1,T7 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T4,T5 |
LINE 125
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T4,T5 |
1 | 1 | Covered | T1,T4,T5 |
LINE 125
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T6,T1,T7 |
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 |
T6,T1,T7 |
0 |
1 |
- |
Covered |
T1,T4,T5 |
0 |
0 |
1 |
Covered |
T1,T4,T5 |
0 |
0 |
0 |
Covered |
T6,T1,T7 |
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 |
T6,T1,T7 |
0 |
1 |
- |
Covered |
T1,T4,T5 |
0 |
0 |
1 |
Covered |
T1,T4,T5 |
0 |
0 |
0 |
Covered |
T6,T1,T7 |
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 |
161050006 |
118980 |
0 |
0 |
T1 |
654530 |
446 |
0 |
0 |
T2 |
43469 |
75 |
0 |
0 |
T3 |
0 |
119 |
0 |
0 |
T4 |
94744 |
167 |
0 |
0 |
T5 |
120918 |
161 |
0 |
0 |
T7 |
2346 |
0 |
0 |
0 |
T9 |
0 |
31 |
0 |
0 |
T16 |
2046 |
0 |
0 |
0 |
T17 |
809 |
0 |
0 |
0 |
T18 |
6912 |
0 |
0 |
0 |
T19 |
2184 |
0 |
0 |
0 |
T20 |
1505 |
0 |
0 |
0 |
T21 |
0 |
18 |
0 |
0 |
T22 |
0 |
80 |
0 |
0 |
T24 |
0 |
56 |
0 |
0 |
T25 |
0 |
131 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
297821761 |
296754729 |
0 |
0 |
T1 |
125306 |
125050 |
0 |
0 |
T2 |
56337 |
56289 |
0 |
0 |
T4 |
75753 |
75712 |
0 |
0 |
T5 |
44199 |
44151 |
0 |
0 |
T6 |
1568 |
1526 |
0 |
0 |
T7 |
1889 |
1868 |
0 |
0 |
T16 |
24630 |
24582 |
0 |
0 |
T17 |
8500 |
8479 |
0 |
0 |
T18 |
13907 |
13714 |
0 |
0 |
T19 |
4142 |
4108 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161050006 |
24332 |
0 |
0 |
T1 |
654530 |
126 |
0 |
0 |
T2 |
43469 |
20 |
0 |
0 |
T3 |
0 |
32 |
0 |
0 |
T4 |
94744 |
34 |
0 |
0 |
T5 |
120918 |
20 |
0 |
0 |
T7 |
2346 |
0 |
0 |
0 |
T9 |
0 |
12 |
0 |
0 |
T16 |
2046 |
0 |
0 |
0 |
T17 |
809 |
0 |
0 |
0 |
T18 |
6912 |
0 |
0 |
0 |
T19 |
2184 |
0 |
0 |
0 |
T20 |
1505 |
0 |
0 |
0 |
T21 |
0 |
6 |
0 |
0 |
T22 |
0 |
16 |
0 |
0 |
T24 |
0 |
16 |
0 |
0 |
T25 |
0 |
16 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161050006 |
158587718 |
0 |
0 |
T1 |
654530 |
651847 |
0 |
0 |
T2 |
43469 |
43391 |
0 |
0 |
T4 |
94744 |
94641 |
0 |
0 |
T5 |
120918 |
120765 |
0 |
0 |
T6 |
817 |
763 |
0 |
0 |
T7 |
2346 |
2225 |
0 |
0 |
T16 |
2046 |
2036 |
0 |
0 |
T17 |
809 |
805 |
0 |
0 |
T18 |
6912 |
6740 |
0 |
0 |
T19 |
2184 |
2139 |
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 | T6,T1,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T4,T5 |
LINE 109
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T6,T1,T7 |
1 | 0 | Covered | T1,T4,T5 |
1 | 1 | Covered | T1,T4,T5 |
LINE 125
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T6,T1,T7 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T4,T5 |
LINE 125
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T4,T5 |
1 | 1 | Covered | T1,T4,T5 |
LINE 125
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T6,T1,T7 |
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 |
T6,T1,T7 |
0 |
1 |
- |
Covered |
T1,T4,T5 |
0 |
0 |
1 |
Covered |
T1,T4,T5 |
0 |
0 |
0 |
Covered |
T6,T1,T7 |
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 |
T6,T1,T7 |
0 |
1 |
- |
Covered |
T1,T4,T5 |
0 |
0 |
1 |
Covered |
T1,T4,T5 |
0 |
0 |
0 |
Covered |
T6,T1,T7 |
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 |
161050006 |
188737 |
0 |
0 |
T1 |
654530 |
641 |
0 |
0 |
T2 |
43469 |
121 |
0 |
0 |
T3 |
0 |
174 |
0 |
0 |
T4 |
94744 |
263 |
0 |
0 |
T5 |
120918 |
296 |
0 |
0 |
T7 |
2346 |
0 |
0 |
0 |
T9 |
0 |
39 |
0 |
0 |
T16 |
2046 |
0 |
0 |
0 |
T17 |
809 |
0 |
0 |
0 |
T18 |
6912 |
0 |
0 |
0 |
T19 |
2184 |
0 |
0 |
0 |
T20 |
1505 |
0 |
0 |
0 |
T21 |
0 |
24 |
0 |
0 |
T22 |
0 |
130 |
0 |
0 |
T24 |
0 |
80 |
0 |
0 |
T25 |
0 |
222 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
148910334 |
148376957 |
0 |
0 |
T1 |
626530 |
625251 |
0 |
0 |
T2 |
28168 |
28144 |
0 |
0 |
T4 |
37876 |
37855 |
0 |
0 |
T5 |
22099 |
22075 |
0 |
0 |
T6 |
784 |
763 |
0 |
0 |
T7 |
944 |
934 |
0 |
0 |
T16 |
12315 |
12291 |
0 |
0 |
T17 |
4250 |
4240 |
0 |
0 |
T18 |
6953 |
6856 |
0 |
0 |
T19 |
2071 |
2054 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161050006 |
24332 |
0 |
0 |
T1 |
654530 |
126 |
0 |
0 |
T2 |
43469 |
20 |
0 |
0 |
T3 |
0 |
32 |
0 |
0 |
T4 |
94744 |
34 |
0 |
0 |
T5 |
120918 |
20 |
0 |
0 |
T7 |
2346 |
0 |
0 |
0 |
T9 |
0 |
12 |
0 |
0 |
T16 |
2046 |
0 |
0 |
0 |
T17 |
809 |
0 |
0 |
0 |
T18 |
6912 |
0 |
0 |
0 |
T19 |
2184 |
0 |
0 |
0 |
T20 |
1505 |
0 |
0 |
0 |
T21 |
0 |
6 |
0 |
0 |
T22 |
0 |
16 |
0 |
0 |
T24 |
0 |
16 |
0 |
0 |
T25 |
0 |
16 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161050006 |
158587718 |
0 |
0 |
T1 |
654530 |
651847 |
0 |
0 |
T2 |
43469 |
43391 |
0 |
0 |
T4 |
94744 |
94641 |
0 |
0 |
T5 |
120918 |
120765 |
0 |
0 |
T6 |
817 |
763 |
0 |
0 |
T7 |
2346 |
2225 |
0 |
0 |
T16 |
2046 |
2036 |
0 |
0 |
T17 |
809 |
805 |
0 |
0 |
T18 |
6912 |
6740 |
0 |
0 |
T19 |
2184 |
2139 |
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 | T6,T1,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T4,T5 |
LINE 109
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T6,T1,T7 |
1 | 0 | Covered | T1,T4,T5 |
1 | 1 | Covered | T1,T4,T5 |
LINE 125
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T6,T1,T7 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T4,T5 |
LINE 125
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T4,T5 |
1 | 1 | Covered | T1,T4,T5 |
LINE 125
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T6,T1,T7 |
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 |
T6,T1,T7 |
0 |
1 |
- |
Covered |
T1,T4,T5 |
0 |
0 |
1 |
Covered |
T1,T4,T5 |
0 |
0 |
0 |
Covered |
T6,T1,T7 |
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 |
T6,T1,T7 |
0 |
1 |
- |
Covered |
T1,T4,T5 |
0 |
0 |
1 |
Covered |
T1,T4,T5 |
0 |
0 |
0 |
Covered |
T6,T1,T7 |
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 |
161050006 |
84412 |
0 |
0 |
T1 |
654530 |
320 |
0 |
0 |
T2 |
43469 |
59 |
0 |
0 |
T3 |
0 |
84 |
0 |
0 |
T4 |
94744 |
116 |
0 |
0 |
T5 |
120918 |
100 |
0 |
0 |
T7 |
2346 |
0 |
0 |
0 |
T9 |
0 |
31 |
0 |
0 |
T16 |
2046 |
0 |
0 |
0 |
T17 |
809 |
0 |
0 |
0 |
T18 |
6912 |
0 |
0 |
0 |
T19 |
2184 |
0 |
0 |
0 |
T20 |
1505 |
0 |
0 |
0 |
T21 |
0 |
12 |
0 |
0 |
T22 |
0 |
55 |
0 |
0 |
T24 |
0 |
40 |
0 |
0 |
T25 |
0 |
79 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
627782983 |
623242522 |
0 |
0 |
T1 |
270923 |
269805 |
0 |
0 |
T2 |
117484 |
117272 |
0 |
0 |
T4 |
187964 |
187738 |
0 |
0 |
T5 |
116139 |
115984 |
0 |
0 |
T6 |
3407 |
3181 |
0 |
0 |
T7 |
2445 |
2319 |
0 |
0 |
T16 |
40939 |
40727 |
0 |
0 |
T17 |
16205 |
16108 |
0 |
0 |
T18 |
27652 |
26953 |
0 |
0 |
T19 |
8742 |
8558 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161050006 |
24332 |
0 |
0 |
T1 |
654530 |
126 |
0 |
0 |
T2 |
43469 |
20 |
0 |
0 |
T3 |
0 |
32 |
0 |
0 |
T4 |
94744 |
34 |
0 |
0 |
T5 |
120918 |
20 |
0 |
0 |
T7 |
2346 |
0 |
0 |
0 |
T9 |
0 |
12 |
0 |
0 |
T16 |
2046 |
0 |
0 |
0 |
T17 |
809 |
0 |
0 |
0 |
T18 |
6912 |
0 |
0 |
0 |
T19 |
2184 |
0 |
0 |
0 |
T20 |
1505 |
0 |
0 |
0 |
T21 |
0 |
6 |
0 |
0 |
T22 |
0 |
16 |
0 |
0 |
T24 |
0 |
16 |
0 |
0 |
T25 |
0 |
16 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161050006 |
158587718 |
0 |
0 |
T1 |
654530 |
651847 |
0 |
0 |
T2 |
43469 |
43391 |
0 |
0 |
T4 |
94744 |
94641 |
0 |
0 |
T5 |
120918 |
120765 |
0 |
0 |
T6 |
817 |
763 |
0 |
0 |
T7 |
2346 |
2225 |
0 |
0 |
T16 |
2046 |
2036 |
0 |
0 |
T17 |
809 |
805 |
0 |
0 |
T18 |
6912 |
6740 |
0 |
0 |
T19 |
2184 |
2139 |
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 | T6,T1,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T4,T5 |
LINE 109
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T6,T1,T7 |
1 | 0 | Covered | T1,T4,T5 |
1 | 1 | Covered | T1,T4,T5 |
LINE 125
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T6,T1,T7 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T4,T5 |
LINE 125
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T4,T5 |
1 | 1 | Covered | T1,T4,T5 |
LINE 125
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T6,T1,T7 |
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 |
T6,T1,T7 |
0 |
1 |
- |
Covered |
T1,T4,T5 |
0 |
0 |
1 |
Covered |
T1,T4,T5 |
0 |
0 |
0 |
Covered |
T6,T1,T7 |
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 |
T6,T1,T7 |
0 |
1 |
- |
Covered |
T1,T4,T5 |
0 |
0 |
1 |
Covered |
T1,T4,T5 |
0 |
0 |
0 |
Covered |
T6,T1,T7 |
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 |
161050006 |
116964 |
0 |
0 |
T1 |
654530 |
446 |
0 |
0 |
T2 |
43469 |
79 |
0 |
0 |
T3 |
0 |
118 |
0 |
0 |
T4 |
94744 |
166 |
0 |
0 |
T5 |
120918 |
165 |
0 |
0 |
T7 |
2346 |
0 |
0 |
0 |
T9 |
0 |
31 |
0 |
0 |
T16 |
2046 |
0 |
0 |
0 |
T17 |
809 |
0 |
0 |
0 |
T18 |
6912 |
0 |
0 |
0 |
T19 |
2184 |
0 |
0 |
0 |
T20 |
1505 |
0 |
0 |
0 |
T21 |
0 |
18 |
0 |
0 |
T22 |
0 |
96 |
0 |
0 |
T24 |
0 |
56 |
0 |
0 |
T25 |
0 |
130 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
301182769 |
299006616 |
0 |
0 |
T1 |
130527 |
130082 |
0 |
0 |
T2 |
56393 |
56291 |
0 |
0 |
T4 |
93104 |
92996 |
0 |
0 |
T5 |
49988 |
49914 |
0 |
0 |
T6 |
1635 |
1527 |
0 |
0 |
T7 |
1173 |
1113 |
0 |
0 |
T16 |
19651 |
19549 |
0 |
0 |
T17 |
7778 |
7732 |
0 |
0 |
T18 |
13273 |
12939 |
0 |
0 |
T19 |
4196 |
4108 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161050006 |
23866 |
0 |
0 |
T1 |
654530 |
126 |
0 |
0 |
T2 |
43469 |
20 |
0 |
0 |
T3 |
0 |
32 |
0 |
0 |
T4 |
94744 |
34 |
0 |
0 |
T5 |
120918 |
20 |
0 |
0 |
T7 |
2346 |
0 |
0 |
0 |
T9 |
0 |
12 |
0 |
0 |
T16 |
2046 |
0 |
0 |
0 |
T17 |
809 |
0 |
0 |
0 |
T18 |
6912 |
0 |
0 |
0 |
T19 |
2184 |
0 |
0 |
0 |
T20 |
1505 |
0 |
0 |
0 |
T21 |
0 |
6 |
0 |
0 |
T22 |
0 |
16 |
0 |
0 |
T24 |
0 |
16 |
0 |
0 |
T25 |
0 |
16 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161050006 |
158587718 |
0 |
0 |
T1 |
654530 |
651847 |
0 |
0 |
T2 |
43469 |
43391 |
0 |
0 |
T4 |
94744 |
94641 |
0 |
0 |
T5 |
120918 |
120765 |
0 |
0 |
T6 |
817 |
763 |
0 |
0 |
T7 |
2346 |
2225 |
0 |
0 |
T16 |
2046 |
2036 |
0 |
0 |
T17 |
809 |
805 |
0 |
0 |
T18 |
6912 |
6740 |
0 |
0 |
T19 |
2184 |
2139 |
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 | T6,T1,T7 |
0 | 1 | Covered | T1,T26,T27 |
1 | 0 | Covered | T1,T4,T5 |
LINE 109
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T6,T1,T7 |
1 | 0 | Covered | T1,T4,T5 |
1 | 1 | Covered | T1,T4,T5 |
LINE 125
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T6,T1,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T4,T5 |
LINE 125
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T4,T5 |
1 | 1 | Covered | T1,T4,T5 |
LINE 125
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T6,T1,T7 |
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 |
T6,T1,T7 |
0 |
1 |
- |
Covered |
T1,T4,T5 |
0 |
0 |
1 |
Covered |
T1,T4,T5 |
0 |
0 |
0 |
Covered |
T6,T1,T7 |
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 |
T6,T1,T7 |
0 |
1 |
- |
Covered |
T1,T4,T5 |
0 |
0 |
1 |
Covered |
T1,T4,T5 |
0 |
0 |
0 |
Covered |
T6,T1,T7 |
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 |
161050006 |
109227 |
0 |
0 |
T1 |
654530 |
333 |
0 |
0 |
T2 |
43469 |
61 |
0 |
0 |
T3 |
0 |
87 |
0 |
0 |
T4 |
94744 |
117 |
0 |
0 |
T5 |
120918 |
101 |
0 |
0 |
T7 |
2346 |
0 |
0 |
0 |
T9 |
0 |
31 |
0 |
0 |
T16 |
2046 |
0 |
0 |
0 |
T17 |
809 |
0 |
0 |
0 |
T18 |
6912 |
0 |
0 |
0 |
T19 |
2184 |
0 |
0 |
0 |
T20 |
1505 |
0 |
0 |
0 |
T21 |
0 |
12 |
0 |
0 |
T22 |
0 |
56 |
0 |
0 |
T24 |
0 |
40 |
0 |
0 |
T25 |
0 |
83 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
592767651 |
588435087 |
0 |
0 |
T1 |
250862 |
249788 |
0 |
0 |
T2 |
112780 |
112577 |
0 |
0 |
T4 |
151640 |
151423 |
0 |
0 |
T5 |
88449 |
88301 |
0 |
0 |
T6 |
3270 |
3053 |
0 |
0 |
T7 |
2346 |
2225 |
0 |
0 |
T16 |
39300 |
39097 |
0 |
0 |
T17 |
15557 |
15463 |
0 |
0 |
T18 |
26545 |
25875 |
0 |
0 |
T19 |
8391 |
8216 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161050006 |
30563 |
0 |
0 |
T1 |
654530 |
131 |
0 |
0 |
T2 |
43469 |
20 |
0 |
0 |
T3 |
0 |
32 |
0 |
0 |
T4 |
94744 |
34 |
0 |
0 |
T5 |
120918 |
20 |
0 |
0 |
T7 |
2346 |
0 |
0 |
0 |
T9 |
0 |
12 |
0 |
0 |
T16 |
2046 |
0 |
0 |
0 |
T17 |
809 |
0 |
0 |
0 |
T18 |
6912 |
0 |
0 |
0 |
T19 |
2184 |
0 |
0 |
0 |
T20 |
1505 |
0 |
0 |
0 |
T21 |
0 |
6 |
0 |
0 |
T22 |
0 |
16 |
0 |
0 |
T24 |
0 |
16 |
0 |
0 |
T25 |
0 |
16 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161050006 |
158587718 |
0 |
0 |
T1 |
654530 |
651847 |
0 |
0 |
T2 |
43469 |
43391 |
0 |
0 |
T4 |
94744 |
94641 |
0 |
0 |
T5 |
120918 |
120765 |
0 |
0 |
T6 |
817 |
763 |
0 |
0 |
T7 |
2346 |
2225 |
0 |
0 |
T16 |
2046 |
2036 |
0 |
0 |
T17 |
809 |
805 |
0 |
0 |
T18 |
6912 |
6740 |
0 |
0 |
T19 |
2184 |
2139 |
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 | T6,T1,T7 |
0 | 1 | Covered | T1,T26,T27 |
1 | 0 | Covered | T1,T4,T5 |
LINE 109
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T6,T1,T7 |
1 | 0 | Covered | T1,T4,T5 |
1 | 1 | Covered | T1,T4,T5 |
LINE 125
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T6,T1,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T4,T5 |
LINE 125
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T4,T5 |
1 | 1 | Covered | T1,T4,T5 |
LINE 125
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T6,T1,T7 |
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 |
T6,T1,T7 |
0 |
1 |
- |
Covered |
T1,T4,T5 |
0 |
0 |
1 |
Covered |
T1,T4,T5 |
0 |
0 |
0 |
Covered |
T6,T1,T7 |
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 |
T6,T1,T7 |
0 |
1 |
- |
Covered |
T1,T4,T5 |
0 |
0 |
1 |
Covered |
T1,T4,T5 |
0 |
0 |
0 |
Covered |
T6,T1,T7 |
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 |
161050006 |
156114 |
0 |
0 |
T1 |
654530 |
464 |
0 |
0 |
T2 |
43469 |
81 |
0 |
0 |
T3 |
0 |
119 |
0 |
0 |
T4 |
94744 |
166 |
0 |
0 |
T5 |
120918 |
165 |
0 |
0 |
T7 |
2346 |
0 |
0 |
0 |
T9 |
0 |
31 |
0 |
0 |
T16 |
2046 |
0 |
0 |
0 |
T17 |
809 |
0 |
0 |
0 |
T18 |
6912 |
0 |
0 |
0 |
T19 |
2184 |
0 |
0 |
0 |
T20 |
1505 |
0 |
0 |
0 |
T21 |
0 |
17 |
0 |
0 |
T22 |
0 |
80 |
0 |
0 |
T24 |
0 |
56 |
0 |
0 |
T25 |
0 |
128 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
297821761 |
296754729 |
0 |
0 |
T1 |
125306 |
125050 |
0 |
0 |
T2 |
56337 |
56289 |
0 |
0 |
T4 |
75753 |
75712 |
0 |
0 |
T5 |
44199 |
44151 |
0 |
0 |
T6 |
1568 |
1526 |
0 |
0 |
T7 |
1889 |
1868 |
0 |
0 |
T16 |
24630 |
24582 |
0 |
0 |
T17 |
8500 |
8479 |
0 |
0 |
T18 |
13907 |
13714 |
0 |
0 |
T19 |
4142 |
4108 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161050006 |
30581 |
0 |
0 |
T1 |
654530 |
131 |
0 |
0 |
T2 |
43469 |
20 |
0 |
0 |
T3 |
0 |
32 |
0 |
0 |
T4 |
94744 |
34 |
0 |
0 |
T5 |
120918 |
20 |
0 |
0 |
T7 |
2346 |
0 |
0 |
0 |
T9 |
0 |
12 |
0 |
0 |
T16 |
2046 |
0 |
0 |
0 |
T17 |
809 |
0 |
0 |
0 |
T18 |
6912 |
0 |
0 |
0 |
T19 |
2184 |
0 |
0 |
0 |
T20 |
1505 |
0 |
0 |
0 |
T21 |
0 |
6 |
0 |
0 |
T22 |
0 |
16 |
0 |
0 |
T24 |
0 |
16 |
0 |
0 |
T25 |
0 |
16 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161050006 |
158587718 |
0 |
0 |
T1 |
654530 |
651847 |
0 |
0 |
T2 |
43469 |
43391 |
0 |
0 |
T4 |
94744 |
94641 |
0 |
0 |
T5 |
120918 |
120765 |
0 |
0 |
T6 |
817 |
763 |
0 |
0 |
T7 |
2346 |
2225 |
0 |
0 |
T16 |
2046 |
2036 |
0 |
0 |
T17 |
809 |
805 |
0 |
0 |
T18 |
6912 |
6740 |
0 |
0 |
T19 |
2184 |
2139 |
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 | T6,T1,T7 |
0 | 1 | Covered | T1,T26,T27 |
1 | 0 | Covered | T1,T4,T5 |
LINE 109
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T6,T1,T7 |
1 | 0 | Covered | T1,T4,T5 |
1 | 1 | Covered | T1,T4,T5 |
LINE 125
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T6,T1,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T4,T5 |
LINE 125
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T4,T5 |
1 | 1 | Covered | T1,T4,T5 |
LINE 125
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T6,T1,T7 |
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 |
T6,T1,T7 |
0 |
1 |
- |
Covered |
T1,T4,T5 |
0 |
0 |
1 |
Covered |
T1,T4,T5 |
0 |
0 |
0 |
Covered |
T6,T1,T7 |
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 |
T6,T1,T7 |
0 |
1 |
- |
Covered |
T1,T4,T5 |
0 |
0 |
1 |
Covered |
T1,T4,T5 |
0 |
0 |
0 |
Covered |
T6,T1,T7 |
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 |
161050006 |
251243 |
0 |
0 |
T1 |
654530 |
666 |
0 |
0 |
T2 |
43469 |
123 |
0 |
0 |
T3 |
0 |
171 |
0 |
0 |
T4 |
94744 |
265 |
0 |
0 |
T5 |
120918 |
291 |
0 |
0 |
T7 |
2346 |
0 |
0 |
0 |
T9 |
0 |
40 |
0 |
0 |
T16 |
2046 |
0 |
0 |
0 |
T17 |
809 |
0 |
0 |
0 |
T18 |
6912 |
0 |
0 |
0 |
T19 |
2184 |
0 |
0 |
0 |
T20 |
1505 |
0 |
0 |
0 |
T21 |
0 |
24 |
0 |
0 |
T22 |
0 |
129 |
0 |
0 |
T24 |
0 |
80 |
0 |
0 |
T25 |
0 |
227 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
148910334 |
148376957 |
0 |
0 |
T1 |
626530 |
625251 |
0 |
0 |
T2 |
28168 |
28144 |
0 |
0 |
T4 |
37876 |
37855 |
0 |
0 |
T5 |
22099 |
22075 |
0 |
0 |
T6 |
784 |
763 |
0 |
0 |
T7 |
944 |
934 |
0 |
0 |
T16 |
12315 |
12291 |
0 |
0 |
T17 |
4250 |
4240 |
0 |
0 |
T18 |
6953 |
6856 |
0 |
0 |
T19 |
2071 |
2054 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161050006 |
30717 |
0 |
0 |
T1 |
654530 |
131 |
0 |
0 |
T2 |
43469 |
20 |
0 |
0 |
T3 |
0 |
32 |
0 |
0 |
T4 |
94744 |
34 |
0 |
0 |
T5 |
120918 |
20 |
0 |
0 |
T7 |
2346 |
0 |
0 |
0 |
T9 |
0 |
12 |
0 |
0 |
T16 |
2046 |
0 |
0 |
0 |
T17 |
809 |
0 |
0 |
0 |
T18 |
6912 |
0 |
0 |
0 |
T19 |
2184 |
0 |
0 |
0 |
T20 |
1505 |
0 |
0 |
0 |
T21 |
0 |
6 |
0 |
0 |
T22 |
0 |
16 |
0 |
0 |
T24 |
0 |
16 |
0 |
0 |
T25 |
0 |
16 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161050006 |
158587718 |
0 |
0 |
T1 |
654530 |
651847 |
0 |
0 |
T2 |
43469 |
43391 |
0 |
0 |
T4 |
94744 |
94641 |
0 |
0 |
T5 |
120918 |
120765 |
0 |
0 |
T6 |
817 |
763 |
0 |
0 |
T7 |
2346 |
2225 |
0 |
0 |
T16 |
2046 |
2036 |
0 |
0 |
T17 |
809 |
805 |
0 |
0 |
T18 |
6912 |
6740 |
0 |
0 |
T19 |
2184 |
2139 |
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 | T6,T1,T7 |
0 | 1 | Covered | T1,T26,T27 |
1 | 0 | Covered | T1,T4,T5 |
LINE 109
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T6,T1,T7 |
1 | 0 | Covered | T1,T4,T5 |
1 | 1 | Covered | T1,T4,T5 |
LINE 125
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T6,T1,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T4,T5 |
LINE 125
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T4,T5 |
1 | 1 | Covered | T1,T4,T5 |
LINE 125
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T6,T1,T7 |
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 |
T6,T1,T7 |
0 |
1 |
- |
Covered |
T1,T4,T5 |
0 |
0 |
1 |
Covered |
T1,T4,T5 |
0 |
0 |
0 |
Covered |
T6,T1,T7 |
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 |
T6,T1,T7 |
0 |
1 |
- |
Covered |
T1,T4,T5 |
0 |
0 |
1 |
Covered |
T1,T4,T5 |
0 |
0 |
0 |
Covered |
T6,T1,T7 |
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 |
161050006 |
109174 |
0 |
0 |
T1 |
654530 |
333 |
0 |
0 |
T2 |
43469 |
58 |
0 |
0 |
T3 |
0 |
84 |
0 |
0 |
T4 |
94744 |
117 |
0 |
0 |
T5 |
120918 |
100 |
0 |
0 |
T7 |
2346 |
0 |
0 |
0 |
T9 |
0 |
31 |
0 |
0 |
T16 |
2046 |
0 |
0 |
0 |
T17 |
809 |
0 |
0 |
0 |
T18 |
6912 |
0 |
0 |
0 |
T19 |
2184 |
0 |
0 |
0 |
T20 |
1505 |
0 |
0 |
0 |
T21 |
0 |
12 |
0 |
0 |
T22 |
0 |
55 |
0 |
0 |
T24 |
0 |
40 |
0 |
0 |
T25 |
0 |
79 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
627782983 |
623242522 |
0 |
0 |
T1 |
270923 |
269805 |
0 |
0 |
T2 |
117484 |
117272 |
0 |
0 |
T4 |
187964 |
187738 |
0 |
0 |
T5 |
116139 |
115984 |
0 |
0 |
T6 |
3407 |
3181 |
0 |
0 |
T7 |
2445 |
2319 |
0 |
0 |
T16 |
40939 |
40727 |
0 |
0 |
T17 |
16205 |
16108 |
0 |
0 |
T18 |
27652 |
26953 |
0 |
0 |
T19 |
8742 |
8558 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161050006 |
30556 |
0 |
0 |
T1 |
654530 |
131 |
0 |
0 |
T2 |
43469 |
20 |
0 |
0 |
T3 |
0 |
32 |
0 |
0 |
T4 |
94744 |
34 |
0 |
0 |
T5 |
120918 |
20 |
0 |
0 |
T7 |
2346 |
0 |
0 |
0 |
T9 |
0 |
12 |
0 |
0 |
T16 |
2046 |
0 |
0 |
0 |
T17 |
809 |
0 |
0 |
0 |
T18 |
6912 |
0 |
0 |
0 |
T19 |
2184 |
0 |
0 |
0 |
T20 |
1505 |
0 |
0 |
0 |
T21 |
0 |
6 |
0 |
0 |
T22 |
0 |
16 |
0 |
0 |
T24 |
0 |
16 |
0 |
0 |
T25 |
0 |
16 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161050006 |
158587718 |
0 |
0 |
T1 |
654530 |
651847 |
0 |
0 |
T2 |
43469 |
43391 |
0 |
0 |
T4 |
94744 |
94641 |
0 |
0 |
T5 |
120918 |
120765 |
0 |
0 |
T6 |
817 |
763 |
0 |
0 |
T7 |
2346 |
2225 |
0 |
0 |
T16 |
2046 |
2036 |
0 |
0 |
T17 |
809 |
805 |
0 |
0 |
T18 |
6912 |
6740 |
0 |
0 |
T19 |
2184 |
2139 |
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 | T6,T1,T7 |
0 | 1 | Covered | T1,T26,T27 |
1 | 0 | Covered | T1,T4,T5 |
LINE 109
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T6,T1,T7 |
1 | 0 | Covered | T1,T4,T5 |
1 | 1 | Covered | T1,T4,T5 |
LINE 125
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T6,T1,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T4,T5 |
LINE 125
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T4,T5 |
1 | 1 | Covered | T1,T4,T5 |
LINE 125
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T6,T1,T7 |
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 |
T6,T1,T7 |
0 |
1 |
- |
Covered |
T1,T4,T5 |
0 |
0 |
1 |
Covered |
T1,T4,T5 |
0 |
0 |
0 |
Covered |
T6,T1,T7 |
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 |
T6,T1,T7 |
0 |
1 |
- |
Covered |
T1,T4,T5 |
0 |
0 |
1 |
Covered |
T1,T4,T5 |
0 |
0 |
0 |
Covered |
T6,T1,T7 |
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 |
161050006 |
154508 |
0 |
0 |
T1 |
654530 |
464 |
0 |
0 |
T2 |
43469 |
77 |
0 |
0 |
T3 |
0 |
117 |
0 |
0 |
T4 |
94744 |
167 |
0 |
0 |
T5 |
120918 |
166 |
0 |
0 |
T7 |
2346 |
0 |
0 |
0 |
T9 |
0 |
31 |
0 |
0 |
T16 |
2046 |
0 |
0 |
0 |
T17 |
809 |
0 |
0 |
0 |
T18 |
6912 |
0 |
0 |
0 |
T19 |
2184 |
0 |
0 |
0 |
T20 |
1505 |
0 |
0 |
0 |
T21 |
0 |
17 |
0 |
0 |
T22 |
0 |
96 |
0 |
0 |
T24 |
0 |
56 |
0 |
0 |
T25 |
0 |
129 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
301182769 |
299006616 |
0 |
0 |
T1 |
130527 |
130082 |
0 |
0 |
T2 |
56393 |
56291 |
0 |
0 |
T4 |
93104 |
92996 |
0 |
0 |
T5 |
49988 |
49914 |
0 |
0 |
T6 |
1635 |
1527 |
0 |
0 |
T7 |
1173 |
1113 |
0 |
0 |
T16 |
19651 |
19549 |
0 |
0 |
T17 |
7778 |
7732 |
0 |
0 |
T18 |
13273 |
12939 |
0 |
0 |
T19 |
4196 |
4108 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161050006 |
30270 |
0 |
0 |
T1 |
654530 |
131 |
0 |
0 |
T2 |
43469 |
20 |
0 |
0 |
T3 |
0 |
32 |
0 |
0 |
T4 |
94744 |
34 |
0 |
0 |
T5 |
120918 |
20 |
0 |
0 |
T7 |
2346 |
0 |
0 |
0 |
T9 |
0 |
12 |
0 |
0 |
T16 |
2046 |
0 |
0 |
0 |
T17 |
809 |
0 |
0 |
0 |
T18 |
6912 |
0 |
0 |
0 |
T19 |
2184 |
0 |
0 |
0 |
T20 |
1505 |
0 |
0 |
0 |
T21 |
0 |
6 |
0 |
0 |
T22 |
0 |
16 |
0 |
0 |
T24 |
0 |
16 |
0 |
0 |
T25 |
0 |
16 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
161050006 |
158587718 |
0 |
0 |
T1 |
654530 |
651847 |
0 |
0 |
T2 |
43469 |
43391 |
0 |
0 |
T4 |
94744 |
94641 |
0 |
0 |
T5 |
120918 |
120765 |
0 |
0 |
T6 |
817 |
763 |
0 |
0 |
T7 |
2346 |
2225 |
0 |
0 |
T16 |
2046 |
2036 |
0 |
0 |
T17 |
809 |
805 |
0 |
0 |
T18 |
6912 |
6740 |
0 |
0 |
T19 |
2184 |
2139 |
0 |
0 |