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,T3 |
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,T3 |
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,T3 |
0 | 1 | Covered | T1,T2,T3 |
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,T3 |
1 | 0 | Not Covered | |
1 | 1 | Covered | T1,T2,T3 |
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,T3 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T2,T3,T5 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T2,T3,T5 |
1 | 1 | Covered | T2,T3,T5 |
LINE 112
EXPRESSION (src_wd_i & BitMask)
----1--- ---2---
-1- | -2- | Status | Tests |
0 | - | Covered | T2,T3,T5 |
1 | - | Covered | T2,T3,T5 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T2,T3,T5 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T2,T3,T5 |
1 | 1 | Covered | T2,T3,T5 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
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,T3 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
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,T3 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
Assert Coverage for Module :
prim_reg_cdc
Assertion Details
BusySrcReqChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
185840487 |
0 |
0 |
T1 |
299478 |
17642 |
0 |
0 |
T2 |
2872100 |
12173 |
0 |
0 |
T3 |
9567540 |
59076 |
0 |
0 |
T4 |
2565926 |
25656 |
0 |
0 |
T5 |
2793028 |
2120664 |
0 |
0 |
T6 |
12935683 |
71407 |
0 |
0 |
T7 |
20153773 |
20743 |
0 |
0 |
T8 |
5001327 |
227196 |
0 |
0 |
T9 |
8202743 |
36850 |
0 |
0 |
T10 |
4961698 |
332710 |
0 |
0 |
T11 |
3540516 |
135350 |
0 |
0 |
T12 |
628128 |
54231 |
0 |
0 |
T13 |
0 |
90917 |
0 |
0 |
T14 |
0 |
313541 |
0 |
0 |
T15 |
0 |
304051 |
0 |
0 |
T16 |
0 |
207819 |
0 |
0 |
T20 |
0 |
902 |
0 |
0 |
T21 |
0 |
2593 |
0 |
0 |
T22 |
0 |
3093 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
820371400 |
811335100 |
0 |
0 |
T1 |
29900 |
27850 |
0 |
0 |
T2 |
815900 |
814100 |
0 |
0 |
T3 |
866600 |
862200 |
0 |
0 |
T4 |
192325 |
190400 |
0 |
0 |
T5 |
619525 |
544600 |
0 |
0 |
T6 |
28375 |
26600 |
0 |
0 |
T7 |
182525 |
180300 |
0 |
0 |
T8 |
1598875 |
1597475 |
0 |
0 |
T9 |
849100 |
846650 |
0 |
0 |
T10 |
385175 |
339350 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
208307 |
0 |
0 |
T1 |
299478 |
42 |
0 |
0 |
T2 |
2872100 |
92 |
0 |
0 |
T3 |
9567540 |
146 |
0 |
0 |
T4 |
2565926 |
52 |
0 |
0 |
T5 |
2793028 |
1241 |
0 |
0 |
T6 |
12935683 |
42 |
0 |
0 |
T7 |
20153773 |
49 |
0 |
0 |
T8 |
5001327 |
199 |
0 |
0 |
T9 |
8202743 |
107 |
0 |
0 |
T10 |
4961698 |
703 |
0 |
0 |
T11 |
3540516 |
83 |
0 |
0 |
T12 |
628128 |
185 |
0 |
0 |
T13 |
0 |
109 |
0 |
0 |
T14 |
0 |
185 |
0 |
0 |
T15 |
0 |
178 |
0 |
0 |
T16 |
0 |
282 |
0 |
0 |
T20 |
0 |
3 |
0 |
0 |
T21 |
0 |
2 |
0 |
0 |
T22 |
0 |
2 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
3743475 |
3741850 |
0 |
0 |
T2 |
3263750 |
3263525 |
0 |
0 |
T3 |
10399500 |
10398950 |
0 |
0 |
T4 |
2789050 |
2788875 |
0 |
0 |
T5 |
3035900 |
3035125 |
0 |
0 |
T6 |
14060525 |
14058275 |
0 |
0 |
T7 |
21906275 |
21904975 |
0 |
0 |
T8 |
5436225 |
5436200 |
0 |
0 |
T9 |
8916025 |
8915875 |
0 |
0 |
T10 |
5393150 |
5388850 |
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,T3 |
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,T3 |
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,T3 |
0 | 1 | Covered | T1,T2,T3 |
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,T3 |
1 | 0 | Not Covered | |
1 | 1 | Covered | T1,T2,T3 |
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,T3 |
0 |
1 |
- |
Unreachable |
|
0 |
0 |
1 |
Not Covered |
|
0 |
0 |
0 |
Covered |
T1,T2,T3 |
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,T3 |
0 |
1 |
- |
Unreachable |
|
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
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 |
32814856 |
32453404 |
0 |
0 |
T1 |
1196 |
1114 |
0 |
0 |
T2 |
32636 |
32564 |
0 |
0 |
T3 |
34664 |
34488 |
0 |
0 |
T4 |
7693 |
7616 |
0 |
0 |
T5 |
24781 |
21784 |
0 |
0 |
T6 |
1135 |
1064 |
0 |
0 |
T7 |
7301 |
7212 |
0 |
0 |
T8 |
63955 |
63899 |
0 |
0 |
T9 |
33964 |
33866 |
0 |
0 |
T10 |
15407 |
13574 |
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 |
149739 |
149674 |
0 |
0 |
T2 |
130550 |
130541 |
0 |
0 |
T3 |
415980 |
415958 |
0 |
0 |
T4 |
111562 |
111555 |
0 |
0 |
T5 |
121436 |
121405 |
0 |
0 |
T6 |
562421 |
562331 |
0 |
0 |
T7 |
876251 |
876199 |
0 |
0 |
T8 |
217449 |
217448 |
0 |
0 |
T9 |
356641 |
356635 |
0 |
0 |
T10 |
215726 |
215554 |
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,T3 |
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,T3 |
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,T3 |
0 | 1 | Covered | T1,T2,T3 |
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,T3 |
1 | 0 | Not Covered | |
1 | 1 | Covered | T1,T2,T3 |
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,T3 |
0 |
1 |
- |
Unreachable |
|
0 |
0 |
1 |
Not Covered |
|
0 |
0 |
0 |
Covered |
T1,T2,T3 |
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,T3 |
0 |
1 |
- |
Unreachable |
|
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
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 |
32814856 |
32453404 |
0 |
0 |
T1 |
1196 |
1114 |
0 |
0 |
T2 |
32636 |
32564 |
0 |
0 |
T3 |
34664 |
34488 |
0 |
0 |
T4 |
7693 |
7616 |
0 |
0 |
T5 |
24781 |
21784 |
0 |
0 |
T6 |
1135 |
1064 |
0 |
0 |
T7 |
7301 |
7212 |
0 |
0 |
T8 |
63955 |
63899 |
0 |
0 |
T9 |
33964 |
33866 |
0 |
0 |
T10 |
15407 |
13574 |
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 |
149739 |
149674 |
0 |
0 |
T2 |
130550 |
130541 |
0 |
0 |
T3 |
415980 |
415958 |
0 |
0 |
T4 |
111562 |
111555 |
0 |
0 |
T5 |
121436 |
121405 |
0 |
0 |
T6 |
562421 |
562331 |
0 |
0 |
T7 |
876251 |
876199 |
0 |
0 |
T8 |
217449 |
217448 |
0 |
0 |
T9 |
356641 |
356635 |
0 |
0 |
T10 |
215726 |
215554 |
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,T3 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T2,T3,T8 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T2,T3,T8 |
1 | 1 | Covered | T2,T3,T8 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T2,T3,T8 |
1 | 0 | Covered | T2,T3,T8 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T2,T3,T8 |
1 | 1 | Covered | T2,T3,T8 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Not Covered | |
1 | 1 | Covered | T2,T3,T8 |
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,T3 |
0 |
1 |
- |
Covered |
T2,T3,T8 |
0 |
0 |
1 |
Covered |
T2,T3,T8 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
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,T3 |
0 |
1 |
- |
Covered |
T2,T3,T8 |
0 |
0 |
1 |
Covered |
T2,T3,T8 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.u_reg.u_filter_status_cdc
Assertion Details
BusySrcReqChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
60597899 |
0 |
0 |
T2 |
130550 |
8666 |
0 |
0 |
T3 |
415980 |
31813 |
0 |
0 |
T4 |
111562 |
0 |
0 |
0 |
T5 |
121436 |
0 |
0 |
0 |
T6 |
562421 |
0 |
0 |
0 |
T7 |
876251 |
0 |
0 |
0 |
T8 |
217449 |
168446 |
0 |
0 |
T9 |
356641 |
29207 |
0 |
0 |
T10 |
215726 |
0 |
0 |
0 |
T11 |
168596 |
104922 |
0 |
0 |
T12 |
0 |
42436 |
0 |
0 |
T13 |
0 |
73795 |
0 |
0 |
T14 |
0 |
243724 |
0 |
0 |
T15 |
0 |
254250 |
0 |
0 |
T16 |
0 |
172048 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
32814856 |
32453404 |
0 |
0 |
T1 |
1196 |
1114 |
0 |
0 |
T2 |
32636 |
32564 |
0 |
0 |
T3 |
34664 |
34488 |
0 |
0 |
T4 |
7693 |
7616 |
0 |
0 |
T5 |
24781 |
21784 |
0 |
0 |
T6 |
1135 |
1064 |
0 |
0 |
T7 |
7301 |
7212 |
0 |
0 |
T8 |
63955 |
63899 |
0 |
0 |
T9 |
33964 |
33866 |
0 |
0 |
T10 |
15407 |
13574 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
67186 |
0 |
0 |
T2 |
130550 |
67 |
0 |
0 |
T3 |
415980 |
78 |
0 |
0 |
T4 |
111562 |
0 |
0 |
0 |
T5 |
121436 |
0 |
0 |
0 |
T6 |
562421 |
0 |
0 |
0 |
T7 |
876251 |
0 |
0 |
0 |
T8 |
217449 |
147 |
0 |
0 |
T9 |
356641 |
81 |
0 |
0 |
T10 |
215726 |
0 |
0 |
0 |
T11 |
168596 |
62 |
0 |
0 |
T12 |
0 |
145 |
0 |
0 |
T13 |
0 |
89 |
0 |
0 |
T14 |
0 |
143 |
0 |
0 |
T15 |
0 |
148 |
0 |
0 |
T16 |
0 |
237 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
149739 |
149674 |
0 |
0 |
T2 |
130550 |
130541 |
0 |
0 |
T3 |
415980 |
415958 |
0 |
0 |
T4 |
111562 |
111555 |
0 |
0 |
T5 |
121436 |
121405 |
0 |
0 |
T6 |
562421 |
562331 |
0 |
0 |
T7 |
876251 |
876199 |
0 |
0 |
T8 |
217449 |
217448 |
0 |
0 |
T9 |
356641 |
356635 |
0 |
0 |
T10 |
215726 |
215554 |
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,T3 |
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,T3 |
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,T3 |
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,T3 |
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,T3 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
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,T3 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
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 |
35179376 |
0 |
0 |
T1 |
149739 |
17161 |
0 |
0 |
T2 |
130550 |
391 |
0 |
0 |
T3 |
415980 |
18807 |
0 |
0 |
T4 |
111562 |
17443 |
0 |
0 |
T5 |
121436 |
661823 |
0 |
0 |
T6 |
562421 |
69948 |
0 |
0 |
T7 |
876251 |
13910 |
0 |
0 |
T8 |
217449 |
7100 |
0 |
0 |
T9 |
356641 |
1133 |
0 |
0 |
T10 |
215726 |
103685 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
32814856 |
32453404 |
0 |
0 |
T1 |
1196 |
1114 |
0 |
0 |
T2 |
32636 |
32564 |
0 |
0 |
T3 |
34664 |
34488 |
0 |
0 |
T4 |
7693 |
7616 |
0 |
0 |
T5 |
24781 |
21784 |
0 |
0 |
T6 |
1135 |
1064 |
0 |
0 |
T7 |
7301 |
7212 |
0 |
0 |
T8 |
63955 |
63899 |
0 |
0 |
T9 |
33964 |
33866 |
0 |
0 |
T10 |
15407 |
13574 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
39760 |
0 |
0 |
T1 |
149739 |
41 |
0 |
0 |
T2 |
130550 |
3 |
0 |
0 |
T3 |
415980 |
44 |
0 |
0 |
T4 |
111562 |
35 |
0 |
0 |
T5 |
121436 |
385 |
0 |
0 |
T6 |
562421 |
41 |
0 |
0 |
T7 |
876251 |
33 |
0 |
0 |
T8 |
217449 |
6 |
0 |
0 |
T9 |
356641 |
3 |
0 |
0 |
T10 |
215726 |
213 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
149739 |
149674 |
0 |
0 |
T2 |
130550 |
130541 |
0 |
0 |
T3 |
415980 |
415958 |
0 |
0 |
T4 |
111562 |
111555 |
0 |
0 |
T5 |
121436 |
121405 |
0 |
0 |
T6 |
562421 |
562331 |
0 |
0 |
T7 |
876251 |
876199 |
0 |
0 |
T8 |
217449 |
217448 |
0 |
0 |
T9 |
356641 |
356635 |
0 |
0 |
T10 |
215726 |
215554 |
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,T3 |
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,T3 |
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,T3 |
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,T3 |
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,T3 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
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,T3 |
0 |
1 |
- |
Covered |
T1,T2,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
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 |
16445554 |
0 |
0 |
T1 |
149739 |
481 |
0 |
0 |
T2 |
130550 |
256 |
0 |
0 |
T3 |
415980 |
1157 |
0 |
0 |
T4 |
111562 |
8213 |
0 |
0 |
T5 |
121436 |
324226 |
0 |
0 |
T6 |
562421 |
1459 |
0 |
0 |
T7 |
876251 |
6833 |
0 |
0 |
T8 |
217449 |
4483 |
0 |
0 |
T9 |
356641 |
653 |
0 |
0 |
T10 |
215726 |
47180 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
32814856 |
32453404 |
0 |
0 |
T1 |
1196 |
1114 |
0 |
0 |
T2 |
32636 |
32564 |
0 |
0 |
T3 |
34664 |
34488 |
0 |
0 |
T4 |
7693 |
7616 |
0 |
0 |
T5 |
24781 |
21784 |
0 |
0 |
T6 |
1135 |
1064 |
0 |
0 |
T7 |
7301 |
7212 |
0 |
0 |
T8 |
63955 |
63899 |
0 |
0 |
T9 |
33964 |
33866 |
0 |
0 |
T10 |
15407 |
13574 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
18897 |
0 |
0 |
T1 |
149739 |
1 |
0 |
0 |
T2 |
130550 |
2 |
0 |
0 |
T3 |
415980 |
3 |
0 |
0 |
T4 |
111562 |
17 |
0 |
0 |
T5 |
121436 |
192 |
0 |
0 |
T6 |
562421 |
1 |
0 |
0 |
T7 |
876251 |
16 |
0 |
0 |
T8 |
217449 |
4 |
0 |
0 |
T9 |
356641 |
2 |
0 |
0 |
T10 |
215726 |
106 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
149739 |
149674 |
0 |
0 |
T2 |
130550 |
130541 |
0 |
0 |
T3 |
415980 |
415958 |
0 |
0 |
T4 |
111562 |
111555 |
0 |
0 |
T5 |
121436 |
121405 |
0 |
0 |
T6 |
562421 |
562331 |
0 |
0 |
T7 |
876251 |
876199 |
0 |
0 |
T8 |
217449 |
217448 |
0 |
0 |
T9 |
356641 |
356635 |
0 |
0 |
T10 |
215726 |
215554 |
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,T3 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T2,T3,T5 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T2,T3,T5 |
1 | 1 | Covered | T2,T3,T5 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T2,T3,T5 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T2,T3,T5 |
1 | 1 | Covered | T2,T3,T5 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
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,T3 |
0 |
1 |
- |
Covered |
T2,T3,T5 |
0 |
0 |
1 |
Covered |
T2,T3,T5 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
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,T3 |
0 |
1 |
- |
Covered |
T2,T3,T5 |
0 |
0 |
1 |
Covered |
T2,T3,T5 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
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 |
13281853 |
0 |
0 |
T2 |
130550 |
145 |
0 |
0 |
T3 |
415980 |
324 |
0 |
0 |
T4 |
111562 |
0 |
0 |
0 |
T5 |
121436 |
326314 |
0 |
0 |
T6 |
562421 |
0 |
0 |
0 |
T7 |
876251 |
0 |
0 |
0 |
T8 |
217449 |
2120 |
0 |
0 |
T9 |
356641 |
248 |
0 |
0 |
T10 |
215726 |
48269 |
0 |
0 |
T11 |
168596 |
1370 |
0 |
0 |
T12 |
0 |
606 |
0 |
0 |
T13 |
0 |
778 |
0 |
0 |
T14 |
0 |
3289 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
32814856 |
32453404 |
0 |
0 |
T1 |
1196 |
1114 |
0 |
0 |
T2 |
32636 |
32564 |
0 |
0 |
T3 |
34664 |
34488 |
0 |
0 |
T4 |
7693 |
7616 |
0 |
0 |
T5 |
24781 |
21784 |
0 |
0 |
T6 |
1135 |
1064 |
0 |
0 |
T7 |
7301 |
7212 |
0 |
0 |
T8 |
63955 |
63899 |
0 |
0 |
T9 |
33964 |
33866 |
0 |
0 |
T10 |
15407 |
13574 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
14968 |
0 |
0 |
T2 |
130550 |
1 |
0 |
0 |
T3 |
415980 |
1 |
0 |
0 |
T4 |
111562 |
0 |
0 |
0 |
T5 |
121436 |
192 |
0 |
0 |
T6 |
562421 |
0 |
0 |
0 |
T7 |
876251 |
0 |
0 |
0 |
T8 |
217449 |
2 |
0 |
0 |
T9 |
356641 |
1 |
0 |
0 |
T10 |
215726 |
106 |
0 |
0 |
T11 |
168596 |
1 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
1 |
0 |
0 |
T14 |
0 |
2 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
149739 |
149674 |
0 |
0 |
T2 |
130550 |
130541 |
0 |
0 |
T3 |
415980 |
415958 |
0 |
0 |
T4 |
111562 |
111555 |
0 |
0 |
T5 |
121436 |
121405 |
0 |
0 |
T6 |
562421 |
562331 |
0 |
0 |
T7 |
876251 |
876199 |
0 |
0 |
T8 |
217449 |
217448 |
0 |
0 |
T9 |
356641 |
356635 |
0 |
0 |
T10 |
215726 |
215554 |
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,T3 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T2,T3,T5 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T2,T3,T5 |
1 | 1 | Covered | T2,T3,T5 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T2,T3,T5 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T2,T3,T5 |
1 | 1 | Covered | T2,T3,T5 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
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,T3 |
0 |
1 |
- |
Covered |
T2,T3,T5 |
0 |
0 |
1 |
Covered |
T2,T3,T5 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
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,T3 |
0 |
1 |
- |
Covered |
T2,T3,T5 |
0 |
0 |
1 |
Covered |
T2,T3,T5 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
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 |
13312771 |
0 |
0 |
T2 |
130550 |
157 |
0 |
0 |
T3 |
415980 |
326 |
0 |
0 |
T4 |
111562 |
0 |
0 |
0 |
T5 |
121436 |
328346 |
0 |
0 |
T6 |
562421 |
0 |
0 |
0 |
T7 |
876251 |
0 |
0 |
0 |
T8 |
217449 |
2136 |
0 |
0 |
T9 |
356641 |
262 |
0 |
0 |
T10 |
215726 |
49351 |
0 |
0 |
T11 |
168596 |
1373 |
0 |
0 |
T12 |
0 |
613 |
0 |
0 |
T13 |
0 |
786 |
0 |
0 |
T14 |
0 |
3293 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
32814856 |
32453404 |
0 |
0 |
T1 |
1196 |
1114 |
0 |
0 |
T2 |
32636 |
32564 |
0 |
0 |
T3 |
34664 |
34488 |
0 |
0 |
T4 |
7693 |
7616 |
0 |
0 |
T5 |
24781 |
21784 |
0 |
0 |
T6 |
1135 |
1064 |
0 |
0 |
T7 |
7301 |
7212 |
0 |
0 |
T8 |
63955 |
63899 |
0 |
0 |
T9 |
33964 |
33866 |
0 |
0 |
T10 |
15407 |
13574 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
14935 |
0 |
0 |
T2 |
130550 |
1 |
0 |
0 |
T3 |
415980 |
1 |
0 |
0 |
T4 |
111562 |
0 |
0 |
0 |
T5 |
121436 |
192 |
0 |
0 |
T6 |
562421 |
0 |
0 |
0 |
T7 |
876251 |
0 |
0 |
0 |
T8 |
217449 |
2 |
0 |
0 |
T9 |
356641 |
1 |
0 |
0 |
T10 |
215726 |
106 |
0 |
0 |
T11 |
168596 |
1 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
1 |
0 |
0 |
T14 |
0 |
2 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
149739 |
149674 |
0 |
0 |
T2 |
130550 |
130541 |
0 |
0 |
T3 |
415980 |
415958 |
0 |
0 |
T4 |
111562 |
111555 |
0 |
0 |
T5 |
121436 |
121405 |
0 |
0 |
T6 |
562421 |
562331 |
0 |
0 |
T7 |
876251 |
876199 |
0 |
0 |
T8 |
217449 |
217448 |
0 |
0 |
T9 |
356641 |
356635 |
0 |
0 |
T10 |
215726 |
215554 |
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,T3 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T2,T3,T5 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T2,T3,T5 |
1 | 1 | Covered | T2,T3,T5 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T2,T3,T5 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T2,T3,T5 |
1 | 1 | Covered | T2,T3,T5 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
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,T3 |
0 |
1 |
- |
Covered |
T2,T3,T5 |
0 |
0 |
1 |
Covered |
T2,T3,T5 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
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,T3 |
0 |
1 |
- |
Covered |
T2,T3,T5 |
0 |
0 |
1 |
Covered |
T2,T3,T5 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
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 |
1794756 |
0 |
0 |
T2 |
130550 |
153 |
0 |
0 |
T3 |
415980 |
358 |
0 |
0 |
T4 |
111562 |
0 |
0 |
0 |
T5 |
121436 |
1456 |
0 |
0 |
T6 |
562421 |
0 |
0 |
0 |
T7 |
876251 |
0 |
0 |
0 |
T8 |
217449 |
2355 |
0 |
0 |
T9 |
356641 |
310 |
0 |
0 |
T10 |
215726 |
408 |
0 |
0 |
T11 |
168596 |
1474 |
0 |
0 |
T12 |
0 |
648 |
0 |
0 |
T13 |
0 |
944 |
0 |
0 |
T14 |
0 |
3357 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
32814856 |
32453404 |
0 |
0 |
T1 |
1196 |
1114 |
0 |
0 |
T2 |
32636 |
32564 |
0 |
0 |
T3 |
34664 |
34488 |
0 |
0 |
T4 |
7693 |
7616 |
0 |
0 |
T5 |
24781 |
21784 |
0 |
0 |
T6 |
1135 |
1064 |
0 |
0 |
T7 |
7301 |
7212 |
0 |
0 |
T8 |
63955 |
63899 |
0 |
0 |
T9 |
33964 |
33866 |
0 |
0 |
T10 |
15407 |
13574 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1984 |
0 |
0 |
T2 |
130550 |
1 |
0 |
0 |
T3 |
415980 |
1 |
0 |
0 |
T4 |
111562 |
0 |
0 |
0 |
T5 |
121436 |
1 |
0 |
0 |
T6 |
562421 |
0 |
0 |
0 |
T7 |
876251 |
0 |
0 |
0 |
T8 |
217449 |
2 |
0 |
0 |
T9 |
356641 |
1 |
0 |
0 |
T10 |
215726 |
1 |
0 |
0 |
T11 |
168596 |
1 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
1 |
0 |
0 |
T14 |
0 |
2 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
149739 |
149674 |
0 |
0 |
T2 |
130550 |
130541 |
0 |
0 |
T3 |
415980 |
415958 |
0 |
0 |
T4 |
111562 |
111555 |
0 |
0 |
T5 |
121436 |
121405 |
0 |
0 |
T6 |
562421 |
562331 |
0 |
0 |
T7 |
876251 |
876199 |
0 |
0 |
T8 |
217449 |
217448 |
0 |
0 |
T9 |
356641 |
356635 |
0 |
0 |
T10 |
215726 |
215554 |
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,T3 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T2,T3,T8 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T2,T3,T8 |
1 | 1 | Covered | T2,T3,T8 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T2,T3,T8 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T2,T3,T8 |
1 | 1 | Covered | T2,T3,T8 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
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,T3 |
0 |
1 |
- |
Covered |
T2,T3,T8 |
0 |
0 |
1 |
Covered |
T2,T3,T8 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
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,T3 |
0 |
1 |
- |
Covered |
T2,T3,T8 |
0 |
0 |
1 |
Covered |
T2,T3,T8 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
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 |
1711410 |
0 |
0 |
T2 |
130550 |
148 |
0 |
0 |
T3 |
415980 |
356 |
0 |
0 |
T4 |
111562 |
0 |
0 |
0 |
T5 |
121436 |
0 |
0 |
0 |
T6 |
562421 |
0 |
0 |
0 |
T7 |
876251 |
0 |
0 |
0 |
T8 |
217449 |
2339 |
0 |
0 |
T9 |
356641 |
297 |
0 |
0 |
T10 |
215726 |
0 |
0 |
0 |
T11 |
168596 |
1464 |
0 |
0 |
T12 |
0 |
633 |
0 |
0 |
T13 |
0 |
932 |
0 |
0 |
T14 |
0 |
3353 |
0 |
0 |
T15 |
0 |
3420 |
0 |
0 |
T16 |
0 |
2525 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
32814856 |
32453404 |
0 |
0 |
T1 |
1196 |
1114 |
0 |
0 |
T2 |
32636 |
32564 |
0 |
0 |
T3 |
34664 |
34488 |
0 |
0 |
T4 |
7693 |
7616 |
0 |
0 |
T5 |
24781 |
21784 |
0 |
0 |
T6 |
1135 |
1064 |
0 |
0 |
T7 |
7301 |
7212 |
0 |
0 |
T8 |
63955 |
63899 |
0 |
0 |
T9 |
33964 |
33866 |
0 |
0 |
T10 |
15407 |
13574 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1894 |
0 |
0 |
T2 |
130550 |
1 |
0 |
0 |
T3 |
415980 |
1 |
0 |
0 |
T4 |
111562 |
0 |
0 |
0 |
T5 |
121436 |
0 |
0 |
0 |
T6 |
562421 |
0 |
0 |
0 |
T7 |
876251 |
0 |
0 |
0 |
T8 |
217449 |
2 |
0 |
0 |
T9 |
356641 |
1 |
0 |
0 |
T10 |
215726 |
0 |
0 |
0 |
T11 |
168596 |
1 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
1 |
0 |
0 |
T14 |
0 |
2 |
0 |
0 |
T15 |
0 |
2 |
0 |
0 |
T16 |
0 |
3 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
149739 |
149674 |
0 |
0 |
T2 |
130550 |
130541 |
0 |
0 |
T3 |
415980 |
415958 |
0 |
0 |
T4 |
111562 |
111555 |
0 |
0 |
T5 |
121436 |
121405 |
0 |
0 |
T6 |
562421 |
562331 |
0 |
0 |
T7 |
876251 |
876199 |
0 |
0 |
T8 |
217449 |
217448 |
0 |
0 |
T9 |
356641 |
356635 |
0 |
0 |
T10 |
215726 |
215554 |
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,T3 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T2,T3,T8 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T2,T3,T8 |
1 | 1 | Covered | T2,T3,T8 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T2,T3,T8 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T2,T3,T8 |
1 | 1 | Covered | T2,T3,T8 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
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,T3 |
0 |
1 |
- |
Covered |
T2,T3,T8 |
0 |
0 |
1 |
Covered |
T2,T3,T8 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
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,T3 |
0 |
1 |
- |
Covered |
T2,T3,T8 |
0 |
0 |
1 |
Covered |
T2,T3,T8 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
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 |
1647138 |
0 |
0 |
T2 |
130550 |
143 |
0 |
0 |
T3 |
415980 |
354 |
0 |
0 |
T4 |
111562 |
0 |
0 |
0 |
T5 |
121436 |
0 |
0 |
0 |
T6 |
562421 |
0 |
0 |
0 |
T7 |
876251 |
0 |
0 |
0 |
T8 |
217449 |
2327 |
0 |
0 |
T9 |
356641 |
287 |
0 |
0 |
T10 |
215726 |
0 |
0 |
0 |
T11 |
168596 |
1462 |
0 |
0 |
T12 |
0 |
627 |
0 |
0 |
T13 |
0 |
929 |
0 |
0 |
T14 |
0 |
3349 |
0 |
0 |
T15 |
0 |
3404 |
0 |
0 |
T16 |
0 |
2505 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
32814856 |
32453404 |
0 |
0 |
T1 |
1196 |
1114 |
0 |
0 |
T2 |
32636 |
32564 |
0 |
0 |
T3 |
34664 |
34488 |
0 |
0 |
T4 |
7693 |
7616 |
0 |
0 |
T5 |
24781 |
21784 |
0 |
0 |
T6 |
1135 |
1064 |
0 |
0 |
T7 |
7301 |
7212 |
0 |
0 |
T8 |
63955 |
63899 |
0 |
0 |
T9 |
33964 |
33866 |
0 |
0 |
T10 |
15407 |
13574 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1844 |
0 |
0 |
T2 |
130550 |
1 |
0 |
0 |
T3 |
415980 |
1 |
0 |
0 |
T4 |
111562 |
0 |
0 |
0 |
T5 |
121436 |
0 |
0 |
0 |
T6 |
562421 |
0 |
0 |
0 |
T7 |
876251 |
0 |
0 |
0 |
T8 |
217449 |
2 |
0 |
0 |
T9 |
356641 |
1 |
0 |
0 |
T10 |
215726 |
0 |
0 |
0 |
T11 |
168596 |
1 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
1 |
0 |
0 |
T14 |
0 |
2 |
0 |
0 |
T15 |
0 |
2 |
0 |
0 |
T16 |
0 |
3 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
149739 |
149674 |
0 |
0 |
T2 |
130550 |
130541 |
0 |
0 |
T3 |
415980 |
415958 |
0 |
0 |
T4 |
111562 |
111555 |
0 |
0 |
T5 |
121436 |
121405 |
0 |
0 |
T6 |
562421 |
562331 |
0 |
0 |
T7 |
876251 |
876199 |
0 |
0 |
T8 |
217449 |
217448 |
0 |
0 |
T9 |
356641 |
356635 |
0 |
0 |
T10 |
215726 |
215554 |
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,T3 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T2,T3,T8 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T2,T3,T8 |
1 | 1 | Covered | T2,T3,T8 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T2,T3,T8 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T2,T3,T8 |
1 | 1 | Covered | T2,T3,T8 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
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,T3 |
0 |
1 |
- |
Covered |
T2,T3,T8 |
0 |
0 |
1 |
Covered |
T2,T3,T8 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
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,T3 |
0 |
1 |
- |
Covered |
T2,T3,T8 |
0 |
0 |
1 |
Covered |
T2,T3,T8 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
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 |
1723081 |
0 |
0 |
T2 |
130550 |
139 |
0 |
0 |
T3 |
415980 |
352 |
0 |
0 |
T4 |
111562 |
0 |
0 |
0 |
T5 |
121436 |
0 |
0 |
0 |
T6 |
562421 |
0 |
0 |
0 |
T7 |
876251 |
0 |
0 |
0 |
T8 |
217449 |
2319 |
0 |
0 |
T9 |
356641 |
279 |
0 |
0 |
T10 |
215726 |
0 |
0 |
0 |
T11 |
168596 |
1452 |
0 |
0 |
T12 |
0 |
611 |
0 |
0 |
T13 |
0 |
909 |
0 |
0 |
T14 |
0 |
3345 |
0 |
0 |
T15 |
0 |
3392 |
0 |
0 |
T16 |
0 |
2492 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
32814856 |
32453404 |
0 |
0 |
T1 |
1196 |
1114 |
0 |
0 |
T2 |
32636 |
32564 |
0 |
0 |
T3 |
34664 |
34488 |
0 |
0 |
T4 |
7693 |
7616 |
0 |
0 |
T5 |
24781 |
21784 |
0 |
0 |
T6 |
1135 |
1064 |
0 |
0 |
T7 |
7301 |
7212 |
0 |
0 |
T8 |
63955 |
63899 |
0 |
0 |
T9 |
33964 |
33866 |
0 |
0 |
T10 |
15407 |
13574 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1899 |
0 |
0 |
T2 |
130550 |
1 |
0 |
0 |
T3 |
415980 |
1 |
0 |
0 |
T4 |
111562 |
0 |
0 |
0 |
T5 |
121436 |
0 |
0 |
0 |
T6 |
562421 |
0 |
0 |
0 |
T7 |
876251 |
0 |
0 |
0 |
T8 |
217449 |
2 |
0 |
0 |
T9 |
356641 |
1 |
0 |
0 |
T10 |
215726 |
0 |
0 |
0 |
T11 |
168596 |
1 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
1 |
0 |
0 |
T14 |
0 |
2 |
0 |
0 |
T15 |
0 |
2 |
0 |
0 |
T16 |
0 |
3 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
149739 |
149674 |
0 |
0 |
T2 |
130550 |
130541 |
0 |
0 |
T3 |
415980 |
415958 |
0 |
0 |
T4 |
111562 |
111555 |
0 |
0 |
T5 |
121436 |
121405 |
0 |
0 |
T6 |
562421 |
562331 |
0 |
0 |
T7 |
876251 |
876199 |
0 |
0 |
T8 |
217449 |
217448 |
0 |
0 |
T9 |
356641 |
356635 |
0 |
0 |
T10 |
215726 |
215554 |
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,T3 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T2,T3,T8 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T2,T3,T8 |
1 | 1 | Covered | T2,T3,T8 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T2,T3,T8 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T2,T3,T8 |
1 | 1 | Covered | T2,T3,T8 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
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,T3 |
0 |
1 |
- |
Covered |
T2,T3,T8 |
0 |
0 |
1 |
Covered |
T2,T3,T8 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
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,T3 |
0 |
1 |
- |
Covered |
T2,T3,T8 |
0 |
0 |
1 |
Covered |
T2,T3,T8 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
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 |
1674383 |
0 |
0 |
T2 |
130550 |
128 |
0 |
0 |
T3 |
415980 |
350 |
0 |
0 |
T4 |
111562 |
0 |
0 |
0 |
T5 |
121436 |
0 |
0 |
0 |
T6 |
562421 |
0 |
0 |
0 |
T7 |
876251 |
0 |
0 |
0 |
T8 |
217449 |
2306 |
0 |
0 |
T9 |
356641 |
274 |
0 |
0 |
T10 |
215726 |
0 |
0 |
0 |
T11 |
168596 |
1450 |
0 |
0 |
T12 |
0 |
597 |
0 |
0 |
T13 |
0 |
902 |
0 |
0 |
T14 |
0 |
3341 |
0 |
0 |
T15 |
0 |
3381 |
0 |
0 |
T16 |
0 |
2475 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
32814856 |
32453404 |
0 |
0 |
T1 |
1196 |
1114 |
0 |
0 |
T2 |
32636 |
32564 |
0 |
0 |
T3 |
34664 |
34488 |
0 |
0 |
T4 |
7693 |
7616 |
0 |
0 |
T5 |
24781 |
21784 |
0 |
0 |
T6 |
1135 |
1064 |
0 |
0 |
T7 |
7301 |
7212 |
0 |
0 |
T8 |
63955 |
63899 |
0 |
0 |
T9 |
33964 |
33866 |
0 |
0 |
T10 |
15407 |
13574 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1871 |
0 |
0 |
T2 |
130550 |
1 |
0 |
0 |
T3 |
415980 |
1 |
0 |
0 |
T4 |
111562 |
0 |
0 |
0 |
T5 |
121436 |
0 |
0 |
0 |
T6 |
562421 |
0 |
0 |
0 |
T7 |
876251 |
0 |
0 |
0 |
T8 |
217449 |
2 |
0 |
0 |
T9 |
356641 |
1 |
0 |
0 |
T10 |
215726 |
0 |
0 |
0 |
T11 |
168596 |
1 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
1 |
0 |
0 |
T14 |
0 |
2 |
0 |
0 |
T15 |
0 |
2 |
0 |
0 |
T16 |
0 |
3 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
149739 |
149674 |
0 |
0 |
T2 |
130550 |
130541 |
0 |
0 |
T3 |
415980 |
415958 |
0 |
0 |
T4 |
111562 |
111555 |
0 |
0 |
T5 |
121436 |
121405 |
0 |
0 |
T6 |
562421 |
562331 |
0 |
0 |
T7 |
876251 |
876199 |
0 |
0 |
T8 |
217449 |
217448 |
0 |
0 |
T9 |
356641 |
356635 |
0 |
0 |
T10 |
215726 |
215554 |
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,T3 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T2,T3,T8 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T2,T3,T8 |
1 | 1 | Covered | T2,T3,T8 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T2,T3,T8 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T2,T3,T8 |
1 | 1 | Covered | T2,T3,T8 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
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,T3 |
0 |
1 |
- |
Covered |
T2,T3,T8 |
0 |
0 |
1 |
Covered |
T2,T3,T8 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
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,T3 |
0 |
1 |
- |
Covered |
T2,T3,T8 |
0 |
0 |
1 |
Covered |
T2,T3,T8 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
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 |
1641435 |
0 |
0 |
T2 |
130550 |
161 |
0 |
0 |
T3 |
415980 |
348 |
0 |
0 |
T4 |
111562 |
0 |
0 |
0 |
T5 |
121436 |
0 |
0 |
0 |
T6 |
562421 |
0 |
0 |
0 |
T7 |
876251 |
0 |
0 |
0 |
T8 |
217449 |
2298 |
0 |
0 |
T9 |
356641 |
272 |
0 |
0 |
T10 |
215726 |
0 |
0 |
0 |
T11 |
168596 |
1444 |
0 |
0 |
T12 |
0 |
582 |
0 |
0 |
T13 |
0 |
890 |
0 |
0 |
T14 |
0 |
3337 |
0 |
0 |
T15 |
0 |
3373 |
0 |
0 |
T16 |
0 |
2462 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
32814856 |
32453404 |
0 |
0 |
T1 |
1196 |
1114 |
0 |
0 |
T2 |
32636 |
32564 |
0 |
0 |
T3 |
34664 |
34488 |
0 |
0 |
T4 |
7693 |
7616 |
0 |
0 |
T5 |
24781 |
21784 |
0 |
0 |
T6 |
1135 |
1064 |
0 |
0 |
T7 |
7301 |
7212 |
0 |
0 |
T8 |
63955 |
63899 |
0 |
0 |
T9 |
33964 |
33866 |
0 |
0 |
T10 |
15407 |
13574 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1864 |
0 |
0 |
T2 |
130550 |
1 |
0 |
0 |
T3 |
415980 |
1 |
0 |
0 |
T4 |
111562 |
0 |
0 |
0 |
T5 |
121436 |
0 |
0 |
0 |
T6 |
562421 |
0 |
0 |
0 |
T7 |
876251 |
0 |
0 |
0 |
T8 |
217449 |
2 |
0 |
0 |
T9 |
356641 |
1 |
0 |
0 |
T10 |
215726 |
0 |
0 |
0 |
T11 |
168596 |
1 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
1 |
0 |
0 |
T14 |
0 |
2 |
0 |
0 |
T15 |
0 |
2 |
0 |
0 |
T16 |
0 |
3 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
149739 |
149674 |
0 |
0 |
T2 |
130550 |
130541 |
0 |
0 |
T3 |
415980 |
415958 |
0 |
0 |
T4 |
111562 |
111555 |
0 |
0 |
T5 |
121436 |
121405 |
0 |
0 |
T6 |
562421 |
562331 |
0 |
0 |
T7 |
876251 |
876199 |
0 |
0 |
T8 |
217449 |
217448 |
0 |
0 |
T9 |
356641 |
356635 |
0 |
0 |
T10 |
215726 |
215554 |
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,T3 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T2,T3,T8 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T2,T3,T8 |
1 | 1 | Covered | T2,T3,T8 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T2,T3,T8 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T2,T3,T8 |
1 | 1 | Covered | T2,T3,T8 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
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,T3 |
0 |
1 |
- |
Covered |
T2,T3,T8 |
0 |
0 |
1 |
Covered |
T2,T3,T8 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
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,T3 |
0 |
1 |
- |
Covered |
T2,T3,T8 |
0 |
0 |
1 |
Covered |
T2,T3,T8 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
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 |
1617693 |
0 |
0 |
T2 |
130550 |
152 |
0 |
0 |
T3 |
415980 |
346 |
0 |
0 |
T4 |
111562 |
0 |
0 |
0 |
T5 |
121436 |
0 |
0 |
0 |
T6 |
562421 |
0 |
0 |
0 |
T7 |
876251 |
0 |
0 |
0 |
T8 |
217449 |
2278 |
0 |
0 |
T9 |
356641 |
262 |
0 |
0 |
T10 |
215726 |
0 |
0 |
0 |
T11 |
168596 |
1436 |
0 |
0 |
T12 |
0 |
568 |
0 |
0 |
T13 |
0 |
881 |
0 |
0 |
T14 |
0 |
3333 |
0 |
0 |
T15 |
0 |
3357 |
0 |
0 |
T16 |
0 |
2451 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
32814856 |
32453404 |
0 |
0 |
T1 |
1196 |
1114 |
0 |
0 |
T2 |
32636 |
32564 |
0 |
0 |
T3 |
34664 |
34488 |
0 |
0 |
T4 |
7693 |
7616 |
0 |
0 |
T5 |
24781 |
21784 |
0 |
0 |
T6 |
1135 |
1064 |
0 |
0 |
T7 |
7301 |
7212 |
0 |
0 |
T8 |
63955 |
63899 |
0 |
0 |
T9 |
33964 |
33866 |
0 |
0 |
T10 |
15407 |
13574 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1836 |
0 |
0 |
T2 |
130550 |
1 |
0 |
0 |
T3 |
415980 |
1 |
0 |
0 |
T4 |
111562 |
0 |
0 |
0 |
T5 |
121436 |
0 |
0 |
0 |
T6 |
562421 |
0 |
0 |
0 |
T7 |
876251 |
0 |
0 |
0 |
T8 |
217449 |
2 |
0 |
0 |
T9 |
356641 |
1 |
0 |
0 |
T10 |
215726 |
0 |
0 |
0 |
T11 |
168596 |
1 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
1 |
0 |
0 |
T14 |
0 |
2 |
0 |
0 |
T15 |
0 |
2 |
0 |
0 |
T16 |
0 |
3 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
149739 |
149674 |
0 |
0 |
T2 |
130550 |
130541 |
0 |
0 |
T3 |
415980 |
415958 |
0 |
0 |
T4 |
111562 |
111555 |
0 |
0 |
T5 |
121436 |
121405 |
0 |
0 |
T6 |
562421 |
562331 |
0 |
0 |
T7 |
876251 |
876199 |
0 |
0 |
T8 |
217449 |
217448 |
0 |
0 |
T9 |
356641 |
356635 |
0 |
0 |
T10 |
215726 |
215554 |
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,T3 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T2,T3,T8 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T2,T3,T8 |
1 | 1 | Covered | T2,T3,T8 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T2,T3,T8 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T2,T3,T8 |
1 | 1 | Covered | T2,T3,T8 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
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,T3 |
0 |
1 |
- |
Covered |
T2,T3,T8 |
0 |
0 |
1 |
Covered |
T2,T3,T8 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
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,T3 |
0 |
1 |
- |
Covered |
T2,T3,T8 |
0 |
0 |
1 |
Covered |
T2,T3,T8 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
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 |
1611975 |
0 |
0 |
T2 |
130550 |
141 |
0 |
0 |
T3 |
415980 |
344 |
0 |
0 |
T4 |
111562 |
0 |
0 |
0 |
T5 |
121436 |
0 |
0 |
0 |
T6 |
562421 |
0 |
0 |
0 |
T7 |
876251 |
0 |
0 |
0 |
T8 |
217449 |
2266 |
0 |
0 |
T9 |
356641 |
247 |
0 |
0 |
T10 |
215726 |
0 |
0 |
0 |
T11 |
168596 |
1428 |
0 |
0 |
T12 |
0 |
550 |
0 |
0 |
T13 |
0 |
871 |
0 |
0 |
T14 |
0 |
3329 |
0 |
0 |
T15 |
0 |
3342 |
0 |
0 |
T16 |
0 |
2429 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
32814856 |
32453404 |
0 |
0 |
T1 |
1196 |
1114 |
0 |
0 |
T2 |
32636 |
32564 |
0 |
0 |
T3 |
34664 |
34488 |
0 |
0 |
T4 |
7693 |
7616 |
0 |
0 |
T5 |
24781 |
21784 |
0 |
0 |
T6 |
1135 |
1064 |
0 |
0 |
T7 |
7301 |
7212 |
0 |
0 |
T8 |
63955 |
63899 |
0 |
0 |
T9 |
33964 |
33866 |
0 |
0 |
T10 |
15407 |
13574 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1831 |
0 |
0 |
T2 |
130550 |
1 |
0 |
0 |
T3 |
415980 |
1 |
0 |
0 |
T4 |
111562 |
0 |
0 |
0 |
T5 |
121436 |
0 |
0 |
0 |
T6 |
562421 |
0 |
0 |
0 |
T7 |
876251 |
0 |
0 |
0 |
T8 |
217449 |
2 |
0 |
0 |
T9 |
356641 |
1 |
0 |
0 |
T10 |
215726 |
0 |
0 |
0 |
T11 |
168596 |
1 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
1 |
0 |
0 |
T14 |
0 |
2 |
0 |
0 |
T15 |
0 |
2 |
0 |
0 |
T16 |
0 |
3 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
149739 |
149674 |
0 |
0 |
T2 |
130550 |
130541 |
0 |
0 |
T3 |
415980 |
415958 |
0 |
0 |
T4 |
111562 |
111555 |
0 |
0 |
T5 |
121436 |
121405 |
0 |
0 |
T6 |
562421 |
562331 |
0 |
0 |
T7 |
876251 |
876199 |
0 |
0 |
T8 |
217449 |
217448 |
0 |
0 |
T9 |
356641 |
356635 |
0 |
0 |
T10 |
215726 |
215554 |
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,T3 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T2,T3,T5 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T2,T3,T5 |
1 | 1 | Covered | T2,T3,T5 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T2,T3,T5 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T2,T3,T5 |
1 | 1 | Covered | T2,T3,T5 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
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,T3 |
0 |
1 |
- |
Covered |
T2,T3,T5 |
0 |
0 |
1 |
Covered |
T2,T3,T5 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
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,T3 |
0 |
1 |
- |
Covered |
T2,T3,T5 |
0 |
0 |
1 |
Covered |
T2,T3,T5 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
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 |
1761898 |
0 |
0 |
T2 |
130550 |
130 |
0 |
0 |
T3 |
415980 |
342 |
0 |
0 |
T4 |
111562 |
0 |
0 |
0 |
T5 |
121436 |
1442 |
0 |
0 |
T6 |
562421 |
0 |
0 |
0 |
T7 |
876251 |
0 |
0 |
0 |
T8 |
217449 |
2252 |
0 |
0 |
T9 |
356641 |
237 |
0 |
0 |
T10 |
215726 |
401 |
0 |
0 |
T11 |
168596 |
1426 |
0 |
0 |
T12 |
0 |
536 |
0 |
0 |
T13 |
0 |
862 |
0 |
0 |
T14 |
0 |
3325 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
32814856 |
32453404 |
0 |
0 |
T1 |
1196 |
1114 |
0 |
0 |
T2 |
32636 |
32564 |
0 |
0 |
T3 |
34664 |
34488 |
0 |
0 |
T4 |
7693 |
7616 |
0 |
0 |
T5 |
24781 |
21784 |
0 |
0 |
T6 |
1135 |
1064 |
0 |
0 |
T7 |
7301 |
7212 |
0 |
0 |
T8 |
63955 |
63899 |
0 |
0 |
T9 |
33964 |
33866 |
0 |
0 |
T10 |
15407 |
13574 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1998 |
0 |
0 |
T2 |
130550 |
1 |
0 |
0 |
T3 |
415980 |
1 |
0 |
0 |
T4 |
111562 |
0 |
0 |
0 |
T5 |
121436 |
1 |
0 |
0 |
T6 |
562421 |
0 |
0 |
0 |
T7 |
876251 |
0 |
0 |
0 |
T8 |
217449 |
2 |
0 |
0 |
T9 |
356641 |
1 |
0 |
0 |
T10 |
215726 |
1 |
0 |
0 |
T11 |
168596 |
1 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
1 |
0 |
0 |
T14 |
0 |
2 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
149739 |
149674 |
0 |
0 |
T2 |
130550 |
130541 |
0 |
0 |
T3 |
415980 |
415958 |
0 |
0 |
T4 |
111562 |
111555 |
0 |
0 |
T5 |
121436 |
121405 |
0 |
0 |
T6 |
562421 |
562331 |
0 |
0 |
T7 |
876251 |
876199 |
0 |
0 |
T8 |
217449 |
217448 |
0 |
0 |
T9 |
356641 |
356635 |
0 |
0 |
T10 |
215726 |
215554 |
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,T3 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T2,T3,T8 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T2,T3,T8 |
1 | 1 | Covered | T2,T3,T8 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T2,T3,T8 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T2,T3,T8 |
1 | 1 | Covered | T2,T3,T8 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
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,T3 |
0 |
1 |
- |
Covered |
T2,T3,T8 |
0 |
0 |
1 |
Covered |
T2,T3,T8 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
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,T3 |
0 |
1 |
- |
Covered |
T2,T3,T8 |
0 |
0 |
1 |
Covered |
T2,T3,T8 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
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 |
1623530 |
0 |
0 |
T2 |
130550 |
162 |
0 |
0 |
T3 |
415980 |
340 |
0 |
0 |
T4 |
111562 |
0 |
0 |
0 |
T5 |
121436 |
0 |
0 |
0 |
T6 |
562421 |
0 |
0 |
0 |
T7 |
876251 |
0 |
0 |
0 |
T8 |
217449 |
2235 |
0 |
0 |
T9 |
356641 |
227 |
0 |
0 |
T10 |
215726 |
0 |
0 |
0 |
T11 |
168596 |
1422 |
0 |
0 |
T12 |
0 |
526 |
0 |
0 |
T13 |
0 |
851 |
0 |
0 |
T14 |
0 |
3321 |
0 |
0 |
T15 |
0 |
3317 |
0 |
0 |
T16 |
0 |
2390 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
32814856 |
32453404 |
0 |
0 |
T1 |
1196 |
1114 |
0 |
0 |
T2 |
32636 |
32564 |
0 |
0 |
T3 |
34664 |
34488 |
0 |
0 |
T4 |
7693 |
7616 |
0 |
0 |
T5 |
24781 |
21784 |
0 |
0 |
T6 |
1135 |
1064 |
0 |
0 |
T7 |
7301 |
7212 |
0 |
0 |
T8 |
63955 |
63899 |
0 |
0 |
T9 |
33964 |
33866 |
0 |
0 |
T10 |
15407 |
13574 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1836 |
0 |
0 |
T2 |
130550 |
1 |
0 |
0 |
T3 |
415980 |
1 |
0 |
0 |
T4 |
111562 |
0 |
0 |
0 |
T5 |
121436 |
0 |
0 |
0 |
T6 |
562421 |
0 |
0 |
0 |
T7 |
876251 |
0 |
0 |
0 |
T8 |
217449 |
2 |
0 |
0 |
T9 |
356641 |
1 |
0 |
0 |
T10 |
215726 |
0 |
0 |
0 |
T11 |
168596 |
1 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
1 |
0 |
0 |
T14 |
0 |
2 |
0 |
0 |
T15 |
0 |
2 |
0 |
0 |
T16 |
0 |
3 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
149739 |
149674 |
0 |
0 |
T2 |
130550 |
130541 |
0 |
0 |
T3 |
415980 |
415958 |
0 |
0 |
T4 |
111562 |
111555 |
0 |
0 |
T5 |
121436 |
121405 |
0 |
0 |
T6 |
562421 |
562331 |
0 |
0 |
T7 |
876251 |
876199 |
0 |
0 |
T8 |
217449 |
217448 |
0 |
0 |
T9 |
356641 |
356635 |
0 |
0 |
T10 |
215726 |
215554 |
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,T3 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T2,T3,T8 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T2,T3,T8 |
1 | 1 | Covered | T2,T3,T8 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T2,T3,T8 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T2,T3,T8 |
1 | 1 | Covered | T2,T3,T8 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
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,T3 |
0 |
1 |
- |
Covered |
T2,T3,T8 |
0 |
0 |
1 |
Covered |
T2,T3,T8 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
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,T3 |
0 |
1 |
- |
Covered |
T2,T3,T8 |
0 |
0 |
1 |
Covered |
T2,T3,T8 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
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 |
1576391 |
0 |
0 |
T2 |
130550 |
157 |
0 |
0 |
T3 |
415980 |
338 |
0 |
0 |
T4 |
111562 |
0 |
0 |
0 |
T5 |
121436 |
0 |
0 |
0 |
T6 |
562421 |
0 |
0 |
0 |
T7 |
876251 |
0 |
0 |
0 |
T8 |
217449 |
2225 |
0 |
0 |
T9 |
356641 |
222 |
0 |
0 |
T10 |
215726 |
0 |
0 |
0 |
T11 |
168596 |
1418 |
0 |
0 |
T12 |
0 |
503 |
0 |
0 |
T13 |
0 |
843 |
0 |
0 |
T14 |
0 |
3317 |
0 |
0 |
T15 |
0 |
3301 |
0 |
0 |
T16 |
0 |
2361 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
32814856 |
32453404 |
0 |
0 |
T1 |
1196 |
1114 |
0 |
0 |
T2 |
32636 |
32564 |
0 |
0 |
T3 |
34664 |
34488 |
0 |
0 |
T4 |
7693 |
7616 |
0 |
0 |
T5 |
24781 |
21784 |
0 |
0 |
T6 |
1135 |
1064 |
0 |
0 |
T7 |
7301 |
7212 |
0 |
0 |
T8 |
63955 |
63899 |
0 |
0 |
T9 |
33964 |
33866 |
0 |
0 |
T10 |
15407 |
13574 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1824 |
0 |
0 |
T2 |
130550 |
1 |
0 |
0 |
T3 |
415980 |
1 |
0 |
0 |
T4 |
111562 |
0 |
0 |
0 |
T5 |
121436 |
0 |
0 |
0 |
T6 |
562421 |
0 |
0 |
0 |
T7 |
876251 |
0 |
0 |
0 |
T8 |
217449 |
2 |
0 |
0 |
T9 |
356641 |
1 |
0 |
0 |
T10 |
215726 |
0 |
0 |
0 |
T11 |
168596 |
1 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
1 |
0 |
0 |
T14 |
0 |
2 |
0 |
0 |
T15 |
0 |
2 |
0 |
0 |
T16 |
0 |
3 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
149739 |
149674 |
0 |
0 |
T2 |
130550 |
130541 |
0 |
0 |
T3 |
415980 |
415958 |
0 |
0 |
T4 |
111562 |
111555 |
0 |
0 |
T5 |
121436 |
121405 |
0 |
0 |
T6 |
562421 |
562331 |
0 |
0 |
T7 |
876251 |
876199 |
0 |
0 |
T8 |
217449 |
217448 |
0 |
0 |
T9 |
356641 |
356635 |
0 |
0 |
T10 |
215726 |
215554 |
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,T3 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T2,T3,T8 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T2,T3,T8 |
1 | 1 | Covered | T2,T3,T8 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T2,T3,T8 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T2,T3,T8 |
1 | 1 | Covered | T2,T3,T8 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
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,T3 |
0 |
1 |
- |
Covered |
T2,T3,T8 |
0 |
0 |
1 |
Covered |
T2,T3,T8 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
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,T3 |
0 |
1 |
- |
Covered |
T2,T3,T8 |
0 |
0 |
1 |
Covered |
T2,T3,T8 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
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 |
1612217 |
0 |
0 |
T2 |
130550 |
145 |
0 |
0 |
T3 |
415980 |
336 |
0 |
0 |
T4 |
111562 |
0 |
0 |
0 |
T5 |
121436 |
0 |
0 |
0 |
T6 |
562421 |
0 |
0 |
0 |
T7 |
876251 |
0 |
0 |
0 |
T8 |
217449 |
2203 |
0 |
0 |
T9 |
356641 |
313 |
0 |
0 |
T10 |
215726 |
0 |
0 |
0 |
T11 |
168596 |
1416 |
0 |
0 |
T12 |
0 |
495 |
0 |
0 |
T13 |
0 |
836 |
0 |
0 |
T14 |
0 |
3313 |
0 |
0 |
T15 |
0 |
3289 |
0 |
0 |
T16 |
0 |
2339 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
32814856 |
32453404 |
0 |
0 |
T1 |
1196 |
1114 |
0 |
0 |
T2 |
32636 |
32564 |
0 |
0 |
T3 |
34664 |
34488 |
0 |
0 |
T4 |
7693 |
7616 |
0 |
0 |
T5 |
24781 |
21784 |
0 |
0 |
T6 |
1135 |
1064 |
0 |
0 |
T7 |
7301 |
7212 |
0 |
0 |
T8 |
63955 |
63899 |
0 |
0 |
T9 |
33964 |
33866 |
0 |
0 |
T10 |
15407 |
13574 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1846 |
0 |
0 |
T2 |
130550 |
1 |
0 |
0 |
T3 |
415980 |
1 |
0 |
0 |
T4 |
111562 |
0 |
0 |
0 |
T5 |
121436 |
0 |
0 |
0 |
T6 |
562421 |
0 |
0 |
0 |
T7 |
876251 |
0 |
0 |
0 |
T8 |
217449 |
2 |
0 |
0 |
T9 |
356641 |
1 |
0 |
0 |
T10 |
215726 |
0 |
0 |
0 |
T11 |
168596 |
1 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
1 |
0 |
0 |
T14 |
0 |
2 |
0 |
0 |
T15 |
0 |
2 |
0 |
0 |
T16 |
0 |
3 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
149739 |
149674 |
0 |
0 |
T2 |
130550 |
130541 |
0 |
0 |
T3 |
415980 |
415958 |
0 |
0 |
T4 |
111562 |
111555 |
0 |
0 |
T5 |
121436 |
121405 |
0 |
0 |
T6 |
562421 |
562331 |
0 |
0 |
T7 |
876251 |
876199 |
0 |
0 |
T8 |
217449 |
217448 |
0 |
0 |
T9 |
356641 |
356635 |
0 |
0 |
T10 |
215726 |
215554 |
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,T3 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T2,T3,T8 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T2,T3,T8 |
1 | 1 | Covered | T2,T3,T8 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T2,T3,T8 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T2,T3,T8 |
1 | 1 | Covered | T2,T3,T8 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
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,T3 |
0 |
1 |
- |
Covered |
T2,T3,T8 |
0 |
0 |
1 |
Covered |
T2,T3,T8 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
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,T3 |
0 |
1 |
- |
Covered |
T2,T3,T8 |
0 |
0 |
1 |
Covered |
T2,T3,T8 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
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 |
1627559 |
0 |
0 |
T2 |
130550 |
143 |
0 |
0 |
T3 |
415980 |
334 |
0 |
0 |
T4 |
111562 |
0 |
0 |
0 |
T5 |
121436 |
0 |
0 |
0 |
T6 |
562421 |
0 |
0 |
0 |
T7 |
876251 |
0 |
0 |
0 |
T8 |
217449 |
2190 |
0 |
0 |
T9 |
356641 |
306 |
0 |
0 |
T10 |
215726 |
0 |
0 |
0 |
T11 |
168596 |
1406 |
0 |
0 |
T12 |
0 |
575 |
0 |
0 |
T13 |
0 |
825 |
0 |
0 |
T14 |
0 |
3309 |
0 |
0 |
T15 |
0 |
3280 |
0 |
0 |
T16 |
0 |
2320 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
32814856 |
32453404 |
0 |
0 |
T1 |
1196 |
1114 |
0 |
0 |
T2 |
32636 |
32564 |
0 |
0 |
T3 |
34664 |
34488 |
0 |
0 |
T4 |
7693 |
7616 |
0 |
0 |
T5 |
24781 |
21784 |
0 |
0 |
T6 |
1135 |
1064 |
0 |
0 |
T7 |
7301 |
7212 |
0 |
0 |
T8 |
63955 |
63899 |
0 |
0 |
T9 |
33964 |
33866 |
0 |
0 |
T10 |
15407 |
13574 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1875 |
0 |
0 |
T2 |
130550 |
1 |
0 |
0 |
T3 |
415980 |
1 |
0 |
0 |
T4 |
111562 |
0 |
0 |
0 |
T5 |
121436 |
0 |
0 |
0 |
T6 |
562421 |
0 |
0 |
0 |
T7 |
876251 |
0 |
0 |
0 |
T8 |
217449 |
2 |
0 |
0 |
T9 |
356641 |
1 |
0 |
0 |
T10 |
215726 |
0 |
0 |
0 |
T11 |
168596 |
1 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
1 |
0 |
0 |
T14 |
0 |
2 |
0 |
0 |
T15 |
0 |
2 |
0 |
0 |
T16 |
0 |
3 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
149739 |
149674 |
0 |
0 |
T2 |
130550 |
130541 |
0 |
0 |
T3 |
415980 |
415958 |
0 |
0 |
T4 |
111562 |
111555 |
0 |
0 |
T5 |
121436 |
121405 |
0 |
0 |
T6 |
562421 |
562331 |
0 |
0 |
T7 |
876251 |
876199 |
0 |
0 |
T8 |
217449 |
217448 |
0 |
0 |
T9 |
356641 |
356635 |
0 |
0 |
T10 |
215726 |
215554 |
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,T3 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T2,T3,T8 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T2,T3,T8 |
1 | 1 | Covered | T2,T3,T8 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T2,T3,T8 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T2,T3,T8 |
1 | 1 | Covered | T2,T3,T8 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
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,T3 |
0 |
1 |
- |
Covered |
T2,T3,T8 |
0 |
0 |
1 |
Covered |
T2,T3,T8 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
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,T3 |
0 |
1 |
- |
Covered |
T2,T3,T8 |
0 |
0 |
1 |
Covered |
T2,T3,T8 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
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 |
1600647 |
0 |
0 |
T2 |
130550 |
134 |
0 |
0 |
T3 |
415980 |
332 |
0 |
0 |
T4 |
111562 |
0 |
0 |
0 |
T5 |
121436 |
0 |
0 |
0 |
T6 |
562421 |
0 |
0 |
0 |
T7 |
876251 |
0 |
0 |
0 |
T8 |
217449 |
2173 |
0 |
0 |
T9 |
356641 |
296 |
0 |
0 |
T10 |
215726 |
0 |
0 |
0 |
T11 |
168596 |
1400 |
0 |
0 |
T12 |
0 |
557 |
0 |
0 |
T13 |
0 |
813 |
0 |
0 |
T14 |
0 |
3305 |
0 |
0 |
T15 |
0 |
3263 |
0 |
0 |
T16 |
0 |
2299 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
32814856 |
32453404 |
0 |
0 |
T1 |
1196 |
1114 |
0 |
0 |
T2 |
32636 |
32564 |
0 |
0 |
T3 |
34664 |
34488 |
0 |
0 |
T4 |
7693 |
7616 |
0 |
0 |
T5 |
24781 |
21784 |
0 |
0 |
T6 |
1135 |
1064 |
0 |
0 |
T7 |
7301 |
7212 |
0 |
0 |
T8 |
63955 |
63899 |
0 |
0 |
T9 |
33964 |
33866 |
0 |
0 |
T10 |
15407 |
13574 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1852 |
0 |
0 |
T2 |
130550 |
1 |
0 |
0 |
T3 |
415980 |
1 |
0 |
0 |
T4 |
111562 |
0 |
0 |
0 |
T5 |
121436 |
0 |
0 |
0 |
T6 |
562421 |
0 |
0 |
0 |
T7 |
876251 |
0 |
0 |
0 |
T8 |
217449 |
2 |
0 |
0 |
T9 |
356641 |
1 |
0 |
0 |
T10 |
215726 |
0 |
0 |
0 |
T11 |
168596 |
1 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
1 |
0 |
0 |
T14 |
0 |
2 |
0 |
0 |
T15 |
0 |
2 |
0 |
0 |
T16 |
0 |
3 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
149739 |
149674 |
0 |
0 |
T2 |
130550 |
130541 |
0 |
0 |
T3 |
415980 |
415958 |
0 |
0 |
T4 |
111562 |
111555 |
0 |
0 |
T5 |
121436 |
121405 |
0 |
0 |
T6 |
562421 |
562331 |
0 |
0 |
T7 |
876251 |
876199 |
0 |
0 |
T8 |
217449 |
217448 |
0 |
0 |
T9 |
356641 |
356635 |
0 |
0 |
T10 |
215726 |
215554 |
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,T3 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T2,T3,T8 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T2,T3,T8 |
1 | 1 | Covered | T2,T3,T8 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T2,T3,T8 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T2,T3,T8 |
1 | 1 | Covered | T2,T3,T8 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
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,T3 |
0 |
1 |
- |
Covered |
T2,T3,T8 |
0 |
0 |
1 |
Covered |
T2,T3,T8 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
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,T3 |
0 |
1 |
- |
Covered |
T2,T3,T8 |
0 |
0 |
1 |
Covered |
T2,T3,T8 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
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 |
1598535 |
0 |
0 |
T2 |
130550 |
128 |
0 |
0 |
T3 |
415980 |
330 |
0 |
0 |
T4 |
111562 |
0 |
0 |
0 |
T5 |
121436 |
0 |
0 |
0 |
T6 |
562421 |
0 |
0 |
0 |
T7 |
876251 |
0 |
0 |
0 |
T8 |
217449 |
2163 |
0 |
0 |
T9 |
356641 |
283 |
0 |
0 |
T10 |
215726 |
0 |
0 |
0 |
T11 |
168596 |
1389 |
0 |
0 |
T12 |
0 |
635 |
0 |
0 |
T13 |
0 |
798 |
0 |
0 |
T14 |
0 |
3301 |
0 |
0 |
T15 |
0 |
3251 |
0 |
0 |
T16 |
0 |
2280 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
32814856 |
32453404 |
0 |
0 |
T1 |
1196 |
1114 |
0 |
0 |
T2 |
32636 |
32564 |
0 |
0 |
T3 |
34664 |
34488 |
0 |
0 |
T4 |
7693 |
7616 |
0 |
0 |
T5 |
24781 |
21784 |
0 |
0 |
T6 |
1135 |
1064 |
0 |
0 |
T7 |
7301 |
7212 |
0 |
0 |
T8 |
63955 |
63899 |
0 |
0 |
T9 |
33964 |
33866 |
0 |
0 |
T10 |
15407 |
13574 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1860 |
0 |
0 |
T2 |
130550 |
1 |
0 |
0 |
T3 |
415980 |
1 |
0 |
0 |
T4 |
111562 |
0 |
0 |
0 |
T5 |
121436 |
0 |
0 |
0 |
T6 |
562421 |
0 |
0 |
0 |
T7 |
876251 |
0 |
0 |
0 |
T8 |
217449 |
2 |
0 |
0 |
T9 |
356641 |
1 |
0 |
0 |
T10 |
215726 |
0 |
0 |
0 |
T11 |
168596 |
1 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
1 |
0 |
0 |
T14 |
0 |
2 |
0 |
0 |
T15 |
0 |
2 |
0 |
0 |
T16 |
0 |
3 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
149739 |
149674 |
0 |
0 |
T2 |
130550 |
130541 |
0 |
0 |
T3 |
415980 |
415958 |
0 |
0 |
T4 |
111562 |
111555 |
0 |
0 |
T5 |
121436 |
121405 |
0 |
0 |
T6 |
562421 |
562331 |
0 |
0 |
T7 |
876251 |
876199 |
0 |
0 |
T8 |
217449 |
217448 |
0 |
0 |
T9 |
356641 |
356635 |
0 |
0 |
T10 |
215726 |
215554 |
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,T3 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T2,T3,T8 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T2,T3,T8 |
1 | 1 | Covered | T2,T3,T8 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T2,T3,T8 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T2,T3,T8 |
1 | 1 | Covered | T2,T3,T8 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
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,T3 |
0 |
1 |
- |
Covered |
T2,T3,T8 |
0 |
0 |
1 |
Covered |
T2,T3,T8 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
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,T3 |
0 |
1 |
- |
Covered |
T2,T3,T8 |
0 |
0 |
1 |
Covered |
T2,T3,T8 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
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 |
1595970 |
0 |
0 |
T2 |
130550 |
125 |
0 |
0 |
T3 |
415980 |
328 |
0 |
0 |
T4 |
111562 |
0 |
0 |
0 |
T5 |
121436 |
0 |
0 |
0 |
T6 |
562421 |
0 |
0 |
0 |
T7 |
876251 |
0 |
0 |
0 |
T8 |
217449 |
2146 |
0 |
0 |
T9 |
356641 |
271 |
0 |
0 |
T10 |
215726 |
0 |
0 |
0 |
T11 |
168596 |
1385 |
0 |
0 |
T12 |
0 |
624 |
0 |
0 |
T13 |
0 |
794 |
0 |
0 |
T14 |
0 |
3297 |
0 |
0 |
T15 |
0 |
3244 |
0 |
0 |
T16 |
0 |
2266 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
32814856 |
32453404 |
0 |
0 |
T1 |
1196 |
1114 |
0 |
0 |
T2 |
32636 |
32564 |
0 |
0 |
T3 |
34664 |
34488 |
0 |
0 |
T4 |
7693 |
7616 |
0 |
0 |
T5 |
24781 |
21784 |
0 |
0 |
T6 |
1135 |
1064 |
0 |
0 |
T7 |
7301 |
7212 |
0 |
0 |
T8 |
63955 |
63899 |
0 |
0 |
T9 |
33964 |
33866 |
0 |
0 |
T10 |
15407 |
13574 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1850 |
0 |
0 |
T2 |
130550 |
1 |
0 |
0 |
T3 |
415980 |
1 |
0 |
0 |
T4 |
111562 |
0 |
0 |
0 |
T5 |
121436 |
0 |
0 |
0 |
T6 |
562421 |
0 |
0 |
0 |
T7 |
876251 |
0 |
0 |
0 |
T8 |
217449 |
2 |
0 |
0 |
T9 |
356641 |
1 |
0 |
0 |
T10 |
215726 |
0 |
0 |
0 |
T11 |
168596 |
1 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
1 |
0 |
0 |
T14 |
0 |
2 |
0 |
0 |
T15 |
0 |
2 |
0 |
0 |
T16 |
0 |
3 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
149739 |
149674 |
0 |
0 |
T2 |
130550 |
130541 |
0 |
0 |
T3 |
415980 |
415958 |
0 |
0 |
T4 |
111562 |
111555 |
0 |
0 |
T5 |
121436 |
121405 |
0 |
0 |
T6 |
562421 |
562331 |
0 |
0 |
T7 |
876251 |
876199 |
0 |
0 |
T8 |
217449 |
217448 |
0 |
0 |
T9 |
356641 |
356635 |
0 |
0 |
T10 |
215726 |
215554 |
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,T3 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T3,T8,T9 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T3,T8,T9 |
1 | 1 | Covered | T3,T8,T9 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T3,T8,T9 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T3,T8,T9 |
1 | 1 | Covered | T3,T8,T9 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
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,T3 |
0 |
1 |
- |
Covered |
T3,T8,T9 |
0 |
0 |
1 |
Covered |
T3,T8,T9 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
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,T3 |
0 |
1 |
- |
Covered |
T3,T8,T9 |
0 |
0 |
1 |
Covered |
T3,T8,T9 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
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 |
1170631 |
0 |
0 |
T3 |
415980 |
320 |
0 |
0 |
T4 |
111562 |
0 |
0 |
0 |
T5 |
121436 |
0 |
0 |
0 |
T6 |
562421 |
0 |
0 |
0 |
T7 |
876251 |
0 |
0 |
0 |
T8 |
217449 |
2089 |
0 |
0 |
T9 |
356641 |
230 |
0 |
0 |
T10 |
215726 |
0 |
0 |
0 |
T11 |
168596 |
1356 |
0 |
0 |
T12 |
628128 |
0 |
0 |
0 |
T14 |
0 |
3281 |
0 |
0 |
T15 |
0 |
3187 |
0 |
0 |
T16 |
0 |
2177 |
0 |
0 |
T20 |
0 |
902 |
0 |
0 |
T21 |
0 |
2593 |
0 |
0 |
T22 |
0 |
3093 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
32814856 |
32453404 |
0 |
0 |
T1 |
1196 |
1114 |
0 |
0 |
T2 |
32636 |
32564 |
0 |
0 |
T3 |
34664 |
34488 |
0 |
0 |
T4 |
7693 |
7616 |
0 |
0 |
T5 |
24781 |
21784 |
0 |
0 |
T6 |
1135 |
1064 |
0 |
0 |
T7 |
7301 |
7212 |
0 |
0 |
T8 |
63955 |
63899 |
0 |
0 |
T9 |
33964 |
33866 |
0 |
0 |
T10 |
15407 |
13574 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1315 |
0 |
0 |
T3 |
415980 |
1 |
0 |
0 |
T4 |
111562 |
0 |
0 |
0 |
T5 |
121436 |
0 |
0 |
0 |
T6 |
562421 |
0 |
0 |
0 |
T7 |
876251 |
0 |
0 |
0 |
T8 |
217449 |
2 |
0 |
0 |
T9 |
356641 |
1 |
0 |
0 |
T10 |
215726 |
0 |
0 |
0 |
T11 |
168596 |
1 |
0 |
0 |
T12 |
628128 |
0 |
0 |
0 |
T14 |
0 |
2 |
0 |
0 |
T15 |
0 |
2 |
0 |
0 |
T16 |
0 |
3 |
0 |
0 |
T20 |
0 |
3 |
0 |
0 |
T21 |
0 |
2 |
0 |
0 |
T22 |
0 |
2 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
149739 |
149674 |
0 |
0 |
T2 |
130550 |
130541 |
0 |
0 |
T3 |
415980 |
415958 |
0 |
0 |
T4 |
111562 |
111555 |
0 |
0 |
T5 |
121436 |
121405 |
0 |
0 |
T6 |
562421 |
562331 |
0 |
0 |
T7 |
876251 |
876199 |
0 |
0 |
T8 |
217449 |
217448 |
0 |
0 |
T9 |
356641 |
356635 |
0 |
0 |
T10 |
215726 |
215554 |
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,T3 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T2,T3,T5 |
LINE 98
EXPRESSION (src_busy_q & ((!src_ack)))
-----1---- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T2,T3,T5 |
1 | 1 | Covered | T2,T3,T5 |
LINE 112
EXPRESSION (src_wd_i & BitMask)
----1--- ---2---
-1- | -2- | Status | Tests |
0 | - | Covered | T2,T3,T5 |
1 | - | Covered | T2,T3,T5 |
LINE 114
EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
-----------1----------- ------------2------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T2,T3,T5 |
LINE 114
SUB-EXPRESSION (src_busy_q && src_ack)
-----1---- ---2---
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T2,T3,T5 |
1 | 1 | Covered | T2,T3,T5 |
LINE 114
SUB-EXPRESSION (src_update && ((!busy)))
-----1---- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
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,T3 |
0 |
1 |
- |
Covered |
T2,T3,T5 |
0 |
0 |
1 |
Covered |
T2,T3,T5 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
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,T3 |
0 |
1 |
- |
Covered |
T2,T3,T5 |
0 |
0 |
1 |
Covered |
T2,T3,T5 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
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 |
19433785 |
0 |
0 |
T2 |
130550 |
269 |
0 |
0 |
T3 |
415980 |
841 |
0 |
0 |
T4 |
111562 |
0 |
0 |
0 |
T5 |
121436 |
477057 |
0 |
0 |
T6 |
562421 |
0 |
0 |
0 |
T7 |
876251 |
0 |
0 |
0 |
T8 |
217449 |
4747 |
0 |
0 |
T9 |
356641 |
734 |
0 |
0 |
T10 |
215726 |
83416 |
0 |
0 |
T11 |
168596 |
3457 |
0 |
0 |
T12 |
0 |
1309 |
0 |
0 |
T13 |
0 |
1678 |
0 |
0 |
T14 |
0 |
6722 |
0 |
0 |
DstReqKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
32814856 |
32453404 |
0 |
0 |
T1 |
1196 |
1114 |
0 |
0 |
T2 |
32636 |
32564 |
0 |
0 |
T3 |
34664 |
34488 |
0 |
0 |
T4 |
7693 |
7616 |
0 |
0 |
T5 |
24781 |
21784 |
0 |
0 |
T6 |
1135 |
1064 |
0 |
0 |
T7 |
7301 |
7212 |
0 |
0 |
T8 |
63955 |
63899 |
0 |
0 |
T9 |
33964 |
33866 |
0 |
0 |
T10 |
15407 |
13574 |
0 |
0 |
SrcAckBusyChk_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
21282 |
0 |
0 |
T2 |
130550 |
2 |
0 |
0 |
T3 |
415980 |
2 |
0 |
0 |
T4 |
111562 |
0 |
0 |
0 |
T5 |
121436 |
278 |
0 |
0 |
T6 |
562421 |
0 |
0 |
0 |
T7 |
876251 |
0 |
0 |
0 |
T8 |
217449 |
4 |
0 |
0 |
T9 |
356641 |
2 |
0 |
0 |
T10 |
215726 |
170 |
0 |
0 |
T11 |
168596 |
2 |
0 |
0 |
T12 |
0 |
4 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
4 |
0 |
0 |
SrcBusyKnown_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2147483647 |
0 |
0 |
T1 |
149739 |
149674 |
0 |
0 |
T2 |
130550 |
130541 |
0 |
0 |
T3 |
415980 |
415958 |
0 |
0 |
T4 |
111562 |
111555 |
0 |
0 |
T5 |
121436 |
121405 |
0 |
0 |
T6 |
562421 |
562331 |
0 |
0 |
T7 |
876251 |
876199 |
0 |
0 |
T8 |
217449 |
217448 |
0 |
0 |
T9 |
356641 |
356635 |
0 |
0 |
T10 |
215726 |
215554 |
0 |
0 |