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 | T4,T5,T22 |
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 |
1682446310 |
1479712 |
0 |
0 |
T1 |
1880460 |
2697 |
0 |
0 |
T2 |
1211840 |
1755 |
0 |
0 |
T3 |
0 |
2152 |
0 |
0 |
T4 |
95620 |
936 |
0 |
0 |
T5 |
208440 |
1203 |
0 |
0 |
T7 |
21690 |
0 |
0 |
0 |
T10 |
0 |
15935 |
0 |
0 |
T17 |
15640 |
0 |
0 |
0 |
T18 |
16470 |
0 |
0 |
0 |
T19 |
16180 |
0 |
0 |
0 |
T20 |
14640 |
0 |
0 |
0 |
T21 |
22010 |
0 |
0 |
0 |
T22 |
0 |
246 |
0 |
0 |
T25 |
0 |
276 |
0 |
0 |
T26 |
0 |
1124 |
0 |
0 |
T27 |
0 |
487 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
1188318 |
1187280 |
0 |
0 |
T2 |
806058 |
805538 |
0 |
0 |
T4 |
425866 |
106990 |
0 |
0 |
T5 |
714384 |
268280 |
0 |
0 |
T6 |
10192 |
8694 |
0 |
0 |
T7 |
13888 |
12572 |
0 |
0 |
T17 |
11396 |
10056 |
0 |
0 |
T18 |
10350 |
9974 |
0 |
0 |
T19 |
17250 |
16082 |
0 |
0 |
T20 |
36938 |
35970 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1682446310 |
266319 |
0 |
0 |
T1 |
1880460 |
320 |
0 |
0 |
T2 |
1211840 |
220 |
0 |
0 |
T3 |
0 |
640 |
0 |
0 |
T4 |
95620 |
343 |
0 |
0 |
T5 |
208440 |
385 |
0 |
0 |
T7 |
21690 |
0 |
0 |
0 |
T10 |
0 |
2420 |
0 |
0 |
T17 |
15640 |
0 |
0 |
0 |
T18 |
16470 |
0 |
0 |
0 |
T19 |
16180 |
0 |
0 |
0 |
T20 |
14640 |
0 |
0 |
0 |
T21 |
22010 |
0 |
0 |
0 |
T22 |
0 |
28 |
0 |
0 |
T25 |
0 |
80 |
0 |
0 |
T26 |
0 |
140 |
0 |
0 |
T27 |
0 |
180 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1682446310 |
1657738360 |
0 |
0 |
T1 |
1880460 |
1878630 |
0 |
0 |
T2 |
1211840 |
1210920 |
0 |
0 |
T4 |
95620 |
22010 |
0 |
0 |
T5 |
208440 |
72290 |
0 |
0 |
T6 |
17450 |
14890 |
0 |
0 |
T7 |
21690 |
19340 |
0 |
0 |
T17 |
15640 |
13760 |
0 |
0 |
T18 |
16470 |
15780 |
0 |
0 |
T19 |
16180 |
15020 |
0 |
0 |
T20 |
14640 |
14220 |
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 |
168244631 |
90045 |
0 |
0 |
T1 |
188046 |
166 |
0 |
0 |
T2 |
121184 |
111 |
0 |
0 |
T3 |
0 |
173 |
0 |
0 |
T4 |
9562 |
56 |
0 |
0 |
T5 |
20844 |
65 |
0 |
0 |
T7 |
2169 |
0 |
0 |
0 |
T10 |
0 |
1019 |
0 |
0 |
T17 |
1564 |
0 |
0 |
0 |
T18 |
1647 |
0 |
0 |
0 |
T19 |
1618 |
0 |
0 |
0 |
T20 |
1464 |
0 |
0 |
0 |
T21 |
2201 |
0 |
0 |
0 |
T22 |
0 |
10 |
0 |
0 |
T25 |
0 |
21 |
0 |
0 |
T26 |
0 |
70 |
0 |
0 |
T27 |
0 |
42 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
429934169 |
425739896 |
0 |
0 |
T1 |
180519 |
180343 |
0 |
0 |
T2 |
122452 |
122358 |
0 |
0 |
T4 |
70610 |
16249 |
0 |
0 |
T5 |
117709 |
40749 |
0 |
0 |
T6 |
1614 |
1356 |
0 |
0 |
T7 |
2124 |
1894 |
0 |
0 |
T17 |
1754 |
1523 |
0 |
0 |
T18 |
1581 |
1515 |
0 |
0 |
T19 |
2632 |
2443 |
0 |
0 |
T20 |
5626 |
5464 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
168244631 |
23679 |
0 |
0 |
T1 |
188046 |
32 |
0 |
0 |
T2 |
121184 |
22 |
0 |
0 |
T3 |
0 |
64 |
0 |
0 |
T4 |
9562 |
24 |
0 |
0 |
T5 |
20844 |
26 |
0 |
0 |
T7 |
2169 |
0 |
0 |
0 |
T10 |
0 |
239 |
0 |
0 |
T17 |
1564 |
0 |
0 |
0 |
T18 |
1647 |
0 |
0 |
0 |
T19 |
1618 |
0 |
0 |
0 |
T20 |
1464 |
0 |
0 |
0 |
T21 |
2201 |
0 |
0 |
0 |
T22 |
0 |
2 |
0 |
0 |
T25 |
0 |
8 |
0 |
0 |
T26 |
0 |
14 |
0 |
0 |
T27 |
0 |
18 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
168244631 |
165773836 |
0 |
0 |
T1 |
188046 |
187863 |
0 |
0 |
T2 |
121184 |
121092 |
0 |
0 |
T4 |
9562 |
2201 |
0 |
0 |
T5 |
20844 |
7229 |
0 |
0 |
T6 |
1745 |
1489 |
0 |
0 |
T7 |
2169 |
1934 |
0 |
0 |
T17 |
1564 |
1376 |
0 |
0 |
T18 |
1647 |
1578 |
0 |
0 |
T19 |
1618 |
1502 |
0 |
0 |
T20 |
1464 |
1422 |
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 |
168244631 |
131667 |
0 |
0 |
T1 |
188046 |
267 |
0 |
0 |
T2 |
121184 |
177 |
0 |
0 |
T3 |
0 |
225 |
0 |
0 |
T4 |
9562 |
58 |
0 |
0 |
T5 |
20844 |
83 |
0 |
0 |
T7 |
2169 |
0 |
0 |
0 |
T10 |
0 |
1587 |
0 |
0 |
T17 |
1564 |
0 |
0 |
0 |
T18 |
1647 |
0 |
0 |
0 |
T19 |
1618 |
0 |
0 |
0 |
T20 |
1464 |
0 |
0 |
0 |
T21 |
2201 |
0 |
0 |
0 |
T22 |
0 |
18 |
0 |
0 |
T25 |
0 |
28 |
0 |
0 |
T26 |
0 |
114 |
0 |
0 |
T27 |
0 |
45 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
214393642 |
213351135 |
0 |
0 |
T1 |
90220 |
90172 |
0 |
0 |
T2 |
61193 |
61179 |
0 |
0 |
T4 |
22309 |
8128 |
0 |
0 |
T5 |
38671 |
20376 |
0 |
0 |
T6 |
740 |
678 |
0 |
0 |
T7 |
1030 |
982 |
0 |
0 |
T17 |
817 |
762 |
0 |
0 |
T18 |
771 |
757 |
0 |
0 |
T19 |
1290 |
1221 |
0 |
0 |
T20 |
2780 |
2732 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
168244631 |
23679 |
0 |
0 |
T1 |
188046 |
32 |
0 |
0 |
T2 |
121184 |
22 |
0 |
0 |
T3 |
0 |
64 |
0 |
0 |
T4 |
9562 |
24 |
0 |
0 |
T5 |
20844 |
26 |
0 |
0 |
T7 |
2169 |
0 |
0 |
0 |
T10 |
0 |
239 |
0 |
0 |
T17 |
1564 |
0 |
0 |
0 |
T18 |
1647 |
0 |
0 |
0 |
T19 |
1618 |
0 |
0 |
0 |
T20 |
1464 |
0 |
0 |
0 |
T21 |
2201 |
0 |
0 |
0 |
T22 |
0 |
2 |
0 |
0 |
T25 |
0 |
8 |
0 |
0 |
T26 |
0 |
14 |
0 |
0 |
T27 |
0 |
18 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
168244631 |
165773836 |
0 |
0 |
T1 |
188046 |
187863 |
0 |
0 |
T2 |
121184 |
121092 |
0 |
0 |
T4 |
9562 |
2201 |
0 |
0 |
T5 |
20844 |
7229 |
0 |
0 |
T6 |
1745 |
1489 |
0 |
0 |
T7 |
2169 |
1934 |
0 |
0 |
T17 |
1564 |
1376 |
0 |
0 |
T18 |
1647 |
1578 |
0 |
0 |
T19 |
1618 |
1502 |
0 |
0 |
T20 |
1464 |
1422 |
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 |
168244631 |
215369 |
0 |
0 |
T1 |
188046 |
459 |
0 |
0 |
T2 |
121184 |
299 |
0 |
0 |
T3 |
0 |
288 |
0 |
0 |
T4 |
9562 |
81 |
0 |
0 |
T5 |
20844 |
108 |
0 |
0 |
T7 |
2169 |
0 |
0 |
0 |
T10 |
0 |
2683 |
0 |
0 |
T17 |
1564 |
0 |
0 |
0 |
T18 |
1647 |
0 |
0 |
0 |
T19 |
1618 |
0 |
0 |
0 |
T20 |
1464 |
0 |
0 |
0 |
T21 |
2201 |
0 |
0 |
0 |
T22 |
0 |
29 |
0 |
0 |
T25 |
0 |
42 |
0 |
0 |
T26 |
0 |
193 |
0 |
0 |
T27 |
0 |
66 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
107196086 |
106674932 |
0 |
0 |
T1 |
45110 |
45086 |
0 |
0 |
T2 |
30597 |
30590 |
0 |
0 |
T4 |
11154 |
4064 |
0 |
0 |
T5 |
19337 |
10190 |
0 |
0 |
T6 |
370 |
339 |
0 |
0 |
T7 |
515 |
491 |
0 |
0 |
T17 |
408 |
380 |
0 |
0 |
T18 |
386 |
379 |
0 |
0 |
T19 |
645 |
611 |
0 |
0 |
T20 |
1390 |
1366 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
168244631 |
23679 |
0 |
0 |
T1 |
188046 |
32 |
0 |
0 |
T2 |
121184 |
22 |
0 |
0 |
T3 |
0 |
64 |
0 |
0 |
T4 |
9562 |
24 |
0 |
0 |
T5 |
20844 |
26 |
0 |
0 |
T7 |
2169 |
0 |
0 |
0 |
T10 |
0 |
239 |
0 |
0 |
T17 |
1564 |
0 |
0 |
0 |
T18 |
1647 |
0 |
0 |
0 |
T19 |
1618 |
0 |
0 |
0 |
T20 |
1464 |
0 |
0 |
0 |
T21 |
2201 |
0 |
0 |
0 |
T22 |
0 |
2 |
0 |
0 |
T25 |
0 |
8 |
0 |
0 |
T26 |
0 |
14 |
0 |
0 |
T27 |
0 |
18 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
168244631 |
165773836 |
0 |
0 |
T1 |
188046 |
187863 |
0 |
0 |
T2 |
121184 |
121092 |
0 |
0 |
T4 |
9562 |
2201 |
0 |
0 |
T5 |
20844 |
7229 |
0 |
0 |
T6 |
1745 |
1489 |
0 |
0 |
T7 |
2169 |
1934 |
0 |
0 |
T17 |
1564 |
1376 |
0 |
0 |
T18 |
1647 |
1578 |
0 |
0 |
T19 |
1618 |
1502 |
0 |
0 |
T20 |
1464 |
1422 |
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 |
168244631 |
90115 |
0 |
0 |
T1 |
188046 |
192 |
0 |
0 |
T2 |
121184 |
109 |
0 |
0 |
T3 |
0 |
173 |
0 |
0 |
T4 |
9562 |
56 |
0 |
0 |
T5 |
20844 |
65 |
0 |
0 |
T7 |
2169 |
0 |
0 |
0 |
T10 |
0 |
997 |
0 |
0 |
T17 |
1564 |
0 |
0 |
0 |
T18 |
1647 |
0 |
0 |
0 |
T19 |
1618 |
0 |
0 |
0 |
T20 |
1464 |
0 |
0 |
0 |
T21 |
2201 |
0 |
0 |
0 |
T22 |
0 |
12 |
0 |
0 |
T25 |
0 |
20 |
0 |
0 |
T26 |
0 |
69 |
0 |
0 |
T27 |
0 |
42 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
458360378 |
453959184 |
0 |
0 |
T1 |
188046 |
187863 |
0 |
0 |
T2 |
127558 |
127460 |
0 |
0 |
T4 |
73554 |
16928 |
0 |
0 |
T5 |
122618 |
42449 |
0 |
0 |
T6 |
1647 |
1378 |
0 |
0 |
T7 |
2213 |
1973 |
0 |
0 |
T17 |
1839 |
1599 |
0 |
0 |
T18 |
1647 |
1578 |
0 |
0 |
T19 |
2742 |
2544 |
0 |
0 |
T20 |
5860 |
5691 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
168244631 |
23679 |
0 |
0 |
T1 |
188046 |
32 |
0 |
0 |
T2 |
121184 |
22 |
0 |
0 |
T3 |
0 |
64 |
0 |
0 |
T4 |
9562 |
24 |
0 |
0 |
T5 |
20844 |
26 |
0 |
0 |
T7 |
2169 |
0 |
0 |
0 |
T10 |
0 |
239 |
0 |
0 |
T17 |
1564 |
0 |
0 |
0 |
T18 |
1647 |
0 |
0 |
0 |
T19 |
1618 |
0 |
0 |
0 |
T20 |
1464 |
0 |
0 |
0 |
T21 |
2201 |
0 |
0 |
0 |
T22 |
0 |
2 |
0 |
0 |
T25 |
0 |
8 |
0 |
0 |
T26 |
0 |
14 |
0 |
0 |
T27 |
0 |
18 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
168244631 |
165773836 |
0 |
0 |
T1 |
188046 |
187863 |
0 |
0 |
T2 |
121184 |
121092 |
0 |
0 |
T4 |
9562 |
2201 |
0 |
0 |
T5 |
20844 |
7229 |
0 |
0 |
T6 |
1745 |
1489 |
0 |
0 |
T7 |
2169 |
1934 |
0 |
0 |
T17 |
1564 |
1376 |
0 |
0 |
T18 |
1647 |
1578 |
0 |
0 |
T19 |
1618 |
1502 |
0 |
0 |
T20 |
1464 |
1422 |
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 |
168244631 |
129965 |
0 |
0 |
T1 |
188046 |
265 |
0 |
0 |
T2 |
121184 |
179 |
0 |
0 |
T3 |
0 |
220 |
0 |
0 |
T4 |
9562 |
38 |
0 |
0 |
T5 |
20844 |
72 |
0 |
0 |
T7 |
2169 |
0 |
0 |
0 |
T10 |
0 |
1575 |
0 |
0 |
T17 |
1564 |
0 |
0 |
0 |
T18 |
1647 |
0 |
0 |
0 |
T19 |
1618 |
0 |
0 |
0 |
T20 |
1464 |
0 |
0 |
0 |
T21 |
2201 |
0 |
0 |
0 |
T22 |
0 |
11 |
0 |
0 |
T25 |
0 |
28 |
0 |
0 |
T26 |
0 |
111 |
0 |
0 |
T27 |
0 |
48 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
219823213 |
217698758 |
0 |
0 |
T1 |
90264 |
90176 |
0 |
0 |
T2 |
61229 |
61182 |
0 |
0 |
T4 |
35306 |
8126 |
0 |
0 |
T5 |
58857 |
20376 |
0 |
0 |
T6 |
725 |
596 |
0 |
0 |
T7 |
1062 |
946 |
0 |
0 |
T17 |
880 |
764 |
0 |
0 |
T18 |
790 |
758 |
0 |
0 |
T19 |
1316 |
1222 |
0 |
0 |
T20 |
2813 |
2732 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
168244631 |
23247 |
0 |
0 |
T1 |
188046 |
32 |
0 |
0 |
T2 |
121184 |
22 |
0 |
0 |
T3 |
0 |
64 |
0 |
0 |
T4 |
9562 |
12 |
0 |
0 |
T5 |
20844 |
21 |
0 |
0 |
T7 |
2169 |
0 |
0 |
0 |
T10 |
0 |
239 |
0 |
0 |
T17 |
1564 |
0 |
0 |
0 |
T18 |
1647 |
0 |
0 |
0 |
T19 |
1618 |
0 |
0 |
0 |
T20 |
1464 |
0 |
0 |
0 |
T21 |
2201 |
0 |
0 |
0 |
T22 |
0 |
1 |
0 |
0 |
T25 |
0 |
8 |
0 |
0 |
T26 |
0 |
14 |
0 |
0 |
T27 |
0 |
18 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
168244631 |
165773836 |
0 |
0 |
T1 |
188046 |
187863 |
0 |
0 |
T2 |
121184 |
121092 |
0 |
0 |
T4 |
9562 |
2201 |
0 |
0 |
T5 |
20844 |
7229 |
0 |
0 |
T6 |
1745 |
1489 |
0 |
0 |
T7 |
2169 |
1934 |
0 |
0 |
T17 |
1564 |
1376 |
0 |
0 |
T18 |
1647 |
1578 |
0 |
0 |
T19 |
1618 |
1502 |
0 |
0 |
T20 |
1464 |
1422 |
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 | T4,T5,T22 |
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 |
168244631 |
113021 |
0 |
0 |
T1 |
188046 |
166 |
0 |
0 |
T2 |
121184 |
110 |
0 |
0 |
T3 |
0 |
172 |
0 |
0 |
T4 |
9562 |
117 |
0 |
0 |
T5 |
20844 |
132 |
0 |
0 |
T7 |
2169 |
0 |
0 |
0 |
T10 |
0 |
1051 |
0 |
0 |
T17 |
1564 |
0 |
0 |
0 |
T18 |
1647 |
0 |
0 |
0 |
T19 |
1618 |
0 |
0 |
0 |
T20 |
1464 |
0 |
0 |
0 |
T21 |
2201 |
0 |
0 |
0 |
T22 |
0 |
22 |
0 |
0 |
T25 |
0 |
20 |
0 |
0 |
T26 |
0 |
71 |
0 |
0 |
T27 |
0 |
42 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
429934169 |
425739896 |
0 |
0 |
T1 |
180519 |
180343 |
0 |
0 |
T2 |
122452 |
122358 |
0 |
0 |
T4 |
70610 |
16249 |
0 |
0 |
T5 |
117709 |
40749 |
0 |
0 |
T6 |
1614 |
1356 |
0 |
0 |
T7 |
2124 |
1894 |
0 |
0 |
T17 |
1754 |
1523 |
0 |
0 |
T18 |
1581 |
1515 |
0 |
0 |
T19 |
2632 |
2443 |
0 |
0 |
T20 |
5626 |
5464 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
168244631 |
29847 |
0 |
0 |
T1 |
188046 |
32 |
0 |
0 |
T2 |
121184 |
22 |
0 |
0 |
T3 |
0 |
64 |
0 |
0 |
T4 |
9562 |
48 |
0 |
0 |
T5 |
20844 |
52 |
0 |
0 |
T7 |
2169 |
0 |
0 |
0 |
T10 |
0 |
245 |
0 |
0 |
T17 |
1564 |
0 |
0 |
0 |
T18 |
1647 |
0 |
0 |
0 |
T19 |
1618 |
0 |
0 |
0 |
T20 |
1464 |
0 |
0 |
0 |
T21 |
2201 |
0 |
0 |
0 |
T22 |
0 |
4 |
0 |
0 |
T25 |
0 |
8 |
0 |
0 |
T26 |
0 |
14 |
0 |
0 |
T27 |
0 |
18 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
168244631 |
165773836 |
0 |
0 |
T1 |
188046 |
187863 |
0 |
0 |
T2 |
121184 |
121092 |
0 |
0 |
T4 |
9562 |
2201 |
0 |
0 |
T5 |
20844 |
7229 |
0 |
0 |
T6 |
1745 |
1489 |
0 |
0 |
T7 |
2169 |
1934 |
0 |
0 |
T17 |
1564 |
1376 |
0 |
0 |
T18 |
1647 |
1578 |
0 |
0 |
T19 |
1618 |
1502 |
0 |
0 |
T20 |
1464 |
1422 |
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 | T4,T5,T22 |
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 |
168244631 |
163560 |
0 |
0 |
T1 |
188046 |
265 |
0 |
0 |
T2 |
121184 |
177 |
0 |
0 |
T3 |
0 |
222 |
0 |
0 |
T4 |
9562 |
119 |
0 |
0 |
T5 |
20844 |
164 |
0 |
0 |
T7 |
2169 |
0 |
0 |
0 |
T10 |
0 |
1626 |
0 |
0 |
T17 |
1564 |
0 |
0 |
0 |
T18 |
1647 |
0 |
0 |
0 |
T19 |
1618 |
0 |
0 |
0 |
T20 |
1464 |
0 |
0 |
0 |
T21 |
2201 |
0 |
0 |
0 |
T22 |
0 |
33 |
0 |
0 |
T25 |
0 |
28 |
0 |
0 |
T26 |
0 |
112 |
0 |
0 |
T27 |
0 |
48 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
214393642 |
213351135 |
0 |
0 |
T1 |
90220 |
90172 |
0 |
0 |
T2 |
61193 |
61179 |
0 |
0 |
T4 |
22309 |
8128 |
0 |
0 |
T5 |
38671 |
20376 |
0 |
0 |
T6 |
740 |
678 |
0 |
0 |
T7 |
1030 |
982 |
0 |
0 |
T17 |
817 |
762 |
0 |
0 |
T18 |
771 |
757 |
0 |
0 |
T19 |
1290 |
1221 |
0 |
0 |
T20 |
2780 |
2732 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
168244631 |
29586 |
0 |
0 |
T1 |
188046 |
32 |
0 |
0 |
T2 |
121184 |
22 |
0 |
0 |
T3 |
0 |
64 |
0 |
0 |
T4 |
9562 |
48 |
0 |
0 |
T5 |
20844 |
52 |
0 |
0 |
T7 |
2169 |
0 |
0 |
0 |
T10 |
0 |
245 |
0 |
0 |
T17 |
1564 |
0 |
0 |
0 |
T18 |
1647 |
0 |
0 |
0 |
T19 |
1618 |
0 |
0 |
0 |
T20 |
1464 |
0 |
0 |
0 |
T21 |
2201 |
0 |
0 |
0 |
T22 |
0 |
4 |
0 |
0 |
T25 |
0 |
8 |
0 |
0 |
T26 |
0 |
14 |
0 |
0 |
T27 |
0 |
18 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
168244631 |
165773836 |
0 |
0 |
T1 |
188046 |
187863 |
0 |
0 |
T2 |
121184 |
121092 |
0 |
0 |
T4 |
9562 |
2201 |
0 |
0 |
T5 |
20844 |
7229 |
0 |
0 |
T6 |
1745 |
1489 |
0 |
0 |
T7 |
2169 |
1934 |
0 |
0 |
T17 |
1564 |
1376 |
0 |
0 |
T18 |
1647 |
1578 |
0 |
0 |
T19 |
1618 |
1502 |
0 |
0 |
T20 |
1464 |
1422 |
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 | T4,T5,T22 |
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 |
168244631 |
268968 |
0 |
0 |
T1 |
188046 |
457 |
0 |
0 |
T2 |
121184 |
305 |
0 |
0 |
T3 |
0 |
286 |
0 |
0 |
T4 |
9562 |
173 |
0 |
0 |
T5 |
20844 |
219 |
0 |
0 |
T7 |
2169 |
0 |
0 |
0 |
T10 |
0 |
2756 |
0 |
0 |
T17 |
1564 |
0 |
0 |
0 |
T18 |
1647 |
0 |
0 |
0 |
T19 |
1618 |
0 |
0 |
0 |
T20 |
1464 |
0 |
0 |
0 |
T21 |
2201 |
0 |
0 |
0 |
T22 |
0 |
57 |
0 |
0 |
T25 |
0 |
40 |
0 |
0 |
T26 |
0 |
205 |
0 |
0 |
T27 |
0 |
66 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
107196086 |
106674932 |
0 |
0 |
T1 |
45110 |
45086 |
0 |
0 |
T2 |
30597 |
30590 |
0 |
0 |
T4 |
11154 |
4064 |
0 |
0 |
T5 |
19337 |
10190 |
0 |
0 |
T6 |
370 |
339 |
0 |
0 |
T7 |
515 |
491 |
0 |
0 |
T17 |
408 |
380 |
0 |
0 |
T18 |
386 |
379 |
0 |
0 |
T19 |
645 |
611 |
0 |
0 |
T20 |
1390 |
1366 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
168244631 |
29705 |
0 |
0 |
T1 |
188046 |
32 |
0 |
0 |
T2 |
121184 |
22 |
0 |
0 |
T3 |
0 |
64 |
0 |
0 |
T4 |
9562 |
48 |
0 |
0 |
T5 |
20844 |
52 |
0 |
0 |
T7 |
2169 |
0 |
0 |
0 |
T10 |
0 |
245 |
0 |
0 |
T17 |
1564 |
0 |
0 |
0 |
T18 |
1647 |
0 |
0 |
0 |
T19 |
1618 |
0 |
0 |
0 |
T20 |
1464 |
0 |
0 |
0 |
T21 |
2201 |
0 |
0 |
0 |
T22 |
0 |
4 |
0 |
0 |
T25 |
0 |
8 |
0 |
0 |
T26 |
0 |
14 |
0 |
0 |
T27 |
0 |
18 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
168244631 |
165773836 |
0 |
0 |
T1 |
188046 |
187863 |
0 |
0 |
T2 |
121184 |
121092 |
0 |
0 |
T4 |
9562 |
2201 |
0 |
0 |
T5 |
20844 |
7229 |
0 |
0 |
T6 |
1745 |
1489 |
0 |
0 |
T7 |
2169 |
1934 |
0 |
0 |
T17 |
1564 |
1376 |
0 |
0 |
T18 |
1647 |
1578 |
0 |
0 |
T19 |
1618 |
1502 |
0 |
0 |
T20 |
1464 |
1422 |
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 | T4,T5,T22 |
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 |
168244631 |
112262 |
0 |
0 |
T1 |
188046 |
192 |
0 |
0 |
T2 |
121184 |
109 |
0 |
0 |
T3 |
0 |
172 |
0 |
0 |
T4 |
9562 |
117 |
0 |
0 |
T5 |
20844 |
132 |
0 |
0 |
T7 |
2169 |
0 |
0 |
0 |
T10 |
0 |
1024 |
0 |
0 |
T17 |
1564 |
0 |
0 |
0 |
T18 |
1647 |
0 |
0 |
0 |
T19 |
1618 |
0 |
0 |
0 |
T20 |
1464 |
0 |
0 |
0 |
T21 |
2201 |
0 |
0 |
0 |
T22 |
0 |
24 |
0 |
0 |
T25 |
0 |
20 |
0 |
0 |
T26 |
0 |
67 |
0 |
0 |
T27 |
0 |
42 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
458360378 |
453959184 |
0 |
0 |
T1 |
188046 |
187863 |
0 |
0 |
T2 |
127558 |
127460 |
0 |
0 |
T4 |
73554 |
16928 |
0 |
0 |
T5 |
122618 |
42449 |
0 |
0 |
T6 |
1647 |
1378 |
0 |
0 |
T7 |
2213 |
1973 |
0 |
0 |
T17 |
1839 |
1599 |
0 |
0 |
T18 |
1647 |
1578 |
0 |
0 |
T19 |
2742 |
2544 |
0 |
0 |
T20 |
5860 |
5691 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
168244631 |
29592 |
0 |
0 |
T1 |
188046 |
32 |
0 |
0 |
T2 |
121184 |
22 |
0 |
0 |
T3 |
0 |
64 |
0 |
0 |
T4 |
9562 |
48 |
0 |
0 |
T5 |
20844 |
52 |
0 |
0 |
T7 |
2169 |
0 |
0 |
0 |
T10 |
0 |
245 |
0 |
0 |
T17 |
1564 |
0 |
0 |
0 |
T18 |
1647 |
0 |
0 |
0 |
T19 |
1618 |
0 |
0 |
0 |
T20 |
1464 |
0 |
0 |
0 |
T21 |
2201 |
0 |
0 |
0 |
T22 |
0 |
4 |
0 |
0 |
T25 |
0 |
8 |
0 |
0 |
T26 |
0 |
14 |
0 |
0 |
T27 |
0 |
18 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
168244631 |
165773836 |
0 |
0 |
T1 |
188046 |
187863 |
0 |
0 |
T2 |
121184 |
121092 |
0 |
0 |
T4 |
9562 |
2201 |
0 |
0 |
T5 |
20844 |
7229 |
0 |
0 |
T6 |
1745 |
1489 |
0 |
0 |
T7 |
2169 |
1934 |
0 |
0 |
T17 |
1564 |
1376 |
0 |
0 |
T18 |
1647 |
1578 |
0 |
0 |
T19 |
1618 |
1502 |
0 |
0 |
T20 |
1464 |
1422 |
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 | T4,T5,T22 |
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 |
168244631 |
164740 |
0 |
0 |
T1 |
188046 |
268 |
0 |
0 |
T2 |
121184 |
179 |
0 |
0 |
T3 |
0 |
221 |
0 |
0 |
T4 |
9562 |
121 |
0 |
0 |
T5 |
20844 |
163 |
0 |
0 |
T7 |
2169 |
0 |
0 |
0 |
T10 |
0 |
1617 |
0 |
0 |
T17 |
1564 |
0 |
0 |
0 |
T18 |
1647 |
0 |
0 |
0 |
T19 |
1618 |
0 |
0 |
0 |
T20 |
1464 |
0 |
0 |
0 |
T21 |
2201 |
0 |
0 |
0 |
T22 |
0 |
30 |
0 |
0 |
T25 |
0 |
29 |
0 |
0 |
T26 |
0 |
112 |
0 |
0 |
T27 |
0 |
46 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
219823213 |
217698758 |
0 |
0 |
T1 |
90264 |
90176 |
0 |
0 |
T2 |
61229 |
61182 |
0 |
0 |
T4 |
35306 |
8126 |
0 |
0 |
T5 |
58857 |
20376 |
0 |
0 |
T6 |
725 |
596 |
0 |
0 |
T7 |
1062 |
946 |
0 |
0 |
T17 |
880 |
764 |
0 |
0 |
T18 |
790 |
758 |
0 |
0 |
T19 |
1316 |
1222 |
0 |
0 |
T20 |
2813 |
2732 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
168244631 |
29626 |
0 |
0 |
T1 |
188046 |
32 |
0 |
0 |
T2 |
121184 |
22 |
0 |
0 |
T3 |
0 |
64 |
0 |
0 |
T4 |
9562 |
43 |
0 |
0 |
T5 |
20844 |
52 |
0 |
0 |
T7 |
2169 |
0 |
0 |
0 |
T10 |
0 |
245 |
0 |
0 |
T17 |
1564 |
0 |
0 |
0 |
T18 |
1647 |
0 |
0 |
0 |
T19 |
1618 |
0 |
0 |
0 |
T20 |
1464 |
0 |
0 |
0 |
T21 |
2201 |
0 |
0 |
0 |
T22 |
0 |
3 |
0 |
0 |
T25 |
0 |
8 |
0 |
0 |
T26 |
0 |
14 |
0 |
0 |
T27 |
0 |
18 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
168244631 |
165773836 |
0 |
0 |
T1 |
188046 |
187863 |
0 |
0 |
T2 |
121184 |
121092 |
0 |
0 |
T4 |
9562 |
2201 |
0 |
0 |
T5 |
20844 |
7229 |
0 |
0 |
T6 |
1745 |
1489 |
0 |
0 |
T7 |
2169 |
1934 |
0 |
0 |
T17 |
1564 |
1376 |
0 |
0 |
T18 |
1647 |
1578 |
0 |
0 |
T19 |
1618 |
1502 |
0 |
0 |
T20 |
1464 |
1422 |
0 |
0 |