Line Coverage for Module :
prim_reg_cdc
| Line No. | Total | Covered | Percent |
TOTAL | | 22 | 22 | 100.00 |
CONT_ASSIGN | 54 | 1 | 1 | 100.00 |
ALWAYS | 60 | 6 | 6 | 100.00 |
CONT_ASSIGN | 74 | 1 | 1 | 100.00 |
CONT_ASSIGN | 98 | 1 | 1 | 100.00 |
ALWAYS | 104 | 9 | 9 | 100.00 |
CONT_ASSIGN | 139 | 1 | 1 | 100.00 |
CONT_ASSIGN | 144 | 1 | 1 | 100.00 |
CONT_ASSIGN | 145 | 1 | 1 | 100.00 |
CONT_ASSIGN | 187 | 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 | |
54 |
1 |
1 |
60 |
1 |
1 |
61 |
1 |
1 |
62 |
1 |
1 |
63 |
1 |
1 |
64 |
1 |
1 |
65 |
1 |
1 |
|
|
|
MISSING_ELSE |
74 |
1 |
1 |
98 |
1 |
1 |
104 |
1 |
1 |
105 |
1 |
1 |
106 |
1 |
1 |
107 |
1 |
1 |
112 |
1 |
1 |
113 |
1 |
1 |
114 |
1 |
1 |
123 |
1 |
1 |
124 |
1 |
1 |
|
|
|
MISSING_ELSE |
139 |
1 |
1 |
144 |
1 |
1 |
145 |
1 |
1 |
187 |
1 |
1 |
Cond Coverage for Module :
prim_reg_cdc ( parameter DataWidth=2,ResetVal=0,BitMask=3,DstWrReq=0,TxnWidth=3 + DataWidth=32,ResetVal,BitMask,DstWrReq=0,TxnWidth=3 + DataWidth=8,ResetVal,BitMask=255,DstWrReq=0,TxnWidth=3 + DataWidth=16,ResetVal=155,BitMask=65535,DstWrReq=0,TxnWidth=3 + DataWidth=28,ResetVal=0,BitMask=268374015,DstWrReq=1,TxnWidth=3 + DataWidth=8,ResetVal=0,BitMask=255,DstWrReq=1,TxnWidth=3 )
Cond Coverage for Module self-instances :
| Total | Covered | Percent |
Conditions | 14 | 12 | 85.71 |
Logical | 14 | 12 | 85.71 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 54
EXPRESSION (src_we_i | src_re_i)
----1--- ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T5,T6,T7 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Covered | T5,T6,T7 |
1 | 1 | Covered | T5,T6,T7 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Covered | T15,T16,T17 |
1 | 0 | Covered | T5,T6,T7 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T5,T6,T7 |
1 | 1 | Covered | T5,T6,T7 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Not Covered | |
1 | 1 | Covered | T15,T16,T17 |
Cond Coverage for Module :
prim_reg_cdc ( parameter DataWidth=1,ResetVal=0,BitMask=1,DstWrReq=0,TxnWidth=3 )
Cond Coverage for Module self-instances :
| Total | Covered | Percent |
Conditions | 13 | 12 | 92.31 |
Logical | 13 | 12 | 92.31 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 54
EXPRESSION (src_we_i | src_re_i)
----1--- ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T6,T1,T2 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Covered | T1,T2,T4 |
1 | 1 | Covered | T6,T1,T2 |
LINE 112
EXPRESSION (src_wd_i & BitMask)
----1--- ---2---
-1- | -2- | Status | Tests |
0 | - | Covered | T1,T2,T3 |
1 | - | Covered | T6,T3,T4 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T4 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T6,T1,T2 |
1 | 1 | Covered | T1,T2,T4 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Unreachable | |
1 | 1 | Unreachable | |
Branch Coverage for Module :
prim_reg_cdc
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
IF |
60 |
4 |
4 |
100.00 |
IF |
104 |
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-: 60 if ((!rst_src_ni))
-2-: 62 if (src_req)
-3-: 64 if (src_ack)
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Covered |
T5,T6,T7 |
0 |
0 |
1 |
Covered |
T5,T6,T7 |
0 |
0 |
0 |
Covered |
T5,T6,T7 |
LineNo. Expression
-1-: 104 if ((!rst_src_ni))
-2-: 107 if (src_req)
-3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Covered |
T5,T6,T7 |
0 |
0 |
1 |
Covered |
T5,T6,T7 |
0 |
0 |
0 |
Covered |
T5,T6,T7 |
Assert Coverage for Module :
prim_reg_cdc
Assertion Details
BusySrcReqChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
162904225 |
0 |
0 |
T1 |
153709 |
7307 |
0 |
0 |
T2 |
1142893 |
70024 |
0 |
0 |
T3 |
656351 |
30580 |
0 |
0 |
T4 |
363193 |
23111 |
0 |
0 |
T5 |
10192 |
252 |
0 |
0 |
T6 |
286327 |
10558 |
0 |
0 |
T7 |
223468 |
909 |
0 |
0 |
T8 |
0 |
69365 |
0 |
0 |
T9 |
0 |
58254 |
0 |
0 |
T10 |
0 |
298636 |
0 |
0 |
T26 |
227332 |
244 |
0 |
0 |
T27 |
590272 |
14216 |
0 |
0 |
T28 |
978259 |
3400 |
0 |
0 |
T29 |
693903 |
0 |
0 |
0 |
T30 |
0 |
27036 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
715231325 |
707256675 |
0 |
0 |
T1 |
2050 |
450 |
0 |
0 |
T2 |
2450 |
300 |
0 |
0 |
T3 |
2150 |
250 |
0 |
0 |
T4 |
1575 |
275 |
0 |
0 |
T5 |
2275 |
750 |
0 |
0 |
T6 |
2450 |
300 |
0 |
0 |
T7 |
1825 |
250 |
0 |
0 |
T26 |
7025 |
5025 |
0 |
0 |
T27 |
2650 |
250 |
0 |
0 |
T28 |
2175 |
550 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
184804 |
0 |
0 |
T1 |
153709 |
25 |
0 |
0 |
T2 |
1142893 |
48 |
0 |
0 |
T3 |
656351 |
2 |
0 |
0 |
T4 |
363193 |
25 |
0 |
0 |
T5 |
10192 |
2 |
0 |
0 |
T6 |
24898 |
2 |
0 |
0 |
T7 |
19432 |
2 |
0 |
0 |
T8 |
1137591 |
42 |
0 |
0 |
T9 |
0 |
128 |
0 |
0 |
T10 |
0 |
397 |
0 |
0 |
T11 |
0 |
42 |
0 |
0 |
T12 |
0 |
214 |
0 |
0 |
T13 |
0 |
250 |
0 |
0 |
T14 |
0 |
1342 |
0 |
0 |
T26 |
227332 |
2 |
0 |
0 |
T27 |
590272 |
2 |
0 |
0 |
T28 |
978259 |
2 |
0 |
0 |
T29 |
693903 |
0 |
0 |
0 |
T30 |
935466 |
0 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
167075 |
165500 |
0 |
0 |
T2 |
1242275 |
1239900 |
0 |
0 |
T3 |
713425 |
613425 |
0 |
0 |
T4 |
394775 |
392300 |
0 |
0 |
T5 |
127400 |
125975 |
0 |
0 |
T6 |
311225 |
274500 |
0 |
0 |
T7 |
242900 |
240450 |
0 |
0 |
T26 |
247100 |
245525 |
0 |
0 |
T27 |
641600 |
609200 |
0 |
0 |
T28 |
1063325 |
1061650 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn_val_0_cdc
| Line No. | Total | Covered | Percent |
TOTAL | | 17 | 16 | 94.12 |
CONT_ASSIGN | 54 | 0 | 0 | |
ALWAYS | 60 | 5 | 4 | 80.00 |
CONT_ASSIGN | 74 | 1 | 1 | 100.00 |
CONT_ASSIGN | 98 | 1 | 1 | 100.00 |
ALWAYS | 104 | 7 | 7 | 100.00 |
CONT_ASSIGN | 139 | 0 | 0 | |
CONT_ASSIGN | 144 | 1 | 1 | 100.00 |
CONT_ASSIGN | 145 | 1 | 1 | 100.00 |
CONT_ASSIGN | 187 | 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 | |
54 |
|
unreachable |
60 |
1 |
1 |
61 |
1 |
1 |
62 |
1 |
1 |
63 |
|
unreachable |
64 |
1 |
1 |
65 |
0 |
1 |
|
|
|
MISSING_ELSE |
74 |
1 |
1 |
98 |
1 |
1 |
104 |
1 |
1 |
105 |
1 |
1 |
106 |
1 |
1 |
107 |
1 |
1 |
112 |
|
unreachable |
113 |
|
unreachable |
114 |
1 |
1 |
123 |
1 |
1 |
124 |
1 |
1 |
|
|
|
MISSING_ELSE |
139 |
|
unreachable |
144 |
1 |
1 |
145 |
1 |
1 |
187 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn_val_0_cdc
| Total | Covered | Percent |
Conditions | 13 | 6 | 46.15 |
Logical | 13 | 6 | 46.15 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 54
EXPRESSION (src_we_i | src_re_i)
----1--- ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Unreachable | |
1 | 0 | Unreachable | |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Not Covered | |
1 | 1 | Not Covered | |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Covered | T15,T16,T17 |
1 | 0 | Not Covered | |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
1 | 1 | Not Covered | |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Not Covered | |
1 | 1 | Covered | T15,T16,T17 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn_val_0_cdc
| Line No. | Total | Covered | Percent |
Branches |
|
6 |
5 |
83.33 |
IF |
60 |
3 |
2 |
66.67 |
IF |
104 |
3 |
3 |
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-: 60 if ((!rst_src_ni))
-2-: 62 if (src_req)
-3-: 64 if (src_ack)
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Unreachable |
|
0 |
0 |
1 |
Not Covered |
|
0 |
0 |
0 |
Covered |
T5,T6,T7 |
LineNo. Expression
-1-: 104 if ((!rst_src_ni))
-2-: 107 if (src_req)
-3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Unreachable |
|
0 |
0 |
1 |
Covered |
T15,T16,T17 |
0 |
0 |
0 |
Covered |
T5,T6,T7 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn_val_0_cdc
Assertion Details
BusySrcReqChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
0 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
28609253 |
28290267 |
0 |
0 |
T1 |
82 |
18 |
0 |
0 |
T2 |
98 |
12 |
0 |
0 |
T3 |
86 |
10 |
0 |
0 |
T4 |
63 |
11 |
0 |
0 |
T5 |
91 |
30 |
0 |
0 |
T6 |
98 |
12 |
0 |
0 |
T7 |
73 |
10 |
0 |
0 |
T26 |
281 |
201 |
0 |
0 |
T27 |
106 |
10 |
0 |
0 |
T28 |
87 |
22 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
0 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
6683 |
6620 |
0 |
0 |
T2 |
49691 |
49596 |
0 |
0 |
T3 |
28537 |
24537 |
0 |
0 |
T4 |
15791 |
15692 |
0 |
0 |
T5 |
5096 |
5039 |
0 |
0 |
T6 |
12449 |
10980 |
0 |
0 |
T7 |
9716 |
9618 |
0 |
0 |
T26 |
9884 |
9821 |
0 |
0 |
T27 |
25664 |
24368 |
0 |
0 |
T28 |
42533 |
42466 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn_val_1_cdc
| Line No. | Total | Covered | Percent |
TOTAL | | 17 | 16 | 94.12 |
CONT_ASSIGN | 54 | 0 | 0 | |
ALWAYS | 60 | 5 | 4 | 80.00 |
CONT_ASSIGN | 74 | 1 | 1 | 100.00 |
CONT_ASSIGN | 98 | 1 | 1 | 100.00 |
ALWAYS | 104 | 7 | 7 | 100.00 |
CONT_ASSIGN | 139 | 0 | 0 | |
CONT_ASSIGN | 144 | 1 | 1 | 100.00 |
CONT_ASSIGN | 145 | 1 | 1 | 100.00 |
CONT_ASSIGN | 187 | 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 | |
54 |
|
unreachable |
60 |
1 |
1 |
61 |
1 |
1 |
62 |
1 |
1 |
63 |
|
unreachable |
64 |
1 |
1 |
65 |
0 |
1 |
|
|
|
MISSING_ELSE |
74 |
1 |
1 |
98 |
1 |
1 |
104 |
1 |
1 |
105 |
1 |
1 |
106 |
1 |
1 |
107 |
1 |
1 |
112 |
|
unreachable |
113 |
|
unreachable |
114 |
1 |
1 |
123 |
1 |
1 |
124 |
1 |
1 |
|
|
|
MISSING_ELSE |
139 |
|
unreachable |
144 |
1 |
1 |
145 |
1 |
1 |
187 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn_val_1_cdc
| Total | Covered | Percent |
Conditions | 13 | 6 | 46.15 |
Logical | 13 | 6 | 46.15 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 54
EXPRESSION (src_we_i | src_re_i)
----1--- ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Unreachable | |
1 | 0 | Unreachable | |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Not Covered | |
1 | 1 | Not Covered | |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Covered | T15,T16,T17 |
1 | 0 | Not Covered | |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
1 | 1 | Not Covered | |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Not Covered | |
1 | 1 | Covered | T15,T16,T17 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn_val_1_cdc
| Line No. | Total | Covered | Percent |
Branches |
|
6 |
5 |
83.33 |
IF |
60 |
3 |
2 |
66.67 |
IF |
104 |
3 |
3 |
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-: 60 if ((!rst_src_ni))
-2-: 62 if (src_req)
-3-: 64 if (src_ack)
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Unreachable |
|
0 |
0 |
1 |
Not Covered |
|
0 |
0 |
0 |
Covered |
T5,T6,T7 |
LineNo. Expression
-1-: 104 if ((!rst_src_ni))
-2-: 107 if (src_req)
-3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Unreachable |
|
0 |
0 |
1 |
Covered |
T15,T16,T17 |
0 |
0 |
0 |
Covered |
T5,T6,T7 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn_val_1_cdc
Assertion Details
BusySrcReqChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
0 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
28609253 |
28290267 |
0 |
0 |
T1 |
82 |
18 |
0 |
0 |
T2 |
98 |
12 |
0 |
0 |
T3 |
86 |
10 |
0 |
0 |
T4 |
63 |
11 |
0 |
0 |
T5 |
91 |
30 |
0 |
0 |
T6 |
98 |
12 |
0 |
0 |
T7 |
73 |
10 |
0 |
0 |
T26 |
281 |
201 |
0 |
0 |
T27 |
106 |
10 |
0 |
0 |
T28 |
87 |
22 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
0 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
6683 |
6620 |
0 |
0 |
T2 |
49691 |
49596 |
0 |
0 |
T3 |
28537 |
24537 |
0 |
0 |
T4 |
15791 |
15692 |
0 |
0 |
T5 |
5096 |
5039 |
0 |
0 |
T6 |
12449 |
10980 |
0 |
0 |
T7 |
9716 |
9618 |
0 |
0 |
T26 |
9884 |
9821 |
0 |
0 |
T27 |
25664 |
24368 |
0 |
0 |
T28 |
42533 |
42466 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_filter_status_cdc
| Line No. | Total | Covered | Percent |
TOTAL | | 22 | 22 | 100.00 |
CONT_ASSIGN | 54 | 1 | 1 | 100.00 |
ALWAYS | 60 | 6 | 6 | 100.00 |
CONT_ASSIGN | 74 | 1 | 1 | 100.00 |
CONT_ASSIGN | 98 | 1 | 1 | 100.00 |
ALWAYS | 104 | 9 | 9 | 100.00 |
CONT_ASSIGN | 139 | 1 | 1 | 100.00 |
CONT_ASSIGN | 144 | 1 | 1 | 100.00 |
CONT_ASSIGN | 145 | 1 | 1 | 100.00 |
CONT_ASSIGN | 187 | 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 | |
54 |
1 |
1 |
60 |
1 |
1 |
61 |
1 |
1 |
62 |
1 |
1 |
63 |
1 |
1 |
64 |
1 |
1 |
65 |
1 |
1 |
|
|
|
MISSING_ELSE |
74 |
1 |
1 |
98 |
1 |
1 |
104 |
1 |
1 |
105 |
1 |
1 |
106 |
1 |
1 |
107 |
1 |
1 |
112 |
1 |
1 |
113 |
1 |
1 |
114 |
1 |
1 |
123 |
1 |
1 |
124 |
1 |
1 |
|
|
|
MISSING_ELSE |
139 |
1 |
1 |
144 |
1 |
1 |
145 |
1 |
1 |
187 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_filter_status_cdc
| Total | Covered | Percent |
Conditions | 14 | 12 | 85.71 |
Logical | 14 | 12 | 85.71 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 54
EXPRESSION (src_we_i | src_re_i)
----1--- ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T6,T1,T2 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Covered | T1,T2,T4 |
1 | 1 | Covered | T6,T1,T2 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Covered | T15,T16,T18 |
1 | 0 | Covered | T1,T2,T4 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T6,T1,T2 |
1 | 1 | Covered | T1,T2,T4 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Not Covered | |
1 | 1 | Covered | T15,T16,T18 |
Branch Coverage for Instance : tb.dut.u_reg.u_filter_status_cdc
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
IF |
60 |
4 |
4 |
100.00 |
IF |
104 |
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-: 60 if ((!rst_src_ni))
-2-: 62 if (src_req)
-3-: 64 if (src_ack)
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Covered |
T6,T1,T2 |
0 |
0 |
1 |
Covered |
T1,T2,T4 |
0 |
0 |
0 |
Covered |
T5,T6,T7 |
LineNo. Expression
-1-: 104 if ((!rst_src_ni))
-2-: 107 if (src_req)
-3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Covered |
T6,T1,T2 |
0 |
0 |
1 |
Covered |
T1,T2,T4 |
0 |
0 |
0 |
Covered |
T5,T6,T7 |
Assert Coverage for Instance : tb.dut.u_reg.u_filter_status_cdc
Assertion Details
BusySrcReqChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
52713439 |
0 |
0 |
T1 |
6683 |
311 |
0 |
0 |
T2 |
49691 |
3374 |
0 |
0 |
T3 |
28537 |
1242 |
0 |
0 |
T4 |
15791 |
945 |
0 |
0 |
T6 |
12449 |
376 |
0 |
0 |
T7 |
9716 |
0 |
0 |
0 |
T8 |
0 |
3325 |
0 |
0 |
T9 |
0 |
3817 |
0 |
0 |
T10 |
0 |
15724 |
0 |
0 |
T26 |
9884 |
0 |
0 |
0 |
T27 |
25664 |
574 |
0 |
0 |
T28 |
42533 |
0 |
0 |
0 |
T29 |
33043 |
0 |
0 |
0 |
T30 |
0 |
1336 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
28609253 |
28290267 |
0 |
0 |
T1 |
82 |
18 |
0 |
0 |
T2 |
98 |
12 |
0 |
0 |
T3 |
86 |
10 |
0 |
0 |
T4 |
63 |
11 |
0 |
0 |
T5 |
91 |
30 |
0 |
0 |
T6 |
98 |
12 |
0 |
0 |
T7 |
73 |
10 |
0 |
0 |
T26 |
281 |
201 |
0 |
0 |
T27 |
106 |
10 |
0 |
0 |
T28 |
87 |
22 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
59620 |
0 |
0 |
T1 |
6683 |
1 |
0 |
0 |
T2 |
49691 |
2 |
0 |
0 |
T3 |
28537 |
0 |
0 |
0 |
T4 |
15791 |
1 |
0 |
0 |
T8 |
54171 |
2 |
0 |
0 |
T9 |
0 |
7 |
0 |
0 |
T10 |
0 |
20 |
0 |
0 |
T11 |
0 |
2 |
0 |
0 |
T12 |
0 |
12 |
0 |
0 |
T13 |
0 |
14 |
0 |
0 |
T14 |
0 |
64 |
0 |
0 |
T26 |
9884 |
0 |
0 |
0 |
T27 |
25664 |
0 |
0 |
0 |
T28 |
42533 |
0 |
0 |
0 |
T29 |
33043 |
0 |
0 |
0 |
T30 |
44546 |
0 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
6683 |
6620 |
0 |
0 |
T2 |
49691 |
49596 |
0 |
0 |
T3 |
28537 |
24537 |
0 |
0 |
T4 |
15791 |
15692 |
0 |
0 |
T5 |
5096 |
5039 |
0 |
0 |
T6 |
12449 |
10980 |
0 |
0 |
T7 |
9716 |
9618 |
0 |
0 |
T26 |
9884 |
9821 |
0 |
0 |
T27 |
25664 |
24368 |
0 |
0 |
T28 |
42533 |
42466 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_en_ctl_cdc
| Line No. | Total | Covered | Percent |
TOTAL | | 22 | 22 | 100.00 |
CONT_ASSIGN | 54 | 1 | 1 | 100.00 |
ALWAYS | 60 | 6 | 6 | 100.00 |
CONT_ASSIGN | 74 | 1 | 1 | 100.00 |
CONT_ASSIGN | 98 | 1 | 1 | 100.00 |
ALWAYS | 104 | 9 | 9 | 100.00 |
CONT_ASSIGN | 139 | 1 | 1 | 100.00 |
CONT_ASSIGN | 144 | 1 | 1 | 100.00 |
CONT_ASSIGN | 145 | 1 | 1 | 100.00 |
CONT_ASSIGN | 187 | 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 | |
54 |
1 |
1 |
60 |
1 |
1 |
61 |
1 |
1 |
62 |
1 |
1 |
63 |
1 |
1 |
64 |
1 |
1 |
65 |
1 |
1 |
|
|
|
MISSING_ELSE |
74 |
1 |
1 |
98 |
1 |
1 |
104 |
1 |
1 |
105 |
1 |
1 |
106 |
1 |
1 |
107 |
1 |
1 |
112 |
1 |
1 |
113 |
1 |
1 |
114 |
1 |
1 |
123 |
1 |
1 |
124 |
1 |
1 |
|
|
|
MISSING_ELSE |
139 |
1 |
1 |
144 |
1 |
1 |
145 |
1 |
1 |
187 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_en_ctl_cdc
| Total | Covered | Percent |
Conditions | 11 | 10 | 90.91 |
Logical | 11 | 10 | 90.91 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 54
EXPRESSION (src_we_i | src_re_i)
----1--- ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T6,T1,T2 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Covered | T1,T2,T4 |
1 | 1 | Covered | T6,T1,T2 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T4 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T6,T1,T2 |
1 | 1 | Covered | T1,T2,T4 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Unreachable | |
1 | 1 | Unreachable | |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_en_ctl_cdc
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
IF |
60 |
4 |
4 |
100.00 |
IF |
104 |
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-: 60 if ((!rst_src_ni))
-2-: 62 if (src_req)
-3-: 64 if (src_ack)
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Covered |
T6,T1,T2 |
0 |
0 |
1 |
Covered |
T1,T2,T4 |
0 |
0 |
0 |
Covered |
T5,T6,T7 |
LineNo. Expression
-1-: 104 if ((!rst_src_ni))
-2-: 107 if (src_req)
-3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Covered |
T6,T1,T2 |
0 |
0 |
1 |
Covered |
T1,T2,T4 |
0 |
0 |
0 |
Covered |
T5,T6,T7 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_en_ctl_cdc
Assertion Details
BusySrcReqChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
30266702 |
0 |
0 |
T1 |
6683 |
315 |
0 |
0 |
T2 |
49691 |
2880 |
0 |
0 |
T3 |
28537 |
1253 |
0 |
0 |
T4 |
15791 |
947 |
0 |
0 |
T6 |
12449 |
447 |
0 |
0 |
T7 |
9716 |
0 |
0 |
0 |
T8 |
0 |
3301 |
0 |
0 |
T9 |
0 |
5241 |
0 |
0 |
T10 |
0 |
13647 |
0 |
0 |
T26 |
9884 |
0 |
0 |
0 |
T27 |
25664 |
522 |
0 |
0 |
T28 |
42533 |
0 |
0 |
0 |
T29 |
33043 |
0 |
0 |
0 |
T30 |
0 |
1270 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
28609253 |
28290267 |
0 |
0 |
T1 |
82 |
18 |
0 |
0 |
T2 |
98 |
12 |
0 |
0 |
T3 |
86 |
10 |
0 |
0 |
T4 |
63 |
11 |
0 |
0 |
T5 |
91 |
30 |
0 |
0 |
T6 |
98 |
12 |
0 |
0 |
T7 |
73 |
10 |
0 |
0 |
T26 |
281 |
201 |
0 |
0 |
T27 |
106 |
10 |
0 |
0 |
T28 |
87 |
22 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
34860 |
0 |
0 |
T1 |
6683 |
1 |
0 |
0 |
T2 |
49691 |
2 |
0 |
0 |
T3 |
28537 |
0 |
0 |
0 |
T4 |
15791 |
1 |
0 |
0 |
T8 |
54171 |
2 |
0 |
0 |
T9 |
0 |
12 |
0 |
0 |
T10 |
0 |
18 |
0 |
0 |
T11 |
0 |
2 |
0 |
0 |
T12 |
0 |
4 |
0 |
0 |
T13 |
0 |
4 |
0 |
0 |
T14 |
0 |
62 |
0 |
0 |
T26 |
9884 |
0 |
0 |
0 |
T27 |
25664 |
0 |
0 |
0 |
T28 |
42533 |
0 |
0 |
0 |
T29 |
33043 |
0 |
0 |
0 |
T30 |
44546 |
0 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
6683 |
6620 |
0 |
0 |
T2 |
49691 |
49596 |
0 |
0 |
T3 |
28537 |
24537 |
0 |
0 |
T4 |
15791 |
15692 |
0 |
0 |
T5 |
5096 |
5039 |
0 |
0 |
T6 |
12449 |
10980 |
0 |
0 |
T7 |
9716 |
9618 |
0 |
0 |
T26 |
9884 |
9821 |
0 |
0 |
T27 |
25664 |
24368 |
0 |
0 |
T28 |
42533 |
42466 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_pd_ctl_cdc
| Line No. | Total | Covered | Percent |
TOTAL | | 22 | 22 | 100.00 |
CONT_ASSIGN | 54 | 1 | 1 | 100.00 |
ALWAYS | 60 | 6 | 6 | 100.00 |
CONT_ASSIGN | 74 | 1 | 1 | 100.00 |
CONT_ASSIGN | 98 | 1 | 1 | 100.00 |
ALWAYS | 104 | 9 | 9 | 100.00 |
CONT_ASSIGN | 139 | 1 | 1 | 100.00 |
CONT_ASSIGN | 144 | 1 | 1 | 100.00 |
CONT_ASSIGN | 145 | 1 | 1 | 100.00 |
CONT_ASSIGN | 187 | 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 | |
54 |
1 |
1 |
60 |
1 |
1 |
61 |
1 |
1 |
62 |
1 |
1 |
63 |
1 |
1 |
64 |
1 |
1 |
65 |
1 |
1 |
|
|
|
MISSING_ELSE |
74 |
1 |
1 |
98 |
1 |
1 |
104 |
1 |
1 |
105 |
1 |
1 |
106 |
1 |
1 |
107 |
1 |
1 |
112 |
1 |
1 |
113 |
1 |
1 |
114 |
1 |
1 |
123 |
1 |
1 |
124 |
1 |
1 |
|
|
|
MISSING_ELSE |
139 |
1 |
1 |
144 |
1 |
1 |
145 |
1 |
1 |
187 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_pd_ctl_cdc
| Total | Covered | Percent |
Conditions | 11 | 10 | 90.91 |
Logical | 11 | 10 | 90.91 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 54
EXPRESSION (src_we_i | src_re_i)
----1--- ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T6,T1,T2 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Covered | T1,T2,T4 |
1 | 1 | Covered | T6,T1,T2 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T4 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T6,T1,T2 |
1 | 1 | Covered | T1,T2,T4 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Unreachable | |
1 | 1 | Unreachable | |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_pd_ctl_cdc
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
IF |
60 |
4 |
4 |
100.00 |
IF |
104 |
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-: 60 if ((!rst_src_ni))
-2-: 62 if (src_req)
-3-: 64 if (src_ack)
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Covered |
T6,T1,T2 |
0 |
0 |
1 |
Covered |
T1,T2,T4 |
0 |
0 |
0 |
Covered |
T5,T6,T7 |
LineNo. Expression
-1-: 104 if ((!rst_src_ni))
-2-: 107 if (src_req)
-3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Covered |
T6,T1,T2 |
0 |
0 |
1 |
Covered |
T1,T2,T4 |
0 |
0 |
0 |
Covered |
T5,T6,T7 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_pd_ctl_cdc
Assertion Details
BusySrcReqChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
14144781 |
0 |
0 |
T1 |
6683 |
277 |
0 |
0 |
T2 |
49691 |
2844 |
0 |
0 |
T3 |
28537 |
1208 |
0 |
0 |
T4 |
15791 |
939 |
0 |
0 |
T6 |
12449 |
408 |
0 |
0 |
T7 |
9716 |
0 |
0 |
0 |
T8 |
0 |
3323 |
0 |
0 |
T9 |
0 |
4030 |
0 |
0 |
T10 |
0 |
13044 |
0 |
0 |
T26 |
9884 |
0 |
0 |
0 |
T27 |
25664 |
468 |
0 |
0 |
T28 |
42533 |
0 |
0 |
0 |
T29 |
33043 |
0 |
0 |
0 |
T30 |
0 |
1304 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
28609253 |
28290267 |
0 |
0 |
T1 |
82 |
18 |
0 |
0 |
T2 |
98 |
12 |
0 |
0 |
T3 |
86 |
10 |
0 |
0 |
T4 |
63 |
11 |
0 |
0 |
T5 |
91 |
30 |
0 |
0 |
T6 |
98 |
12 |
0 |
0 |
T7 |
73 |
10 |
0 |
0 |
T26 |
281 |
201 |
0 |
0 |
T27 |
106 |
10 |
0 |
0 |
T28 |
87 |
22 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
16533 |
0 |
0 |
T1 |
6683 |
1 |
0 |
0 |
T2 |
49691 |
2 |
0 |
0 |
T3 |
28537 |
0 |
0 |
0 |
T4 |
15791 |
1 |
0 |
0 |
T8 |
54171 |
2 |
0 |
0 |
T9 |
0 |
9 |
0 |
0 |
T10 |
0 |
18 |
0 |
0 |
T11 |
0 |
2 |
0 |
0 |
T12 |
0 |
3 |
0 |
0 |
T13 |
0 |
17 |
0 |
0 |
T14 |
0 |
64 |
0 |
0 |
T26 |
9884 |
0 |
0 |
0 |
T27 |
25664 |
0 |
0 |
0 |
T28 |
42533 |
0 |
0 |
0 |
T29 |
33043 |
0 |
0 |
0 |
T30 |
44546 |
0 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
6683 |
6620 |
0 |
0 |
T2 |
49691 |
49596 |
0 |
0 |
T3 |
28537 |
24537 |
0 |
0 |
T4 |
15791 |
15692 |
0 |
0 |
T5 |
5096 |
5039 |
0 |
0 |
T6 |
12449 |
10980 |
0 |
0 |
T7 |
9716 |
9618 |
0 |
0 |
T26 |
9884 |
9821 |
0 |
0 |
T27 |
25664 |
24368 |
0 |
0 |
T28 |
42533 |
42466 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_lp_sample_ctl_cdc
| Line No. | Total | Covered | Percent |
TOTAL | | 22 | 22 | 100.00 |
CONT_ASSIGN | 54 | 1 | 1 | 100.00 |
ALWAYS | 60 | 6 | 6 | 100.00 |
CONT_ASSIGN | 74 | 1 | 1 | 100.00 |
CONT_ASSIGN | 98 | 1 | 1 | 100.00 |
ALWAYS | 104 | 9 | 9 | 100.00 |
CONT_ASSIGN | 139 | 1 | 1 | 100.00 |
CONT_ASSIGN | 144 | 1 | 1 | 100.00 |
CONT_ASSIGN | 145 | 1 | 1 | 100.00 |
CONT_ASSIGN | 187 | 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 | |
54 |
1 |
1 |
60 |
1 |
1 |
61 |
1 |
1 |
62 |
1 |
1 |
63 |
1 |
1 |
64 |
1 |
1 |
65 |
1 |
1 |
|
|
|
MISSING_ELSE |
74 |
1 |
1 |
98 |
1 |
1 |
104 |
1 |
1 |
105 |
1 |
1 |
106 |
1 |
1 |
107 |
1 |
1 |
112 |
1 |
1 |
113 |
1 |
1 |
114 |
1 |
1 |
123 |
1 |
1 |
124 |
1 |
1 |
|
|
|
MISSING_ELSE |
139 |
1 |
1 |
144 |
1 |
1 |
145 |
1 |
1 |
187 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_lp_sample_ctl_cdc
| Total | Covered | Percent |
Conditions | 11 | 10 | 90.91 |
Logical | 11 | 10 | 90.91 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 54
EXPRESSION (src_we_i | src_re_i)
----1--- ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T5,T6,T7 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Covered | T5,T6,T7 |
1 | 1 | Covered | T5,T6,T7 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T5,T6,T7 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T5,T6,T7 |
1 | 1 | Covered | T5,T6,T7 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Unreachable | |
1 | 1 | Unreachable | |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_lp_sample_ctl_cdc
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
IF |
60 |
4 |
4 |
100.00 |
IF |
104 |
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-: 60 if ((!rst_src_ni))
-2-: 62 if (src_req)
-3-: 64 if (src_ack)
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Covered |
T5,T6,T7 |
0 |
0 |
1 |
Covered |
T5,T6,T7 |
0 |
0 |
0 |
Covered |
T5,T6,T7 |
LineNo. Expression
-1-: 104 if ((!rst_src_ni))
-2-: 107 if (src_req)
-3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Covered |
T5,T6,T7 |
0 |
0 |
1 |
Covered |
T5,T6,T7 |
0 |
0 |
0 |
Covered |
T5,T6,T7 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_lp_sample_ctl_cdc
Assertion Details
BusySrcReqChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
11197273 |
0 |
0 |
T1 |
6683 |
557 |
0 |
0 |
T2 |
49691 |
4803 |
0 |
0 |
T3 |
28537 |
2234 |
0 |
0 |
T4 |
15791 |
1579 |
0 |
0 |
T5 |
5096 |
125 |
0 |
0 |
T6 |
12449 |
959 |
0 |
0 |
T7 |
9716 |
514 |
0 |
0 |
T26 |
9884 |
116 |
0 |
0 |
T27 |
25664 |
1423 |
0 |
0 |
T28 |
42533 |
1694 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
28609253 |
28290267 |
0 |
0 |
T1 |
82 |
18 |
0 |
0 |
T2 |
98 |
12 |
0 |
0 |
T3 |
86 |
10 |
0 |
0 |
T4 |
63 |
11 |
0 |
0 |
T5 |
91 |
30 |
0 |
0 |
T6 |
98 |
12 |
0 |
0 |
T7 |
73 |
10 |
0 |
0 |
T26 |
281 |
201 |
0 |
0 |
T27 |
106 |
10 |
0 |
0 |
T28 |
87 |
22 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
12799 |
0 |
0 |
T1 |
6683 |
2 |
0 |
0 |
T2 |
49691 |
3 |
0 |
0 |
T3 |
28537 |
1 |
0 |
0 |
T4 |
15791 |
2 |
0 |
0 |
T5 |
5096 |
1 |
0 |
0 |
T6 |
12449 |
1 |
0 |
0 |
T7 |
9716 |
1 |
0 |
0 |
T26 |
9884 |
1 |
0 |
0 |
T27 |
25664 |
1 |
0 |
0 |
T28 |
42533 |
1 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
6683 |
6620 |
0 |
0 |
T2 |
49691 |
49596 |
0 |
0 |
T3 |
28537 |
24537 |
0 |
0 |
T4 |
15791 |
15692 |
0 |
0 |
T5 |
5096 |
5039 |
0 |
0 |
T6 |
12449 |
10980 |
0 |
0 |
T7 |
9716 |
9618 |
0 |
0 |
T26 |
9884 |
9821 |
0 |
0 |
T27 |
25664 |
24368 |
0 |
0 |
T28 |
42533 |
42466 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_sample_ctl_cdc
| Line No. | Total | Covered | Percent |
TOTAL | | 22 | 22 | 100.00 |
CONT_ASSIGN | 54 | 1 | 1 | 100.00 |
ALWAYS | 60 | 6 | 6 | 100.00 |
CONT_ASSIGN | 74 | 1 | 1 | 100.00 |
CONT_ASSIGN | 98 | 1 | 1 | 100.00 |
ALWAYS | 104 | 9 | 9 | 100.00 |
CONT_ASSIGN | 139 | 1 | 1 | 100.00 |
CONT_ASSIGN | 144 | 1 | 1 | 100.00 |
CONT_ASSIGN | 145 | 1 | 1 | 100.00 |
CONT_ASSIGN | 187 | 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 | |
54 |
1 |
1 |
60 |
1 |
1 |
61 |
1 |
1 |
62 |
1 |
1 |
63 |
1 |
1 |
64 |
1 |
1 |
65 |
1 |
1 |
|
|
|
MISSING_ELSE |
74 |
1 |
1 |
98 |
1 |
1 |
104 |
1 |
1 |
105 |
1 |
1 |
106 |
1 |
1 |
107 |
1 |
1 |
112 |
1 |
1 |
113 |
1 |
1 |
114 |
1 |
1 |
123 |
1 |
1 |
124 |
1 |
1 |
|
|
|
MISSING_ELSE |
139 |
1 |
1 |
144 |
1 |
1 |
145 |
1 |
1 |
187 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_sample_ctl_cdc
| Total | Covered | Percent |
Conditions | 11 | 10 | 90.91 |
Logical | 11 | 10 | 90.91 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 54
EXPRESSION (src_we_i | src_re_i)
----1--- ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T5,T6,T7 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Covered | T5,T6,T7 |
1 | 1 | Covered | T5,T6,T7 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T5,T6,T7 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T5,T6,T7 |
1 | 1 | Covered | T5,T6,T7 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Unreachable | |
1 | 1 | Unreachable | |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_sample_ctl_cdc
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
IF |
60 |
4 |
4 |
100.00 |
IF |
104 |
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-: 60 if ((!rst_src_ni))
-2-: 62 if (src_req)
-3-: 64 if (src_ack)
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Covered |
T5,T6,T7 |
0 |
0 |
1 |
Covered |
T5,T6,T7 |
0 |
0 |
0 |
Covered |
T5,T6,T7 |
LineNo. Expression
-1-: 104 if ((!rst_src_ni))
-2-: 107 if (src_req)
-3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Covered |
T5,T6,T7 |
0 |
0 |
1 |
Covered |
T5,T6,T7 |
0 |
0 |
0 |
Covered |
T5,T6,T7 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_sample_ctl_cdc
Assertion Details
BusySrcReqChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
11303224 |
0 |
0 |
T1 |
6683 |
571 |
0 |
0 |
T2 |
49691 |
4801 |
0 |
0 |
T3 |
28537 |
2226 |
0 |
0 |
T4 |
15791 |
1553 |
0 |
0 |
T5 |
5096 |
127 |
0 |
0 |
T6 |
12449 |
861 |
0 |
0 |
T7 |
9716 |
395 |
0 |
0 |
T26 |
9884 |
128 |
0 |
0 |
T27 |
25664 |
1396 |
0 |
0 |
T28 |
42533 |
1706 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
28609253 |
28290267 |
0 |
0 |
T1 |
82 |
18 |
0 |
0 |
T2 |
98 |
12 |
0 |
0 |
T3 |
86 |
10 |
0 |
0 |
T4 |
63 |
11 |
0 |
0 |
T5 |
91 |
30 |
0 |
0 |
T6 |
98 |
12 |
0 |
0 |
T7 |
73 |
10 |
0 |
0 |
T26 |
281 |
201 |
0 |
0 |
T27 |
106 |
10 |
0 |
0 |
T28 |
87 |
22 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
12804 |
0 |
0 |
T1 |
6683 |
2 |
0 |
0 |
T2 |
49691 |
3 |
0 |
0 |
T3 |
28537 |
1 |
0 |
0 |
T4 |
15791 |
2 |
0 |
0 |
T5 |
5096 |
1 |
0 |
0 |
T6 |
12449 |
1 |
0 |
0 |
T7 |
9716 |
1 |
0 |
0 |
T26 |
9884 |
1 |
0 |
0 |
T27 |
25664 |
1 |
0 |
0 |
T28 |
42533 |
1 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
6683 |
6620 |
0 |
0 |
T2 |
49691 |
49596 |
0 |
0 |
T3 |
28537 |
24537 |
0 |
0 |
T4 |
15791 |
15692 |
0 |
0 |
T5 |
5096 |
5039 |
0 |
0 |
T6 |
12449 |
10980 |
0 |
0 |
T7 |
9716 |
9618 |
0 |
0 |
T26 |
9884 |
9821 |
0 |
0 |
T27 |
25664 |
24368 |
0 |
0 |
T28 |
42533 |
42466 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_0_cdc
| Line No. | Total | Covered | Percent |
TOTAL | | 22 | 22 | 100.00 |
CONT_ASSIGN | 54 | 1 | 1 | 100.00 |
ALWAYS | 60 | 6 | 6 | 100.00 |
CONT_ASSIGN | 74 | 1 | 1 | 100.00 |
CONT_ASSIGN | 98 | 1 | 1 | 100.00 |
ALWAYS | 104 | 9 | 9 | 100.00 |
CONT_ASSIGN | 139 | 1 | 1 | 100.00 |
CONT_ASSIGN | 144 | 1 | 1 | 100.00 |
CONT_ASSIGN | 145 | 1 | 1 | 100.00 |
CONT_ASSIGN | 187 | 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 | |
54 |
1 |
1 |
60 |
1 |
1 |
61 |
1 |
1 |
62 |
1 |
1 |
63 |
1 |
1 |
64 |
1 |
1 |
65 |
1 |
1 |
|
|
|
MISSING_ELSE |
74 |
1 |
1 |
98 |
1 |
1 |
104 |
1 |
1 |
105 |
1 |
1 |
106 |
1 |
1 |
107 |
1 |
1 |
112 |
1 |
1 |
113 |
1 |
1 |
114 |
1 |
1 |
123 |
1 |
1 |
124 |
1 |
1 |
|
|
|
MISSING_ELSE |
139 |
1 |
1 |
144 |
1 |
1 |
145 |
1 |
1 |
187 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_0_cdc
| Total | Covered | Percent |
Conditions | 11 | 10 | 90.91 |
Logical | 11 | 10 | 90.91 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 54
EXPRESSION (src_we_i | src_re_i)
----1--- ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T6,T1,T2 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Covered | T1,T2,T4 |
1 | 1 | Covered | T6,T1,T2 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T4 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T6,T1,T2 |
1 | 1 | Covered | T1,T2,T4 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Unreachable | |
1 | 1 | Unreachable | |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_0_cdc
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
IF |
60 |
4 |
4 |
100.00 |
IF |
104 |
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-: 60 if ((!rst_src_ni))
-2-: 62 if (src_req)
-3-: 64 if (src_ack)
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Covered |
T6,T1,T2 |
0 |
0 |
1 |
Covered |
T1,T2,T4 |
0 |
0 |
0 |
Covered |
T5,T6,T7 |
LineNo. Expression
-1-: 104 if ((!rst_src_ni))
-2-: 107 if (src_req)
-3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Covered |
T6,T1,T2 |
0 |
0 |
1 |
Covered |
T1,T2,T4 |
0 |
0 |
0 |
Covered |
T5,T6,T7 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_0_cdc
Assertion Details
BusySrcReqChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1732807 |
0 |
0 |
T1 |
6683 |
299 |
0 |
0 |
T2 |
49691 |
2852 |
0 |
0 |
T3 |
28537 |
1181 |
0 |
0 |
T4 |
15791 |
951 |
0 |
0 |
T6 |
12449 |
424 |
0 |
0 |
T7 |
9716 |
0 |
0 |
0 |
T8 |
0 |
3327 |
0 |
0 |
T9 |
0 |
5595 |
0 |
0 |
T10 |
0 |
14012 |
0 |
0 |
T26 |
9884 |
0 |
0 |
0 |
T27 |
25664 |
540 |
0 |
0 |
T28 |
42533 |
0 |
0 |
0 |
T29 |
33043 |
0 |
0 |
0 |
T30 |
0 |
1264 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
28609253 |
28290267 |
0 |
0 |
T1 |
82 |
18 |
0 |
0 |
T2 |
98 |
12 |
0 |
0 |
T3 |
86 |
10 |
0 |
0 |
T4 |
63 |
11 |
0 |
0 |
T5 |
91 |
30 |
0 |
0 |
T6 |
98 |
12 |
0 |
0 |
T7 |
73 |
10 |
0 |
0 |
T26 |
281 |
201 |
0 |
0 |
T27 |
106 |
10 |
0 |
0 |
T28 |
87 |
22 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1926 |
0 |
0 |
T1 |
6683 |
1 |
0 |
0 |
T2 |
49691 |
2 |
0 |
0 |
T3 |
28537 |
0 |
0 |
0 |
T4 |
15791 |
1 |
0 |
0 |
T8 |
54171 |
2 |
0 |
0 |
T9 |
0 |
13 |
0 |
0 |
T10 |
0 |
19 |
0 |
0 |
T11 |
0 |
2 |
0 |
0 |
T12 |
0 |
6 |
0 |
0 |
T13 |
0 |
8 |
0 |
0 |
T14 |
0 |
64 |
0 |
0 |
T26 |
9884 |
0 |
0 |
0 |
T27 |
25664 |
0 |
0 |
0 |
T28 |
42533 |
0 |
0 |
0 |
T29 |
33043 |
0 |
0 |
0 |
T30 |
44546 |
0 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
6683 |
6620 |
0 |
0 |
T2 |
49691 |
49596 |
0 |
0 |
T3 |
28537 |
24537 |
0 |
0 |
T4 |
15791 |
15692 |
0 |
0 |
T5 |
5096 |
5039 |
0 |
0 |
T6 |
12449 |
10980 |
0 |
0 |
T7 |
9716 |
9618 |
0 |
0 |
T26 |
9884 |
9821 |
0 |
0 |
T27 |
25664 |
24368 |
0 |
0 |
T28 |
42533 |
42466 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_1_cdc
| Line No. | Total | Covered | Percent |
TOTAL | | 22 | 22 | 100.00 |
CONT_ASSIGN | 54 | 1 | 1 | 100.00 |
ALWAYS | 60 | 6 | 6 | 100.00 |
CONT_ASSIGN | 74 | 1 | 1 | 100.00 |
CONT_ASSIGN | 98 | 1 | 1 | 100.00 |
ALWAYS | 104 | 9 | 9 | 100.00 |
CONT_ASSIGN | 139 | 1 | 1 | 100.00 |
CONT_ASSIGN | 144 | 1 | 1 | 100.00 |
CONT_ASSIGN | 145 | 1 | 1 | 100.00 |
CONT_ASSIGN | 187 | 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 | |
54 |
1 |
1 |
60 |
1 |
1 |
61 |
1 |
1 |
62 |
1 |
1 |
63 |
1 |
1 |
64 |
1 |
1 |
65 |
1 |
1 |
|
|
|
MISSING_ELSE |
74 |
1 |
1 |
98 |
1 |
1 |
104 |
1 |
1 |
105 |
1 |
1 |
106 |
1 |
1 |
107 |
1 |
1 |
112 |
1 |
1 |
113 |
1 |
1 |
114 |
1 |
1 |
123 |
1 |
1 |
124 |
1 |
1 |
|
|
|
MISSING_ELSE |
139 |
1 |
1 |
144 |
1 |
1 |
145 |
1 |
1 |
187 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_1_cdc
| Total | Covered | Percent |
Conditions | 11 | 10 | 90.91 |
Logical | 11 | 10 | 90.91 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 54
EXPRESSION (src_we_i | src_re_i)
----1--- ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T6,T1,T2 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Covered | T1,T2,T4 |
1 | 1 | Covered | T6,T1,T2 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T4 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T6,T1,T2 |
1 | 1 | Covered | T1,T2,T4 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Unreachable | |
1 | 1 | Unreachable | |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_1_cdc
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
IF |
60 |
4 |
4 |
100.00 |
IF |
104 |
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-: 60 if ((!rst_src_ni))
-2-: 62 if (src_req)
-3-: 64 if (src_ack)
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Covered |
T6,T1,T2 |
0 |
0 |
1 |
Covered |
T1,T2,T4 |
0 |
0 |
0 |
Covered |
T5,T6,T7 |
LineNo. Expression
-1-: 104 if ((!rst_src_ni))
-2-: 107 if (src_req)
-3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Covered |
T6,T1,T2 |
0 |
0 |
1 |
Covered |
T1,T2,T4 |
0 |
0 |
0 |
Covered |
T5,T6,T7 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_1_cdc
Assertion Details
BusySrcReqChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1684257 |
0 |
0 |
T1 |
6683 |
291 |
0 |
0 |
T2 |
49691 |
2856 |
0 |
0 |
T3 |
28537 |
1238 |
0 |
0 |
T4 |
15791 |
955 |
0 |
0 |
T6 |
12449 |
423 |
0 |
0 |
T7 |
9716 |
0 |
0 |
0 |
T8 |
0 |
3275 |
0 |
0 |
T9 |
0 |
1900 |
0 |
0 |
T10 |
0 |
13211 |
0 |
0 |
T26 |
9884 |
0 |
0 |
0 |
T27 |
25664 |
544 |
0 |
0 |
T28 |
42533 |
0 |
0 |
0 |
T29 |
33043 |
0 |
0 |
0 |
T30 |
0 |
1300 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
28609253 |
28290267 |
0 |
0 |
T1 |
82 |
18 |
0 |
0 |
T2 |
98 |
12 |
0 |
0 |
T3 |
86 |
10 |
0 |
0 |
T4 |
63 |
11 |
0 |
0 |
T5 |
91 |
30 |
0 |
0 |
T6 |
98 |
12 |
0 |
0 |
T7 |
73 |
10 |
0 |
0 |
T26 |
281 |
201 |
0 |
0 |
T27 |
106 |
10 |
0 |
0 |
T28 |
87 |
22 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1825 |
0 |
0 |
T1 |
6683 |
1 |
0 |
0 |
T2 |
49691 |
2 |
0 |
0 |
T3 |
28537 |
0 |
0 |
0 |
T4 |
15791 |
1 |
0 |
0 |
T8 |
54171 |
2 |
0 |
0 |
T9 |
0 |
4 |
0 |
0 |
T10 |
0 |
18 |
0 |
0 |
T11 |
0 |
2 |
0 |
0 |
T12 |
0 |
17 |
0 |
0 |
T13 |
0 |
18 |
0 |
0 |
T14 |
0 |
64 |
0 |
0 |
T26 |
9884 |
0 |
0 |
0 |
T27 |
25664 |
0 |
0 |
0 |
T28 |
42533 |
0 |
0 |
0 |
T29 |
33043 |
0 |
0 |
0 |
T30 |
44546 |
0 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
6683 |
6620 |
0 |
0 |
T2 |
49691 |
49596 |
0 |
0 |
T3 |
28537 |
24537 |
0 |
0 |
T4 |
15791 |
15692 |
0 |
0 |
T5 |
5096 |
5039 |
0 |
0 |
T6 |
12449 |
10980 |
0 |
0 |
T7 |
9716 |
9618 |
0 |
0 |
T26 |
9884 |
9821 |
0 |
0 |
T27 |
25664 |
24368 |
0 |
0 |
T28 |
42533 |
42466 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_2_cdc
| Line No. | Total | Covered | Percent |
TOTAL | | 22 | 22 | 100.00 |
CONT_ASSIGN | 54 | 1 | 1 | 100.00 |
ALWAYS | 60 | 6 | 6 | 100.00 |
CONT_ASSIGN | 74 | 1 | 1 | 100.00 |
CONT_ASSIGN | 98 | 1 | 1 | 100.00 |
ALWAYS | 104 | 9 | 9 | 100.00 |
CONT_ASSIGN | 139 | 1 | 1 | 100.00 |
CONT_ASSIGN | 144 | 1 | 1 | 100.00 |
CONT_ASSIGN | 145 | 1 | 1 | 100.00 |
CONT_ASSIGN | 187 | 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 | |
54 |
1 |
1 |
60 |
1 |
1 |
61 |
1 |
1 |
62 |
1 |
1 |
63 |
1 |
1 |
64 |
1 |
1 |
65 |
1 |
1 |
|
|
|
MISSING_ELSE |
74 |
1 |
1 |
98 |
1 |
1 |
104 |
1 |
1 |
105 |
1 |
1 |
106 |
1 |
1 |
107 |
1 |
1 |
112 |
1 |
1 |
113 |
1 |
1 |
114 |
1 |
1 |
123 |
1 |
1 |
124 |
1 |
1 |
|
|
|
MISSING_ELSE |
139 |
1 |
1 |
144 |
1 |
1 |
145 |
1 |
1 |
187 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_2_cdc
| Total | Covered | Percent |
Conditions | 11 | 10 | 90.91 |
Logical | 11 | 10 | 90.91 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 54
EXPRESSION (src_we_i | src_re_i)
----1--- ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T6,T1,T2 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Covered | T1,T2,T4 |
1 | 1 | Covered | T6,T1,T2 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T4 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T6,T1,T2 |
1 | 1 | Covered | T1,T2,T4 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Unreachable | |
1 | 1 | Unreachable | |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_2_cdc
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
IF |
60 |
4 |
4 |
100.00 |
IF |
104 |
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-: 60 if ((!rst_src_ni))
-2-: 62 if (src_req)
-3-: 64 if (src_ack)
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Covered |
T6,T1,T2 |
0 |
0 |
1 |
Covered |
T1,T2,T4 |
0 |
0 |
0 |
Covered |
T5,T6,T7 |
LineNo. Expression
-1-: 104 if ((!rst_src_ni))
-2-: 107 if (src_req)
-3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Covered |
T6,T1,T2 |
0 |
0 |
1 |
Covered |
T1,T2,T4 |
0 |
0 |
0 |
Covered |
T5,T6,T7 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_2_cdc
Assertion Details
BusySrcReqChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1654921 |
0 |
0 |
T1 |
6683 |
279 |
0 |
0 |
T2 |
49691 |
2830 |
0 |
0 |
T3 |
28537 |
1188 |
0 |
0 |
T4 |
15791 |
925 |
0 |
0 |
T6 |
12449 |
399 |
0 |
0 |
T7 |
9716 |
0 |
0 |
0 |
T8 |
0 |
3263 |
0 |
0 |
T9 |
0 |
950 |
0 |
0 |
T10 |
0 |
14951 |
0 |
0 |
T26 |
9884 |
0 |
0 |
0 |
T27 |
25664 |
557 |
0 |
0 |
T28 |
42533 |
0 |
0 |
0 |
T29 |
33043 |
0 |
0 |
0 |
T30 |
0 |
1278 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
28609253 |
28290267 |
0 |
0 |
T1 |
82 |
18 |
0 |
0 |
T2 |
98 |
12 |
0 |
0 |
T3 |
86 |
10 |
0 |
0 |
T4 |
63 |
11 |
0 |
0 |
T5 |
91 |
30 |
0 |
0 |
T6 |
98 |
12 |
0 |
0 |
T7 |
73 |
10 |
0 |
0 |
T26 |
281 |
201 |
0 |
0 |
T27 |
106 |
10 |
0 |
0 |
T28 |
87 |
22 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1800 |
0 |
0 |
T1 |
6683 |
1 |
0 |
0 |
T2 |
49691 |
2 |
0 |
0 |
T3 |
28537 |
0 |
0 |
0 |
T4 |
15791 |
1 |
0 |
0 |
T8 |
54171 |
2 |
0 |
0 |
T9 |
0 |
2 |
0 |
0 |
T10 |
0 |
20 |
0 |
0 |
T11 |
0 |
2 |
0 |
0 |
T12 |
0 |
9 |
0 |
0 |
T13 |
0 |
6 |
0 |
0 |
T14 |
0 |
64 |
0 |
0 |
T26 |
9884 |
0 |
0 |
0 |
T27 |
25664 |
0 |
0 |
0 |
T28 |
42533 |
0 |
0 |
0 |
T29 |
33043 |
0 |
0 |
0 |
T30 |
44546 |
0 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
6683 |
6620 |
0 |
0 |
T2 |
49691 |
49596 |
0 |
0 |
T3 |
28537 |
24537 |
0 |
0 |
T4 |
15791 |
15692 |
0 |
0 |
T5 |
5096 |
5039 |
0 |
0 |
T6 |
12449 |
10980 |
0 |
0 |
T7 |
9716 |
9618 |
0 |
0 |
T26 |
9884 |
9821 |
0 |
0 |
T27 |
25664 |
24368 |
0 |
0 |
T28 |
42533 |
42466 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_3_cdc
| Line No. | Total | Covered | Percent |
TOTAL | | 22 | 22 | 100.00 |
CONT_ASSIGN | 54 | 1 | 1 | 100.00 |
ALWAYS | 60 | 6 | 6 | 100.00 |
CONT_ASSIGN | 74 | 1 | 1 | 100.00 |
CONT_ASSIGN | 98 | 1 | 1 | 100.00 |
ALWAYS | 104 | 9 | 9 | 100.00 |
CONT_ASSIGN | 139 | 1 | 1 | 100.00 |
CONT_ASSIGN | 144 | 1 | 1 | 100.00 |
CONT_ASSIGN | 145 | 1 | 1 | 100.00 |
CONT_ASSIGN | 187 | 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 | |
54 |
1 |
1 |
60 |
1 |
1 |
61 |
1 |
1 |
62 |
1 |
1 |
63 |
1 |
1 |
64 |
1 |
1 |
65 |
1 |
1 |
|
|
|
MISSING_ELSE |
74 |
1 |
1 |
98 |
1 |
1 |
104 |
1 |
1 |
105 |
1 |
1 |
106 |
1 |
1 |
107 |
1 |
1 |
112 |
1 |
1 |
113 |
1 |
1 |
114 |
1 |
1 |
123 |
1 |
1 |
124 |
1 |
1 |
|
|
|
MISSING_ELSE |
139 |
1 |
1 |
144 |
1 |
1 |
145 |
1 |
1 |
187 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_3_cdc
| Total | Covered | Percent |
Conditions | 11 | 10 | 90.91 |
Logical | 11 | 10 | 90.91 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 54
EXPRESSION (src_we_i | src_re_i)
----1--- ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T6,T1,T2 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Covered | T1,T2,T4 |
1 | 1 | Covered | T6,T1,T2 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T4 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T6,T1,T2 |
1 | 1 | Covered | T1,T2,T4 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Unreachable | |
1 | 1 | Unreachable | |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_3_cdc
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
IF |
60 |
4 |
4 |
100.00 |
IF |
104 |
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-: 60 if ((!rst_src_ni))
-2-: 62 if (src_req)
-3-: 64 if (src_ack)
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Covered |
T6,T1,T2 |
0 |
0 |
1 |
Covered |
T1,T2,T4 |
0 |
0 |
0 |
Covered |
T5,T6,T7 |
LineNo. Expression
-1-: 104 if ((!rst_src_ni))
-2-: 107 if (src_req)
-3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Covered |
T6,T1,T2 |
0 |
0 |
1 |
Covered |
T1,T2,T4 |
0 |
0 |
0 |
Covered |
T5,T6,T7 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_3_cdc
Assertion Details
BusySrcReqChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1615722 |
0 |
0 |
T1 |
6683 |
273 |
0 |
0 |
T2 |
49691 |
2862 |
0 |
0 |
T3 |
28537 |
1342 |
0 |
0 |
T4 |
15791 |
929 |
0 |
0 |
T6 |
12449 |
440 |
0 |
0 |
T7 |
9716 |
0 |
0 |
0 |
T8 |
0 |
3297 |
0 |
0 |
T9 |
0 |
4020 |
0 |
0 |
T10 |
0 |
14502 |
0 |
0 |
T26 |
9884 |
0 |
0 |
0 |
T27 |
25664 |
499 |
0 |
0 |
T28 |
42533 |
0 |
0 |
0 |
T29 |
33043 |
0 |
0 |
0 |
T30 |
0 |
1314 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
28609253 |
28290267 |
0 |
0 |
T1 |
82 |
18 |
0 |
0 |
T2 |
98 |
12 |
0 |
0 |
T3 |
86 |
10 |
0 |
0 |
T4 |
63 |
11 |
0 |
0 |
T5 |
91 |
30 |
0 |
0 |
T6 |
98 |
12 |
0 |
0 |
T7 |
73 |
10 |
0 |
0 |
T26 |
281 |
201 |
0 |
0 |
T27 |
106 |
10 |
0 |
0 |
T28 |
87 |
22 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1784 |
0 |
0 |
T1 |
6683 |
1 |
0 |
0 |
T2 |
49691 |
2 |
0 |
0 |
T3 |
28537 |
0 |
0 |
0 |
T4 |
15791 |
1 |
0 |
0 |
T8 |
54171 |
2 |
0 |
0 |
T9 |
0 |
9 |
0 |
0 |
T10 |
0 |
19 |
0 |
0 |
T11 |
0 |
2 |
0 |
0 |
T12 |
0 |
9 |
0 |
0 |
T13 |
0 |
8 |
0 |
0 |
T14 |
0 |
64 |
0 |
0 |
T26 |
9884 |
0 |
0 |
0 |
T27 |
25664 |
0 |
0 |
0 |
T28 |
42533 |
0 |
0 |
0 |
T29 |
33043 |
0 |
0 |
0 |
T30 |
44546 |
0 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
6683 |
6620 |
0 |
0 |
T2 |
49691 |
49596 |
0 |
0 |
T3 |
28537 |
24537 |
0 |
0 |
T4 |
15791 |
15692 |
0 |
0 |
T5 |
5096 |
5039 |
0 |
0 |
T6 |
12449 |
10980 |
0 |
0 |
T7 |
9716 |
9618 |
0 |
0 |
T26 |
9884 |
9821 |
0 |
0 |
T27 |
25664 |
24368 |
0 |
0 |
T28 |
42533 |
42466 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_4_cdc
| Line No. | Total | Covered | Percent |
TOTAL | | 22 | 22 | 100.00 |
CONT_ASSIGN | 54 | 1 | 1 | 100.00 |
ALWAYS | 60 | 6 | 6 | 100.00 |
CONT_ASSIGN | 74 | 1 | 1 | 100.00 |
CONT_ASSIGN | 98 | 1 | 1 | 100.00 |
ALWAYS | 104 | 9 | 9 | 100.00 |
CONT_ASSIGN | 139 | 1 | 1 | 100.00 |
CONT_ASSIGN | 144 | 1 | 1 | 100.00 |
CONT_ASSIGN | 145 | 1 | 1 | 100.00 |
CONT_ASSIGN | 187 | 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 | |
54 |
1 |
1 |
60 |
1 |
1 |
61 |
1 |
1 |
62 |
1 |
1 |
63 |
1 |
1 |
64 |
1 |
1 |
65 |
1 |
1 |
|
|
|
MISSING_ELSE |
74 |
1 |
1 |
98 |
1 |
1 |
104 |
1 |
1 |
105 |
1 |
1 |
106 |
1 |
1 |
107 |
1 |
1 |
112 |
1 |
1 |
113 |
1 |
1 |
114 |
1 |
1 |
123 |
1 |
1 |
124 |
1 |
1 |
|
|
|
MISSING_ELSE |
139 |
1 |
1 |
144 |
1 |
1 |
145 |
1 |
1 |
187 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_4_cdc
| Total | Covered | Percent |
Conditions | 11 | 10 | 90.91 |
Logical | 11 | 10 | 90.91 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 54
EXPRESSION (src_we_i | src_re_i)
----1--- ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T6,T1,T2 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Covered | T1,T2,T4 |
1 | 1 | Covered | T6,T1,T2 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T4 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T6,T1,T2 |
1 | 1 | Covered | T1,T2,T4 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Unreachable | |
1 | 1 | Unreachable | |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_4_cdc
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
IF |
60 |
4 |
4 |
100.00 |
IF |
104 |
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-: 60 if ((!rst_src_ni))
-2-: 62 if (src_req)
-3-: 64 if (src_ack)
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Covered |
T6,T1,T2 |
0 |
0 |
1 |
Covered |
T1,T2,T4 |
0 |
0 |
0 |
Covered |
T5,T6,T7 |
LineNo. Expression
-1-: 104 if ((!rst_src_ni))
-2-: 107 if (src_req)
-3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Covered |
T6,T1,T2 |
0 |
0 |
1 |
Covered |
T1,T2,T4 |
0 |
0 |
0 |
Covered |
T5,T6,T7 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_4_cdc
Assertion Details
BusySrcReqChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1643261 |
0 |
0 |
T1 |
6683 |
319 |
0 |
0 |
T2 |
49691 |
2828 |
0 |
0 |
T3 |
28537 |
1076 |
0 |
0 |
T4 |
15791 |
941 |
0 |
0 |
T6 |
12449 |
460 |
0 |
0 |
T7 |
9716 |
0 |
0 |
0 |
T8 |
0 |
3307 |
0 |
0 |
T9 |
0 |
2253 |
0 |
0 |
T10 |
0 |
15020 |
0 |
0 |
T26 |
9884 |
0 |
0 |
0 |
T27 |
25664 |
496 |
0 |
0 |
T28 |
42533 |
0 |
0 |
0 |
T29 |
33043 |
0 |
0 |
0 |
T30 |
0 |
1314 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
28609253 |
28290267 |
0 |
0 |
T1 |
82 |
18 |
0 |
0 |
T2 |
98 |
12 |
0 |
0 |
T3 |
86 |
10 |
0 |
0 |
T4 |
63 |
11 |
0 |
0 |
T5 |
91 |
30 |
0 |
0 |
T6 |
98 |
12 |
0 |
0 |
T7 |
73 |
10 |
0 |
0 |
T26 |
281 |
201 |
0 |
0 |
T27 |
106 |
10 |
0 |
0 |
T28 |
87 |
22 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1813 |
0 |
0 |
T1 |
6683 |
1 |
0 |
0 |
T2 |
49691 |
2 |
0 |
0 |
T3 |
28537 |
0 |
0 |
0 |
T4 |
15791 |
1 |
0 |
0 |
T8 |
54171 |
2 |
0 |
0 |
T9 |
0 |
5 |
0 |
0 |
T10 |
0 |
20 |
0 |
0 |
T11 |
0 |
2 |
0 |
0 |
T12 |
0 |
16 |
0 |
0 |
T13 |
0 |
15 |
0 |
0 |
T14 |
0 |
64 |
0 |
0 |
T26 |
9884 |
0 |
0 |
0 |
T27 |
25664 |
0 |
0 |
0 |
T28 |
42533 |
0 |
0 |
0 |
T29 |
33043 |
0 |
0 |
0 |
T30 |
44546 |
0 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
6683 |
6620 |
0 |
0 |
T2 |
49691 |
49596 |
0 |
0 |
T3 |
28537 |
24537 |
0 |
0 |
T4 |
15791 |
15692 |
0 |
0 |
T5 |
5096 |
5039 |
0 |
0 |
T6 |
12449 |
10980 |
0 |
0 |
T7 |
9716 |
9618 |
0 |
0 |
T26 |
9884 |
9821 |
0 |
0 |
T27 |
25664 |
24368 |
0 |
0 |
T28 |
42533 |
42466 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_5_cdc
| Line No. | Total | Covered | Percent |
TOTAL | | 22 | 22 | 100.00 |
CONT_ASSIGN | 54 | 1 | 1 | 100.00 |
ALWAYS | 60 | 6 | 6 | 100.00 |
CONT_ASSIGN | 74 | 1 | 1 | 100.00 |
CONT_ASSIGN | 98 | 1 | 1 | 100.00 |
ALWAYS | 104 | 9 | 9 | 100.00 |
CONT_ASSIGN | 139 | 1 | 1 | 100.00 |
CONT_ASSIGN | 144 | 1 | 1 | 100.00 |
CONT_ASSIGN | 145 | 1 | 1 | 100.00 |
CONT_ASSIGN | 187 | 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 | |
54 |
1 |
1 |
60 |
1 |
1 |
61 |
1 |
1 |
62 |
1 |
1 |
63 |
1 |
1 |
64 |
1 |
1 |
65 |
1 |
1 |
|
|
|
MISSING_ELSE |
74 |
1 |
1 |
98 |
1 |
1 |
104 |
1 |
1 |
105 |
1 |
1 |
106 |
1 |
1 |
107 |
1 |
1 |
112 |
1 |
1 |
113 |
1 |
1 |
114 |
1 |
1 |
123 |
1 |
1 |
124 |
1 |
1 |
|
|
|
MISSING_ELSE |
139 |
1 |
1 |
144 |
1 |
1 |
145 |
1 |
1 |
187 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_5_cdc
| Total | Covered | Percent |
Conditions | 11 | 10 | 90.91 |
Logical | 11 | 10 | 90.91 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 54
EXPRESSION (src_we_i | src_re_i)
----1--- ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T6,T1,T2 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Covered | T1,T2,T4 |
1 | 1 | Covered | T6,T1,T2 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T4 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T6,T1,T2 |
1 | 1 | Covered | T1,T2,T4 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Unreachable | |
1 | 1 | Unreachable | |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_5_cdc
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
IF |
60 |
4 |
4 |
100.00 |
IF |
104 |
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-: 60 if ((!rst_src_ni))
-2-: 62 if (src_req)
-3-: 64 if (src_ack)
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Covered |
T6,T1,T2 |
0 |
0 |
1 |
Covered |
T1,T2,T4 |
0 |
0 |
0 |
Covered |
T5,T6,T7 |
LineNo. Expression
-1-: 104 if ((!rst_src_ni))
-2-: 107 if (src_req)
-3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Covered |
T6,T1,T2 |
0 |
0 |
1 |
Covered |
T1,T2,T4 |
0 |
0 |
0 |
Covered |
T5,T6,T7 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_5_cdc
Assertion Details
BusySrcReqChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1647093 |
0 |
0 |
T1 |
6683 |
287 |
0 |
0 |
T2 |
49691 |
2834 |
0 |
0 |
T3 |
28537 |
1237 |
0 |
0 |
T4 |
15791 |
977 |
0 |
0 |
T6 |
12449 |
381 |
0 |
0 |
T7 |
9716 |
0 |
0 |
0 |
T8 |
0 |
3263 |
0 |
0 |
T9 |
0 |
1904 |
0 |
0 |
T10 |
0 |
13874 |
0 |
0 |
T26 |
9884 |
0 |
0 |
0 |
T27 |
25664 |
533 |
0 |
0 |
T28 |
42533 |
0 |
0 |
0 |
T29 |
33043 |
0 |
0 |
0 |
T30 |
0 |
1328 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
28609253 |
28290267 |
0 |
0 |
T1 |
82 |
18 |
0 |
0 |
T2 |
98 |
12 |
0 |
0 |
T3 |
86 |
10 |
0 |
0 |
T4 |
63 |
11 |
0 |
0 |
T5 |
91 |
30 |
0 |
0 |
T6 |
98 |
12 |
0 |
0 |
T7 |
73 |
10 |
0 |
0 |
T26 |
281 |
201 |
0 |
0 |
T27 |
106 |
10 |
0 |
0 |
T28 |
87 |
22 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1823 |
0 |
0 |
T1 |
6683 |
1 |
0 |
0 |
T2 |
49691 |
2 |
0 |
0 |
T3 |
28537 |
0 |
0 |
0 |
T4 |
15791 |
1 |
0 |
0 |
T8 |
54171 |
2 |
0 |
0 |
T9 |
0 |
4 |
0 |
0 |
T10 |
0 |
19 |
0 |
0 |
T11 |
0 |
2 |
0 |
0 |
T12 |
0 |
13 |
0 |
0 |
T13 |
0 |
14 |
0 |
0 |
T14 |
0 |
64 |
0 |
0 |
T26 |
9884 |
0 |
0 |
0 |
T27 |
25664 |
0 |
0 |
0 |
T28 |
42533 |
0 |
0 |
0 |
T29 |
33043 |
0 |
0 |
0 |
T30 |
44546 |
0 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
6683 |
6620 |
0 |
0 |
T2 |
49691 |
49596 |
0 |
0 |
T3 |
28537 |
24537 |
0 |
0 |
T4 |
15791 |
15692 |
0 |
0 |
T5 |
5096 |
5039 |
0 |
0 |
T6 |
12449 |
10980 |
0 |
0 |
T7 |
9716 |
9618 |
0 |
0 |
T26 |
9884 |
9821 |
0 |
0 |
T27 |
25664 |
24368 |
0 |
0 |
T28 |
42533 |
42466 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_6_cdc
| Line No. | Total | Covered | Percent |
TOTAL | | 22 | 22 | 100.00 |
CONT_ASSIGN | 54 | 1 | 1 | 100.00 |
ALWAYS | 60 | 6 | 6 | 100.00 |
CONT_ASSIGN | 74 | 1 | 1 | 100.00 |
CONT_ASSIGN | 98 | 1 | 1 | 100.00 |
ALWAYS | 104 | 9 | 9 | 100.00 |
CONT_ASSIGN | 139 | 1 | 1 | 100.00 |
CONT_ASSIGN | 144 | 1 | 1 | 100.00 |
CONT_ASSIGN | 145 | 1 | 1 | 100.00 |
CONT_ASSIGN | 187 | 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 | |
54 |
1 |
1 |
60 |
1 |
1 |
61 |
1 |
1 |
62 |
1 |
1 |
63 |
1 |
1 |
64 |
1 |
1 |
65 |
1 |
1 |
|
|
|
MISSING_ELSE |
74 |
1 |
1 |
98 |
1 |
1 |
104 |
1 |
1 |
105 |
1 |
1 |
106 |
1 |
1 |
107 |
1 |
1 |
112 |
1 |
1 |
113 |
1 |
1 |
114 |
1 |
1 |
123 |
1 |
1 |
124 |
1 |
1 |
|
|
|
MISSING_ELSE |
139 |
1 |
1 |
144 |
1 |
1 |
145 |
1 |
1 |
187 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_6_cdc
| Total | Covered | Percent |
Conditions | 11 | 10 | 90.91 |
Logical | 11 | 10 | 90.91 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 54
EXPRESSION (src_we_i | src_re_i)
----1--- ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T6,T1,T2 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Covered | T1,T2,T4 |
1 | 1 | Covered | T6,T1,T2 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T4 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T6,T1,T2 |
1 | 1 | Covered | T1,T2,T4 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Unreachable | |
1 | 1 | Unreachable | |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_6_cdc
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
IF |
60 |
4 |
4 |
100.00 |
IF |
104 |
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-: 60 if ((!rst_src_ni))
-2-: 62 if (src_req)
-3-: 64 if (src_ack)
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Covered |
T6,T1,T2 |
0 |
0 |
1 |
Covered |
T1,T2,T4 |
0 |
0 |
0 |
Covered |
T5,T6,T7 |
LineNo. Expression
-1-: 104 if ((!rst_src_ni))
-2-: 107 if (src_req)
-3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Covered |
T6,T1,T2 |
0 |
0 |
1 |
Covered |
T1,T2,T4 |
0 |
0 |
0 |
Covered |
T5,T6,T7 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_6_cdc
Assertion Details
BusySrcReqChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1654732 |
0 |
0 |
T1 |
6683 |
285 |
0 |
0 |
T2 |
49691 |
2834 |
0 |
0 |
T3 |
28537 |
1196 |
0 |
0 |
T4 |
15791 |
961 |
0 |
0 |
T6 |
12449 |
402 |
0 |
0 |
T7 |
9716 |
0 |
0 |
0 |
T8 |
0 |
3363 |
0 |
0 |
T9 |
0 |
929 |
0 |
0 |
T10 |
0 |
14349 |
0 |
0 |
T26 |
9884 |
0 |
0 |
0 |
T27 |
25664 |
528 |
0 |
0 |
T28 |
42533 |
0 |
0 |
0 |
T29 |
33043 |
0 |
0 |
0 |
T30 |
0 |
1260 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
28609253 |
28290267 |
0 |
0 |
T1 |
82 |
18 |
0 |
0 |
T2 |
98 |
12 |
0 |
0 |
T3 |
86 |
10 |
0 |
0 |
T4 |
63 |
11 |
0 |
0 |
T5 |
91 |
30 |
0 |
0 |
T6 |
98 |
12 |
0 |
0 |
T7 |
73 |
10 |
0 |
0 |
T26 |
281 |
201 |
0 |
0 |
T27 |
106 |
10 |
0 |
0 |
T28 |
87 |
22 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1822 |
0 |
0 |
T1 |
6683 |
1 |
0 |
0 |
T2 |
49691 |
2 |
0 |
0 |
T3 |
28537 |
0 |
0 |
0 |
T4 |
15791 |
1 |
0 |
0 |
T8 |
54171 |
2 |
0 |
0 |
T9 |
0 |
2 |
0 |
0 |
T10 |
0 |
19 |
0 |
0 |
T11 |
0 |
2 |
0 |
0 |
T12 |
0 |
12 |
0 |
0 |
T13 |
0 |
15 |
0 |
0 |
T14 |
0 |
64 |
0 |
0 |
T26 |
9884 |
0 |
0 |
0 |
T27 |
25664 |
0 |
0 |
0 |
T28 |
42533 |
0 |
0 |
0 |
T29 |
33043 |
0 |
0 |
0 |
T30 |
44546 |
0 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
6683 |
6620 |
0 |
0 |
T2 |
49691 |
49596 |
0 |
0 |
T3 |
28537 |
24537 |
0 |
0 |
T4 |
15791 |
15692 |
0 |
0 |
T5 |
5096 |
5039 |
0 |
0 |
T6 |
12449 |
10980 |
0 |
0 |
T7 |
9716 |
9618 |
0 |
0 |
T26 |
9884 |
9821 |
0 |
0 |
T27 |
25664 |
24368 |
0 |
0 |
T28 |
42533 |
42466 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_7_cdc
| Line No. | Total | Covered | Percent |
TOTAL | | 22 | 22 | 100.00 |
CONT_ASSIGN | 54 | 1 | 1 | 100.00 |
ALWAYS | 60 | 6 | 6 | 100.00 |
CONT_ASSIGN | 74 | 1 | 1 | 100.00 |
CONT_ASSIGN | 98 | 1 | 1 | 100.00 |
ALWAYS | 104 | 9 | 9 | 100.00 |
CONT_ASSIGN | 139 | 1 | 1 | 100.00 |
CONT_ASSIGN | 144 | 1 | 1 | 100.00 |
CONT_ASSIGN | 145 | 1 | 1 | 100.00 |
CONT_ASSIGN | 187 | 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 | |
54 |
1 |
1 |
60 |
1 |
1 |
61 |
1 |
1 |
62 |
1 |
1 |
63 |
1 |
1 |
64 |
1 |
1 |
65 |
1 |
1 |
|
|
|
MISSING_ELSE |
74 |
1 |
1 |
98 |
1 |
1 |
104 |
1 |
1 |
105 |
1 |
1 |
106 |
1 |
1 |
107 |
1 |
1 |
112 |
1 |
1 |
113 |
1 |
1 |
114 |
1 |
1 |
123 |
1 |
1 |
124 |
1 |
1 |
|
|
|
MISSING_ELSE |
139 |
1 |
1 |
144 |
1 |
1 |
145 |
1 |
1 |
187 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_7_cdc
| Total | Covered | Percent |
Conditions | 11 | 10 | 90.91 |
Logical | 11 | 10 | 90.91 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 54
EXPRESSION (src_we_i | src_re_i)
----1--- ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T6,T1,T2 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Covered | T1,T2,T4 |
1 | 1 | Covered | T6,T1,T2 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T4 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T6,T1,T2 |
1 | 1 | Covered | T1,T2,T4 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Unreachable | |
1 | 1 | Unreachable | |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_7_cdc
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
IF |
60 |
4 |
4 |
100.00 |
IF |
104 |
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-: 60 if ((!rst_src_ni))
-2-: 62 if (src_req)
-3-: 64 if (src_ack)
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Covered |
T6,T1,T2 |
0 |
0 |
1 |
Covered |
T1,T2,T4 |
0 |
0 |
0 |
Covered |
T5,T6,T7 |
LineNo. Expression
-1-: 104 if ((!rst_src_ni))
-2-: 107 if (src_req)
-3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Covered |
T6,T1,T2 |
0 |
0 |
1 |
Covered |
T1,T2,T4 |
0 |
0 |
0 |
Covered |
T5,T6,T7 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_7_cdc
Assertion Details
BusySrcReqChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1599021 |
0 |
0 |
T1 |
6683 |
267 |
0 |
0 |
T2 |
49691 |
2872 |
0 |
0 |
T3 |
28537 |
1352 |
0 |
0 |
T4 |
15791 |
971 |
0 |
0 |
T6 |
12449 |
460 |
0 |
0 |
T7 |
9716 |
0 |
0 |
0 |
T8 |
0 |
3325 |
0 |
0 |
T9 |
0 |
1904 |
0 |
0 |
T10 |
0 |
14175 |
0 |
0 |
T26 |
9884 |
0 |
0 |
0 |
T27 |
25664 |
514 |
0 |
0 |
T28 |
42533 |
0 |
0 |
0 |
T29 |
33043 |
0 |
0 |
0 |
T30 |
0 |
1280 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
28609253 |
28290267 |
0 |
0 |
T1 |
82 |
18 |
0 |
0 |
T2 |
98 |
12 |
0 |
0 |
T3 |
86 |
10 |
0 |
0 |
T4 |
63 |
11 |
0 |
0 |
T5 |
91 |
30 |
0 |
0 |
T6 |
98 |
12 |
0 |
0 |
T7 |
73 |
10 |
0 |
0 |
T26 |
281 |
201 |
0 |
0 |
T27 |
106 |
10 |
0 |
0 |
T28 |
87 |
22 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1795 |
0 |
0 |
T1 |
6683 |
1 |
0 |
0 |
T2 |
49691 |
2 |
0 |
0 |
T3 |
28537 |
0 |
0 |
0 |
T4 |
15791 |
1 |
0 |
0 |
T8 |
54171 |
2 |
0 |
0 |
T9 |
0 |
4 |
0 |
0 |
T10 |
0 |
19 |
0 |
0 |
T11 |
0 |
2 |
0 |
0 |
T12 |
0 |
8 |
0 |
0 |
T13 |
0 |
8 |
0 |
0 |
T14 |
0 |
64 |
0 |
0 |
T26 |
9884 |
0 |
0 |
0 |
T27 |
25664 |
0 |
0 |
0 |
T28 |
42533 |
0 |
0 |
0 |
T29 |
33043 |
0 |
0 |
0 |
T30 |
44546 |
0 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
6683 |
6620 |
0 |
0 |
T2 |
49691 |
49596 |
0 |
0 |
T3 |
28537 |
24537 |
0 |
0 |
T4 |
15791 |
15692 |
0 |
0 |
T5 |
5096 |
5039 |
0 |
0 |
T6 |
12449 |
10980 |
0 |
0 |
T7 |
9716 |
9618 |
0 |
0 |
T26 |
9884 |
9821 |
0 |
0 |
T27 |
25664 |
24368 |
0 |
0 |
T28 |
42533 |
42466 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_0_cdc
| Line No. | Total | Covered | Percent |
TOTAL | | 22 | 22 | 100.00 |
CONT_ASSIGN | 54 | 1 | 1 | 100.00 |
ALWAYS | 60 | 6 | 6 | 100.00 |
CONT_ASSIGN | 74 | 1 | 1 | 100.00 |
CONT_ASSIGN | 98 | 1 | 1 | 100.00 |
ALWAYS | 104 | 9 | 9 | 100.00 |
CONT_ASSIGN | 139 | 1 | 1 | 100.00 |
CONT_ASSIGN | 144 | 1 | 1 | 100.00 |
CONT_ASSIGN | 145 | 1 | 1 | 100.00 |
CONT_ASSIGN | 187 | 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 | |
54 |
1 |
1 |
60 |
1 |
1 |
61 |
1 |
1 |
62 |
1 |
1 |
63 |
1 |
1 |
64 |
1 |
1 |
65 |
1 |
1 |
|
|
|
MISSING_ELSE |
74 |
1 |
1 |
98 |
1 |
1 |
104 |
1 |
1 |
105 |
1 |
1 |
106 |
1 |
1 |
107 |
1 |
1 |
112 |
1 |
1 |
113 |
1 |
1 |
114 |
1 |
1 |
123 |
1 |
1 |
124 |
1 |
1 |
|
|
|
MISSING_ELSE |
139 |
1 |
1 |
144 |
1 |
1 |
145 |
1 |
1 |
187 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_0_cdc
| Total | Covered | Percent |
Conditions | 11 | 10 | 90.91 |
Logical | 11 | 10 | 90.91 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 54
EXPRESSION (src_we_i | src_re_i)
----1--- ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T6,T1,T2 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Covered | T1,T2,T4 |
1 | 1 | Covered | T6,T1,T2 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T4 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T6,T1,T2 |
1 | 1 | Covered | T1,T2,T4 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Unreachable | |
1 | 1 | Unreachable | |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_0_cdc
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
IF |
60 |
4 |
4 |
100.00 |
IF |
104 |
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-: 60 if ((!rst_src_ni))
-2-: 62 if (src_req)
-3-: 64 if (src_ack)
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Covered |
T6,T1,T2 |
0 |
0 |
1 |
Covered |
T1,T2,T4 |
0 |
0 |
0 |
Covered |
T5,T6,T7 |
LineNo. Expression
-1-: 104 if ((!rst_src_ni))
-2-: 107 if (src_req)
-3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Covered |
T6,T1,T2 |
0 |
0 |
1 |
Covered |
T1,T2,T4 |
0 |
0 |
0 |
Covered |
T5,T6,T7 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_0_cdc
Assertion Details
BusySrcReqChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1687821 |
0 |
0 |
T1 |
6683 |
293 |
0 |
0 |
T2 |
49691 |
2828 |
0 |
0 |
T3 |
28537 |
1151 |
0 |
0 |
T4 |
15791 |
969 |
0 |
0 |
T6 |
12449 |
414 |
0 |
0 |
T7 |
9716 |
0 |
0 |
0 |
T8 |
0 |
3307 |
0 |
0 |
T9 |
0 |
1902 |
0 |
0 |
T10 |
0 |
13064 |
0 |
0 |
T26 |
9884 |
0 |
0 |
0 |
T27 |
25664 |
478 |
0 |
0 |
T28 |
42533 |
0 |
0 |
0 |
T29 |
33043 |
0 |
0 |
0 |
T30 |
0 |
1318 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
28609253 |
28290267 |
0 |
0 |
T1 |
82 |
18 |
0 |
0 |
T2 |
98 |
12 |
0 |
0 |
T3 |
86 |
10 |
0 |
0 |
T4 |
63 |
11 |
0 |
0 |
T5 |
91 |
30 |
0 |
0 |
T6 |
98 |
12 |
0 |
0 |
T7 |
73 |
10 |
0 |
0 |
T26 |
281 |
201 |
0 |
0 |
T27 |
106 |
10 |
0 |
0 |
T28 |
87 |
22 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1894 |
0 |
0 |
T1 |
6683 |
1 |
0 |
0 |
T2 |
49691 |
2 |
0 |
0 |
T3 |
28537 |
0 |
0 |
0 |
T4 |
15791 |
1 |
0 |
0 |
T8 |
54171 |
2 |
0 |
0 |
T9 |
0 |
4 |
0 |
0 |
T10 |
0 |
18 |
0 |
0 |
T11 |
0 |
2 |
0 |
0 |
T12 |
0 |
4 |
0 |
0 |
T13 |
0 |
11 |
0 |
0 |
T14 |
0 |
64 |
0 |
0 |
T26 |
9884 |
0 |
0 |
0 |
T27 |
25664 |
0 |
0 |
0 |
T28 |
42533 |
0 |
0 |
0 |
T29 |
33043 |
0 |
0 |
0 |
T30 |
44546 |
0 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
6683 |
6620 |
0 |
0 |
T2 |
49691 |
49596 |
0 |
0 |
T3 |
28537 |
24537 |
0 |
0 |
T4 |
15791 |
15692 |
0 |
0 |
T5 |
5096 |
5039 |
0 |
0 |
T6 |
12449 |
10980 |
0 |
0 |
T7 |
9716 |
9618 |
0 |
0 |
T26 |
9884 |
9821 |
0 |
0 |
T27 |
25664 |
24368 |
0 |
0 |
T28 |
42533 |
42466 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_1_cdc
| Line No. | Total | Covered | Percent |
TOTAL | | 22 | 22 | 100.00 |
CONT_ASSIGN | 54 | 1 | 1 | 100.00 |
ALWAYS | 60 | 6 | 6 | 100.00 |
CONT_ASSIGN | 74 | 1 | 1 | 100.00 |
CONT_ASSIGN | 98 | 1 | 1 | 100.00 |
ALWAYS | 104 | 9 | 9 | 100.00 |
CONT_ASSIGN | 139 | 1 | 1 | 100.00 |
CONT_ASSIGN | 144 | 1 | 1 | 100.00 |
CONT_ASSIGN | 145 | 1 | 1 | 100.00 |
CONT_ASSIGN | 187 | 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 | |
54 |
1 |
1 |
60 |
1 |
1 |
61 |
1 |
1 |
62 |
1 |
1 |
63 |
1 |
1 |
64 |
1 |
1 |
65 |
1 |
1 |
|
|
|
MISSING_ELSE |
74 |
1 |
1 |
98 |
1 |
1 |
104 |
1 |
1 |
105 |
1 |
1 |
106 |
1 |
1 |
107 |
1 |
1 |
112 |
1 |
1 |
113 |
1 |
1 |
114 |
1 |
1 |
123 |
1 |
1 |
124 |
1 |
1 |
|
|
|
MISSING_ELSE |
139 |
1 |
1 |
144 |
1 |
1 |
145 |
1 |
1 |
187 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_1_cdc
| Total | Covered | Percent |
Conditions | 11 | 10 | 90.91 |
Logical | 11 | 10 | 90.91 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 54
EXPRESSION (src_we_i | src_re_i)
----1--- ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T6,T1,T2 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Covered | T1,T2,T4 |
1 | 1 | Covered | T6,T1,T2 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T4 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T6,T1,T2 |
1 | 1 | Covered | T1,T2,T4 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Unreachable | |
1 | 1 | Unreachable | |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_1_cdc
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
IF |
60 |
4 |
4 |
100.00 |
IF |
104 |
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-: 60 if ((!rst_src_ni))
-2-: 62 if (src_req)
-3-: 64 if (src_ack)
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Covered |
T6,T1,T2 |
0 |
0 |
1 |
Covered |
T1,T2,T4 |
0 |
0 |
0 |
Covered |
T5,T6,T7 |
LineNo. Expression
-1-: 104 if ((!rst_src_ni))
-2-: 107 if (src_req)
-3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Covered |
T6,T1,T2 |
0 |
0 |
1 |
Covered |
T1,T2,T4 |
0 |
0 |
0 |
Covered |
T5,T6,T7 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_1_cdc
Assertion Details
BusySrcReqChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1604929 |
0 |
0 |
T1 |
6683 |
269 |
0 |
0 |
T2 |
49691 |
2870 |
0 |
0 |
T3 |
28537 |
1266 |
0 |
0 |
T4 |
15791 |
937 |
0 |
0 |
T6 |
12449 |
420 |
0 |
0 |
T7 |
9716 |
0 |
0 |
0 |
T8 |
0 |
3277 |
0 |
0 |
T9 |
0 |
2616 |
0 |
0 |
T10 |
0 |
14973 |
0 |
0 |
T26 |
9884 |
0 |
0 |
0 |
T27 |
25664 |
555 |
0 |
0 |
T28 |
42533 |
0 |
0 |
0 |
T29 |
33043 |
0 |
0 |
0 |
T30 |
0 |
1242 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
28609253 |
28290267 |
0 |
0 |
T1 |
82 |
18 |
0 |
0 |
T2 |
98 |
12 |
0 |
0 |
T3 |
86 |
10 |
0 |
0 |
T4 |
63 |
11 |
0 |
0 |
T5 |
91 |
30 |
0 |
0 |
T6 |
98 |
12 |
0 |
0 |
T7 |
73 |
10 |
0 |
0 |
T26 |
281 |
201 |
0 |
0 |
T27 |
106 |
10 |
0 |
0 |
T28 |
87 |
22 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1807 |
0 |
0 |
T1 |
6683 |
1 |
0 |
0 |
T2 |
49691 |
2 |
0 |
0 |
T3 |
28537 |
0 |
0 |
0 |
T4 |
15791 |
1 |
0 |
0 |
T8 |
54171 |
2 |
0 |
0 |
T9 |
0 |
6 |
0 |
0 |
T10 |
0 |
20 |
0 |
0 |
T11 |
0 |
2 |
0 |
0 |
T12 |
0 |
4 |
0 |
0 |
T13 |
0 |
14 |
0 |
0 |
T14 |
0 |
64 |
0 |
0 |
T26 |
9884 |
0 |
0 |
0 |
T27 |
25664 |
0 |
0 |
0 |
T28 |
42533 |
0 |
0 |
0 |
T29 |
33043 |
0 |
0 |
0 |
T30 |
44546 |
0 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
6683 |
6620 |
0 |
0 |
T2 |
49691 |
49596 |
0 |
0 |
T3 |
28537 |
24537 |
0 |
0 |
T4 |
15791 |
15692 |
0 |
0 |
T5 |
5096 |
5039 |
0 |
0 |
T6 |
12449 |
10980 |
0 |
0 |
T7 |
9716 |
9618 |
0 |
0 |
T26 |
9884 |
9821 |
0 |
0 |
T27 |
25664 |
24368 |
0 |
0 |
T28 |
42533 |
42466 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_2_cdc
| Line No. | Total | Covered | Percent |
TOTAL | | 22 | 22 | 100.00 |
CONT_ASSIGN | 54 | 1 | 1 | 100.00 |
ALWAYS | 60 | 6 | 6 | 100.00 |
CONT_ASSIGN | 74 | 1 | 1 | 100.00 |
CONT_ASSIGN | 98 | 1 | 1 | 100.00 |
ALWAYS | 104 | 9 | 9 | 100.00 |
CONT_ASSIGN | 139 | 1 | 1 | 100.00 |
CONT_ASSIGN | 144 | 1 | 1 | 100.00 |
CONT_ASSIGN | 145 | 1 | 1 | 100.00 |
CONT_ASSIGN | 187 | 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 | |
54 |
1 |
1 |
60 |
1 |
1 |
61 |
1 |
1 |
62 |
1 |
1 |
63 |
1 |
1 |
64 |
1 |
1 |
65 |
1 |
1 |
|
|
|
MISSING_ELSE |
74 |
1 |
1 |
98 |
1 |
1 |
104 |
1 |
1 |
105 |
1 |
1 |
106 |
1 |
1 |
107 |
1 |
1 |
112 |
1 |
1 |
113 |
1 |
1 |
114 |
1 |
1 |
123 |
1 |
1 |
124 |
1 |
1 |
|
|
|
MISSING_ELSE |
139 |
1 |
1 |
144 |
1 |
1 |
145 |
1 |
1 |
187 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_2_cdc
| Total | Covered | Percent |
Conditions | 11 | 10 | 90.91 |
Logical | 11 | 10 | 90.91 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 54
EXPRESSION (src_we_i | src_re_i)
----1--- ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T6,T1,T2 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Covered | T1,T2,T4 |
1 | 1 | Covered | T6,T1,T2 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T4 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T6,T1,T2 |
1 | 1 | Covered | T1,T2,T4 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Unreachable | |
1 | 1 | Unreachable | |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_2_cdc
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
IF |
60 |
4 |
4 |
100.00 |
IF |
104 |
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-: 60 if ((!rst_src_ni))
-2-: 62 if (src_req)
-3-: 64 if (src_ack)
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Covered |
T6,T1,T2 |
0 |
0 |
1 |
Covered |
T1,T2,T4 |
0 |
0 |
0 |
Covered |
T5,T6,T7 |
LineNo. Expression
-1-: 104 if ((!rst_src_ni))
-2-: 107 if (src_req)
-3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Covered |
T6,T1,T2 |
0 |
0 |
1 |
Covered |
T1,T2,T4 |
0 |
0 |
0 |
Covered |
T5,T6,T7 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_2_cdc
Assertion Details
BusySrcReqChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1640345 |
0 |
0 |
T1 |
6683 |
295 |
0 |
0 |
T2 |
49691 |
2860 |
0 |
0 |
T3 |
28537 |
1277 |
0 |
0 |
T4 |
15791 |
927 |
0 |
0 |
T6 |
12449 |
460 |
0 |
0 |
T7 |
9716 |
0 |
0 |
0 |
T8 |
0 |
3299 |
0 |
0 |
T9 |
0 |
3554 |
0 |
0 |
T10 |
0 |
14574 |
0 |
0 |
T26 |
9884 |
0 |
0 |
0 |
T27 |
25664 |
622 |
0 |
0 |
T28 |
42533 |
0 |
0 |
0 |
T29 |
33043 |
0 |
0 |
0 |
T30 |
0 |
1302 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
28609253 |
28290267 |
0 |
0 |
T1 |
82 |
18 |
0 |
0 |
T2 |
98 |
12 |
0 |
0 |
T3 |
86 |
10 |
0 |
0 |
T4 |
63 |
11 |
0 |
0 |
T5 |
91 |
30 |
0 |
0 |
T6 |
98 |
12 |
0 |
0 |
T7 |
73 |
10 |
0 |
0 |
T26 |
281 |
201 |
0 |
0 |
T27 |
106 |
10 |
0 |
0 |
T28 |
87 |
22 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1829 |
0 |
0 |
T1 |
6683 |
1 |
0 |
0 |
T2 |
49691 |
2 |
0 |
0 |
T3 |
28537 |
0 |
0 |
0 |
T4 |
15791 |
1 |
0 |
0 |
T8 |
54171 |
2 |
0 |
0 |
T9 |
0 |
8 |
0 |
0 |
T10 |
0 |
19 |
0 |
0 |
T11 |
0 |
2 |
0 |
0 |
T12 |
0 |
9 |
0 |
0 |
T13 |
0 |
20 |
0 |
0 |
T14 |
0 |
64 |
0 |
0 |
T26 |
9884 |
0 |
0 |
0 |
T27 |
25664 |
0 |
0 |
0 |
T28 |
42533 |
0 |
0 |
0 |
T29 |
33043 |
0 |
0 |
0 |
T30 |
44546 |
0 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
6683 |
6620 |
0 |
0 |
T2 |
49691 |
49596 |
0 |
0 |
T3 |
28537 |
24537 |
0 |
0 |
T4 |
15791 |
15692 |
0 |
0 |
T5 |
5096 |
5039 |
0 |
0 |
T6 |
12449 |
10980 |
0 |
0 |
T7 |
9716 |
9618 |
0 |
0 |
T26 |
9884 |
9821 |
0 |
0 |
T27 |
25664 |
24368 |
0 |
0 |
T28 |
42533 |
42466 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_3_cdc
| Line No. | Total | Covered | Percent |
TOTAL | | 22 | 22 | 100.00 |
CONT_ASSIGN | 54 | 1 | 1 | 100.00 |
ALWAYS | 60 | 6 | 6 | 100.00 |
CONT_ASSIGN | 74 | 1 | 1 | 100.00 |
CONT_ASSIGN | 98 | 1 | 1 | 100.00 |
ALWAYS | 104 | 9 | 9 | 100.00 |
CONT_ASSIGN | 139 | 1 | 1 | 100.00 |
CONT_ASSIGN | 144 | 1 | 1 | 100.00 |
CONT_ASSIGN | 145 | 1 | 1 | 100.00 |
CONT_ASSIGN | 187 | 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 | |
54 |
1 |
1 |
60 |
1 |
1 |
61 |
1 |
1 |
62 |
1 |
1 |
63 |
1 |
1 |
64 |
1 |
1 |
65 |
1 |
1 |
|
|
|
MISSING_ELSE |
74 |
1 |
1 |
98 |
1 |
1 |
104 |
1 |
1 |
105 |
1 |
1 |
106 |
1 |
1 |
107 |
1 |
1 |
112 |
1 |
1 |
113 |
1 |
1 |
114 |
1 |
1 |
123 |
1 |
1 |
124 |
1 |
1 |
|
|
|
MISSING_ELSE |
139 |
1 |
1 |
144 |
1 |
1 |
145 |
1 |
1 |
187 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_3_cdc
| Total | Covered | Percent |
Conditions | 11 | 10 | 90.91 |
Logical | 11 | 10 | 90.91 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 54
EXPRESSION (src_we_i | src_re_i)
----1--- ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T6,T1,T2 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Covered | T1,T2,T4 |
1 | 1 | Covered | T6,T1,T2 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T4 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T6,T1,T2 |
1 | 1 | Covered | T1,T2,T4 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Unreachable | |
1 | 1 | Unreachable | |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_3_cdc
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
IF |
60 |
4 |
4 |
100.00 |
IF |
104 |
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-: 60 if ((!rst_src_ni))
-2-: 62 if (src_req)
-3-: 64 if (src_ack)
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Covered |
T6,T1,T2 |
0 |
0 |
1 |
Covered |
T1,T2,T4 |
0 |
0 |
0 |
Covered |
T5,T6,T7 |
LineNo. Expression
-1-: 104 if ((!rst_src_ni))
-2-: 107 if (src_req)
-3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Covered |
T6,T1,T2 |
0 |
0 |
1 |
Covered |
T1,T2,T4 |
0 |
0 |
0 |
Covered |
T5,T6,T7 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_3_cdc
Assertion Details
BusySrcReqChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1577949 |
0 |
0 |
T1 |
6683 |
303 |
0 |
0 |
T2 |
49691 |
2806 |
0 |
0 |
T3 |
28537 |
1251 |
0 |
0 |
T4 |
15791 |
967 |
0 |
0 |
T6 |
12449 |
396 |
0 |
0 |
T7 |
9716 |
0 |
0 |
0 |
T8 |
0 |
3307 |
0 |
0 |
T9 |
0 |
1901 |
0 |
0 |
T10 |
0 |
15119 |
0 |
0 |
T26 |
9884 |
0 |
0 |
0 |
T27 |
25664 |
578 |
0 |
0 |
T28 |
42533 |
0 |
0 |
0 |
T29 |
33043 |
0 |
0 |
0 |
T30 |
0 |
1262 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
28609253 |
28290267 |
0 |
0 |
T1 |
82 |
18 |
0 |
0 |
T2 |
98 |
12 |
0 |
0 |
T3 |
86 |
10 |
0 |
0 |
T4 |
63 |
11 |
0 |
0 |
T5 |
91 |
30 |
0 |
0 |
T6 |
98 |
12 |
0 |
0 |
T7 |
73 |
10 |
0 |
0 |
T26 |
281 |
201 |
0 |
0 |
T27 |
106 |
10 |
0 |
0 |
T28 |
87 |
22 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1802 |
0 |
0 |
T1 |
6683 |
1 |
0 |
0 |
T2 |
49691 |
2 |
0 |
0 |
T3 |
28537 |
0 |
0 |
0 |
T4 |
15791 |
1 |
0 |
0 |
T8 |
54171 |
2 |
0 |
0 |
T9 |
0 |
4 |
0 |
0 |
T10 |
0 |
20 |
0 |
0 |
T11 |
0 |
2 |
0 |
0 |
T12 |
0 |
7 |
0 |
0 |
T13 |
0 |
6 |
0 |
0 |
T14 |
0 |
64 |
0 |
0 |
T26 |
9884 |
0 |
0 |
0 |
T27 |
25664 |
0 |
0 |
0 |
T28 |
42533 |
0 |
0 |
0 |
T29 |
33043 |
0 |
0 |
0 |
T30 |
44546 |
0 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
6683 |
6620 |
0 |
0 |
T2 |
49691 |
49596 |
0 |
0 |
T3 |
28537 |
24537 |
0 |
0 |
T4 |
15791 |
15692 |
0 |
0 |
T5 |
5096 |
5039 |
0 |
0 |
T6 |
12449 |
10980 |
0 |
0 |
T7 |
9716 |
9618 |
0 |
0 |
T26 |
9884 |
9821 |
0 |
0 |
T27 |
25664 |
24368 |
0 |
0 |
T28 |
42533 |
42466 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_4_cdc
| Line No. | Total | Covered | Percent |
TOTAL | | 22 | 22 | 100.00 |
CONT_ASSIGN | 54 | 1 | 1 | 100.00 |
ALWAYS | 60 | 6 | 6 | 100.00 |
CONT_ASSIGN | 74 | 1 | 1 | 100.00 |
CONT_ASSIGN | 98 | 1 | 1 | 100.00 |
ALWAYS | 104 | 9 | 9 | 100.00 |
CONT_ASSIGN | 139 | 1 | 1 | 100.00 |
CONT_ASSIGN | 144 | 1 | 1 | 100.00 |
CONT_ASSIGN | 145 | 1 | 1 | 100.00 |
CONT_ASSIGN | 187 | 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 | |
54 |
1 |
1 |
60 |
1 |
1 |
61 |
1 |
1 |
62 |
1 |
1 |
63 |
1 |
1 |
64 |
1 |
1 |
65 |
1 |
1 |
|
|
|
MISSING_ELSE |
74 |
1 |
1 |
98 |
1 |
1 |
104 |
1 |
1 |
105 |
1 |
1 |
106 |
1 |
1 |
107 |
1 |
1 |
112 |
1 |
1 |
113 |
1 |
1 |
114 |
1 |
1 |
123 |
1 |
1 |
124 |
1 |
1 |
|
|
|
MISSING_ELSE |
139 |
1 |
1 |
144 |
1 |
1 |
145 |
1 |
1 |
187 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_4_cdc
| Total | Covered | Percent |
Conditions | 11 | 10 | 90.91 |
Logical | 11 | 10 | 90.91 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 54
EXPRESSION (src_we_i | src_re_i)
----1--- ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T6,T1,T2 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Covered | T1,T2,T4 |
1 | 1 | Covered | T6,T1,T2 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T4 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T6,T1,T2 |
1 | 1 | Covered | T1,T2,T4 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Unreachable | |
1 | 1 | Unreachable | |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_4_cdc
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
IF |
60 |
4 |
4 |
100.00 |
IF |
104 |
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-: 60 if ((!rst_src_ni))
-2-: 62 if (src_req)
-3-: 64 if (src_ack)
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Covered |
T6,T1,T2 |
0 |
0 |
1 |
Covered |
T1,T2,T4 |
0 |
0 |
0 |
Covered |
T5,T6,T7 |
LineNo. Expression
-1-: 104 if ((!rst_src_ni))
-2-: 107 if (src_req)
-3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Covered |
T6,T1,T2 |
0 |
0 |
1 |
Covered |
T1,T2,T4 |
0 |
0 |
0 |
Covered |
T5,T6,T7 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_4_cdc
Assertion Details
BusySrcReqChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1624644 |
0 |
0 |
T1 |
6683 |
281 |
0 |
0 |
T2 |
49691 |
2872 |
0 |
0 |
T3 |
28537 |
1188 |
0 |
0 |
T4 |
15791 |
943 |
0 |
0 |
T6 |
12449 |
398 |
0 |
0 |
T7 |
9716 |
0 |
0 |
0 |
T8 |
0 |
3307 |
0 |
0 |
T9 |
0 |
1430 |
0 |
0 |
T10 |
0 |
13271 |
0 |
0 |
T26 |
9884 |
0 |
0 |
0 |
T27 |
25664 |
490 |
0 |
0 |
T28 |
42533 |
0 |
0 |
0 |
T29 |
33043 |
0 |
0 |
0 |
T30 |
0 |
1294 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
28609253 |
28290267 |
0 |
0 |
T1 |
82 |
18 |
0 |
0 |
T2 |
98 |
12 |
0 |
0 |
T3 |
86 |
10 |
0 |
0 |
T4 |
63 |
11 |
0 |
0 |
T5 |
91 |
30 |
0 |
0 |
T6 |
98 |
12 |
0 |
0 |
T7 |
73 |
10 |
0 |
0 |
T26 |
281 |
201 |
0 |
0 |
T27 |
106 |
10 |
0 |
0 |
T28 |
87 |
22 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1832 |
0 |
0 |
T1 |
6683 |
1 |
0 |
0 |
T2 |
49691 |
2 |
0 |
0 |
T3 |
28537 |
0 |
0 |
0 |
T4 |
15791 |
1 |
0 |
0 |
T8 |
54171 |
2 |
0 |
0 |
T9 |
0 |
3 |
0 |
0 |
T10 |
0 |
18 |
0 |
0 |
T11 |
0 |
2 |
0 |
0 |
T12 |
0 |
12 |
0 |
0 |
T13 |
0 |
15 |
0 |
0 |
T14 |
0 |
64 |
0 |
0 |
T26 |
9884 |
0 |
0 |
0 |
T27 |
25664 |
0 |
0 |
0 |
T28 |
42533 |
0 |
0 |
0 |
T29 |
33043 |
0 |
0 |
0 |
T30 |
44546 |
0 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
6683 |
6620 |
0 |
0 |
T2 |
49691 |
49596 |
0 |
0 |
T3 |
28537 |
24537 |
0 |
0 |
T4 |
15791 |
15692 |
0 |
0 |
T5 |
5096 |
5039 |
0 |
0 |
T6 |
12449 |
10980 |
0 |
0 |
T7 |
9716 |
9618 |
0 |
0 |
T26 |
9884 |
9821 |
0 |
0 |
T27 |
25664 |
24368 |
0 |
0 |
T28 |
42533 |
42466 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_5_cdc
| Line No. | Total | Covered | Percent |
TOTAL | | 22 | 22 | 100.00 |
CONT_ASSIGN | 54 | 1 | 1 | 100.00 |
ALWAYS | 60 | 6 | 6 | 100.00 |
CONT_ASSIGN | 74 | 1 | 1 | 100.00 |
CONT_ASSIGN | 98 | 1 | 1 | 100.00 |
ALWAYS | 104 | 9 | 9 | 100.00 |
CONT_ASSIGN | 139 | 1 | 1 | 100.00 |
CONT_ASSIGN | 144 | 1 | 1 | 100.00 |
CONT_ASSIGN | 145 | 1 | 1 | 100.00 |
CONT_ASSIGN | 187 | 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 | |
54 |
1 |
1 |
60 |
1 |
1 |
61 |
1 |
1 |
62 |
1 |
1 |
63 |
1 |
1 |
64 |
1 |
1 |
65 |
1 |
1 |
|
|
|
MISSING_ELSE |
74 |
1 |
1 |
98 |
1 |
1 |
104 |
1 |
1 |
105 |
1 |
1 |
106 |
1 |
1 |
107 |
1 |
1 |
112 |
1 |
1 |
113 |
1 |
1 |
114 |
1 |
1 |
123 |
1 |
1 |
124 |
1 |
1 |
|
|
|
MISSING_ELSE |
139 |
1 |
1 |
144 |
1 |
1 |
145 |
1 |
1 |
187 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_5_cdc
| Total | Covered | Percent |
Conditions | 11 | 10 | 90.91 |
Logical | 11 | 10 | 90.91 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 54
EXPRESSION (src_we_i | src_re_i)
----1--- ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T6,T1,T2 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Covered | T1,T2,T4 |
1 | 1 | Covered | T6,T1,T2 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T4 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T6,T1,T2 |
1 | 1 | Covered | T1,T2,T4 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Unreachable | |
1 | 1 | Unreachable | |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_5_cdc
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
IF |
60 |
4 |
4 |
100.00 |
IF |
104 |
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-: 60 if ((!rst_src_ni))
-2-: 62 if (src_req)
-3-: 64 if (src_ack)
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Covered |
T6,T1,T2 |
0 |
0 |
1 |
Covered |
T1,T2,T4 |
0 |
0 |
0 |
Covered |
T5,T6,T7 |
LineNo. Expression
-1-: 104 if ((!rst_src_ni))
-2-: 107 if (src_req)
-3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Covered |
T6,T1,T2 |
0 |
0 |
1 |
Covered |
T1,T2,T4 |
0 |
0 |
0 |
Covered |
T5,T6,T7 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_5_cdc
Assertion Details
BusySrcReqChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1595411 |
0 |
0 |
T1 |
6683 |
321 |
0 |
0 |
T2 |
49691 |
2858 |
0 |
0 |
T3 |
28537 |
1200 |
0 |
0 |
T4 |
15791 |
935 |
0 |
0 |
T6 |
12449 |
423 |
0 |
0 |
T7 |
9716 |
0 |
0 |
0 |
T8 |
0 |
3303 |
0 |
0 |
T9 |
0 |
474 |
0 |
0 |
T10 |
0 |
13076 |
0 |
0 |
T26 |
9884 |
0 |
0 |
0 |
T27 |
25664 |
589 |
0 |
0 |
T28 |
42533 |
0 |
0 |
0 |
T29 |
33043 |
0 |
0 |
0 |
T30 |
0 |
1292 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
28609253 |
28290267 |
0 |
0 |
T1 |
82 |
18 |
0 |
0 |
T2 |
98 |
12 |
0 |
0 |
T3 |
86 |
10 |
0 |
0 |
T4 |
63 |
11 |
0 |
0 |
T5 |
91 |
30 |
0 |
0 |
T6 |
98 |
12 |
0 |
0 |
T7 |
73 |
10 |
0 |
0 |
T26 |
281 |
201 |
0 |
0 |
T27 |
106 |
10 |
0 |
0 |
T28 |
87 |
22 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1787 |
0 |
0 |
T1 |
6683 |
1 |
0 |
0 |
T2 |
49691 |
2 |
0 |
0 |
T3 |
28537 |
0 |
0 |
0 |
T4 |
15791 |
1 |
0 |
0 |
T8 |
54171 |
2 |
0 |
0 |
T9 |
0 |
1 |
0 |
0 |
T10 |
0 |
17 |
0 |
0 |
T11 |
0 |
2 |
0 |
0 |
T12 |
0 |
12 |
0 |
0 |
T13 |
0 |
19 |
0 |
0 |
T14 |
0 |
64 |
0 |
0 |
T26 |
9884 |
0 |
0 |
0 |
T27 |
25664 |
0 |
0 |
0 |
T28 |
42533 |
0 |
0 |
0 |
T29 |
33043 |
0 |
0 |
0 |
T30 |
44546 |
0 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
6683 |
6620 |
0 |
0 |
T2 |
49691 |
49596 |
0 |
0 |
T3 |
28537 |
24537 |
0 |
0 |
T4 |
15791 |
15692 |
0 |
0 |
T5 |
5096 |
5039 |
0 |
0 |
T6 |
12449 |
10980 |
0 |
0 |
T7 |
9716 |
9618 |
0 |
0 |
T26 |
9884 |
9821 |
0 |
0 |
T27 |
25664 |
24368 |
0 |
0 |
T28 |
42533 |
42466 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_6_cdc
| Line No. | Total | Covered | Percent |
TOTAL | | 22 | 22 | 100.00 |
CONT_ASSIGN | 54 | 1 | 1 | 100.00 |
ALWAYS | 60 | 6 | 6 | 100.00 |
CONT_ASSIGN | 74 | 1 | 1 | 100.00 |
CONT_ASSIGN | 98 | 1 | 1 | 100.00 |
ALWAYS | 104 | 9 | 9 | 100.00 |
CONT_ASSIGN | 139 | 1 | 1 | 100.00 |
CONT_ASSIGN | 144 | 1 | 1 | 100.00 |
CONT_ASSIGN | 145 | 1 | 1 | 100.00 |
CONT_ASSIGN | 187 | 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 | |
54 |
1 |
1 |
60 |
1 |
1 |
61 |
1 |
1 |
62 |
1 |
1 |
63 |
1 |
1 |
64 |
1 |
1 |
65 |
1 |
1 |
|
|
|
MISSING_ELSE |
74 |
1 |
1 |
98 |
1 |
1 |
104 |
1 |
1 |
105 |
1 |
1 |
106 |
1 |
1 |
107 |
1 |
1 |
112 |
1 |
1 |
113 |
1 |
1 |
114 |
1 |
1 |
123 |
1 |
1 |
124 |
1 |
1 |
|
|
|
MISSING_ELSE |
139 |
1 |
1 |
144 |
1 |
1 |
145 |
1 |
1 |
187 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_6_cdc
| Total | Covered | Percent |
Conditions | 11 | 10 | 90.91 |
Logical | 11 | 10 | 90.91 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 54
EXPRESSION (src_we_i | src_re_i)
----1--- ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T6,T1,T2 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Covered | T1,T2,T4 |
1 | 1 | Covered | T6,T1,T2 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T4 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T6,T1,T2 |
1 | 1 | Covered | T1,T2,T4 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Unreachable | |
1 | 1 | Unreachable | |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_6_cdc
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
IF |
60 |
4 |
4 |
100.00 |
IF |
104 |
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-: 60 if ((!rst_src_ni))
-2-: 62 if (src_req)
-3-: 64 if (src_ack)
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Covered |
T6,T1,T2 |
0 |
0 |
1 |
Covered |
T1,T2,T4 |
0 |
0 |
0 |
Covered |
T5,T6,T7 |
LineNo. Expression
-1-: 104 if ((!rst_src_ni))
-2-: 107 if (src_req)
-3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Covered |
T6,T1,T2 |
0 |
0 |
1 |
Covered |
T1,T2,T4 |
0 |
0 |
0 |
Covered |
T5,T6,T7 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_6_cdc
Assertion Details
BusySrcReqChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1569655 |
0 |
0 |
T1 |
6683 |
313 |
0 |
0 |
T2 |
49691 |
2848 |
0 |
0 |
T3 |
28537 |
1345 |
0 |
0 |
T4 |
15791 |
949 |
0 |
0 |
T6 |
12449 |
398 |
0 |
0 |
T7 |
9716 |
0 |
0 |
0 |
T8 |
0 |
3273 |
0 |
0 |
T9 |
0 |
952 |
0 |
0 |
T10 |
0 |
14955 |
0 |
0 |
T26 |
9884 |
0 |
0 |
0 |
T27 |
25664 |
615 |
0 |
0 |
T28 |
42533 |
0 |
0 |
0 |
T29 |
33043 |
0 |
0 |
0 |
T30 |
0 |
1294 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
28609253 |
28290267 |
0 |
0 |
T1 |
82 |
18 |
0 |
0 |
T2 |
98 |
12 |
0 |
0 |
T3 |
86 |
10 |
0 |
0 |
T4 |
63 |
11 |
0 |
0 |
T5 |
91 |
30 |
0 |
0 |
T6 |
98 |
12 |
0 |
0 |
T7 |
73 |
10 |
0 |
0 |
T26 |
281 |
201 |
0 |
0 |
T27 |
106 |
10 |
0 |
0 |
T28 |
87 |
22 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1793 |
0 |
0 |
T1 |
6683 |
1 |
0 |
0 |
T2 |
49691 |
2 |
0 |
0 |
T3 |
28537 |
0 |
0 |
0 |
T4 |
15791 |
1 |
0 |
0 |
T8 |
54171 |
2 |
0 |
0 |
T9 |
0 |
2 |
0 |
0 |
T10 |
0 |
20 |
0 |
0 |
T11 |
0 |
2 |
0 |
0 |
T12 |
0 |
16 |
0 |
0 |
T13 |
0 |
8 |
0 |
0 |
T14 |
0 |
64 |
0 |
0 |
T26 |
9884 |
0 |
0 |
0 |
T27 |
25664 |
0 |
0 |
0 |
T28 |
42533 |
0 |
0 |
0 |
T29 |
33043 |
0 |
0 |
0 |
T30 |
44546 |
0 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
6683 |
6620 |
0 |
0 |
T2 |
49691 |
49596 |
0 |
0 |
T3 |
28537 |
24537 |
0 |
0 |
T4 |
15791 |
15692 |
0 |
0 |
T5 |
5096 |
5039 |
0 |
0 |
T6 |
12449 |
10980 |
0 |
0 |
T7 |
9716 |
9618 |
0 |
0 |
T26 |
9884 |
9821 |
0 |
0 |
T27 |
25664 |
24368 |
0 |
0 |
T28 |
42533 |
42466 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_7_cdc
| Line No. | Total | Covered | Percent |
TOTAL | | 22 | 22 | 100.00 |
CONT_ASSIGN | 54 | 1 | 1 | 100.00 |
ALWAYS | 60 | 6 | 6 | 100.00 |
CONT_ASSIGN | 74 | 1 | 1 | 100.00 |
CONT_ASSIGN | 98 | 1 | 1 | 100.00 |
ALWAYS | 104 | 9 | 9 | 100.00 |
CONT_ASSIGN | 139 | 1 | 1 | 100.00 |
CONT_ASSIGN | 144 | 1 | 1 | 100.00 |
CONT_ASSIGN | 145 | 1 | 1 | 100.00 |
CONT_ASSIGN | 187 | 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 | |
54 |
1 |
1 |
60 |
1 |
1 |
61 |
1 |
1 |
62 |
1 |
1 |
63 |
1 |
1 |
64 |
1 |
1 |
65 |
1 |
1 |
|
|
|
MISSING_ELSE |
74 |
1 |
1 |
98 |
1 |
1 |
104 |
1 |
1 |
105 |
1 |
1 |
106 |
1 |
1 |
107 |
1 |
1 |
112 |
1 |
1 |
113 |
1 |
1 |
114 |
1 |
1 |
123 |
1 |
1 |
124 |
1 |
1 |
|
|
|
MISSING_ELSE |
139 |
1 |
1 |
144 |
1 |
1 |
145 |
1 |
1 |
187 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_7_cdc
| Total | Covered | Percent |
Conditions | 11 | 10 | 90.91 |
Logical | 11 | 10 | 90.91 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 54
EXPRESSION (src_we_i | src_re_i)
----1--- ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T6,T1,T2 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Covered | T1,T2,T4 |
1 | 1 | Covered | T6,T1,T2 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T4 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T6,T1,T2 |
1 | 1 | Covered | T1,T2,T4 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Unreachable | |
1 | 1 | Unreachable | |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_7_cdc
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
IF |
60 |
4 |
4 |
100.00 |
IF |
104 |
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-: 60 if ((!rst_src_ni))
-2-: 62 if (src_req)
-3-: 64 if (src_ack)
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Covered |
T6,T1,T2 |
0 |
0 |
1 |
Covered |
T1,T2,T4 |
0 |
0 |
0 |
Covered |
T5,T6,T7 |
LineNo. Expression
-1-: 104 if ((!rst_src_ni))
-2-: 107 if (src_req)
-3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Covered |
T6,T1,T2 |
0 |
0 |
1 |
Covered |
T1,T2,T4 |
0 |
0 |
0 |
Covered |
T5,T6,T7 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_7_cdc
Assertion Details
BusySrcReqChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1605906 |
0 |
0 |
T1 |
6683 |
289 |
0 |
0 |
T2 |
49691 |
2858 |
0 |
0 |
T3 |
28537 |
1381 |
0 |
0 |
T4 |
15791 |
973 |
0 |
0 |
T6 |
12449 |
398 |
0 |
0 |
T7 |
9716 |
0 |
0 |
0 |
T8 |
0 |
3313 |
0 |
0 |
T9 |
0 |
4514 |
0 |
0 |
T10 |
0 |
15426 |
0 |
0 |
T26 |
9884 |
0 |
0 |
0 |
T27 |
25664 |
632 |
0 |
0 |
T28 |
42533 |
0 |
0 |
0 |
T29 |
33043 |
0 |
0 |
0 |
T30 |
0 |
1276 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
28609253 |
28290267 |
0 |
0 |
T1 |
82 |
18 |
0 |
0 |
T2 |
98 |
12 |
0 |
0 |
T3 |
86 |
10 |
0 |
0 |
T4 |
63 |
11 |
0 |
0 |
T5 |
91 |
30 |
0 |
0 |
T6 |
98 |
12 |
0 |
0 |
T7 |
73 |
10 |
0 |
0 |
T26 |
281 |
201 |
0 |
0 |
T27 |
106 |
10 |
0 |
0 |
T28 |
87 |
22 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1824 |
0 |
0 |
T1 |
6683 |
1 |
0 |
0 |
T2 |
49691 |
2 |
0 |
0 |
T3 |
28537 |
0 |
0 |
0 |
T4 |
15791 |
1 |
0 |
0 |
T8 |
54171 |
2 |
0 |
0 |
T9 |
0 |
10 |
0 |
0 |
T10 |
0 |
20 |
0 |
0 |
T11 |
0 |
2 |
0 |
0 |
T12 |
0 |
11 |
0 |
0 |
T13 |
0 |
16 |
0 |
0 |
T14 |
0 |
64 |
0 |
0 |
T26 |
9884 |
0 |
0 |
0 |
T27 |
25664 |
0 |
0 |
0 |
T28 |
42533 |
0 |
0 |
0 |
T29 |
33043 |
0 |
0 |
0 |
T30 |
44546 |
0 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
6683 |
6620 |
0 |
0 |
T2 |
49691 |
49596 |
0 |
0 |
T3 |
28537 |
24537 |
0 |
0 |
T4 |
15791 |
15692 |
0 |
0 |
T5 |
5096 |
5039 |
0 |
0 |
T6 |
12449 |
10980 |
0 |
0 |
T7 |
9716 |
9618 |
0 |
0 |
T26 |
9884 |
9821 |
0 |
0 |
T27 |
25664 |
24368 |
0 |
0 |
T28 |
42533 |
42466 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_wakeup_ctl_cdc
| Line No. | Total | Covered | Percent |
TOTAL | | 22 | 22 | 100.00 |
CONT_ASSIGN | 54 | 1 | 1 | 100.00 |
ALWAYS | 60 | 6 | 6 | 100.00 |
CONT_ASSIGN | 74 | 1 | 1 | 100.00 |
CONT_ASSIGN | 98 | 1 | 1 | 100.00 |
ALWAYS | 104 | 9 | 9 | 100.00 |
CONT_ASSIGN | 139 | 1 | 1 | 100.00 |
CONT_ASSIGN | 144 | 1 | 1 | 100.00 |
CONT_ASSIGN | 145 | 1 | 1 | 100.00 |
CONT_ASSIGN | 187 | 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 | |
54 |
1 |
1 |
60 |
1 |
1 |
61 |
1 |
1 |
62 |
1 |
1 |
63 |
1 |
1 |
64 |
1 |
1 |
65 |
1 |
1 |
|
|
|
MISSING_ELSE |
74 |
1 |
1 |
98 |
1 |
1 |
104 |
1 |
1 |
105 |
1 |
1 |
106 |
1 |
1 |
107 |
1 |
1 |
112 |
1 |
1 |
113 |
1 |
1 |
114 |
1 |
1 |
123 |
1 |
1 |
124 |
1 |
1 |
|
|
|
MISSING_ELSE |
139 |
1 |
1 |
144 |
1 |
1 |
145 |
1 |
1 |
187 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_wakeup_ctl_cdc
| Total | Covered | Percent |
Conditions | 11 | 10 | 90.91 |
Logical | 11 | 10 | 90.91 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 54
EXPRESSION (src_we_i | src_re_i)
----1--- ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T6,T1,T2 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Covered | T1,T2,T4 |
1 | 1 | Covered | T6,T1,T2 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T4 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T6,T1,T2 |
1 | 1 | Covered | T1,T2,T4 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Unreachable | |
1 | 1 | Unreachable | |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_wakeup_ctl_cdc
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
IF |
60 |
4 |
4 |
100.00 |
IF |
104 |
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-: 60 if ((!rst_src_ni))
-2-: 62 if (src_req)
-3-: 64 if (src_ack)
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Covered |
T6,T1,T2 |
0 |
0 |
1 |
Covered |
T1,T2,T4 |
0 |
0 |
0 |
Covered |
T5,T6,T7 |
LineNo. Expression
-1-: 104 if ((!rst_src_ni))
-2-: 107 if (src_req)
-3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Covered |
T6,T1,T2 |
0 |
0 |
1 |
Covered |
T1,T2,T4 |
0 |
0 |
0 |
Covered |
T5,T6,T7 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_wakeup_ctl_cdc
Assertion Details
BusySrcReqChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1186974 |
0 |
0 |
T1 |
6683 |
307 |
0 |
0 |
T2 |
49691 |
2886 |
0 |
0 |
T3 |
28537 |
1165 |
0 |
0 |
T4 |
15791 |
963 |
0 |
0 |
T6 |
12449 |
425 |
0 |
0 |
T7 |
9716 |
0 |
0 |
0 |
T8 |
0 |
3307 |
0 |
0 |
T9 |
0 |
4801 |
0 |
0 |
T10 |
0 |
13898 |
0 |
0 |
T26 |
9884 |
0 |
0 |
0 |
T27 |
25664 |
599 |
0 |
0 |
T28 |
42533 |
0 |
0 |
0 |
T29 |
33043 |
0 |
0 |
0 |
T30 |
0 |
1254 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
28609253 |
28290267 |
0 |
0 |
T1 |
82 |
18 |
0 |
0 |
T2 |
98 |
12 |
0 |
0 |
T3 |
86 |
10 |
0 |
0 |
T4 |
63 |
11 |
0 |
0 |
T5 |
91 |
30 |
0 |
0 |
T6 |
98 |
12 |
0 |
0 |
T7 |
73 |
10 |
0 |
0 |
T26 |
281 |
201 |
0 |
0 |
T27 |
106 |
10 |
0 |
0 |
T28 |
87 |
22 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1337 |
0 |
0 |
T1 |
6683 |
1 |
0 |
0 |
T2 |
49691 |
2 |
0 |
0 |
T3 |
28537 |
0 |
0 |
0 |
T4 |
15791 |
1 |
0 |
0 |
T8 |
54171 |
2 |
0 |
0 |
T9 |
0 |
11 |
0 |
0 |
T10 |
0 |
18 |
0 |
0 |
T11 |
0 |
2 |
0 |
0 |
T12 |
0 |
15 |
0 |
0 |
T13 |
0 |
7 |
0 |
0 |
T14 |
0 |
64 |
0 |
0 |
T26 |
9884 |
0 |
0 |
0 |
T27 |
25664 |
0 |
0 |
0 |
T28 |
42533 |
0 |
0 |
0 |
T29 |
33043 |
0 |
0 |
0 |
T30 |
44546 |
0 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
6683 |
6620 |
0 |
0 |
T2 |
49691 |
49596 |
0 |
0 |
T3 |
28537 |
24537 |
0 |
0 |
T4 |
15791 |
15692 |
0 |
0 |
T5 |
5096 |
5039 |
0 |
0 |
T6 |
12449 |
10980 |
0 |
0 |
T7 |
9716 |
9618 |
0 |
0 |
T26 |
9884 |
9821 |
0 |
0 |
T27 |
25664 |
24368 |
0 |
0 |
T28 |
42533 |
42466 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_fsm_rst_cdc
| Line No. | Total | Covered | Percent |
TOTAL | | 22 | 22 | 100.00 |
CONT_ASSIGN | 54 | 1 | 1 | 100.00 |
ALWAYS | 60 | 6 | 6 | 100.00 |
CONT_ASSIGN | 74 | 1 | 1 | 100.00 |
CONT_ASSIGN | 98 | 1 | 1 | 100.00 |
ALWAYS | 104 | 9 | 9 | 100.00 |
CONT_ASSIGN | 139 | 1 | 1 | 100.00 |
CONT_ASSIGN | 144 | 1 | 1 | 100.00 |
CONT_ASSIGN | 145 | 1 | 1 | 100.00 |
CONT_ASSIGN | 187 | 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 | |
54 |
1 |
1 |
60 |
1 |
1 |
61 |
1 |
1 |
62 |
1 |
1 |
63 |
1 |
1 |
64 |
1 |
1 |
65 |
1 |
1 |
|
|
|
MISSING_ELSE |
74 |
1 |
1 |
98 |
1 |
1 |
104 |
1 |
1 |
105 |
1 |
1 |
106 |
1 |
1 |
107 |
1 |
1 |
112 |
1 |
1 |
113 |
1 |
1 |
114 |
1 |
1 |
123 |
1 |
1 |
124 |
1 |
1 |
|
|
|
MISSING_ELSE |
139 |
1 |
1 |
144 |
1 |
1 |
145 |
1 |
1 |
187 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_fsm_rst_cdc
| Total | Covered | Percent |
Conditions | 13 | 12 | 92.31 |
Logical | 13 | 12 | 92.31 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 54
EXPRESSION (src_we_i | src_re_i)
----1--- ----2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T6,T1,T2 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Covered | T1,T2,T4 |
1 | 1 | Covered | T6,T1,T2 |
LINE 112
EXPRESSION (src_wd_i & BitMask)
----1--- ---2---
-1- | -2- | Status | Tests |
0 | - | Covered | T1,T2,T3 |
1 | - | Covered | T6,T3,T4 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T5,T6,T7 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T4 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T6,T1,T2 |
1 | 1 | Covered | T1,T2,T4 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Unreachable | |
1 | 1 | Unreachable | |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_fsm_rst_cdc
| Line No. | Total | Covered | Percent |
Branches |
|
8 |
8 |
100.00 |
IF |
60 |
4 |
4 |
100.00 |
IF |
104 |
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-: 60 if ((!rst_src_ni))
-2-: 62 if (src_req)
-3-: 64 if (src_ack)
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Covered |
T6,T1,T2 |
0 |
0 |
1 |
Covered |
T1,T2,T4 |
0 |
0 |
0 |
Covered |
T5,T6,T7 |
LineNo. Expression
-1-: 104 if ((!rst_src_ni))
-2-: 107 if (src_req)
-3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T5,T6,T7 |
0 |
1 |
- |
Covered |
T6,T1,T2 |
0 |
0 |
1 |
Covered |
T1,T2,T4 |
0 |
0 |
0 |
Covered |
T5,T6,T7 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_fsm_rst_cdc
Assertion Details
BusySrcReqChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
15953358 |
0 |
0 |
T1 |
6683 |
305 |
0 |
0 |
T2 |
49691 |
2868 |
0 |
0 |
T3 |
28537 |
1383 |
0 |
0 |
T4 |
15791 |
975 |
0 |
0 |
T6 |
12449 |
386 |
0 |
0 |
T7 |
9716 |
0 |
0 |
0 |
T8 |
0 |
3303 |
0 |
0 |
T9 |
0 |
3567 |
0 |
0 |
T10 |
0 |
13771 |
0 |
0 |
T26 |
9884 |
0 |
0 |
0 |
T27 |
25664 |
464 |
0 |
0 |
T28 |
42533 |
0 |
0 |
0 |
T29 |
33043 |
0 |
0 |
0 |
T30 |
0 |
1254 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
28609253 |
28290267 |
0 |
0 |
T1 |
82 |
18 |
0 |
0 |
T2 |
98 |
12 |
0 |
0 |
T3 |
86 |
10 |
0 |
0 |
T4 |
63 |
11 |
0 |
0 |
T5 |
91 |
30 |
0 |
0 |
T6 |
98 |
12 |
0 |
0 |
T7 |
73 |
10 |
0 |
0 |
T26 |
281 |
201 |
0 |
0 |
T27 |
106 |
10 |
0 |
0 |
T28 |
87 |
22 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
17695 |
0 |
0 |
T1 |
6683 |
1 |
0 |
0 |
T2 |
49691 |
2 |
0 |
0 |
T3 |
28537 |
0 |
0 |
0 |
T4 |
15791 |
1 |
0 |
0 |
T8 |
54171 |
2 |
0 |
0 |
T9 |
0 |
8 |
0 |
0 |
T10 |
0 |
18 |
0 |
0 |
T11 |
0 |
2 |
0 |
0 |
T12 |
0 |
15 |
0 |
0 |
T13 |
0 |
7 |
0 |
0 |
T14 |
0 |
64 |
0 |
0 |
T26 |
9884 |
0 |
0 |
0 |
T27 |
25664 |
0 |
0 |
0 |
T28 |
42533 |
0 |
0 |
0 |
T29 |
33043 |
0 |
0 |
0 |
T30 |
44546 |
0 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
6683 |
6620 |
0 |
0 |
T2 |
49691 |
49596 |
0 |
0 |
T3 |
28537 |
24537 |
0 |
0 |
T4 |
15791 |
15692 |
0 |
0 |
T5 |
5096 |
5039 |
0 |
0 |
T6 |
12449 |
10980 |
0 |
0 |
T7 |
9716 |
9618 |
0 |
0 |
T26 |
9884 |
9821 |
0 |
0 |
T27 |
25664 |
24368 |
0 |
0 |
T28 |
42533 |
42466 |
0 |
0 |