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,T5,T4 |
0 | 1 | Covered | T3,T12,T13 |
1 | 0 | Covered | T1,T4,T2 |
LINE 109
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T5,T4 |
1 | 0 | Covered | T1,T4,T2 |
1 | 1 | Covered | T1,T4,T2 |
LINE 125
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T5,T4 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T4,T2 |
LINE 125
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T4,T2 |
1 | 1 | Covered | T1,T4,T2 |
LINE 125
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T5,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,T5,T4 |
0 |
1 |
- |
Covered |
T1,T4,T2 |
0 |
0 |
1 |
Covered |
T1,T4,T2 |
0 |
0 |
0 |
Covered |
T1,T5,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,T5,T4 |
0 |
1 |
- |
Covered |
T1,T4,T2 |
0 |
0 |
1 |
Covered |
T1,T4,T2 |
0 |
0 |
0 |
Covered |
T1,T5,T4 |
Assert Coverage for Module :
prim_reg_cdc
Assertion Details
BusySrcReqChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1681031920 |
1389064 |
0 |
0 |
T1 |
1950490 |
3856 |
0 |
0 |
T2 |
730630 |
1363 |
0 |
0 |
T3 |
2608450 |
2321 |
0 |
0 |
T4 |
303400 |
668 |
0 |
0 |
T5 |
20340 |
0 |
0 |
0 |
T9 |
1019640 |
1800 |
0 |
0 |
T10 |
2682150 |
3820 |
0 |
0 |
T11 |
0 |
2968 |
0 |
0 |
T12 |
0 |
13702 |
0 |
0 |
T16 |
15370 |
0 |
0 |
0 |
T17 |
13840 |
0 |
0 |
0 |
T18 |
16820 |
0 |
0 |
0 |
T19 |
0 |
632 |
0 |
0 |
T20 |
0 |
2595 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
4524452 |
4517424 |
0 |
0 |
T2 |
961868 |
961170 |
0 |
0 |
T3 |
4695540 |
4693544 |
0 |
0 |
T4 |
654370 |
653418 |
0 |
0 |
T5 |
13356 |
12588 |
0 |
0 |
T9 |
1342298 |
1341050 |
0 |
0 |
T10 |
1711826 |
1709070 |
0 |
0 |
T16 |
39450 |
38342 |
0 |
0 |
T17 |
8670 |
7608 |
0 |
0 |
T18 |
42368 |
41212 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1681031920 |
267043 |
0 |
0 |
T1 |
1950490 |
1140 |
0 |
0 |
T2 |
730630 |
260 |
0 |
0 |
T3 |
2608450 |
700 |
0 |
0 |
T4 |
303400 |
200 |
0 |
0 |
T5 |
20340 |
0 |
0 |
0 |
T9 |
1019640 |
360 |
0 |
0 |
T10 |
2682150 |
460 |
0 |
0 |
T11 |
0 |
780 |
0 |
0 |
T12 |
0 |
4325 |
0 |
0 |
T16 |
15370 |
0 |
0 |
0 |
T17 |
13840 |
0 |
0 |
0 |
T18 |
16820 |
0 |
0 |
0 |
T19 |
0 |
200 |
0 |
0 |
T20 |
0 |
320 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1681031920 |
1656076980 |
0 |
0 |
T1 |
1950490 |
1947470 |
0 |
0 |
T2 |
730630 |
730030 |
0 |
0 |
T3 |
2608450 |
2607110 |
0 |
0 |
T4 |
303400 |
303000 |
0 |
0 |
T5 |
20340 |
18990 |
0 |
0 |
T9 |
1019640 |
1018560 |
0 |
0 |
T10 |
2682150 |
2677240 |
0 |
0 |
T16 |
15370 |
14880 |
0 |
0 |
T17 |
13840 |
12000 |
0 |
0 |
T18 |
16820 |
16300 |
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,T5,T4 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T4,T2 |
LINE 109
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T5,T4 |
1 | 0 | Covered | T1,T4,T2 |
1 | 1 | Covered | T1,T4,T2 |
LINE 125
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T5,T4 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T4,T2 |
LINE 125
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T4,T2 |
1 | 1 | Covered | T1,T4,T2 |
LINE 125
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T5,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,T5,T4 |
0 |
1 |
- |
Covered |
T1,T4,T2 |
0 |
0 |
1 |
Covered |
T1,T4,T2 |
0 |
0 |
0 |
Covered |
T1,T5,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,T5,T4 |
0 |
1 |
- |
Covered |
T1,T4,T2 |
0 |
0 |
1 |
Covered |
T1,T4,T2 |
0 |
0 |
0 |
Covered |
T1,T5,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 |
168103192 |
85472 |
0 |
0 |
T1 |
195049 |
288 |
0 |
0 |
T2 |
73063 |
91 |
0 |
0 |
T3 |
260845 |
164 |
0 |
0 |
T4 |
30340 |
49 |
0 |
0 |
T5 |
2034 |
0 |
0 |
0 |
T9 |
101964 |
124 |
0 |
0 |
T10 |
268215 |
238 |
0 |
0 |
T11 |
0 |
224 |
0 |
0 |
T12 |
0 |
1068 |
0 |
0 |
T16 |
1537 |
0 |
0 |
0 |
T17 |
1384 |
0 |
0 |
0 |
T18 |
1682 |
0 |
0 |
0 |
T19 |
0 |
52 |
0 |
0 |
T20 |
0 |
161 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
566604344 |
562157061 |
0 |
0 |
T1 |
691371 |
690196 |
0 |
0 |
T2 |
146119 |
145998 |
0 |
0 |
T3 |
996431 |
995914 |
0 |
0 |
T4 |
86802 |
86639 |
0 |
0 |
T5 |
2034 |
1899 |
0 |
0 |
T9 |
203917 |
203700 |
0 |
0 |
T10 |
260078 |
259601 |
0 |
0 |
T16 |
5904 |
5715 |
0 |
0 |
T17 |
1329 |
1153 |
0 |
0 |
T18 |
6463 |
6260 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
168103192 |
23745 |
0 |
0 |
T1 |
195049 |
114 |
0 |
0 |
T2 |
73063 |
26 |
0 |
0 |
T3 |
260845 |
67 |
0 |
0 |
T4 |
30340 |
20 |
0 |
0 |
T5 |
2034 |
0 |
0 |
0 |
T9 |
101964 |
36 |
0 |
0 |
T10 |
268215 |
46 |
0 |
0 |
T11 |
0 |
78 |
0 |
0 |
T12 |
0 |
428 |
0 |
0 |
T16 |
1537 |
0 |
0 |
0 |
T17 |
1384 |
0 |
0 |
0 |
T18 |
1682 |
0 |
0 |
0 |
T19 |
0 |
20 |
0 |
0 |
T20 |
0 |
32 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
168103192 |
165607698 |
0 |
0 |
T1 |
195049 |
194747 |
0 |
0 |
T2 |
73063 |
73003 |
0 |
0 |
T3 |
260845 |
260711 |
0 |
0 |
T4 |
30340 |
30300 |
0 |
0 |
T5 |
2034 |
1899 |
0 |
0 |
T9 |
101964 |
101856 |
0 |
0 |
T10 |
268215 |
267724 |
0 |
0 |
T16 |
1537 |
1488 |
0 |
0 |
T17 |
1384 |
1200 |
0 |
0 |
T18 |
1682 |
1630 |
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,T5,T4 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T4,T2 |
LINE 109
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T5,T4 |
1 | 0 | Covered | T1,T4,T2 |
1 | 1 | Covered | T1,T4,T2 |
LINE 125
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T5,T4 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T4,T2 |
LINE 125
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T4,T2 |
1 | 1 | Covered | T1,T4,T2 |
LINE 125
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T5,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,T5,T4 |
0 |
1 |
- |
Covered |
T1,T4,T2 |
0 |
0 |
1 |
Covered |
T1,T4,T2 |
0 |
0 |
0 |
Covered |
T1,T5,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,T5,T4 |
0 |
1 |
- |
Covered |
T1,T4,T2 |
0 |
0 |
1 |
Covered |
T1,T4,T2 |
0 |
0 |
0 |
Covered |
T1,T5,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 |
168103192 |
122503 |
0 |
0 |
T1 |
195049 |
397 |
0 |
0 |
T2 |
73063 |
131 |
0 |
0 |
T3 |
260845 |
234 |
0 |
0 |
T4 |
30340 |
69 |
0 |
0 |
T5 |
2034 |
0 |
0 |
0 |
T9 |
101964 |
174 |
0 |
0 |
T10 |
268215 |
385 |
0 |
0 |
T11 |
0 |
300 |
0 |
0 |
T12 |
0 |
1386 |
0 |
0 |
T16 |
1537 |
0 |
0 |
0 |
T17 |
1384 |
0 |
0 |
0 |
T18 |
1682 |
0 |
0 |
0 |
T19 |
0 |
64 |
0 |
0 |
T20 |
0 |
258 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
282529412 |
281389144 |
0 |
0 |
T1 |
346396 |
346044 |
0 |
0 |
T2 |
73027 |
72999 |
0 |
0 |
T3 |
498111 |
497998 |
0 |
0 |
T4 |
43361 |
43319 |
0 |
0 |
T5 |
1006 |
978 |
0 |
0 |
T9 |
101898 |
101850 |
0 |
0 |
T10 |
129911 |
129801 |
0 |
0 |
T16 |
3146 |
3098 |
0 |
0 |
T17 |
639 |
584 |
0 |
0 |
T18 |
3171 |
3130 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
168103192 |
23745 |
0 |
0 |
T1 |
195049 |
114 |
0 |
0 |
T2 |
73063 |
26 |
0 |
0 |
T3 |
260845 |
67 |
0 |
0 |
T4 |
30340 |
20 |
0 |
0 |
T5 |
2034 |
0 |
0 |
0 |
T9 |
101964 |
36 |
0 |
0 |
T10 |
268215 |
46 |
0 |
0 |
T11 |
0 |
78 |
0 |
0 |
T12 |
0 |
428 |
0 |
0 |
T16 |
1537 |
0 |
0 |
0 |
T17 |
1384 |
0 |
0 |
0 |
T18 |
1682 |
0 |
0 |
0 |
T19 |
0 |
20 |
0 |
0 |
T20 |
0 |
32 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
168103192 |
165607698 |
0 |
0 |
T1 |
195049 |
194747 |
0 |
0 |
T2 |
73063 |
73003 |
0 |
0 |
T3 |
260845 |
260711 |
0 |
0 |
T4 |
30340 |
30300 |
0 |
0 |
T5 |
2034 |
1899 |
0 |
0 |
T9 |
101964 |
101856 |
0 |
0 |
T10 |
268215 |
267724 |
0 |
0 |
T16 |
1537 |
1488 |
0 |
0 |
T17 |
1384 |
1200 |
0 |
0 |
T18 |
1682 |
1630 |
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,T5,T4 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T4,T2 |
LINE 109
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T5,T4 |
1 | 0 | Covered | T1,T4,T2 |
1 | 1 | Covered | T1,T4,T2 |
LINE 125
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T5,T4 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T4,T2 |
LINE 125
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T4,T2 |
1 | 1 | Covered | T1,T4,T2 |
LINE 125
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T5,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,T5,T4 |
0 |
1 |
- |
Covered |
T1,T4,T2 |
0 |
0 |
1 |
Covered |
T1,T4,T2 |
0 |
0 |
0 |
Covered |
T1,T5,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,T5,T4 |
0 |
1 |
- |
Covered |
T1,T4,T2 |
0 |
0 |
1 |
Covered |
T1,T4,T2 |
0 |
0 |
0 |
Covered |
T1,T5,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 |
168103192 |
196063 |
0 |
0 |
T1 |
195049 |
564 |
0 |
0 |
T2 |
73063 |
208 |
0 |
0 |
T3 |
260845 |
324 |
0 |
0 |
T4 |
30340 |
98 |
0 |
0 |
T5 |
2034 |
0 |
0 |
0 |
T9 |
101964 |
272 |
0 |
0 |
T10 |
268215 |
667 |
0 |
0 |
T11 |
0 |
438 |
0 |
0 |
T12 |
0 |
1862 |
0 |
0 |
T16 |
1537 |
0 |
0 |
0 |
T17 |
1384 |
0 |
0 |
0 |
T18 |
1682 |
0 |
0 |
0 |
T19 |
0 |
84 |
0 |
0 |
T20 |
0 |
461 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
141264144 |
140694145 |
0 |
0 |
T1 |
173196 |
173021 |
0 |
0 |
T2 |
36513 |
36499 |
0 |
0 |
T3 |
249055 |
248999 |
0 |
0 |
T4 |
21681 |
21660 |
0 |
0 |
T5 |
502 |
488 |
0 |
0 |
T9 |
50949 |
50925 |
0 |
0 |
T10 |
64955 |
64900 |
0 |
0 |
T16 |
1572 |
1548 |
0 |
0 |
T17 |
319 |
291 |
0 |
0 |
T18 |
1586 |
1565 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
168103192 |
23745 |
0 |
0 |
T1 |
195049 |
114 |
0 |
0 |
T2 |
73063 |
26 |
0 |
0 |
T3 |
260845 |
67 |
0 |
0 |
T4 |
30340 |
20 |
0 |
0 |
T5 |
2034 |
0 |
0 |
0 |
T9 |
101964 |
36 |
0 |
0 |
T10 |
268215 |
46 |
0 |
0 |
T11 |
0 |
78 |
0 |
0 |
T12 |
0 |
428 |
0 |
0 |
T16 |
1537 |
0 |
0 |
0 |
T17 |
1384 |
0 |
0 |
0 |
T18 |
1682 |
0 |
0 |
0 |
T19 |
0 |
20 |
0 |
0 |
T20 |
0 |
32 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
168103192 |
165607698 |
0 |
0 |
T1 |
195049 |
194747 |
0 |
0 |
T2 |
73063 |
73003 |
0 |
0 |
T3 |
260845 |
260711 |
0 |
0 |
T4 |
30340 |
30300 |
0 |
0 |
T5 |
2034 |
1899 |
0 |
0 |
T9 |
101964 |
101856 |
0 |
0 |
T10 |
268215 |
267724 |
0 |
0 |
T16 |
1537 |
1488 |
0 |
0 |
T17 |
1384 |
1200 |
0 |
0 |
T18 |
1682 |
1630 |
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,T5,T4 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T4,T2 |
LINE 109
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T5,T4 |
1 | 0 | Covered | T1,T4,T2 |
1 | 1 | Covered | T1,T4,T2 |
LINE 125
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T5,T4 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T4,T2 |
LINE 125
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T4,T2 |
1 | 1 | Covered | T1,T4,T2 |
LINE 125
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T5,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,T5,T4 |
0 |
1 |
- |
Covered |
T1,T4,T2 |
0 |
0 |
1 |
Covered |
T1,T4,T2 |
0 |
0 |
0 |
Covered |
T1,T5,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,T5,T4 |
0 |
1 |
- |
Covered |
T1,T4,T2 |
0 |
0 |
1 |
Covered |
T1,T4,T2 |
0 |
0 |
0 |
Covered |
T1,T5,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 |
168103192 |
84117 |
0 |
0 |
T1 |
195049 |
277 |
0 |
0 |
T2 |
73063 |
91 |
0 |
0 |
T3 |
260845 |
159 |
0 |
0 |
T4 |
30340 |
49 |
0 |
0 |
T5 |
2034 |
0 |
0 |
0 |
T9 |
101964 |
122 |
0 |
0 |
T10 |
268215 |
235 |
0 |
0 |
T11 |
0 |
217 |
0 |
0 |
T12 |
0 |
1068 |
0 |
0 |
T16 |
1537 |
0 |
0 |
0 |
T17 |
1384 |
0 |
0 |
0 |
T18 |
1682 |
0 |
0 |
0 |
T19 |
0 |
52 |
0 |
0 |
T20 |
0 |
157 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
599868985 |
595209829 |
0 |
0 |
T1 |
714201 |
712978 |
0 |
0 |
T2 |
152212 |
152086 |
0 |
0 |
T3 |
103918 |
103864 |
0 |
0 |
T4 |
120420 |
120251 |
0 |
0 |
T5 |
2119 |
1979 |
0 |
0 |
T9 |
212421 |
212194 |
0 |
0 |
T10 |
270924 |
270427 |
0 |
0 |
T16 |
6151 |
5953 |
0 |
0 |
T17 |
1384 |
1200 |
0 |
0 |
T18 |
6732 |
6521 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
168103192 |
23745 |
0 |
0 |
T1 |
195049 |
114 |
0 |
0 |
T2 |
73063 |
26 |
0 |
0 |
T3 |
260845 |
67 |
0 |
0 |
T4 |
30340 |
20 |
0 |
0 |
T5 |
2034 |
0 |
0 |
0 |
T9 |
101964 |
36 |
0 |
0 |
T10 |
268215 |
46 |
0 |
0 |
T11 |
0 |
78 |
0 |
0 |
T12 |
0 |
428 |
0 |
0 |
T16 |
1537 |
0 |
0 |
0 |
T17 |
1384 |
0 |
0 |
0 |
T18 |
1682 |
0 |
0 |
0 |
T19 |
0 |
20 |
0 |
0 |
T20 |
0 |
32 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
168103192 |
165607698 |
0 |
0 |
T1 |
195049 |
194747 |
0 |
0 |
T2 |
73063 |
73003 |
0 |
0 |
T3 |
260845 |
260711 |
0 |
0 |
T4 |
30340 |
30300 |
0 |
0 |
T5 |
2034 |
1899 |
0 |
0 |
T9 |
101964 |
101856 |
0 |
0 |
T10 |
268215 |
267724 |
0 |
0 |
T16 |
1537 |
1488 |
0 |
0 |
T17 |
1384 |
1200 |
0 |
0 |
T18 |
1682 |
1630 |
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,T5,T4 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T4,T2 |
LINE 109
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T5,T4 |
1 | 0 | Covered | T1,T4,T2 |
1 | 1 | Covered | T1,T4,T2 |
LINE 125
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T5,T4 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T4,T2 |
LINE 125
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T4,T2 |
1 | 1 | Covered | T1,T4,T2 |
LINE 125
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T5,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,T5,T4 |
0 |
1 |
- |
Covered |
T1,T4,T2 |
0 |
0 |
1 |
Covered |
T1,T4,T2 |
0 |
0 |
0 |
Covered |
T1,T5,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,T5,T4 |
0 |
1 |
- |
Covered |
T1,T4,T2 |
0 |
0 |
1 |
Covered |
T1,T4,T2 |
0 |
0 |
0 |
Covered |
T1,T5,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 |
168103192 |
120758 |
0 |
0 |
T1 |
195049 |
399 |
0 |
0 |
T2 |
73063 |
157 |
0 |
0 |
T3 |
260845 |
228 |
0 |
0 |
T4 |
30340 |
69 |
0 |
0 |
T5 |
2034 |
0 |
0 |
0 |
T9 |
101964 |
210 |
0 |
0 |
T10 |
268215 |
383 |
0 |
0 |
T11 |
0 |
301 |
0 |
0 |
T12 |
0 |
1385 |
0 |
0 |
T16 |
1537 |
0 |
0 |
0 |
T17 |
1384 |
0 |
0 |
0 |
T18 |
1682 |
0 |
0 |
0 |
T19 |
0 |
64 |
0 |
0 |
T20 |
0 |
259 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
287971755 |
285736182 |
0 |
0 |
T1 |
337062 |
336473 |
0 |
0 |
T2 |
73063 |
73003 |
0 |
0 |
T3 |
500255 |
499997 |
0 |
0 |
T4 |
54921 |
54840 |
0 |
0 |
T5 |
1017 |
950 |
0 |
0 |
T9 |
101964 |
101856 |
0 |
0 |
T10 |
130045 |
129806 |
0 |
0 |
T16 |
2952 |
2857 |
0 |
0 |
T17 |
664 |
576 |
0 |
0 |
T18 |
3232 |
3130 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
168103192 |
23253 |
0 |
0 |
T1 |
195049 |
114 |
0 |
0 |
T2 |
73063 |
26 |
0 |
0 |
T3 |
260845 |
67 |
0 |
0 |
T4 |
30340 |
20 |
0 |
0 |
T5 |
2034 |
0 |
0 |
0 |
T9 |
101964 |
36 |
0 |
0 |
T10 |
268215 |
46 |
0 |
0 |
T11 |
0 |
78 |
0 |
0 |
T12 |
0 |
428 |
0 |
0 |
T16 |
1537 |
0 |
0 |
0 |
T17 |
1384 |
0 |
0 |
0 |
T18 |
1682 |
0 |
0 |
0 |
T19 |
0 |
20 |
0 |
0 |
T20 |
0 |
32 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
168103192 |
165607698 |
0 |
0 |
T1 |
195049 |
194747 |
0 |
0 |
T2 |
73063 |
73003 |
0 |
0 |
T3 |
260845 |
260711 |
0 |
0 |
T4 |
30340 |
30300 |
0 |
0 |
T5 |
2034 |
1899 |
0 |
0 |
T9 |
101964 |
101856 |
0 |
0 |
T10 |
268215 |
267724 |
0 |
0 |
T16 |
1537 |
1488 |
0 |
0 |
T17 |
1384 |
1200 |
0 |
0 |
T18 |
1682 |
1630 |
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,T5,T4 |
0 | 1 | Covered | T3,T12,T13 |
1 | 0 | Covered | T1,T4,T2 |
LINE 109
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T5,T4 |
1 | 0 | Covered | T1,T4,T2 |
1 | 1 | Covered | T1,T4,T2 |
LINE 125
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T5,T4 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T4,T2 |
LINE 125
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T4,T2 |
1 | 1 | Covered | T1,T4,T2 |
LINE 125
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T5,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,T5,T4 |
0 |
1 |
- |
Covered |
T1,T4,T2 |
0 |
0 |
1 |
Covered |
T1,T4,T2 |
0 |
0 |
0 |
Covered |
T1,T5,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,T5,T4 |
0 |
1 |
- |
Covered |
T1,T4,T2 |
0 |
0 |
1 |
Covered |
T1,T4,T2 |
0 |
0 |
0 |
Covered |
T1,T5,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 |
168103192 |
108981 |
0 |
0 |
T1 |
195049 |
285 |
0 |
0 |
T2 |
73063 |
92 |
0 |
0 |
T3 |
260845 |
182 |
0 |
0 |
T4 |
30340 |
49 |
0 |
0 |
T5 |
2034 |
0 |
0 |
0 |
T9 |
101964 |
122 |
0 |
0 |
T10 |
268215 |
237 |
0 |
0 |
T11 |
0 |
225 |
0 |
0 |
T12 |
0 |
1093 |
0 |
0 |
T16 |
1537 |
0 |
0 |
0 |
T17 |
1384 |
0 |
0 |
0 |
T18 |
1682 |
0 |
0 |
0 |
T19 |
0 |
52 |
0 |
0 |
T20 |
0 |
161 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
566604344 |
562157061 |
0 |
0 |
T1 |
691371 |
690196 |
0 |
0 |
T2 |
146119 |
145998 |
0 |
0 |
T3 |
996431 |
995914 |
0 |
0 |
T4 |
86802 |
86639 |
0 |
0 |
T5 |
2034 |
1899 |
0 |
0 |
T9 |
203917 |
203700 |
0 |
0 |
T10 |
260078 |
259601 |
0 |
0 |
T16 |
5904 |
5715 |
0 |
0 |
T17 |
1329 |
1153 |
0 |
0 |
T18 |
6463 |
6260 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
168103192 |
29840 |
0 |
0 |
T1 |
195049 |
114 |
0 |
0 |
T2 |
73063 |
26 |
0 |
0 |
T3 |
260845 |
73 |
0 |
0 |
T4 |
30340 |
20 |
0 |
0 |
T5 |
2034 |
0 |
0 |
0 |
T9 |
101964 |
36 |
0 |
0 |
T10 |
268215 |
46 |
0 |
0 |
T11 |
0 |
78 |
0 |
0 |
T12 |
0 |
437 |
0 |
0 |
T16 |
1537 |
0 |
0 |
0 |
T17 |
1384 |
0 |
0 |
0 |
T18 |
1682 |
0 |
0 |
0 |
T19 |
0 |
20 |
0 |
0 |
T20 |
0 |
32 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
168103192 |
165607698 |
0 |
0 |
T1 |
195049 |
194747 |
0 |
0 |
T2 |
73063 |
73003 |
0 |
0 |
T3 |
260845 |
260711 |
0 |
0 |
T4 |
30340 |
30300 |
0 |
0 |
T5 |
2034 |
1899 |
0 |
0 |
T9 |
101964 |
101856 |
0 |
0 |
T10 |
268215 |
267724 |
0 |
0 |
T16 |
1537 |
1488 |
0 |
0 |
T17 |
1384 |
1200 |
0 |
0 |
T18 |
1682 |
1630 |
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,T5,T4 |
0 | 1 | Covered | T3,T12,T13 |
1 | 0 | Covered | T1,T4,T2 |
LINE 109
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T5,T4 |
1 | 0 | Covered | T1,T4,T2 |
1 | 1 | Covered | T1,T4,T2 |
LINE 125
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T5,T4 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T4,T2 |
LINE 125
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T4,T2 |
1 | 1 | Covered | T1,T4,T2 |
LINE 125
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T5,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,T5,T4 |
0 |
1 |
- |
Covered |
T1,T4,T2 |
0 |
0 |
1 |
Covered |
T1,T4,T2 |
0 |
0 |
0 |
Covered |
T1,T5,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,T5,T4 |
0 |
1 |
- |
Covered |
T1,T4,T2 |
0 |
0 |
1 |
Covered |
T1,T4,T2 |
0 |
0 |
0 |
Covered |
T1,T5,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 |
168103192 |
155988 |
0 |
0 |
T1 |
195049 |
399 |
0 |
0 |
T2 |
73063 |
132 |
0 |
0 |
T3 |
260845 |
250 |
0 |
0 |
T4 |
30340 |
69 |
0 |
0 |
T5 |
2034 |
0 |
0 |
0 |
T9 |
101964 |
172 |
0 |
0 |
T10 |
268215 |
385 |
0 |
0 |
T11 |
0 |
302 |
0 |
0 |
T12 |
0 |
1419 |
0 |
0 |
T16 |
1537 |
0 |
0 |
0 |
T17 |
1384 |
0 |
0 |
0 |
T18 |
1682 |
0 |
0 |
0 |
T19 |
0 |
64 |
0 |
0 |
T20 |
0 |
259 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
282529412 |
281389144 |
0 |
0 |
T1 |
346396 |
346044 |
0 |
0 |
T2 |
73027 |
72999 |
0 |
0 |
T3 |
498111 |
497998 |
0 |
0 |
T4 |
43361 |
43319 |
0 |
0 |
T5 |
1006 |
978 |
0 |
0 |
T9 |
101898 |
101850 |
0 |
0 |
T10 |
129911 |
129801 |
0 |
0 |
T16 |
3146 |
3098 |
0 |
0 |
T17 |
639 |
584 |
0 |
0 |
T18 |
3171 |
3130 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
168103192 |
29779 |
0 |
0 |
T1 |
195049 |
114 |
0 |
0 |
T2 |
73063 |
26 |
0 |
0 |
T3 |
260845 |
73 |
0 |
0 |
T4 |
30340 |
20 |
0 |
0 |
T5 |
2034 |
0 |
0 |
0 |
T9 |
101964 |
36 |
0 |
0 |
T10 |
268215 |
46 |
0 |
0 |
T11 |
0 |
78 |
0 |
0 |
T12 |
0 |
437 |
0 |
0 |
T16 |
1537 |
0 |
0 |
0 |
T17 |
1384 |
0 |
0 |
0 |
T18 |
1682 |
0 |
0 |
0 |
T19 |
0 |
20 |
0 |
0 |
T20 |
0 |
32 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
168103192 |
165607698 |
0 |
0 |
T1 |
195049 |
194747 |
0 |
0 |
T2 |
73063 |
73003 |
0 |
0 |
T3 |
260845 |
260711 |
0 |
0 |
T4 |
30340 |
30300 |
0 |
0 |
T5 |
2034 |
1899 |
0 |
0 |
T9 |
101964 |
101856 |
0 |
0 |
T10 |
268215 |
267724 |
0 |
0 |
T16 |
1537 |
1488 |
0 |
0 |
T17 |
1384 |
1200 |
0 |
0 |
T18 |
1682 |
1630 |
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,T5,T4 |
0 | 1 | Covered | T3,T12,T13 |
1 | 0 | Covered | T1,T4,T2 |
LINE 109
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T5,T4 |
1 | 0 | Covered | T1,T4,T2 |
1 | 1 | Covered | T1,T4,T2 |
LINE 125
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T5,T4 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T4,T2 |
LINE 125
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T4,T2 |
1 | 1 | Covered | T1,T4,T2 |
LINE 125
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T5,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,T5,T4 |
0 |
1 |
- |
Covered |
T1,T4,T2 |
0 |
0 |
1 |
Covered |
T1,T4,T2 |
0 |
0 |
0 |
Covered |
T1,T5,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,T5,T4 |
0 |
1 |
- |
Covered |
T1,T4,T2 |
0 |
0 |
1 |
Covered |
T1,T4,T2 |
0 |
0 |
0 |
Covered |
T1,T5,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 |
168103192 |
252883 |
0 |
0 |
T1 |
195049 |
567 |
0 |
0 |
T2 |
73063 |
212 |
0 |
0 |
T3 |
260845 |
353 |
0 |
0 |
T4 |
30340 |
98 |
0 |
0 |
T5 |
2034 |
0 |
0 |
0 |
T9 |
101964 |
275 |
0 |
0 |
T10 |
268215 |
674 |
0 |
0 |
T11 |
0 |
442 |
0 |
0 |
T12 |
0 |
1923 |
0 |
0 |
T16 |
1537 |
0 |
0 |
0 |
T17 |
1384 |
0 |
0 |
0 |
T18 |
1682 |
0 |
0 |
0 |
T19 |
0 |
84 |
0 |
0 |
T20 |
0 |
459 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
141264144 |
140694145 |
0 |
0 |
T1 |
173196 |
173021 |
0 |
0 |
T2 |
36513 |
36499 |
0 |
0 |
T3 |
249055 |
248999 |
0 |
0 |
T4 |
21681 |
21660 |
0 |
0 |
T5 |
502 |
488 |
0 |
0 |
T9 |
50949 |
50925 |
0 |
0 |
T10 |
64955 |
64900 |
0 |
0 |
T16 |
1572 |
1548 |
0 |
0 |
T17 |
319 |
291 |
0 |
0 |
T18 |
1586 |
1565 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
168103192 |
29917 |
0 |
0 |
T1 |
195049 |
114 |
0 |
0 |
T2 |
73063 |
26 |
0 |
0 |
T3 |
260845 |
73 |
0 |
0 |
T4 |
30340 |
20 |
0 |
0 |
T5 |
2034 |
0 |
0 |
0 |
T9 |
101964 |
36 |
0 |
0 |
T10 |
268215 |
46 |
0 |
0 |
T11 |
0 |
78 |
0 |
0 |
T12 |
0 |
437 |
0 |
0 |
T16 |
1537 |
0 |
0 |
0 |
T17 |
1384 |
0 |
0 |
0 |
T18 |
1682 |
0 |
0 |
0 |
T19 |
0 |
20 |
0 |
0 |
T20 |
0 |
32 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
168103192 |
165607698 |
0 |
0 |
T1 |
195049 |
194747 |
0 |
0 |
T2 |
73063 |
73003 |
0 |
0 |
T3 |
260845 |
260711 |
0 |
0 |
T4 |
30340 |
30300 |
0 |
0 |
T5 |
2034 |
1899 |
0 |
0 |
T9 |
101964 |
101856 |
0 |
0 |
T10 |
268215 |
267724 |
0 |
0 |
T16 |
1537 |
1488 |
0 |
0 |
T17 |
1384 |
1200 |
0 |
0 |
T18 |
1682 |
1630 |
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,T5,T4 |
0 | 1 | Covered | T3,T12,T13 |
1 | 0 | Covered | T1,T4,T2 |
LINE 109
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T5,T4 |
1 | 0 | Covered | T1,T4,T2 |
1 | 1 | Covered | T1,T4,T2 |
LINE 125
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T5,T4 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T4,T2 |
LINE 125
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T4,T2 |
1 | 1 | Covered | T1,T4,T2 |
LINE 125
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T5,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,T5,T4 |
0 |
1 |
- |
Covered |
T1,T4,T2 |
0 |
0 |
1 |
Covered |
T1,T4,T2 |
0 |
0 |
0 |
Covered |
T1,T5,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,T5,T4 |
0 |
1 |
- |
Covered |
T1,T4,T2 |
0 |
0 |
1 |
Covered |
T1,T4,T2 |
0 |
0 |
0 |
Covered |
T1,T5,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 |
168103192 |
106599 |
0 |
0 |
T1 |
195049 |
277 |
0 |
0 |
T2 |
73063 |
91 |
0 |
0 |
T3 |
260845 |
173 |
0 |
0 |
T4 |
30340 |
49 |
0 |
0 |
T5 |
2034 |
0 |
0 |
0 |
T9 |
101964 |
121 |
0 |
0 |
T10 |
268215 |
233 |
0 |
0 |
T11 |
0 |
219 |
0 |
0 |
T12 |
0 |
1093 |
0 |
0 |
T16 |
1537 |
0 |
0 |
0 |
T17 |
1384 |
0 |
0 |
0 |
T18 |
1682 |
0 |
0 |
0 |
T19 |
0 |
52 |
0 |
0 |
T20 |
0 |
159 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
599868985 |
595209829 |
0 |
0 |
T1 |
714201 |
712978 |
0 |
0 |
T2 |
152212 |
152086 |
0 |
0 |
T3 |
103918 |
103864 |
0 |
0 |
T4 |
120420 |
120251 |
0 |
0 |
T5 |
2119 |
1979 |
0 |
0 |
T9 |
212421 |
212194 |
0 |
0 |
T10 |
270924 |
270427 |
0 |
0 |
T16 |
6151 |
5953 |
0 |
0 |
T17 |
1384 |
1200 |
0 |
0 |
T18 |
6732 |
6521 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
168103192 |
29763 |
0 |
0 |
T1 |
195049 |
114 |
0 |
0 |
T2 |
73063 |
26 |
0 |
0 |
T3 |
260845 |
73 |
0 |
0 |
T4 |
30340 |
20 |
0 |
0 |
T5 |
2034 |
0 |
0 |
0 |
T9 |
101964 |
36 |
0 |
0 |
T10 |
268215 |
46 |
0 |
0 |
T11 |
0 |
78 |
0 |
0 |
T12 |
0 |
437 |
0 |
0 |
T16 |
1537 |
0 |
0 |
0 |
T17 |
1384 |
0 |
0 |
0 |
T18 |
1682 |
0 |
0 |
0 |
T19 |
0 |
20 |
0 |
0 |
T20 |
0 |
32 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
168103192 |
165607698 |
0 |
0 |
T1 |
195049 |
194747 |
0 |
0 |
T2 |
73063 |
73003 |
0 |
0 |
T3 |
260845 |
260711 |
0 |
0 |
T4 |
30340 |
30300 |
0 |
0 |
T5 |
2034 |
1899 |
0 |
0 |
T9 |
101964 |
101856 |
0 |
0 |
T10 |
268215 |
267724 |
0 |
0 |
T16 |
1537 |
1488 |
0 |
0 |
T17 |
1384 |
1200 |
0 |
0 |
T18 |
1682 |
1630 |
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,T5,T4 |
0 | 1 | Covered | T3,T12,T13 |
1 | 0 | Covered | T1,T4,T2 |
LINE 109
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T5,T4 |
1 | 0 | Covered | T1,T4,T2 |
1 | 1 | Covered | T1,T4,T2 |
LINE 125
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T5,T4 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T4,T2 |
LINE 125
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T4,T2 |
1 | 1 | Covered | T1,T4,T2 |
LINE 125
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T5,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,T5,T4 |
0 |
1 |
- |
Covered |
T1,T4,T2 |
0 |
0 |
1 |
Covered |
T1,T4,T2 |
0 |
0 |
0 |
Covered |
T1,T5,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,T5,T4 |
0 |
1 |
- |
Covered |
T1,T4,T2 |
0 |
0 |
1 |
Covered |
T1,T4,T2 |
0 |
0 |
0 |
Covered |
T1,T5,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 |
168103192 |
155700 |
0 |
0 |
T1 |
195049 |
403 |
0 |
0 |
T2 |
73063 |
158 |
0 |
0 |
T3 |
260845 |
254 |
0 |
0 |
T4 |
30340 |
69 |
0 |
0 |
T5 |
2034 |
0 |
0 |
0 |
T9 |
101964 |
208 |
0 |
0 |
T10 |
268215 |
383 |
0 |
0 |
T11 |
0 |
300 |
0 |
0 |
T12 |
0 |
1405 |
0 |
0 |
T16 |
1537 |
0 |
0 |
0 |
T17 |
1384 |
0 |
0 |
0 |
T18 |
1682 |
0 |
0 |
0 |
T19 |
0 |
64 |
0 |
0 |
T20 |
0 |
261 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
287971755 |
285736182 |
0 |
0 |
T1 |
337062 |
336473 |
0 |
0 |
T2 |
73063 |
73003 |
0 |
0 |
T3 |
500255 |
499997 |
0 |
0 |
T4 |
54921 |
54840 |
0 |
0 |
T5 |
1017 |
950 |
0 |
0 |
T9 |
101964 |
101856 |
0 |
0 |
T10 |
130045 |
129806 |
0 |
0 |
T16 |
2952 |
2857 |
0 |
0 |
T17 |
664 |
576 |
0 |
0 |
T18 |
3232 |
3130 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
168103192 |
29511 |
0 |
0 |
T1 |
195049 |
114 |
0 |
0 |
T2 |
73063 |
26 |
0 |
0 |
T3 |
260845 |
73 |
0 |
0 |
T4 |
30340 |
20 |
0 |
0 |
T5 |
2034 |
0 |
0 |
0 |
T9 |
101964 |
36 |
0 |
0 |
T10 |
268215 |
46 |
0 |
0 |
T11 |
0 |
78 |
0 |
0 |
T12 |
0 |
437 |
0 |
0 |
T16 |
1537 |
0 |
0 |
0 |
T17 |
1384 |
0 |
0 |
0 |
T18 |
1682 |
0 |
0 |
0 |
T19 |
0 |
20 |
0 |
0 |
T20 |
0 |
32 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
168103192 |
165607698 |
0 |
0 |
T1 |
195049 |
194747 |
0 |
0 |
T2 |
73063 |
73003 |
0 |
0 |
T3 |
260845 |
260711 |
0 |
0 |
T4 |
30340 |
30300 |
0 |
0 |
T5 |
2034 |
1899 |
0 |
0 |
T9 |
101964 |
101856 |
0 |
0 |
T10 |
268215 |
267724 |
0 |
0 |
T16 |
1537 |
1488 |
0 |
0 |
T17 |
1384 |
1200 |
0 |
0 |
T18 |
1682 |
1630 |
0 |
0 |