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 | T1,T2,T5 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T5 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
1 | 0 | Covered | T1,T2,T5 |
1 | 1 | Covered | T1,T2,T5 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T5 |
0 | 1 | Covered | T11,T12,T13 |
1 | 0 | Covered | T1,T2,T5 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T5 |
1 | 1 | Covered | T1,T2,T5 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
1 | 0 | Not Covered | |
1 | 1 | Covered | T11,T12,T13 |
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 | T1,T2,T5 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 112
EXPRESSION (src_wd_i & BitMask)
----1--- ---2---
-1- | -2- | Status | Tests |
0 | - | Covered | T1,T3,T6 |
1 | - | Covered | T1,T2,T4 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T5 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Covered |
T1,T2,T5 |
0 |
0 |
1 |
Covered |
T1,T2,T5 |
0 |
0 |
0 |
Covered |
T1,T2,T5 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Covered |
T1,T2,T5 |
0 |
0 |
1 |
Covered |
T1,T2,T5 |
0 |
0 |
0 |
Covered |
T1,T2,T5 |
Assert Coverage for Module :
prim_reg_cdc
Assertion Details
BusySrcReqChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
174821870 |
0 |
0 |
T1 |
2913111 |
94804 |
0 |
0 |
T2 |
374141 |
17436 |
0 |
0 |
T3 |
324093 |
8105 |
0 |
0 |
T4 |
335386 |
5203 |
0 |
0 |
T5 |
550068 |
1922 |
0 |
0 |
T6 |
0 |
408806 |
0 |
0 |
T7 |
0 |
61263 |
0 |
0 |
T8 |
0 |
119011 |
0 |
0 |
T9 |
0 |
22526 |
0 |
0 |
T10 |
0 |
80144 |
0 |
0 |
T24 |
573873 |
1927 |
0 |
0 |
T25 |
292836 |
924 |
0 |
0 |
T26 |
303094 |
891 |
0 |
0 |
T27 |
1155888 |
3201 |
0 |
0 |
T28 |
651337 |
3475 |
0 |
0 |
T29 |
0 |
1126 |
0 |
0 |
T35 |
0 |
5127 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
795251050 |
787527100 |
0 |
0 |
T1 |
23425 |
1850 |
0 |
0 |
T2 |
3225 |
525 |
0 |
0 |
T3 |
2775 |
325 |
0 |
0 |
T4 |
4825 |
2325 |
0 |
0 |
T5 |
2350 |
150 |
0 |
0 |
T24 |
2450 |
150 |
0 |
0 |
T25 |
2525 |
200 |
0 |
0 |
T26 |
2600 |
1200 |
0 |
0 |
T27 |
2525 |
100 |
0 |
0 |
T28 |
1400 |
125 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
193424 |
0 |
0 |
T1 |
2913111 |
218 |
0 |
0 |
T2 |
374141 |
38 |
0 |
0 |
T3 |
324093 |
25 |
0 |
0 |
T4 |
335386 |
25 |
0 |
0 |
T5 |
550068 |
2 |
0 |
0 |
T6 |
0 |
246 |
0 |
0 |
T7 |
0 |
42 |
0 |
0 |
T8 |
0 |
138 |
0 |
0 |
T9 |
0 |
12 |
0 |
0 |
T10 |
0 |
203 |
0 |
0 |
T24 |
573873 |
2 |
0 |
0 |
T25 |
292836 |
2 |
0 |
0 |
T26 |
303094 |
2 |
0 |
0 |
T27 |
1155888 |
2 |
0 |
0 |
T28 |
651337 |
2 |
0 |
0 |
T29 |
0 |
37 |
0 |
0 |
T36 |
0 |
18 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
3166425 |
3145125 |
0 |
0 |
T2 |
406675 |
366800 |
0 |
0 |
T3 |
352275 |
351000 |
0 |
0 |
T4 |
364550 |
363025 |
0 |
0 |
T5 |
597900 |
596500 |
0 |
0 |
T24 |
623775 |
622500 |
0 |
0 |
T25 |
318300 |
316300 |
0 |
0 |
T26 |
329450 |
327800 |
0 |
0 |
T27 |
1256400 |
1254200 |
0 |
0 |
T28 |
707975 |
706525 |
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 | T1,T2,T5 |
0 | 1 | Unreachable | |
1 | 0 | Unreachable | |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
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 | T1,T2,T5 |
0 | 1 | Covered | T11,T12,T13 |
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 | T1,T2,T5 |
1 | 0 | Not Covered | |
1 | 1 | Covered | T11,T12,T13 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Unreachable |
|
0 |
0 |
1 |
Not Covered |
|
0 |
0 |
0 |
Covered |
T1,T2,T5 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Unreachable |
|
0 |
0 |
1 |
Covered |
T11,T12,T13 |
0 |
0 |
0 |
Covered |
T1,T2,T5 |
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 |
31810042 |
31501084 |
0 |
0 |
T1 |
937 |
74 |
0 |
0 |
T2 |
129 |
21 |
0 |
0 |
T3 |
111 |
13 |
0 |
0 |
T4 |
193 |
93 |
0 |
0 |
T5 |
94 |
6 |
0 |
0 |
T24 |
98 |
6 |
0 |
0 |
T25 |
101 |
8 |
0 |
0 |
T26 |
104 |
48 |
0 |
0 |
T27 |
101 |
4 |
0 |
0 |
T28 |
56 |
5 |
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 |
126657 |
125805 |
0 |
0 |
T2 |
16267 |
14672 |
0 |
0 |
T3 |
14091 |
14040 |
0 |
0 |
T4 |
14582 |
14521 |
0 |
0 |
T5 |
23916 |
23860 |
0 |
0 |
T24 |
24951 |
24900 |
0 |
0 |
T25 |
12732 |
12652 |
0 |
0 |
T26 |
13178 |
13112 |
0 |
0 |
T27 |
50256 |
50168 |
0 |
0 |
T28 |
28319 |
28261 |
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 | T1,T2,T5 |
0 | 1 | Unreachable | |
1 | 0 | Unreachable | |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
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 | T1,T2,T5 |
0 | 1 | Covered | T11,T12,T13 |
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 | T1,T2,T5 |
1 | 0 | Not Covered | |
1 | 1 | Covered | T11,T12,T13 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Unreachable |
|
0 |
0 |
1 |
Not Covered |
|
0 |
0 |
0 |
Covered |
T1,T2,T5 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Unreachable |
|
0 |
0 |
1 |
Covered |
T11,T12,T13 |
0 |
0 |
0 |
Covered |
T1,T2,T5 |
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 |
31810042 |
31501084 |
0 |
0 |
T1 |
937 |
74 |
0 |
0 |
T2 |
129 |
21 |
0 |
0 |
T3 |
111 |
13 |
0 |
0 |
T4 |
193 |
93 |
0 |
0 |
T5 |
94 |
6 |
0 |
0 |
T24 |
98 |
6 |
0 |
0 |
T25 |
101 |
8 |
0 |
0 |
T26 |
104 |
48 |
0 |
0 |
T27 |
101 |
4 |
0 |
0 |
T28 |
56 |
5 |
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 |
126657 |
125805 |
0 |
0 |
T2 |
16267 |
14672 |
0 |
0 |
T3 |
14091 |
14040 |
0 |
0 |
T4 |
14582 |
14521 |
0 |
0 |
T5 |
23916 |
23860 |
0 |
0 |
T24 |
24951 |
24900 |
0 |
0 |
T25 |
12732 |
12652 |
0 |
0 |
T26 |
13178 |
13112 |
0 |
0 |
T27 |
50256 |
50168 |
0 |
0 |
T28 |
28319 |
28261 |
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 | T1,T2,T5 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T5 |
0 | 1 | Covered | T11,T13,T14 |
1 | 0 | Covered | T1,T2,T3 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
1 | 0 | Not Covered | |
1 | 1 | Covered | T11,T13,T14 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T5 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T5 |
Assert Coverage for Instance : tb.dut.u_reg.u_filter_status_cdc
Assertion Details
BusySrcReqChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
61121233 |
0 |
0 |
T1 |
126657 |
4449 |
0 |
0 |
T2 |
16267 |
695 |
0 |
0 |
T3 |
14091 |
333 |
0 |
0 |
T4 |
14582 |
221 |
0 |
0 |
T5 |
23916 |
0 |
0 |
0 |
T6 |
0 |
24927 |
0 |
0 |
T7 |
0 |
3843 |
0 |
0 |
T8 |
0 |
4199 |
0 |
0 |
T9 |
0 |
1130 |
0 |
0 |
T10 |
0 |
3966 |
0 |
0 |
T24 |
24951 |
0 |
0 |
0 |
T25 |
12732 |
0 |
0 |
0 |
T26 |
13178 |
0 |
0 |
0 |
T27 |
50256 |
0 |
0 |
0 |
T28 |
28319 |
0 |
0 |
0 |
T35 |
0 |
428 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
31810042 |
31501084 |
0 |
0 |
T1 |
937 |
74 |
0 |
0 |
T2 |
129 |
21 |
0 |
0 |
T3 |
111 |
13 |
0 |
0 |
T4 |
193 |
93 |
0 |
0 |
T5 |
94 |
6 |
0 |
0 |
T24 |
98 |
6 |
0 |
0 |
T25 |
101 |
8 |
0 |
0 |
T26 |
104 |
48 |
0 |
0 |
T27 |
101 |
4 |
0 |
0 |
T28 |
56 |
5 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
66476 |
0 |
0 |
T1 |
126657 |
10 |
0 |
0 |
T2 |
16267 |
1 |
0 |
0 |
T3 |
14091 |
1 |
0 |
0 |
T4 |
14582 |
1 |
0 |
0 |
T5 |
23916 |
0 |
0 |
0 |
T6 |
0 |
12 |
0 |
0 |
T7 |
0 |
2 |
0 |
0 |
T8 |
0 |
4 |
0 |
0 |
T9 |
0 |
1 |
0 |
0 |
T10 |
0 |
10 |
0 |
0 |
T24 |
24951 |
0 |
0 |
0 |
T25 |
12732 |
0 |
0 |
0 |
T26 |
13178 |
0 |
0 |
0 |
T27 |
50256 |
0 |
0 |
0 |
T28 |
28319 |
0 |
0 |
0 |
T29 |
0 |
1 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
126657 |
125805 |
0 |
0 |
T2 |
16267 |
14672 |
0 |
0 |
T3 |
14091 |
14040 |
0 |
0 |
T4 |
14582 |
14521 |
0 |
0 |
T5 |
23916 |
23860 |
0 |
0 |
T24 |
24951 |
24900 |
0 |
0 |
T25 |
12732 |
12652 |
0 |
0 |
T26 |
13178 |
13112 |
0 |
0 |
T27 |
50256 |
50168 |
0 |
0 |
T28 |
28319 |
28261 |
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 | T1,T2,T5 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T5 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T5 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T5 |
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 |
30903165 |
0 |
0 |
T1 |
126657 |
3419 |
0 |
0 |
T2 |
16267 |
725 |
0 |
0 |
T3 |
14091 |
256 |
0 |
0 |
T4 |
14582 |
175 |
0 |
0 |
T5 |
23916 |
0 |
0 |
0 |
T6 |
0 |
8011 |
0 |
0 |
T7 |
0 |
2850 |
0 |
0 |
T8 |
0 |
3444 |
0 |
0 |
T9 |
0 |
1086 |
0 |
0 |
T10 |
0 |
3634 |
0 |
0 |
T24 |
24951 |
0 |
0 |
0 |
T25 |
12732 |
0 |
0 |
0 |
T26 |
13178 |
0 |
0 |
0 |
T27 |
50256 |
0 |
0 |
0 |
T28 |
28319 |
0 |
0 |
0 |
T35 |
0 |
294 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
31810042 |
31501084 |
0 |
0 |
T1 |
937 |
74 |
0 |
0 |
T2 |
129 |
21 |
0 |
0 |
T3 |
111 |
13 |
0 |
0 |
T4 |
193 |
93 |
0 |
0 |
T5 |
94 |
6 |
0 |
0 |
T24 |
98 |
6 |
0 |
0 |
T25 |
101 |
8 |
0 |
0 |
T26 |
104 |
48 |
0 |
0 |
T27 |
101 |
4 |
0 |
0 |
T28 |
56 |
5 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
35608 |
0 |
0 |
T1 |
126657 |
8 |
0 |
0 |
T2 |
16267 |
2 |
0 |
0 |
T3 |
14091 |
1 |
0 |
0 |
T4 |
14582 |
1 |
0 |
0 |
T5 |
23916 |
0 |
0 |
0 |
T6 |
0 |
5 |
0 |
0 |
T7 |
0 |
2 |
0 |
0 |
T8 |
0 |
4 |
0 |
0 |
T9 |
0 |
1 |
0 |
0 |
T10 |
0 |
9 |
0 |
0 |
T24 |
24951 |
0 |
0 |
0 |
T25 |
12732 |
0 |
0 |
0 |
T26 |
13178 |
0 |
0 |
0 |
T27 |
50256 |
0 |
0 |
0 |
T28 |
28319 |
0 |
0 |
0 |
T29 |
0 |
1 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
126657 |
125805 |
0 |
0 |
T2 |
16267 |
14672 |
0 |
0 |
T3 |
14091 |
14040 |
0 |
0 |
T4 |
14582 |
14521 |
0 |
0 |
T5 |
23916 |
23860 |
0 |
0 |
T24 |
24951 |
24900 |
0 |
0 |
T25 |
12732 |
12652 |
0 |
0 |
T26 |
13178 |
13112 |
0 |
0 |
T27 |
50256 |
50168 |
0 |
0 |
T28 |
28319 |
28261 |
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 | T1,T2,T5 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T5 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T5 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T5 |
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 |
14293279 |
0 |
0 |
T1 |
126657 |
3513 |
0 |
0 |
T2 |
16267 |
650 |
0 |
0 |
T3 |
14091 |
253 |
0 |
0 |
T4 |
14582 |
214 |
0 |
0 |
T5 |
23916 |
0 |
0 |
0 |
T6 |
0 |
14539 |
0 |
0 |
T7 |
0 |
2934 |
0 |
0 |
T8 |
0 |
5752 |
0 |
0 |
T9 |
0 |
1145 |
0 |
0 |
T10 |
0 |
4009 |
0 |
0 |
T24 |
24951 |
0 |
0 |
0 |
T25 |
12732 |
0 |
0 |
0 |
T26 |
13178 |
0 |
0 |
0 |
T27 |
50256 |
0 |
0 |
0 |
T28 |
28319 |
0 |
0 |
0 |
T29 |
0 |
452 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
31810042 |
31501084 |
0 |
0 |
T1 |
937 |
74 |
0 |
0 |
T2 |
129 |
21 |
0 |
0 |
T3 |
111 |
13 |
0 |
0 |
T4 |
193 |
93 |
0 |
0 |
T5 |
94 |
6 |
0 |
0 |
T24 |
98 |
6 |
0 |
0 |
T25 |
101 |
8 |
0 |
0 |
T26 |
104 |
48 |
0 |
0 |
T27 |
101 |
4 |
0 |
0 |
T28 |
56 |
5 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
16736 |
0 |
0 |
T1 |
126657 |
8 |
0 |
0 |
T2 |
16267 |
1 |
0 |
0 |
T3 |
14091 |
1 |
0 |
0 |
T4 |
14582 |
1 |
0 |
0 |
T5 |
23916 |
0 |
0 |
0 |
T6 |
0 |
9 |
0 |
0 |
T7 |
0 |
2 |
0 |
0 |
T8 |
0 |
7 |
0 |
0 |
T10 |
0 |
10 |
0 |
0 |
T24 |
24951 |
0 |
0 |
0 |
T25 |
12732 |
0 |
0 |
0 |
T26 |
13178 |
0 |
0 |
0 |
T27 |
50256 |
0 |
0 |
0 |
T28 |
28319 |
0 |
0 |
0 |
T29 |
0 |
2 |
0 |
0 |
T36 |
0 |
2 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
126657 |
125805 |
0 |
0 |
T2 |
16267 |
14672 |
0 |
0 |
T3 |
14091 |
14040 |
0 |
0 |
T4 |
14582 |
14521 |
0 |
0 |
T5 |
23916 |
23860 |
0 |
0 |
T24 |
24951 |
24900 |
0 |
0 |
T25 |
12732 |
12652 |
0 |
0 |
T26 |
13178 |
13112 |
0 |
0 |
T27 |
50256 |
50168 |
0 |
0 |
T28 |
28319 |
28261 |
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 | T1,T2,T5 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T5 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
1 | 0 | Covered | T1,T2,T5 |
1 | 1 | Covered | T1,T2,T5 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T5 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T5 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T5 |
1 | 1 | Covered | T1,T2,T5 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Covered |
T1,T2,T5 |
0 |
0 |
1 |
Covered |
T1,T2,T5 |
0 |
0 |
0 |
Covered |
T1,T2,T5 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Covered |
T1,T2,T5 |
0 |
0 |
1 |
Covered |
T1,T2,T5 |
0 |
0 |
0 |
Covered |
T1,T2,T5 |
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 |
11036860 |
0 |
0 |
T1 |
126657 |
4747 |
0 |
0 |
T2 |
16267 |
1078 |
0 |
0 |
T3 |
14091 |
675 |
0 |
0 |
T4 |
14582 |
434 |
0 |
0 |
T5 |
23916 |
955 |
0 |
0 |
T24 |
24951 |
958 |
0 |
0 |
T25 |
12732 |
461 |
0 |
0 |
T26 |
13178 |
502 |
0 |
0 |
T27 |
50256 |
1594 |
0 |
0 |
T28 |
28319 |
1735 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
31810042 |
31501084 |
0 |
0 |
T1 |
937 |
74 |
0 |
0 |
T2 |
129 |
21 |
0 |
0 |
T3 |
111 |
13 |
0 |
0 |
T4 |
193 |
93 |
0 |
0 |
T5 |
94 |
6 |
0 |
0 |
T24 |
98 |
6 |
0 |
0 |
T25 |
101 |
8 |
0 |
0 |
T26 |
104 |
48 |
0 |
0 |
T27 |
101 |
4 |
0 |
0 |
T28 |
56 |
5 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
12743 |
0 |
0 |
T1 |
126657 |
11 |
0 |
0 |
T2 |
16267 |
3 |
0 |
0 |
T3 |
14091 |
2 |
0 |
0 |
T4 |
14582 |
2 |
0 |
0 |
T5 |
23916 |
1 |
0 |
0 |
T24 |
24951 |
1 |
0 |
0 |
T25 |
12732 |
1 |
0 |
0 |
T26 |
13178 |
1 |
0 |
0 |
T27 |
50256 |
1 |
0 |
0 |
T28 |
28319 |
1 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
126657 |
125805 |
0 |
0 |
T2 |
16267 |
14672 |
0 |
0 |
T3 |
14091 |
14040 |
0 |
0 |
T4 |
14582 |
14521 |
0 |
0 |
T5 |
23916 |
23860 |
0 |
0 |
T24 |
24951 |
24900 |
0 |
0 |
T25 |
12732 |
12652 |
0 |
0 |
T26 |
13178 |
13112 |
0 |
0 |
T27 |
50256 |
50168 |
0 |
0 |
T28 |
28319 |
28261 |
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 | T1,T2,T5 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T5 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
1 | 0 | Covered | T1,T2,T5 |
1 | 1 | Covered | T1,T2,T5 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T5 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T5 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T5 |
1 | 1 | Covered | T1,T2,T5 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Covered |
T1,T2,T5 |
0 |
0 |
1 |
Covered |
T1,T2,T5 |
0 |
0 |
0 |
Covered |
T1,T2,T5 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Covered |
T1,T2,T5 |
0 |
0 |
1 |
Covered |
T1,T2,T5 |
0 |
0 |
0 |
Covered |
T1,T2,T5 |
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 |
11163639 |
0 |
0 |
T1 |
126657 |
4825 |
0 |
0 |
T2 |
16267 |
1091 |
0 |
0 |
T3 |
14091 |
682 |
0 |
0 |
T4 |
14582 |
435 |
0 |
0 |
T5 |
23916 |
967 |
0 |
0 |
T24 |
24951 |
969 |
0 |
0 |
T25 |
12732 |
463 |
0 |
0 |
T26 |
13178 |
389 |
0 |
0 |
T27 |
50256 |
1607 |
0 |
0 |
T28 |
28319 |
1740 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
31810042 |
31501084 |
0 |
0 |
T1 |
937 |
74 |
0 |
0 |
T2 |
129 |
21 |
0 |
0 |
T3 |
111 |
13 |
0 |
0 |
T4 |
193 |
93 |
0 |
0 |
T5 |
94 |
6 |
0 |
0 |
T24 |
98 |
6 |
0 |
0 |
T25 |
101 |
8 |
0 |
0 |
T26 |
104 |
48 |
0 |
0 |
T27 |
101 |
4 |
0 |
0 |
T28 |
56 |
5 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
12789 |
0 |
0 |
T1 |
126657 |
11 |
0 |
0 |
T2 |
16267 |
3 |
0 |
0 |
T3 |
14091 |
2 |
0 |
0 |
T4 |
14582 |
2 |
0 |
0 |
T5 |
23916 |
1 |
0 |
0 |
T24 |
24951 |
1 |
0 |
0 |
T25 |
12732 |
1 |
0 |
0 |
T26 |
13178 |
1 |
0 |
0 |
T27 |
50256 |
1 |
0 |
0 |
T28 |
28319 |
1 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
126657 |
125805 |
0 |
0 |
T2 |
16267 |
14672 |
0 |
0 |
T3 |
14091 |
14040 |
0 |
0 |
T4 |
14582 |
14521 |
0 |
0 |
T5 |
23916 |
23860 |
0 |
0 |
T24 |
24951 |
24900 |
0 |
0 |
T25 |
12732 |
12652 |
0 |
0 |
T26 |
13178 |
13112 |
0 |
0 |
T27 |
50256 |
50168 |
0 |
0 |
T28 |
28319 |
28261 |
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 | T1,T2,T5 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T5 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T5 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T5 |
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 |
1939344 |
0 |
0 |
T1 |
126657 |
3898 |
0 |
0 |
T2 |
16267 |
743 |
0 |
0 |
T3 |
14091 |
365 |
0 |
0 |
T4 |
14582 |
211 |
0 |
0 |
T5 |
23916 |
0 |
0 |
0 |
T6 |
0 |
22836 |
0 |
0 |
T7 |
0 |
2850 |
0 |
0 |
T8 |
0 |
8619 |
0 |
0 |
T9 |
0 |
1024 |
0 |
0 |
T10 |
0 |
4005 |
0 |
0 |
T24 |
24951 |
0 |
0 |
0 |
T25 |
12732 |
0 |
0 |
0 |
T26 |
13178 |
0 |
0 |
0 |
T27 |
50256 |
0 |
0 |
0 |
T28 |
28319 |
0 |
0 |
0 |
T35 |
0 |
45 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
31810042 |
31501084 |
0 |
0 |
T1 |
937 |
74 |
0 |
0 |
T2 |
129 |
21 |
0 |
0 |
T3 |
111 |
13 |
0 |
0 |
T4 |
193 |
93 |
0 |
0 |
T5 |
94 |
6 |
0 |
0 |
T24 |
98 |
6 |
0 |
0 |
T25 |
101 |
8 |
0 |
0 |
T26 |
104 |
48 |
0 |
0 |
T27 |
101 |
4 |
0 |
0 |
T28 |
56 |
5 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1954 |
0 |
0 |
T1 |
126657 |
9 |
0 |
0 |
T2 |
16267 |
1 |
0 |
0 |
T3 |
14091 |
1 |
0 |
0 |
T4 |
14582 |
1 |
0 |
0 |
T5 |
23916 |
0 |
0 |
0 |
T6 |
0 |
14 |
0 |
0 |
T7 |
0 |
2 |
0 |
0 |
T8 |
0 |
10 |
0 |
0 |
T9 |
0 |
1 |
0 |
0 |
T10 |
0 |
10 |
0 |
0 |
T24 |
24951 |
0 |
0 |
0 |
T25 |
12732 |
0 |
0 |
0 |
T26 |
13178 |
0 |
0 |
0 |
T27 |
50256 |
0 |
0 |
0 |
T28 |
28319 |
0 |
0 |
0 |
T29 |
0 |
1 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
126657 |
125805 |
0 |
0 |
T2 |
16267 |
14672 |
0 |
0 |
T3 |
14091 |
14040 |
0 |
0 |
T4 |
14582 |
14521 |
0 |
0 |
T5 |
23916 |
23860 |
0 |
0 |
T24 |
24951 |
24900 |
0 |
0 |
T25 |
12732 |
12652 |
0 |
0 |
T26 |
13178 |
13112 |
0 |
0 |
T27 |
50256 |
50168 |
0 |
0 |
T28 |
28319 |
28261 |
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 | T1,T2,T5 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T5 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T5 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T5 |
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 |
1842015 |
0 |
0 |
T1 |
126657 |
4082 |
0 |
0 |
T2 |
16267 |
688 |
0 |
0 |
T3 |
14091 |
362 |
0 |
0 |
T4 |
14582 |
220 |
0 |
0 |
T5 |
23916 |
0 |
0 |
0 |
T6 |
0 |
13115 |
0 |
0 |
T7 |
0 |
2788 |
0 |
0 |
T8 |
0 |
5931 |
0 |
0 |
T9 |
0 |
1140 |
0 |
0 |
T10 |
0 |
3837 |
0 |
0 |
T24 |
24951 |
0 |
0 |
0 |
T25 |
12732 |
0 |
0 |
0 |
T26 |
13178 |
0 |
0 |
0 |
T27 |
50256 |
0 |
0 |
0 |
T28 |
28319 |
0 |
0 |
0 |
T29 |
0 |
469 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
31810042 |
31501084 |
0 |
0 |
T1 |
937 |
74 |
0 |
0 |
T2 |
129 |
21 |
0 |
0 |
T3 |
111 |
13 |
0 |
0 |
T4 |
193 |
93 |
0 |
0 |
T5 |
94 |
6 |
0 |
0 |
T24 |
98 |
6 |
0 |
0 |
T25 |
101 |
8 |
0 |
0 |
T26 |
104 |
48 |
0 |
0 |
T27 |
101 |
4 |
0 |
0 |
T28 |
56 |
5 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1844 |
0 |
0 |
T1 |
126657 |
10 |
0 |
0 |
T2 |
16267 |
1 |
0 |
0 |
T3 |
14091 |
1 |
0 |
0 |
T4 |
14582 |
1 |
0 |
0 |
T5 |
23916 |
0 |
0 |
0 |
T6 |
0 |
8 |
0 |
0 |
T7 |
0 |
2 |
0 |
0 |
T8 |
0 |
7 |
0 |
0 |
T9 |
0 |
1 |
0 |
0 |
T10 |
0 |
10 |
0 |
0 |
T24 |
24951 |
0 |
0 |
0 |
T25 |
12732 |
0 |
0 |
0 |
T26 |
13178 |
0 |
0 |
0 |
T27 |
50256 |
0 |
0 |
0 |
T28 |
28319 |
0 |
0 |
0 |
T29 |
0 |
2 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
126657 |
125805 |
0 |
0 |
T2 |
16267 |
14672 |
0 |
0 |
T3 |
14091 |
14040 |
0 |
0 |
T4 |
14582 |
14521 |
0 |
0 |
T5 |
23916 |
23860 |
0 |
0 |
T24 |
24951 |
24900 |
0 |
0 |
T25 |
12732 |
12652 |
0 |
0 |
T26 |
13178 |
13112 |
0 |
0 |
T27 |
50256 |
50168 |
0 |
0 |
T28 |
28319 |
28261 |
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 | T1,T2,T5 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T5 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T5 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T5 |
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 |
1834216 |
0 |
0 |
T1 |
126657 |
4428 |
0 |
0 |
T2 |
16267 |
717 |
0 |
0 |
T3 |
14091 |
278 |
0 |
0 |
T4 |
14582 |
214 |
0 |
0 |
T5 |
23916 |
0 |
0 |
0 |
T6 |
0 |
8290 |
0 |
0 |
T7 |
0 |
2799 |
0 |
0 |
T8 |
0 |
4980 |
0 |
0 |
T9 |
0 |
1044 |
0 |
0 |
T10 |
0 |
3857 |
0 |
0 |
T24 |
24951 |
0 |
0 |
0 |
T25 |
12732 |
0 |
0 |
0 |
T26 |
13178 |
0 |
0 |
0 |
T27 |
50256 |
0 |
0 |
0 |
T28 |
28319 |
0 |
0 |
0 |
T35 |
0 |
370 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
31810042 |
31501084 |
0 |
0 |
T1 |
937 |
74 |
0 |
0 |
T2 |
129 |
21 |
0 |
0 |
T3 |
111 |
13 |
0 |
0 |
T4 |
193 |
93 |
0 |
0 |
T5 |
94 |
6 |
0 |
0 |
T24 |
98 |
6 |
0 |
0 |
T25 |
101 |
8 |
0 |
0 |
T26 |
104 |
48 |
0 |
0 |
T27 |
101 |
4 |
0 |
0 |
T28 |
56 |
5 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1847 |
0 |
0 |
T1 |
126657 |
10 |
0 |
0 |
T2 |
16267 |
2 |
0 |
0 |
T3 |
14091 |
1 |
0 |
0 |
T4 |
14582 |
1 |
0 |
0 |
T5 |
23916 |
0 |
0 |
0 |
T6 |
0 |
5 |
0 |
0 |
T7 |
0 |
2 |
0 |
0 |
T8 |
0 |
6 |
0 |
0 |
T10 |
0 |
10 |
0 |
0 |
T24 |
24951 |
0 |
0 |
0 |
T25 |
12732 |
0 |
0 |
0 |
T26 |
13178 |
0 |
0 |
0 |
T27 |
50256 |
0 |
0 |
0 |
T28 |
28319 |
0 |
0 |
0 |
T29 |
0 |
2 |
0 |
0 |
T36 |
0 |
2 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
126657 |
125805 |
0 |
0 |
T2 |
16267 |
14672 |
0 |
0 |
T3 |
14091 |
14040 |
0 |
0 |
T4 |
14582 |
14521 |
0 |
0 |
T5 |
23916 |
23860 |
0 |
0 |
T24 |
24951 |
24900 |
0 |
0 |
T25 |
12732 |
12652 |
0 |
0 |
T26 |
13178 |
13112 |
0 |
0 |
T27 |
50256 |
50168 |
0 |
0 |
T28 |
28319 |
28261 |
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 | T1,T2,T5 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T5 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T5 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T5 |
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 |
1827725 |
0 |
0 |
T1 |
126657 |
4344 |
0 |
0 |
T2 |
16267 |
731 |
0 |
0 |
T3 |
14091 |
299 |
0 |
0 |
T4 |
14582 |
211 |
0 |
0 |
T5 |
23916 |
0 |
0 |
0 |
T6 |
0 |
15952 |
0 |
0 |
T7 |
0 |
2984 |
0 |
0 |
T8 |
0 |
11580 |
0 |
0 |
T9 |
0 |
1118 |
0 |
0 |
T10 |
0 |
3690 |
0 |
0 |
T24 |
24951 |
0 |
0 |
0 |
T25 |
12732 |
0 |
0 |
0 |
T26 |
13178 |
0 |
0 |
0 |
T27 |
50256 |
0 |
0 |
0 |
T28 |
28319 |
0 |
0 |
0 |
T35 |
0 |
64 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
31810042 |
31501084 |
0 |
0 |
T1 |
937 |
74 |
0 |
0 |
T2 |
129 |
21 |
0 |
0 |
T3 |
111 |
13 |
0 |
0 |
T4 |
193 |
93 |
0 |
0 |
T5 |
94 |
6 |
0 |
0 |
T24 |
98 |
6 |
0 |
0 |
T25 |
101 |
8 |
0 |
0 |
T26 |
104 |
48 |
0 |
0 |
T27 |
101 |
4 |
0 |
0 |
T28 |
56 |
5 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1866 |
0 |
0 |
T1 |
126657 |
10 |
0 |
0 |
T2 |
16267 |
2 |
0 |
0 |
T3 |
14091 |
1 |
0 |
0 |
T4 |
14582 |
1 |
0 |
0 |
T5 |
23916 |
0 |
0 |
0 |
T6 |
0 |
10 |
0 |
0 |
T7 |
0 |
2 |
0 |
0 |
T8 |
0 |
13 |
0 |
0 |
T9 |
0 |
1 |
0 |
0 |
T10 |
0 |
9 |
0 |
0 |
T24 |
24951 |
0 |
0 |
0 |
T25 |
12732 |
0 |
0 |
0 |
T26 |
13178 |
0 |
0 |
0 |
T27 |
50256 |
0 |
0 |
0 |
T28 |
28319 |
0 |
0 |
0 |
T29 |
0 |
2 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
126657 |
125805 |
0 |
0 |
T2 |
16267 |
14672 |
0 |
0 |
T3 |
14091 |
14040 |
0 |
0 |
T4 |
14582 |
14521 |
0 |
0 |
T5 |
23916 |
23860 |
0 |
0 |
T24 |
24951 |
24900 |
0 |
0 |
T25 |
12732 |
12652 |
0 |
0 |
T26 |
13178 |
13112 |
0 |
0 |
T27 |
50256 |
50168 |
0 |
0 |
T28 |
28319 |
28261 |
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 | T1,T2,T5 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T5 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T5 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T5 |
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 |
1847251 |
0 |
0 |
T1 |
126657 |
4463 |
0 |
0 |
T2 |
16267 |
763 |
0 |
0 |
T3 |
14091 |
372 |
0 |
0 |
T4 |
14582 |
214 |
0 |
0 |
T5 |
23916 |
0 |
0 |
0 |
T6 |
0 |
22951 |
0 |
0 |
T7 |
0 |
2884 |
0 |
0 |
T8 |
0 |
3396 |
0 |
0 |
T9 |
0 |
1027 |
0 |
0 |
T10 |
0 |
3846 |
0 |
0 |
T24 |
24951 |
0 |
0 |
0 |
T25 |
12732 |
0 |
0 |
0 |
T26 |
13178 |
0 |
0 |
0 |
T27 |
50256 |
0 |
0 |
0 |
T28 |
28319 |
0 |
0 |
0 |
T35 |
0 |
279 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
31810042 |
31501084 |
0 |
0 |
T1 |
937 |
74 |
0 |
0 |
T2 |
129 |
21 |
0 |
0 |
T3 |
111 |
13 |
0 |
0 |
T4 |
193 |
93 |
0 |
0 |
T5 |
94 |
6 |
0 |
0 |
T24 |
98 |
6 |
0 |
0 |
T25 |
101 |
8 |
0 |
0 |
T26 |
104 |
48 |
0 |
0 |
T27 |
101 |
4 |
0 |
0 |
T28 |
56 |
5 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1856 |
0 |
0 |
T1 |
126657 |
10 |
0 |
0 |
T2 |
16267 |
2 |
0 |
0 |
T3 |
14091 |
1 |
0 |
0 |
T4 |
14582 |
1 |
0 |
0 |
T5 |
23916 |
0 |
0 |
0 |
T6 |
0 |
14 |
0 |
0 |
T7 |
0 |
2 |
0 |
0 |
T8 |
0 |
4 |
0 |
0 |
T9 |
0 |
1 |
0 |
0 |
T10 |
0 |
10 |
0 |
0 |
T24 |
24951 |
0 |
0 |
0 |
T25 |
12732 |
0 |
0 |
0 |
T26 |
13178 |
0 |
0 |
0 |
T27 |
50256 |
0 |
0 |
0 |
T28 |
28319 |
0 |
0 |
0 |
T29 |
0 |
2 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
126657 |
125805 |
0 |
0 |
T2 |
16267 |
14672 |
0 |
0 |
T3 |
14091 |
14040 |
0 |
0 |
T4 |
14582 |
14521 |
0 |
0 |
T5 |
23916 |
23860 |
0 |
0 |
T24 |
24951 |
24900 |
0 |
0 |
T25 |
12732 |
12652 |
0 |
0 |
T26 |
13178 |
13112 |
0 |
0 |
T27 |
50256 |
50168 |
0 |
0 |
T28 |
28319 |
28261 |
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 | T1,T2,T5 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T5 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T5 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T5 |
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 |
1784382 |
0 |
0 |
T1 |
126657 |
3743 |
0 |
0 |
T2 |
16267 |
774 |
0 |
0 |
T3 |
14091 |
340 |
0 |
0 |
T4 |
14582 |
174 |
0 |
0 |
T5 |
23916 |
0 |
0 |
0 |
T6 |
0 |
9909 |
0 |
0 |
T7 |
0 |
2890 |
0 |
0 |
T8 |
0 |
6608 |
0 |
0 |
T9 |
0 |
1014 |
0 |
0 |
T10 |
0 |
3250 |
0 |
0 |
T24 |
24951 |
0 |
0 |
0 |
T25 |
12732 |
0 |
0 |
0 |
T26 |
13178 |
0 |
0 |
0 |
T27 |
50256 |
0 |
0 |
0 |
T28 |
28319 |
0 |
0 |
0 |
T29 |
0 |
205 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
31810042 |
31501084 |
0 |
0 |
T1 |
937 |
74 |
0 |
0 |
T2 |
129 |
21 |
0 |
0 |
T3 |
111 |
13 |
0 |
0 |
T4 |
193 |
93 |
0 |
0 |
T5 |
94 |
6 |
0 |
0 |
T24 |
98 |
6 |
0 |
0 |
T25 |
101 |
8 |
0 |
0 |
T26 |
104 |
48 |
0 |
0 |
T27 |
101 |
4 |
0 |
0 |
T28 |
56 |
5 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1822 |
0 |
0 |
T1 |
126657 |
9 |
0 |
0 |
T2 |
16267 |
2 |
0 |
0 |
T3 |
14091 |
1 |
0 |
0 |
T4 |
14582 |
1 |
0 |
0 |
T5 |
23916 |
0 |
0 |
0 |
T6 |
0 |
6 |
0 |
0 |
T7 |
0 |
2 |
0 |
0 |
T8 |
0 |
8 |
0 |
0 |
T10 |
0 |
8 |
0 |
0 |
T24 |
24951 |
0 |
0 |
0 |
T25 |
12732 |
0 |
0 |
0 |
T26 |
13178 |
0 |
0 |
0 |
T27 |
50256 |
0 |
0 |
0 |
T28 |
28319 |
0 |
0 |
0 |
T29 |
0 |
1 |
0 |
0 |
T36 |
0 |
2 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
126657 |
125805 |
0 |
0 |
T2 |
16267 |
14672 |
0 |
0 |
T3 |
14091 |
14040 |
0 |
0 |
T4 |
14582 |
14521 |
0 |
0 |
T5 |
23916 |
23860 |
0 |
0 |
T24 |
24951 |
24900 |
0 |
0 |
T25 |
12732 |
12652 |
0 |
0 |
T26 |
13178 |
13112 |
0 |
0 |
T27 |
50256 |
50168 |
0 |
0 |
T28 |
28319 |
28261 |
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 | T1,T2,T5 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T5 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T5 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T5 |
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 |
1871018 |
0 |
0 |
T1 |
126657 |
4351 |
0 |
0 |
T2 |
16267 |
631 |
0 |
0 |
T3 |
14091 |
344 |
0 |
0 |
T4 |
14582 |
213 |
0 |
0 |
T5 |
23916 |
0 |
0 |
0 |
T6 |
0 |
36293 |
0 |
0 |
T7 |
0 |
2884 |
0 |
0 |
T8 |
0 |
4478 |
0 |
0 |
T9 |
0 |
1064 |
0 |
0 |
T10 |
0 |
3596 |
0 |
0 |
T24 |
24951 |
0 |
0 |
0 |
T25 |
12732 |
0 |
0 |
0 |
T26 |
13178 |
0 |
0 |
0 |
T27 |
50256 |
0 |
0 |
0 |
T28 |
28319 |
0 |
0 |
0 |
T35 |
0 |
366 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
31810042 |
31501084 |
0 |
0 |
T1 |
937 |
74 |
0 |
0 |
T2 |
129 |
21 |
0 |
0 |
T3 |
111 |
13 |
0 |
0 |
T4 |
193 |
93 |
0 |
0 |
T5 |
94 |
6 |
0 |
0 |
T24 |
98 |
6 |
0 |
0 |
T25 |
101 |
8 |
0 |
0 |
T26 |
104 |
48 |
0 |
0 |
T27 |
101 |
4 |
0 |
0 |
T28 |
56 |
5 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1887 |
0 |
0 |
T1 |
126657 |
10 |
0 |
0 |
T2 |
16267 |
1 |
0 |
0 |
T3 |
14091 |
1 |
0 |
0 |
T4 |
14582 |
1 |
0 |
0 |
T5 |
23916 |
0 |
0 |
0 |
T6 |
0 |
22 |
0 |
0 |
T7 |
0 |
2 |
0 |
0 |
T8 |
0 |
5 |
0 |
0 |
T10 |
0 |
9 |
0 |
0 |
T24 |
24951 |
0 |
0 |
0 |
T25 |
12732 |
0 |
0 |
0 |
T26 |
13178 |
0 |
0 |
0 |
T27 |
50256 |
0 |
0 |
0 |
T28 |
28319 |
0 |
0 |
0 |
T29 |
0 |
2 |
0 |
0 |
T36 |
0 |
2 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
126657 |
125805 |
0 |
0 |
T2 |
16267 |
14672 |
0 |
0 |
T3 |
14091 |
14040 |
0 |
0 |
T4 |
14582 |
14521 |
0 |
0 |
T5 |
23916 |
23860 |
0 |
0 |
T24 |
24951 |
24900 |
0 |
0 |
T25 |
12732 |
12652 |
0 |
0 |
T26 |
13178 |
13112 |
0 |
0 |
T27 |
50256 |
50168 |
0 |
0 |
T28 |
28319 |
28261 |
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 | T1,T2,T5 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T5 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T5 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T5 |
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 |
1821183 |
0 |
0 |
T1 |
126657 |
4490 |
0 |
0 |
T2 |
16267 |
831 |
0 |
0 |
T3 |
14091 |
291 |
0 |
0 |
T4 |
14582 |
213 |
0 |
0 |
T5 |
23916 |
0 |
0 |
0 |
T6 |
0 |
30173 |
0 |
0 |
T7 |
0 |
2950 |
0 |
0 |
T8 |
0 |
1591 |
0 |
0 |
T9 |
0 |
1168 |
0 |
0 |
T10 |
0 |
3986 |
0 |
0 |
T24 |
24951 |
0 |
0 |
0 |
T25 |
12732 |
0 |
0 |
0 |
T26 |
13178 |
0 |
0 |
0 |
T27 |
50256 |
0 |
0 |
0 |
T28 |
28319 |
0 |
0 |
0 |
T35 |
0 |
373 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
31810042 |
31501084 |
0 |
0 |
T1 |
937 |
74 |
0 |
0 |
T2 |
129 |
21 |
0 |
0 |
T3 |
111 |
13 |
0 |
0 |
T4 |
193 |
93 |
0 |
0 |
T5 |
94 |
6 |
0 |
0 |
T24 |
98 |
6 |
0 |
0 |
T25 |
101 |
8 |
0 |
0 |
T26 |
104 |
48 |
0 |
0 |
T27 |
101 |
4 |
0 |
0 |
T28 |
56 |
5 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1852 |
0 |
0 |
T1 |
126657 |
10 |
0 |
0 |
T2 |
16267 |
2 |
0 |
0 |
T3 |
14091 |
1 |
0 |
0 |
T4 |
14582 |
1 |
0 |
0 |
T5 |
23916 |
0 |
0 |
0 |
T6 |
0 |
18 |
0 |
0 |
T7 |
0 |
2 |
0 |
0 |
T8 |
0 |
2 |
0 |
0 |
T10 |
0 |
10 |
0 |
0 |
T24 |
24951 |
0 |
0 |
0 |
T25 |
12732 |
0 |
0 |
0 |
T26 |
13178 |
0 |
0 |
0 |
T27 |
50256 |
0 |
0 |
0 |
T28 |
28319 |
0 |
0 |
0 |
T29 |
0 |
1 |
0 |
0 |
T36 |
0 |
2 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
126657 |
125805 |
0 |
0 |
T2 |
16267 |
14672 |
0 |
0 |
T3 |
14091 |
14040 |
0 |
0 |
T4 |
14582 |
14521 |
0 |
0 |
T5 |
23916 |
23860 |
0 |
0 |
T24 |
24951 |
24900 |
0 |
0 |
T25 |
12732 |
12652 |
0 |
0 |
T26 |
13178 |
13112 |
0 |
0 |
T27 |
50256 |
50168 |
0 |
0 |
T28 |
28319 |
28261 |
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 | T1,T2,T5 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T5 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T5 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T5 |
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 |
1876145 |
0 |
0 |
T1 |
126657 |
3992 |
0 |
0 |
T2 |
16267 |
753 |
0 |
0 |
T3 |
14091 |
319 |
0 |
0 |
T4 |
14582 |
165 |
0 |
0 |
T5 |
23916 |
0 |
0 |
0 |
T6 |
0 |
21134 |
0 |
0 |
T7 |
0 |
2884 |
0 |
0 |
T8 |
0 |
5904 |
0 |
0 |
T9 |
0 |
1095 |
0 |
0 |
T10 |
0 |
3882 |
0 |
0 |
T24 |
24951 |
0 |
0 |
0 |
T25 |
12732 |
0 |
0 |
0 |
T26 |
13178 |
0 |
0 |
0 |
T27 |
50256 |
0 |
0 |
0 |
T28 |
28319 |
0 |
0 |
0 |
T35 |
0 |
314 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
31810042 |
31501084 |
0 |
0 |
T1 |
937 |
74 |
0 |
0 |
T2 |
129 |
21 |
0 |
0 |
T3 |
111 |
13 |
0 |
0 |
T4 |
193 |
93 |
0 |
0 |
T5 |
94 |
6 |
0 |
0 |
T24 |
98 |
6 |
0 |
0 |
T25 |
101 |
8 |
0 |
0 |
T26 |
104 |
48 |
0 |
0 |
T27 |
101 |
4 |
0 |
0 |
T28 |
56 |
5 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1949 |
0 |
0 |
T1 |
126657 |
9 |
0 |
0 |
T2 |
16267 |
2 |
0 |
0 |
T3 |
14091 |
1 |
0 |
0 |
T4 |
14582 |
1 |
0 |
0 |
T5 |
23916 |
0 |
0 |
0 |
T6 |
0 |
13 |
0 |
0 |
T7 |
0 |
2 |
0 |
0 |
T8 |
0 |
7 |
0 |
0 |
T10 |
0 |
10 |
0 |
0 |
T24 |
24951 |
0 |
0 |
0 |
T25 |
12732 |
0 |
0 |
0 |
T26 |
13178 |
0 |
0 |
0 |
T27 |
50256 |
0 |
0 |
0 |
T28 |
28319 |
0 |
0 |
0 |
T29 |
0 |
2 |
0 |
0 |
T36 |
0 |
2 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
126657 |
125805 |
0 |
0 |
T2 |
16267 |
14672 |
0 |
0 |
T3 |
14091 |
14040 |
0 |
0 |
T4 |
14582 |
14521 |
0 |
0 |
T5 |
23916 |
23860 |
0 |
0 |
T24 |
24951 |
24900 |
0 |
0 |
T25 |
12732 |
12652 |
0 |
0 |
T26 |
13178 |
13112 |
0 |
0 |
T27 |
50256 |
50168 |
0 |
0 |
T28 |
28319 |
28261 |
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 | T1,T2,T5 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T5 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T5 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T5 |
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 |
1853023 |
0 |
0 |
T1 |
126657 |
4381 |
0 |
0 |
T2 |
16267 |
728 |
0 |
0 |
T3 |
14091 |
356 |
0 |
0 |
T4 |
14582 |
222 |
0 |
0 |
T5 |
23916 |
0 |
0 |
0 |
T6 |
0 |
22893 |
0 |
0 |
T7 |
0 |
2780 |
0 |
0 |
T8 |
0 |
3435 |
0 |
0 |
T9 |
0 |
1185 |
0 |
0 |
T10 |
0 |
3882 |
0 |
0 |
T24 |
24951 |
0 |
0 |
0 |
T25 |
12732 |
0 |
0 |
0 |
T26 |
13178 |
0 |
0 |
0 |
T27 |
50256 |
0 |
0 |
0 |
T28 |
28319 |
0 |
0 |
0 |
T35 |
0 |
50 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
31810042 |
31501084 |
0 |
0 |
T1 |
937 |
74 |
0 |
0 |
T2 |
129 |
21 |
0 |
0 |
T3 |
111 |
13 |
0 |
0 |
T4 |
193 |
93 |
0 |
0 |
T5 |
94 |
6 |
0 |
0 |
T24 |
98 |
6 |
0 |
0 |
T25 |
101 |
8 |
0 |
0 |
T26 |
104 |
48 |
0 |
0 |
T27 |
101 |
4 |
0 |
0 |
T28 |
56 |
5 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1886 |
0 |
0 |
T1 |
126657 |
10 |
0 |
0 |
T2 |
16267 |
2 |
0 |
0 |
T3 |
14091 |
1 |
0 |
0 |
T4 |
14582 |
1 |
0 |
0 |
T5 |
23916 |
0 |
0 |
0 |
T6 |
0 |
14 |
0 |
0 |
T7 |
0 |
2 |
0 |
0 |
T8 |
0 |
4 |
0 |
0 |
T9 |
0 |
1 |
0 |
0 |
T10 |
0 |
10 |
0 |
0 |
T24 |
24951 |
0 |
0 |
0 |
T25 |
12732 |
0 |
0 |
0 |
T26 |
13178 |
0 |
0 |
0 |
T27 |
50256 |
0 |
0 |
0 |
T28 |
28319 |
0 |
0 |
0 |
T29 |
0 |
2 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
126657 |
125805 |
0 |
0 |
T2 |
16267 |
14672 |
0 |
0 |
T3 |
14091 |
14040 |
0 |
0 |
T4 |
14582 |
14521 |
0 |
0 |
T5 |
23916 |
23860 |
0 |
0 |
T24 |
24951 |
24900 |
0 |
0 |
T25 |
12732 |
12652 |
0 |
0 |
T26 |
13178 |
13112 |
0 |
0 |
T27 |
50256 |
50168 |
0 |
0 |
T28 |
28319 |
28261 |
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 | T1,T2,T5 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T5 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T5 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T5 |
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 |
1808102 |
0 |
0 |
T1 |
126657 |
4071 |
0 |
0 |
T2 |
16267 |
715 |
0 |
0 |
T3 |
14091 |
363 |
0 |
0 |
T4 |
14582 |
213 |
0 |
0 |
T5 |
23916 |
0 |
0 |
0 |
T6 |
0 |
14549 |
0 |
0 |
T7 |
0 |
2863 |
0 |
0 |
T8 |
0 |
8660 |
0 |
0 |
T9 |
0 |
1190 |
0 |
0 |
T10 |
0 |
3690 |
0 |
0 |
T24 |
24951 |
0 |
0 |
0 |
T25 |
12732 |
0 |
0 |
0 |
T26 |
13178 |
0 |
0 |
0 |
T27 |
50256 |
0 |
0 |
0 |
T28 |
28319 |
0 |
0 |
0 |
T35 |
0 |
384 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
31810042 |
31501084 |
0 |
0 |
T1 |
937 |
74 |
0 |
0 |
T2 |
129 |
21 |
0 |
0 |
T3 |
111 |
13 |
0 |
0 |
T4 |
193 |
93 |
0 |
0 |
T5 |
94 |
6 |
0 |
0 |
T24 |
98 |
6 |
0 |
0 |
T25 |
101 |
8 |
0 |
0 |
T26 |
104 |
48 |
0 |
0 |
T27 |
101 |
4 |
0 |
0 |
T28 |
56 |
5 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1861 |
0 |
0 |
T1 |
126657 |
9 |
0 |
0 |
T2 |
16267 |
2 |
0 |
0 |
T3 |
14091 |
1 |
0 |
0 |
T4 |
14582 |
1 |
0 |
0 |
T5 |
23916 |
0 |
0 |
0 |
T6 |
0 |
9 |
0 |
0 |
T7 |
0 |
2 |
0 |
0 |
T8 |
0 |
10 |
0 |
0 |
T9 |
0 |
1 |
0 |
0 |
T10 |
0 |
10 |
0 |
0 |
T24 |
24951 |
0 |
0 |
0 |
T25 |
12732 |
0 |
0 |
0 |
T26 |
13178 |
0 |
0 |
0 |
T27 |
50256 |
0 |
0 |
0 |
T28 |
28319 |
0 |
0 |
0 |
T29 |
0 |
2 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
126657 |
125805 |
0 |
0 |
T2 |
16267 |
14672 |
0 |
0 |
T3 |
14091 |
14040 |
0 |
0 |
T4 |
14582 |
14521 |
0 |
0 |
T5 |
23916 |
23860 |
0 |
0 |
T24 |
24951 |
24900 |
0 |
0 |
T25 |
12732 |
12652 |
0 |
0 |
T26 |
13178 |
13112 |
0 |
0 |
T27 |
50256 |
50168 |
0 |
0 |
T28 |
28319 |
28261 |
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 | T1,T2,T5 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T5 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T5 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T5 |
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 |
1787086 |
0 |
0 |
T1 |
126657 |
4047 |
0 |
0 |
T2 |
16267 |
765 |
0 |
0 |
T3 |
14091 |
342 |
0 |
0 |
T4 |
14582 |
163 |
0 |
0 |
T5 |
23916 |
0 |
0 |
0 |
T6 |
0 |
23114 |
0 |
0 |
T7 |
0 |
2828 |
0 |
0 |
T8 |
0 |
4463 |
0 |
0 |
T9 |
0 |
1064 |
0 |
0 |
T10 |
0 |
3824 |
0 |
0 |
T24 |
24951 |
0 |
0 |
0 |
T25 |
12732 |
0 |
0 |
0 |
T26 |
13178 |
0 |
0 |
0 |
T27 |
50256 |
0 |
0 |
0 |
T28 |
28319 |
0 |
0 |
0 |
T35 |
0 |
296 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
31810042 |
31501084 |
0 |
0 |
T1 |
937 |
74 |
0 |
0 |
T2 |
129 |
21 |
0 |
0 |
T3 |
111 |
13 |
0 |
0 |
T4 |
193 |
93 |
0 |
0 |
T5 |
94 |
6 |
0 |
0 |
T24 |
98 |
6 |
0 |
0 |
T25 |
101 |
8 |
0 |
0 |
T26 |
104 |
48 |
0 |
0 |
T27 |
101 |
4 |
0 |
0 |
T28 |
56 |
5 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1846 |
0 |
0 |
T1 |
126657 |
9 |
0 |
0 |
T2 |
16267 |
1 |
0 |
0 |
T3 |
14091 |
1 |
0 |
0 |
T4 |
14582 |
1 |
0 |
0 |
T5 |
23916 |
0 |
0 |
0 |
T6 |
0 |
14 |
0 |
0 |
T7 |
0 |
2 |
0 |
0 |
T8 |
0 |
5 |
0 |
0 |
T10 |
0 |
10 |
0 |
0 |
T24 |
24951 |
0 |
0 |
0 |
T25 |
12732 |
0 |
0 |
0 |
T26 |
13178 |
0 |
0 |
0 |
T27 |
50256 |
0 |
0 |
0 |
T28 |
28319 |
0 |
0 |
0 |
T29 |
0 |
2 |
0 |
0 |
T36 |
0 |
2 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
126657 |
125805 |
0 |
0 |
T2 |
16267 |
14672 |
0 |
0 |
T3 |
14091 |
14040 |
0 |
0 |
T4 |
14582 |
14521 |
0 |
0 |
T5 |
23916 |
23860 |
0 |
0 |
T24 |
24951 |
24900 |
0 |
0 |
T25 |
12732 |
12652 |
0 |
0 |
T26 |
13178 |
13112 |
0 |
0 |
T27 |
50256 |
50168 |
0 |
0 |
T28 |
28319 |
28261 |
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 | T1,T2,T5 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T5 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T5 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T5 |
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 |
1753001 |
0 |
0 |
T1 |
126657 |
3880 |
0 |
0 |
T2 |
16267 |
680 |
0 |
0 |
T3 |
14091 |
375 |
0 |
0 |
T4 |
14582 |
216 |
0 |
0 |
T5 |
23916 |
0 |
0 |
0 |
T6 |
0 |
19824 |
0 |
0 |
T7 |
0 |
2937 |
0 |
0 |
T8 |
0 |
4409 |
0 |
0 |
T9 |
0 |
1203 |
0 |
0 |
T10 |
0 |
4100 |
0 |
0 |
T24 |
24951 |
0 |
0 |
0 |
T25 |
12732 |
0 |
0 |
0 |
T26 |
13178 |
0 |
0 |
0 |
T27 |
50256 |
0 |
0 |
0 |
T28 |
28319 |
0 |
0 |
0 |
T35 |
0 |
392 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
31810042 |
31501084 |
0 |
0 |
T1 |
937 |
74 |
0 |
0 |
T2 |
129 |
21 |
0 |
0 |
T3 |
111 |
13 |
0 |
0 |
T4 |
193 |
93 |
0 |
0 |
T5 |
94 |
6 |
0 |
0 |
T24 |
98 |
6 |
0 |
0 |
T25 |
101 |
8 |
0 |
0 |
T26 |
104 |
48 |
0 |
0 |
T27 |
101 |
4 |
0 |
0 |
T28 |
56 |
5 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1816 |
0 |
0 |
T1 |
126657 |
9 |
0 |
0 |
T2 |
16267 |
1 |
0 |
0 |
T3 |
14091 |
1 |
0 |
0 |
T4 |
14582 |
1 |
0 |
0 |
T5 |
23916 |
0 |
0 |
0 |
T6 |
0 |
12 |
0 |
0 |
T7 |
0 |
2 |
0 |
0 |
T8 |
0 |
5 |
0 |
0 |
T9 |
0 |
1 |
0 |
0 |
T10 |
0 |
10 |
0 |
0 |
T24 |
24951 |
0 |
0 |
0 |
T25 |
12732 |
0 |
0 |
0 |
T26 |
13178 |
0 |
0 |
0 |
T27 |
50256 |
0 |
0 |
0 |
T28 |
28319 |
0 |
0 |
0 |
T29 |
0 |
2 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
126657 |
125805 |
0 |
0 |
T2 |
16267 |
14672 |
0 |
0 |
T3 |
14091 |
14040 |
0 |
0 |
T4 |
14582 |
14521 |
0 |
0 |
T5 |
23916 |
23860 |
0 |
0 |
T24 |
24951 |
24900 |
0 |
0 |
T25 |
12732 |
12652 |
0 |
0 |
T26 |
13178 |
13112 |
0 |
0 |
T27 |
50256 |
50168 |
0 |
0 |
T28 |
28319 |
28261 |
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 | T1,T2,T5 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T5 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T5 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T5 |
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 |
1812288 |
0 |
0 |
T1 |
126657 |
4015 |
0 |
0 |
T2 |
16267 |
741 |
0 |
0 |
T3 |
14091 |
270 |
0 |
0 |
T4 |
14582 |
219 |
0 |
0 |
T5 |
23916 |
0 |
0 |
0 |
T6 |
0 |
17937 |
0 |
0 |
T7 |
0 |
2867 |
0 |
0 |
T8 |
0 |
7647 |
0 |
0 |
T9 |
0 |
1081 |
0 |
0 |
T10 |
0 |
3952 |
0 |
0 |
T24 |
24951 |
0 |
0 |
0 |
T25 |
12732 |
0 |
0 |
0 |
T26 |
13178 |
0 |
0 |
0 |
T27 |
50256 |
0 |
0 |
0 |
T28 |
28319 |
0 |
0 |
0 |
T35 |
0 |
304 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
31810042 |
31501084 |
0 |
0 |
T1 |
937 |
74 |
0 |
0 |
T2 |
129 |
21 |
0 |
0 |
T3 |
111 |
13 |
0 |
0 |
T4 |
193 |
93 |
0 |
0 |
T5 |
94 |
6 |
0 |
0 |
T24 |
98 |
6 |
0 |
0 |
T25 |
101 |
8 |
0 |
0 |
T26 |
104 |
48 |
0 |
0 |
T27 |
101 |
4 |
0 |
0 |
T28 |
56 |
5 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1856 |
0 |
0 |
T1 |
126657 |
9 |
0 |
0 |
T2 |
16267 |
2 |
0 |
0 |
T3 |
14091 |
1 |
0 |
0 |
T4 |
14582 |
1 |
0 |
0 |
T5 |
23916 |
0 |
0 |
0 |
T6 |
0 |
11 |
0 |
0 |
T7 |
0 |
2 |
0 |
0 |
T8 |
0 |
9 |
0 |
0 |
T9 |
0 |
1 |
0 |
0 |
T10 |
0 |
10 |
0 |
0 |
T24 |
24951 |
0 |
0 |
0 |
T25 |
12732 |
0 |
0 |
0 |
T26 |
13178 |
0 |
0 |
0 |
T27 |
50256 |
0 |
0 |
0 |
T28 |
28319 |
0 |
0 |
0 |
T29 |
0 |
2 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
126657 |
125805 |
0 |
0 |
T2 |
16267 |
14672 |
0 |
0 |
T3 |
14091 |
14040 |
0 |
0 |
T4 |
14582 |
14521 |
0 |
0 |
T5 |
23916 |
23860 |
0 |
0 |
T24 |
24951 |
24900 |
0 |
0 |
T25 |
12732 |
12652 |
0 |
0 |
T26 |
13178 |
13112 |
0 |
0 |
T27 |
50256 |
50168 |
0 |
0 |
T28 |
28319 |
28261 |
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 | T1,T2,T5 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T5 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T5 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T5 |
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 |
1798264 |
0 |
0 |
T1 |
126657 |
3782 |
0 |
0 |
T2 |
16267 |
732 |
0 |
0 |
T3 |
14091 |
268 |
0 |
0 |
T4 |
14582 |
211 |
0 |
0 |
T5 |
23916 |
0 |
0 |
0 |
T6 |
0 |
25008 |
0 |
0 |
T7 |
0 |
2874 |
0 |
0 |
T8 |
0 |
6681 |
0 |
0 |
T9 |
0 |
1100 |
0 |
0 |
T10 |
0 |
4079 |
0 |
0 |
T24 |
24951 |
0 |
0 |
0 |
T25 |
12732 |
0 |
0 |
0 |
T26 |
13178 |
0 |
0 |
0 |
T27 |
50256 |
0 |
0 |
0 |
T28 |
28319 |
0 |
0 |
0 |
T35 |
0 |
411 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
31810042 |
31501084 |
0 |
0 |
T1 |
937 |
74 |
0 |
0 |
T2 |
129 |
21 |
0 |
0 |
T3 |
111 |
13 |
0 |
0 |
T4 |
193 |
93 |
0 |
0 |
T5 |
94 |
6 |
0 |
0 |
T24 |
98 |
6 |
0 |
0 |
T25 |
101 |
8 |
0 |
0 |
T26 |
104 |
48 |
0 |
0 |
T27 |
101 |
4 |
0 |
0 |
T28 |
56 |
5 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1850 |
0 |
0 |
T1 |
126657 |
9 |
0 |
0 |
T2 |
16267 |
1 |
0 |
0 |
T3 |
14091 |
1 |
0 |
0 |
T4 |
14582 |
1 |
0 |
0 |
T5 |
23916 |
0 |
0 |
0 |
T6 |
0 |
15 |
0 |
0 |
T7 |
0 |
2 |
0 |
0 |
T8 |
0 |
8 |
0 |
0 |
T9 |
0 |
1 |
0 |
0 |
T10 |
0 |
10 |
0 |
0 |
T24 |
24951 |
0 |
0 |
0 |
T25 |
12732 |
0 |
0 |
0 |
T26 |
13178 |
0 |
0 |
0 |
T27 |
50256 |
0 |
0 |
0 |
T28 |
28319 |
0 |
0 |
0 |
T29 |
0 |
2 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
126657 |
125805 |
0 |
0 |
T2 |
16267 |
14672 |
0 |
0 |
T3 |
14091 |
14040 |
0 |
0 |
T4 |
14582 |
14521 |
0 |
0 |
T5 |
23916 |
23860 |
0 |
0 |
T24 |
24951 |
24900 |
0 |
0 |
T25 |
12732 |
12652 |
0 |
0 |
T26 |
13178 |
13112 |
0 |
0 |
T27 |
50256 |
50168 |
0 |
0 |
T28 |
28319 |
28261 |
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 | T1,T2,T5 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T5 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T5 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T5 |
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 |
1775780 |
0 |
0 |
T1 |
126657 |
4317 |
0 |
0 |
T2 |
16267 |
728 |
0 |
0 |
T3 |
14091 |
304 |
0 |
0 |
T4 |
14582 |
215 |
0 |
0 |
T5 |
23916 |
0 |
0 |
0 |
T6 |
0 |
19771 |
0 |
0 |
T7 |
0 |
2902 |
0 |
0 |
T8 |
0 |
5190 |
0 |
0 |
T9 |
0 |
369 |
0 |
0 |
T10 |
0 |
3591 |
0 |
0 |
T24 |
24951 |
0 |
0 |
0 |
T25 |
12732 |
0 |
0 |
0 |
T26 |
13178 |
0 |
0 |
0 |
T27 |
50256 |
0 |
0 |
0 |
T28 |
28319 |
0 |
0 |
0 |
T35 |
0 |
23 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
31810042 |
31501084 |
0 |
0 |
T1 |
937 |
74 |
0 |
0 |
T2 |
129 |
21 |
0 |
0 |
T3 |
111 |
13 |
0 |
0 |
T4 |
193 |
93 |
0 |
0 |
T5 |
94 |
6 |
0 |
0 |
T24 |
98 |
6 |
0 |
0 |
T25 |
101 |
8 |
0 |
0 |
T26 |
104 |
48 |
0 |
0 |
T27 |
101 |
4 |
0 |
0 |
T28 |
56 |
5 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1840 |
0 |
0 |
T1 |
126657 |
10 |
0 |
0 |
T2 |
16267 |
1 |
0 |
0 |
T3 |
14091 |
1 |
0 |
0 |
T4 |
14582 |
1 |
0 |
0 |
T5 |
23916 |
0 |
0 |
0 |
T6 |
0 |
12 |
0 |
0 |
T7 |
0 |
2 |
0 |
0 |
T8 |
0 |
6 |
0 |
0 |
T10 |
0 |
9 |
0 |
0 |
T24 |
24951 |
0 |
0 |
0 |
T25 |
12732 |
0 |
0 |
0 |
T26 |
13178 |
0 |
0 |
0 |
T27 |
50256 |
0 |
0 |
0 |
T28 |
28319 |
0 |
0 |
0 |
T29 |
0 |
2 |
0 |
0 |
T36 |
0 |
2 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
126657 |
125805 |
0 |
0 |
T2 |
16267 |
14672 |
0 |
0 |
T3 |
14091 |
14040 |
0 |
0 |
T4 |
14582 |
14521 |
0 |
0 |
T5 |
23916 |
23860 |
0 |
0 |
T24 |
24951 |
24900 |
0 |
0 |
T25 |
12732 |
12652 |
0 |
0 |
T26 |
13178 |
13112 |
0 |
0 |
T27 |
50256 |
50168 |
0 |
0 |
T28 |
28319 |
28261 |
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 | T1,T2,T5 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T5 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T5 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T5 |
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 |
1361757 |
0 |
0 |
T1 |
126657 |
4089 |
0 |
0 |
T2 |
16267 |
748 |
0 |
0 |
T3 |
14091 |
346 |
0 |
0 |
T4 |
14582 |
214 |
0 |
0 |
T5 |
23916 |
0 |
0 |
0 |
T6 |
0 |
23036 |
0 |
0 |
T7 |
0 |
2801 |
0 |
0 |
T8 |
0 |
4412 |
0 |
0 |
T9 |
0 |
1278 |
0 |
0 |
T10 |
0 |
3944 |
0 |
0 |
T24 |
24951 |
0 |
0 |
0 |
T25 |
12732 |
0 |
0 |
0 |
T26 |
13178 |
0 |
0 |
0 |
T27 |
50256 |
0 |
0 |
0 |
T28 |
28319 |
0 |
0 |
0 |
T35 |
0 |
355 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
31810042 |
31501084 |
0 |
0 |
T1 |
937 |
74 |
0 |
0 |
T2 |
129 |
21 |
0 |
0 |
T3 |
111 |
13 |
0 |
0 |
T4 |
193 |
93 |
0 |
0 |
T5 |
94 |
6 |
0 |
0 |
T24 |
98 |
6 |
0 |
0 |
T25 |
101 |
8 |
0 |
0 |
T26 |
104 |
48 |
0 |
0 |
T27 |
101 |
4 |
0 |
0 |
T28 |
56 |
5 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1364 |
0 |
0 |
T1 |
126657 |
10 |
0 |
0 |
T2 |
16267 |
2 |
0 |
0 |
T3 |
14091 |
1 |
0 |
0 |
T4 |
14582 |
1 |
0 |
0 |
T5 |
23916 |
0 |
0 |
0 |
T6 |
0 |
14 |
0 |
0 |
T7 |
0 |
2 |
0 |
0 |
T8 |
0 |
5 |
0 |
0 |
T9 |
0 |
1 |
0 |
0 |
T10 |
0 |
10 |
0 |
0 |
T24 |
24951 |
0 |
0 |
0 |
T25 |
12732 |
0 |
0 |
0 |
T26 |
13178 |
0 |
0 |
0 |
T27 |
50256 |
0 |
0 |
0 |
T28 |
28319 |
0 |
0 |
0 |
T29 |
0 |
2 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
126657 |
125805 |
0 |
0 |
T2 |
16267 |
14672 |
0 |
0 |
T3 |
14091 |
14040 |
0 |
0 |
T4 |
14582 |
14521 |
0 |
0 |
T5 |
23916 |
23860 |
0 |
0 |
T24 |
24951 |
24900 |
0 |
0 |
T25 |
12732 |
12652 |
0 |
0 |
T26 |
13178 |
13112 |
0 |
0 |
T27 |
50256 |
50168 |
0 |
0 |
T28 |
28319 |
28261 |
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 | T1,T2,T5 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 112
EXPRESSION (src_wd_i & BitMask)
----1--- ---2---
-1- | -2- | Status | Tests |
0 | - | Covered | T1,T3,T6 |
1 | - | Covered | T1,T2,T4 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T5 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T5 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T5 |
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 |
T1,T2,T5 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T5 |
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 |
15711114 |
0 |
0 |
T1 |
126657 |
3478 |
0 |
0 |
T2 |
16267 |
729 |
0 |
0 |
T3 |
14091 |
312 |
0 |
0 |
T4 |
14582 |
216 |
0 |
0 |
T5 |
23916 |
0 |
0 |
0 |
T6 |
0 |
14544 |
0 |
0 |
T7 |
0 |
2871 |
0 |
0 |
T8 |
0 |
7632 |
0 |
0 |
T9 |
0 |
1001 |
0 |
0 |
T10 |
0 |
3524 |
0 |
0 |
T24 |
24951 |
0 |
0 |
0 |
T25 |
12732 |
0 |
0 |
0 |
T26 |
13178 |
0 |
0 |
0 |
T27 |
50256 |
0 |
0 |
0 |
T28 |
28319 |
0 |
0 |
0 |
T35 |
0 |
379 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
31810042 |
31501084 |
0 |
0 |
T1 |
937 |
74 |
0 |
0 |
T2 |
129 |
21 |
0 |
0 |
T3 |
111 |
13 |
0 |
0 |
T4 |
193 |
93 |
0 |
0 |
T5 |
94 |
6 |
0 |
0 |
T24 |
98 |
6 |
0 |
0 |
T25 |
101 |
8 |
0 |
0 |
T26 |
104 |
48 |
0 |
0 |
T27 |
101 |
4 |
0 |
0 |
T28 |
56 |
5 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
17876 |
0 |
0 |
T1 |
126657 |
8 |
0 |
0 |
T2 |
16267 |
1 |
0 |
0 |
T3 |
14091 |
1 |
0 |
0 |
T4 |
14582 |
1 |
0 |
0 |
T5 |
23916 |
0 |
0 |
0 |
T6 |
0 |
9 |
0 |
0 |
T7 |
0 |
2 |
0 |
0 |
T8 |
0 |
9 |
0 |
0 |
T10 |
0 |
9 |
0 |
0 |
T24 |
24951 |
0 |
0 |
0 |
T25 |
12732 |
0 |
0 |
0 |
T26 |
13178 |
0 |
0 |
0 |
T27 |
50256 |
0 |
0 |
0 |
T28 |
28319 |
0 |
0 |
0 |
T29 |
0 |
2 |
0 |
0 |
T36 |
0 |
2 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
126657 |
125805 |
0 |
0 |
T2 |
16267 |
14672 |
0 |
0 |
T3 |
14091 |
14040 |
0 |
0 |
T4 |
14582 |
14521 |
0 |
0 |
T5 |
23916 |
23860 |
0 |
0 |
T24 |
24951 |
24900 |
0 |
0 |
T25 |
12732 |
12652 |
0 |
0 |
T26 |
13178 |
13112 |
0 |
0 |
T27 |
50256 |
50168 |
0 |
0 |
T28 |
28319 |
28261 |
0 |
0 |