Line Coverage for Module :
prim_pulse_sync
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Module :
prim_pulse_sync
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T4,T2 |
1 | 0 | Covered | T1,T4,T2 |
1 | 1 | Covered | T1,T2,T3 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T4,T2 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T4,T2 |
Branch Coverage for Module :
prim_pulse_sync
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Module :
prim_pulse_sync
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
352250 |
0 |
0 |
T1 |
2241051 |
898 |
0 |
0 |
T2 |
5326046 |
198 |
0 |
0 |
T3 |
11272875 |
166 |
0 |
0 |
T4 |
31824 |
0 |
0 |
0 |
T5 |
20601997 |
42 |
0 |
0 |
T6 |
5529545 |
126 |
0 |
0 |
T7 |
6857273 |
972 |
0 |
0 |
T8 |
10414664 |
126 |
0 |
0 |
T9 |
8107728 |
84 |
0 |
0 |
T10 |
2914151 |
42 |
0 |
0 |
T11 |
15570668 |
42 |
0 |
0 |
T12 |
290386 |
0 |
0 |
0 |
T13 |
0 |
29 |
0 |
0 |
T14 |
0 |
15 |
0 |
0 |
T16 |
0 |
3 |
0 |
0 |
T26 |
0 |
49 |
0 |
0 |
T27 |
0 |
1 |
0 |
0 |
T29 |
0 |
7 |
0 |
0 |
T33 |
600823 |
169 |
0 |
0 |
T34 |
0 |
1 |
0 |
0 |
T36 |
2141 |
27 |
0 |
0 |
T37 |
66218 |
0 |
0 |
0 |
T38 |
100455 |
0 |
0 |
0 |
T40 |
0 |
20 |
0 |
0 |
T104 |
0 |
6 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
355253 |
0 |
0 |
T1 |
1994004 |
899 |
0 |
0 |
T2 |
5326046 |
198 |
0 |
0 |
T3 |
11272875 |
166 |
0 |
0 |
T4 |
28026 |
0 |
0 |
0 |
T5 |
20601997 |
42 |
0 |
0 |
T6 |
5529545 |
126 |
0 |
0 |
T7 |
7104829 |
981 |
0 |
0 |
T8 |
10613512 |
126 |
0 |
0 |
T9 |
8329112 |
84 |
0 |
0 |
T10 |
3163001 |
42 |
0 |
0 |
T11 |
17494740 |
42 |
0 |
0 |
T12 |
302801 |
0 |
0 |
0 |
T13 |
0 |
33 |
0 |
0 |
T14 |
0 |
23 |
0 |
0 |
T15 |
0 |
3 |
0 |
0 |
T26 |
0 |
49 |
0 |
0 |
T27 |
0 |
5 |
0 |
0 |
T29 |
0 |
7 |
0 |
0 |
T33 |
922916 |
177 |
0 |
0 |
T34 |
0 |
5 |
0 |
0 |
T36 |
257047 |
27 |
0 |
0 |
T37 |
695309 |
0 |
0 |
0 |
T38 |
120547 |
0 |
0 |
0 |
T40 |
0 |
20 |
0 |
0 |
T104 |
0 |
6 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn_val_0_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn_val_0_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 5 | 2 | 40.00 |
Logical | 5 | 2 | 40.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests | Exclude Annotation |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Unreachable | |
1 | 0 | Excluded | |
VC_COV_UNR |
1 | 1 | Unreachable | |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
1 | 1 | Not Covered | |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn_val_0_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn_val_0_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34372192 |
0 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
0 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn_val_1_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn_val_1_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 5 | 2 | 40.00 |
Logical | 5 | 2 | 40.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests | Exclude Annotation |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Unreachable | |
1 | 0 | Excluded | |
VC_COV_UNR |
1 | 1 | Unreachable | |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
1 | 1 | Not Covered | |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn_val_1_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn_val_1_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34372192 |
0 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
0 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_fsm_state_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_fsm_state_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 8 | 6 | 75.00 |
Logical | 8 | 6 | 75.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T7,T33,T13 |
1 | 0 | Covered | T7,T33,T13 |
1 | 1 | Not Covered | |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T7,T33,T13 |
1 | 0 | Not Covered | |
1 | 1 | Covered | T7,T33,T13 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_fsm_state_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_fsm_state_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34372192 |
83 |
0 |
0 |
T7 |
24755 |
1 |
0 |
0 |
T8 |
124280 |
0 |
0 |
0 |
T9 |
64168 |
0 |
0 |
0 |
T10 |
32743 |
0 |
0 |
0 |
T11 |
35629 |
0 |
0 |
0 |
T12 |
103 |
0 |
0 |
0 |
T13 |
0 |
1 |
0 |
0 |
T16 |
0 |
3 |
0 |
0 |
T18 |
0 |
1 |
0 |
0 |
T27 |
0 |
1 |
0 |
0 |
T33 |
92910 |
1 |
0 |
0 |
T34 |
0 |
1 |
0 |
0 |
T35 |
0 |
1 |
0 |
0 |
T36 |
2141 |
0 |
0 |
0 |
T37 |
66218 |
0 |
0 |
0 |
T38 |
100455 |
0 |
0 |
0 |
T39 |
0 |
1 |
0 |
0 |
T124 |
0 |
1 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
431 |
0 |
0 |
T7 |
272311 |
10 |
0 |
0 |
T8 |
323128 |
0 |
0 |
0 |
T9 |
285552 |
0 |
0 |
0 |
T10 |
157168 |
0 |
0 |
0 |
T11 |
997665 |
0 |
0 |
0 |
T12 |
12518 |
0 |
0 |
0 |
T13 |
0 |
5 |
0 |
0 |
T14 |
0 |
8 |
0 |
0 |
T15 |
0 |
3 |
0 |
0 |
T16 |
0 |
10 |
0 |
0 |
T17 |
0 |
10 |
0 |
0 |
T27 |
0 |
5 |
0 |
0 |
T33 |
415003 |
9 |
0 |
0 |
T34 |
0 |
5 |
0 |
0 |
T35 |
0 |
5 |
0 |
0 |
T36 |
257047 |
0 |
0 |
0 |
T37 |
695309 |
0 |
0 |
0 |
T38 |
120547 |
0 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_en_ctl_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_en_ctl_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_en_ctl_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_en_ctl_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34372192 |
38859 |
0 |
0 |
T1 |
17645 |
248 |
0 |
0 |
T2 |
40687 |
71 |
0 |
0 |
T3 |
92695 |
47 |
0 |
0 |
T4 |
96 |
0 |
0 |
0 |
T5 |
35963 |
3 |
0 |
0 |
T6 |
100172 |
9 |
0 |
0 |
T7 |
24755 |
274 |
0 |
0 |
T8 |
124280 |
9 |
0 |
0 |
T9 |
64168 |
6 |
0 |
0 |
T10 |
0 |
3 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
103 |
0 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
39037 |
0 |
0 |
T1 |
264692 |
249 |
0 |
0 |
T2 |
201406 |
71 |
0 |
0 |
T3 |
397430 |
47 |
0 |
0 |
T4 |
3894 |
0 |
0 |
0 |
T5 |
859776 |
3 |
0 |
0 |
T6 |
140243 |
9 |
0 |
0 |
T7 |
272311 |
274 |
0 |
0 |
T8 |
323128 |
9 |
0 |
0 |
T9 |
285552 |
6 |
0 |
0 |
T10 |
0 |
3 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
12518 |
0 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_en_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_en_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_en_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_en_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
38969 |
0 |
0 |
T1 |
264692 |
248 |
0 |
0 |
T2 |
201406 |
71 |
0 |
0 |
T3 |
397430 |
47 |
0 |
0 |
T4 |
3894 |
0 |
0 |
0 |
T5 |
859776 |
3 |
0 |
0 |
T6 |
140243 |
9 |
0 |
0 |
T7 |
272311 |
274 |
0 |
0 |
T8 |
323128 |
9 |
0 |
0 |
T9 |
285552 |
6 |
0 |
0 |
T10 |
0 |
3 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
12518 |
0 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34372192 |
38989 |
0 |
0 |
T1 |
17645 |
248 |
0 |
0 |
T2 |
40687 |
71 |
0 |
0 |
T3 |
92695 |
47 |
0 |
0 |
T4 |
96 |
0 |
0 |
0 |
T5 |
35963 |
3 |
0 |
0 |
T6 |
100172 |
9 |
0 |
0 |
T7 |
24755 |
274 |
0 |
0 |
T8 |
124280 |
9 |
0 |
0 |
T9 |
64168 |
6 |
0 |
0 |
T10 |
0 |
3 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
103 |
0 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_pd_ctl_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_pd_ctl_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_pd_ctl_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_pd_ctl_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34372192 |
18332 |
0 |
0 |
T1 |
17645 |
124 |
0 |
0 |
T2 |
40687 |
16 |
0 |
0 |
T3 |
92695 |
24 |
0 |
0 |
T4 |
96 |
0 |
0 |
0 |
T5 |
35963 |
2 |
0 |
0 |
T6 |
100172 |
6 |
0 |
0 |
T7 |
24755 |
140 |
0 |
0 |
T8 |
124280 |
6 |
0 |
0 |
T9 |
64168 |
4 |
0 |
0 |
T10 |
0 |
2 |
0 |
0 |
T11 |
0 |
2 |
0 |
0 |
T12 |
103 |
0 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
18441 |
0 |
0 |
T1 |
264692 |
124 |
0 |
0 |
T2 |
201406 |
16 |
0 |
0 |
T3 |
397430 |
24 |
0 |
0 |
T4 |
3894 |
0 |
0 |
0 |
T5 |
859776 |
2 |
0 |
0 |
T6 |
140243 |
6 |
0 |
0 |
T7 |
272311 |
140 |
0 |
0 |
T8 |
323128 |
6 |
0 |
0 |
T9 |
285552 |
4 |
0 |
0 |
T10 |
0 |
2 |
0 |
0 |
T11 |
0 |
2 |
0 |
0 |
T12 |
12518 |
0 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_pd_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_pd_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_pd_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_pd_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
18432 |
0 |
0 |
T1 |
264692 |
124 |
0 |
0 |
T2 |
201406 |
16 |
0 |
0 |
T3 |
397430 |
24 |
0 |
0 |
T4 |
3894 |
0 |
0 |
0 |
T5 |
859776 |
2 |
0 |
0 |
T6 |
140243 |
6 |
0 |
0 |
T7 |
272311 |
140 |
0 |
0 |
T8 |
323128 |
6 |
0 |
0 |
T9 |
285552 |
4 |
0 |
0 |
T10 |
0 |
2 |
0 |
0 |
T11 |
0 |
2 |
0 |
0 |
T12 |
12518 |
0 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34372192 |
18432 |
0 |
0 |
T1 |
17645 |
124 |
0 |
0 |
T2 |
40687 |
16 |
0 |
0 |
T3 |
92695 |
24 |
0 |
0 |
T4 |
96 |
0 |
0 |
0 |
T5 |
35963 |
2 |
0 |
0 |
T6 |
100172 |
6 |
0 |
0 |
T7 |
24755 |
140 |
0 |
0 |
T8 |
124280 |
6 |
0 |
0 |
T9 |
64168 |
4 |
0 |
0 |
T10 |
0 |
2 |
0 |
0 |
T11 |
0 |
2 |
0 |
0 |
T12 |
103 |
0 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_lp_sample_ctl_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_lp_sample_ctl_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T4,T2 |
1 | 0 | Covered | T1,T4,T2 |
1 | 1 | Covered | T1,T6,T7 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T4,T2 |
1 | 0 | Covered | T1,T6,T7 |
1 | 1 | Covered | T1,T4,T2 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_lp_sample_ctl_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_lp_sample_ctl_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34372192 |
14265 |
0 |
0 |
T1 |
17645 |
124 |
0 |
0 |
T2 |
40687 |
1 |
0 |
0 |
T3 |
92695 |
2 |
0 |
0 |
T4 |
96 |
1 |
0 |
0 |
T5 |
35963 |
1 |
0 |
0 |
T6 |
100172 |
3 |
0 |
0 |
T7 |
24755 |
92 |
0 |
0 |
T8 |
124280 |
3 |
0 |
0 |
T9 |
64168 |
2 |
0 |
0 |
T12 |
103 |
1 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
14432 |
0 |
0 |
T1 |
264692 |
124 |
0 |
0 |
T2 |
201406 |
2 |
0 |
0 |
T3 |
397430 |
2 |
0 |
0 |
T4 |
3894 |
1 |
0 |
0 |
T5 |
859776 |
1 |
0 |
0 |
T6 |
140243 |
3 |
0 |
0 |
T7 |
272311 |
92 |
0 |
0 |
T8 |
323128 |
3 |
0 |
0 |
T9 |
285552 |
2 |
0 |
0 |
T12 |
12518 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_lp_sample_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_lp_sample_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T4,T2 |
1 | 0 | Covered | T1,T4,T2 |
1 | 1 | Covered | T1,T6,T7 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T4,T2 |
1 | 0 | Covered | T1,T6,T7 |
1 | 1 | Covered | T1,T4,T2 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_lp_sample_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_lp_sample_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
14386 |
0 |
0 |
T1 |
264692 |
124 |
0 |
0 |
T2 |
201406 |
2 |
0 |
0 |
T3 |
397430 |
2 |
0 |
0 |
T4 |
3894 |
1 |
0 |
0 |
T5 |
859776 |
1 |
0 |
0 |
T6 |
140243 |
3 |
0 |
0 |
T7 |
272311 |
92 |
0 |
0 |
T8 |
323128 |
3 |
0 |
0 |
T9 |
285552 |
2 |
0 |
0 |
T12 |
12518 |
1 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34372192 |
14386 |
0 |
0 |
T1 |
17645 |
124 |
0 |
0 |
T2 |
40687 |
2 |
0 |
0 |
T3 |
92695 |
2 |
0 |
0 |
T4 |
96 |
1 |
0 |
0 |
T5 |
35963 |
1 |
0 |
0 |
T6 |
100172 |
3 |
0 |
0 |
T7 |
24755 |
92 |
0 |
0 |
T8 |
124280 |
3 |
0 |
0 |
T9 |
64168 |
2 |
0 |
0 |
T12 |
103 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_sample_ctl_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_sample_ctl_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T4,T2 |
1 | 0 | Covered | T1,T4,T2 |
1 | 1 | Covered | T1,T6,T7 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T4,T2 |
1 | 0 | Covered | T1,T6,T7 |
1 | 1 | Covered | T1,T4,T2 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_sample_ctl_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_sample_ctl_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34372192 |
14320 |
0 |
0 |
T1 |
17645 |
124 |
0 |
0 |
T2 |
40687 |
1 |
0 |
0 |
T3 |
92695 |
2 |
0 |
0 |
T4 |
96 |
1 |
0 |
0 |
T5 |
35963 |
1 |
0 |
0 |
T6 |
100172 |
3 |
0 |
0 |
T7 |
24755 |
92 |
0 |
0 |
T8 |
124280 |
3 |
0 |
0 |
T9 |
64168 |
2 |
0 |
0 |
T12 |
103 |
1 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
14486 |
0 |
0 |
T1 |
264692 |
124 |
0 |
0 |
T2 |
201406 |
2 |
0 |
0 |
T3 |
397430 |
2 |
0 |
0 |
T4 |
3894 |
1 |
0 |
0 |
T5 |
859776 |
1 |
0 |
0 |
T6 |
140243 |
3 |
0 |
0 |
T7 |
272311 |
92 |
0 |
0 |
T8 |
323128 |
3 |
0 |
0 |
T9 |
285552 |
2 |
0 |
0 |
T12 |
12518 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_sample_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_sample_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T4,T2 |
1 | 0 | Covered | T1,T4,T2 |
1 | 1 | Covered | T1,T6,T7 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T4,T2 |
1 | 0 | Covered | T1,T6,T7 |
1 | 1 | Covered | T1,T4,T2 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_sample_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_sample_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
14442 |
0 |
0 |
T1 |
264692 |
124 |
0 |
0 |
T2 |
201406 |
2 |
0 |
0 |
T3 |
397430 |
2 |
0 |
0 |
T4 |
3894 |
1 |
0 |
0 |
T5 |
859776 |
1 |
0 |
0 |
T6 |
140243 |
3 |
0 |
0 |
T7 |
272311 |
92 |
0 |
0 |
T8 |
323128 |
3 |
0 |
0 |
T9 |
285552 |
2 |
0 |
0 |
T12 |
12518 |
1 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34372192 |
14442 |
0 |
0 |
T1 |
17645 |
124 |
0 |
0 |
T2 |
40687 |
2 |
0 |
0 |
T3 |
92695 |
2 |
0 |
0 |
T4 |
96 |
1 |
0 |
0 |
T5 |
35963 |
1 |
0 |
0 |
T6 |
100172 |
3 |
0 |
0 |
T7 |
24755 |
92 |
0 |
0 |
T8 |
124280 |
3 |
0 |
0 |
T9 |
64168 |
2 |
0 |
0 |
T12 |
103 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_fsm_rst_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_fsm_rst_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_fsm_rst_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_fsm_rst_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34372192 |
20154 |
0 |
0 |
T1 |
17645 |
183 |
0 |
0 |
T2 |
40687 |
2 |
0 |
0 |
T3 |
92695 |
4 |
0 |
0 |
T4 |
96 |
0 |
0 |
0 |
T5 |
35963 |
2 |
0 |
0 |
T6 |
100172 |
6 |
0 |
0 |
T7 |
24755 |
118 |
0 |
0 |
T8 |
124280 |
6 |
0 |
0 |
T9 |
64168 |
4 |
0 |
0 |
T10 |
0 |
2 |
0 |
0 |
T11 |
0 |
2 |
0 |
0 |
T12 |
103 |
0 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
20262 |
0 |
0 |
T1 |
264692 |
183 |
0 |
0 |
T2 |
201406 |
2 |
0 |
0 |
T3 |
397430 |
4 |
0 |
0 |
T4 |
3894 |
0 |
0 |
0 |
T5 |
859776 |
2 |
0 |
0 |
T6 |
140243 |
6 |
0 |
0 |
T7 |
272311 |
118 |
0 |
0 |
T8 |
323128 |
6 |
0 |
0 |
T9 |
285552 |
4 |
0 |
0 |
T10 |
0 |
2 |
0 |
0 |
T11 |
0 |
2 |
0 |
0 |
T12 |
12518 |
0 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_fsm_rst_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_fsm_rst_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_fsm_rst_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_fsm_rst_cdc.u_arb.gen_passthru.u_dst_to_src_ack
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
20251 |
0 |
0 |
T1 |
264692 |
183 |
0 |
0 |
T2 |
201406 |
2 |
0 |
0 |
T3 |
397430 |
4 |
0 |
0 |
T4 |
3894 |
0 |
0 |
0 |
T5 |
859776 |
2 |
0 |
0 |
T6 |
140243 |
6 |
0 |
0 |
T7 |
272311 |
118 |
0 |
0 |
T8 |
323128 |
6 |
0 |
0 |
T9 |
285552 |
4 |
0 |
0 |
T10 |
0 |
2 |
0 |
0 |
T11 |
0 |
2 |
0 |
0 |
T12 |
12518 |
0 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34372192 |
20251 |
0 |
0 |
T1 |
17645 |
183 |
0 |
0 |
T2 |
40687 |
2 |
0 |
0 |
T3 |
92695 |
4 |
0 |
0 |
T4 |
96 |
0 |
0 |
0 |
T5 |
35963 |
2 |
0 |
0 |
T6 |
100172 |
6 |
0 |
0 |
T7 |
24755 |
118 |
0 |
0 |
T8 |
124280 |
6 |
0 |
0 |
T9 |
64168 |
4 |
0 |
0 |
T10 |
0 |
2 |
0 |
0 |
T11 |
0 |
2 |
0 |
0 |
T12 |
103 |
0 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_0_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_0_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T6,T8,T9 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T6,T8,T9 |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_0_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_0_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34372192 |
1990 |
0 |
0 |
T1 |
17645 |
1 |
0 |
0 |
T2 |
40687 |
1 |
0 |
0 |
T3 |
92695 |
2 |
0 |
0 |
T4 |
96 |
0 |
0 |
0 |
T5 |
35963 |
1 |
0 |
0 |
T6 |
100172 |
3 |
0 |
0 |
T7 |
24755 |
7 |
0 |
0 |
T8 |
124280 |
3 |
0 |
0 |
T9 |
64168 |
2 |
0 |
0 |
T10 |
0 |
1 |
0 |
0 |
T11 |
0 |
1 |
0 |
0 |
T12 |
103 |
0 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2097 |
0 |
0 |
T1 |
264692 |
1 |
0 |
0 |
T2 |
201406 |
1 |
0 |
0 |
T3 |
397430 |
2 |
0 |
0 |
T4 |
3894 |
0 |
0 |
0 |
T5 |
859776 |
1 |
0 |
0 |
T6 |
140243 |
3 |
0 |
0 |
T7 |
272311 |
7 |
0 |
0 |
T8 |
323128 |
3 |
0 |
0 |
T9 |
285552 |
2 |
0 |
0 |
T10 |
0 |
1 |
0 |
0 |
T11 |
0 |
1 |
0 |
0 |
T12 |
12518 |
0 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_0_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_0_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T6,T8,T9 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T6,T8,T9 |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_0_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_0_cdc.u_arb.gen_passthru.u_dst_to_src_ack
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2086 |
0 |
0 |
T1 |
264692 |
1 |
0 |
0 |
T2 |
201406 |
1 |
0 |
0 |
T3 |
397430 |
2 |
0 |
0 |
T4 |
3894 |
0 |
0 |
0 |
T5 |
859776 |
1 |
0 |
0 |
T6 |
140243 |
3 |
0 |
0 |
T7 |
272311 |
7 |
0 |
0 |
T8 |
323128 |
3 |
0 |
0 |
T9 |
285552 |
2 |
0 |
0 |
T10 |
0 |
1 |
0 |
0 |
T11 |
0 |
1 |
0 |
0 |
T12 |
12518 |
0 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34372192 |
2086 |
0 |
0 |
T1 |
17645 |
1 |
0 |
0 |
T2 |
40687 |
1 |
0 |
0 |
T3 |
92695 |
2 |
0 |
0 |
T4 |
96 |
0 |
0 |
0 |
T5 |
35963 |
1 |
0 |
0 |
T6 |
100172 |
3 |
0 |
0 |
T7 |
24755 |
7 |
0 |
0 |
T8 |
124280 |
3 |
0 |
0 |
T9 |
64168 |
2 |
0 |
0 |
T10 |
0 |
1 |
0 |
0 |
T11 |
0 |
1 |
0 |
0 |
T12 |
103 |
0 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_1_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_1_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T2,T3,T5 |
1 | 1 | Covered | T6,T8,T9 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T6,T8,T9 |
1 | 1 | Covered | T2,T3,T5 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_1_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_1_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34372192 |
1890 |
0 |
0 |
T2 |
40687 |
1 |
0 |
0 |
T3 |
92695 |
2 |
0 |
0 |
T5 |
35963 |
1 |
0 |
0 |
T6 |
100172 |
3 |
0 |
0 |
T7 |
24755 |
4 |
0 |
0 |
T8 |
124280 |
3 |
0 |
0 |
T9 |
64168 |
2 |
0 |
0 |
T10 |
32743 |
1 |
0 |
0 |
T11 |
35629 |
1 |
0 |
0 |
T12 |
103 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1996 |
0 |
0 |
T2 |
201406 |
1 |
0 |
0 |
T3 |
397430 |
2 |
0 |
0 |
T5 |
859776 |
1 |
0 |
0 |
T6 |
140243 |
3 |
0 |
0 |
T7 |
272311 |
4 |
0 |
0 |
T8 |
323128 |
3 |
0 |
0 |
T9 |
285552 |
2 |
0 |
0 |
T10 |
157168 |
1 |
0 |
0 |
T11 |
997665 |
1 |
0 |
0 |
T12 |
12518 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_1_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_1_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T2,T3,T5 |
1 | 1 | Covered | T6,T8,T9 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T6,T8,T9 |
1 | 1 | Covered | T2,T3,T5 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_1_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_1_cdc.u_arb.gen_passthru.u_dst_to_src_ack
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1988 |
0 |
0 |
T2 |
201406 |
1 |
0 |
0 |
T3 |
397430 |
2 |
0 |
0 |
T5 |
859776 |
1 |
0 |
0 |
T6 |
140243 |
3 |
0 |
0 |
T7 |
272311 |
4 |
0 |
0 |
T8 |
323128 |
3 |
0 |
0 |
T9 |
285552 |
2 |
0 |
0 |
T10 |
157168 |
1 |
0 |
0 |
T11 |
997665 |
1 |
0 |
0 |
T12 |
12518 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34372192 |
1988 |
0 |
0 |
T2 |
40687 |
1 |
0 |
0 |
T3 |
92695 |
2 |
0 |
0 |
T5 |
35963 |
1 |
0 |
0 |
T6 |
100172 |
3 |
0 |
0 |
T7 |
24755 |
4 |
0 |
0 |
T8 |
124280 |
3 |
0 |
0 |
T9 |
64168 |
2 |
0 |
0 |
T10 |
32743 |
1 |
0 |
0 |
T11 |
35629 |
1 |
0 |
0 |
T12 |
103 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_2_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_2_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T2,T3,T5 |
1 | 1 | Covered | T6,T8,T9 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T6,T8,T9 |
1 | 1 | Covered | T2,T3,T5 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_2_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_2_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34372192 |
1897 |
0 |
0 |
T2 |
40687 |
1 |
0 |
0 |
T3 |
92695 |
2 |
0 |
0 |
T5 |
35963 |
1 |
0 |
0 |
T6 |
100172 |
3 |
0 |
0 |
T7 |
24755 |
4 |
0 |
0 |
T8 |
124280 |
3 |
0 |
0 |
T9 |
64168 |
2 |
0 |
0 |
T10 |
32743 |
1 |
0 |
0 |
T11 |
35629 |
1 |
0 |
0 |
T12 |
103 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2001 |
0 |
0 |
T2 |
201406 |
1 |
0 |
0 |
T3 |
397430 |
2 |
0 |
0 |
T5 |
859776 |
1 |
0 |
0 |
T6 |
140243 |
3 |
0 |
0 |
T7 |
272311 |
4 |
0 |
0 |
T8 |
323128 |
3 |
0 |
0 |
T9 |
285552 |
2 |
0 |
0 |
T10 |
157168 |
1 |
0 |
0 |
T11 |
997665 |
1 |
0 |
0 |
T12 |
12518 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_2_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_2_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T2,T3,T5 |
1 | 1 | Covered | T6,T8,T9 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T6,T8,T9 |
1 | 1 | Covered | T2,T3,T5 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_2_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_2_cdc.u_arb.gen_passthru.u_dst_to_src_ack
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1993 |
0 |
0 |
T2 |
201406 |
1 |
0 |
0 |
T3 |
397430 |
2 |
0 |
0 |
T5 |
859776 |
1 |
0 |
0 |
T6 |
140243 |
3 |
0 |
0 |
T7 |
272311 |
4 |
0 |
0 |
T8 |
323128 |
3 |
0 |
0 |
T9 |
285552 |
2 |
0 |
0 |
T10 |
157168 |
1 |
0 |
0 |
T11 |
997665 |
1 |
0 |
0 |
T12 |
12518 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34372192 |
1993 |
0 |
0 |
T2 |
40687 |
1 |
0 |
0 |
T3 |
92695 |
2 |
0 |
0 |
T5 |
35963 |
1 |
0 |
0 |
T6 |
100172 |
3 |
0 |
0 |
T7 |
24755 |
4 |
0 |
0 |
T8 |
124280 |
3 |
0 |
0 |
T9 |
64168 |
2 |
0 |
0 |
T10 |
32743 |
1 |
0 |
0 |
T11 |
35629 |
1 |
0 |
0 |
T12 |
103 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_3_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_3_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T2,T3,T5 |
1 | 1 | Covered | T6,T8,T9 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T6,T8,T9 |
1 | 1 | Covered | T2,T3,T5 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_3_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_3_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34372192 |
1825 |
0 |
0 |
T2 |
40687 |
1 |
0 |
0 |
T3 |
92695 |
2 |
0 |
0 |
T5 |
35963 |
1 |
0 |
0 |
T6 |
100172 |
3 |
0 |
0 |
T7 |
24755 |
4 |
0 |
0 |
T8 |
124280 |
3 |
0 |
0 |
T9 |
64168 |
2 |
0 |
0 |
T10 |
32743 |
1 |
0 |
0 |
T11 |
35629 |
1 |
0 |
0 |
T12 |
103 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1935 |
0 |
0 |
T2 |
201406 |
1 |
0 |
0 |
T3 |
397430 |
2 |
0 |
0 |
T5 |
859776 |
1 |
0 |
0 |
T6 |
140243 |
3 |
0 |
0 |
T7 |
272311 |
4 |
0 |
0 |
T8 |
323128 |
3 |
0 |
0 |
T9 |
285552 |
2 |
0 |
0 |
T10 |
157168 |
1 |
0 |
0 |
T11 |
997665 |
1 |
0 |
0 |
T12 |
12518 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_3_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_3_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T2,T3,T5 |
1 | 1 | Covered | T6,T8,T9 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T6,T8,T9 |
1 | 1 | Covered | T2,T3,T5 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_3_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_3_cdc.u_arb.gen_passthru.u_dst_to_src_ack
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1924 |
0 |
0 |
T2 |
201406 |
1 |
0 |
0 |
T3 |
397430 |
2 |
0 |
0 |
T5 |
859776 |
1 |
0 |
0 |
T6 |
140243 |
3 |
0 |
0 |
T7 |
272311 |
4 |
0 |
0 |
T8 |
323128 |
3 |
0 |
0 |
T9 |
285552 |
2 |
0 |
0 |
T10 |
157168 |
1 |
0 |
0 |
T11 |
997665 |
1 |
0 |
0 |
T12 |
12518 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34372192 |
1924 |
0 |
0 |
T2 |
40687 |
1 |
0 |
0 |
T3 |
92695 |
2 |
0 |
0 |
T5 |
35963 |
1 |
0 |
0 |
T6 |
100172 |
3 |
0 |
0 |
T7 |
24755 |
4 |
0 |
0 |
T8 |
124280 |
3 |
0 |
0 |
T9 |
64168 |
2 |
0 |
0 |
T10 |
32743 |
1 |
0 |
0 |
T11 |
35629 |
1 |
0 |
0 |
T12 |
103 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_4_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_4_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T2,T3,T5 |
1 | 1 | Covered | T6,T8,T9 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T6,T8,T9 |
1 | 1 | Covered | T2,T3,T5 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_4_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_4_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34372192 |
1875 |
0 |
0 |
T2 |
40687 |
1 |
0 |
0 |
T3 |
92695 |
2 |
0 |
0 |
T5 |
35963 |
1 |
0 |
0 |
T6 |
100172 |
3 |
0 |
0 |
T7 |
24755 |
4 |
0 |
0 |
T8 |
124280 |
3 |
0 |
0 |
T9 |
64168 |
2 |
0 |
0 |
T10 |
32743 |
1 |
0 |
0 |
T11 |
35629 |
1 |
0 |
0 |
T12 |
103 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1980 |
0 |
0 |
T2 |
201406 |
1 |
0 |
0 |
T3 |
397430 |
2 |
0 |
0 |
T5 |
859776 |
1 |
0 |
0 |
T6 |
140243 |
3 |
0 |
0 |
T7 |
272311 |
4 |
0 |
0 |
T8 |
323128 |
3 |
0 |
0 |
T9 |
285552 |
2 |
0 |
0 |
T10 |
157168 |
1 |
0 |
0 |
T11 |
997665 |
1 |
0 |
0 |
T12 |
12518 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_4_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_4_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T2,T3,T5 |
1 | 1 | Covered | T6,T8,T9 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T6,T8,T9 |
1 | 1 | Covered | T2,T3,T5 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_4_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_4_cdc.u_arb.gen_passthru.u_dst_to_src_ack
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1972 |
0 |
0 |
T2 |
201406 |
1 |
0 |
0 |
T3 |
397430 |
2 |
0 |
0 |
T5 |
859776 |
1 |
0 |
0 |
T6 |
140243 |
3 |
0 |
0 |
T7 |
272311 |
4 |
0 |
0 |
T8 |
323128 |
3 |
0 |
0 |
T9 |
285552 |
2 |
0 |
0 |
T10 |
157168 |
1 |
0 |
0 |
T11 |
997665 |
1 |
0 |
0 |
T12 |
12518 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34372192 |
1972 |
0 |
0 |
T2 |
40687 |
1 |
0 |
0 |
T3 |
92695 |
2 |
0 |
0 |
T5 |
35963 |
1 |
0 |
0 |
T6 |
100172 |
3 |
0 |
0 |
T7 |
24755 |
4 |
0 |
0 |
T8 |
124280 |
3 |
0 |
0 |
T9 |
64168 |
2 |
0 |
0 |
T10 |
32743 |
1 |
0 |
0 |
T11 |
35629 |
1 |
0 |
0 |
T12 |
103 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_5_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_5_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T2,T3,T5 |
1 | 1 | Covered | T6,T8,T9 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T6,T8,T9 |
1 | 1 | Covered | T2,T3,T5 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_5_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_5_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34372192 |
1881 |
0 |
0 |
T2 |
40687 |
1 |
0 |
0 |
T3 |
92695 |
2 |
0 |
0 |
T5 |
35963 |
1 |
0 |
0 |
T6 |
100172 |
3 |
0 |
0 |
T7 |
24755 |
4 |
0 |
0 |
T8 |
124280 |
3 |
0 |
0 |
T9 |
64168 |
2 |
0 |
0 |
T10 |
32743 |
1 |
0 |
0 |
T11 |
35629 |
1 |
0 |
0 |
T12 |
103 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1985 |
0 |
0 |
T2 |
201406 |
1 |
0 |
0 |
T3 |
397430 |
2 |
0 |
0 |
T5 |
859776 |
1 |
0 |
0 |
T6 |
140243 |
3 |
0 |
0 |
T7 |
272311 |
4 |
0 |
0 |
T8 |
323128 |
3 |
0 |
0 |
T9 |
285552 |
2 |
0 |
0 |
T10 |
157168 |
1 |
0 |
0 |
T11 |
997665 |
1 |
0 |
0 |
T12 |
12518 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_5_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_5_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T2,T3,T5 |
1 | 1 | Covered | T6,T8,T9 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T6,T8,T9 |
1 | 1 | Covered | T2,T3,T5 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_5_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_5_cdc.u_arb.gen_passthru.u_dst_to_src_ack
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1975 |
0 |
0 |
T2 |
201406 |
1 |
0 |
0 |
T3 |
397430 |
2 |
0 |
0 |
T5 |
859776 |
1 |
0 |
0 |
T6 |
140243 |
3 |
0 |
0 |
T7 |
272311 |
4 |
0 |
0 |
T8 |
323128 |
3 |
0 |
0 |
T9 |
285552 |
2 |
0 |
0 |
T10 |
157168 |
1 |
0 |
0 |
T11 |
997665 |
1 |
0 |
0 |
T12 |
12518 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34372192 |
1975 |
0 |
0 |
T2 |
40687 |
1 |
0 |
0 |
T3 |
92695 |
2 |
0 |
0 |
T5 |
35963 |
1 |
0 |
0 |
T6 |
100172 |
3 |
0 |
0 |
T7 |
24755 |
4 |
0 |
0 |
T8 |
124280 |
3 |
0 |
0 |
T9 |
64168 |
2 |
0 |
0 |
T10 |
32743 |
1 |
0 |
0 |
T11 |
35629 |
1 |
0 |
0 |
T12 |
103 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_6_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_6_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T2,T3,T5 |
1 | 1 | Covered | T6,T8,T9 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T6,T8,T9 |
1 | 1 | Covered | T2,T3,T5 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_6_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_6_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34372192 |
1854 |
0 |
0 |
T2 |
40687 |
1 |
0 |
0 |
T3 |
92695 |
2 |
0 |
0 |
T5 |
35963 |
1 |
0 |
0 |
T6 |
100172 |
3 |
0 |
0 |
T7 |
24755 |
4 |
0 |
0 |
T8 |
124280 |
3 |
0 |
0 |
T9 |
64168 |
2 |
0 |
0 |
T10 |
32743 |
1 |
0 |
0 |
T11 |
35629 |
1 |
0 |
0 |
T12 |
103 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1957 |
0 |
0 |
T2 |
201406 |
1 |
0 |
0 |
T3 |
397430 |
2 |
0 |
0 |
T5 |
859776 |
1 |
0 |
0 |
T6 |
140243 |
3 |
0 |
0 |
T7 |
272311 |
4 |
0 |
0 |
T8 |
323128 |
3 |
0 |
0 |
T9 |
285552 |
2 |
0 |
0 |
T10 |
157168 |
1 |
0 |
0 |
T11 |
997665 |
1 |
0 |
0 |
T12 |
12518 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_6_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_6_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T2,T3,T5 |
1 | 1 | Covered | T6,T8,T9 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T6,T8,T9 |
1 | 1 | Covered | T2,T3,T5 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_6_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_6_cdc.u_arb.gen_passthru.u_dst_to_src_ack
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1948 |
0 |
0 |
T2 |
201406 |
1 |
0 |
0 |
T3 |
397430 |
2 |
0 |
0 |
T5 |
859776 |
1 |
0 |
0 |
T6 |
140243 |
3 |
0 |
0 |
T7 |
272311 |
4 |
0 |
0 |
T8 |
323128 |
3 |
0 |
0 |
T9 |
285552 |
2 |
0 |
0 |
T10 |
157168 |
1 |
0 |
0 |
T11 |
997665 |
1 |
0 |
0 |
T12 |
12518 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34372192 |
1948 |
0 |
0 |
T2 |
40687 |
1 |
0 |
0 |
T3 |
92695 |
2 |
0 |
0 |
T5 |
35963 |
1 |
0 |
0 |
T6 |
100172 |
3 |
0 |
0 |
T7 |
24755 |
4 |
0 |
0 |
T8 |
124280 |
3 |
0 |
0 |
T9 |
64168 |
2 |
0 |
0 |
T10 |
32743 |
1 |
0 |
0 |
T11 |
35629 |
1 |
0 |
0 |
T12 |
103 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_7_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_7_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T2,T3,T5 |
1 | 1 | Covered | T6,T8,T9 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T6,T8,T9 |
1 | 1 | Covered | T2,T3,T5 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_7_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_7_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34372192 |
1840 |
0 |
0 |
T2 |
40687 |
1 |
0 |
0 |
T3 |
92695 |
2 |
0 |
0 |
T5 |
35963 |
1 |
0 |
0 |
T6 |
100172 |
3 |
0 |
0 |
T7 |
24755 |
4 |
0 |
0 |
T8 |
124280 |
3 |
0 |
0 |
T9 |
64168 |
2 |
0 |
0 |
T10 |
32743 |
1 |
0 |
0 |
T11 |
35629 |
1 |
0 |
0 |
T12 |
103 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1946 |
0 |
0 |
T2 |
201406 |
1 |
0 |
0 |
T3 |
397430 |
2 |
0 |
0 |
T5 |
859776 |
1 |
0 |
0 |
T6 |
140243 |
3 |
0 |
0 |
T7 |
272311 |
4 |
0 |
0 |
T8 |
323128 |
3 |
0 |
0 |
T9 |
285552 |
2 |
0 |
0 |
T10 |
157168 |
1 |
0 |
0 |
T11 |
997665 |
1 |
0 |
0 |
T12 |
12518 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_7_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_7_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T2,T3,T5 |
1 | 1 | Covered | T6,T8,T9 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T6,T8,T9 |
1 | 1 | Covered | T2,T3,T5 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_7_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_7_cdc.u_arb.gen_passthru.u_dst_to_src_ack
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1937 |
0 |
0 |
T2 |
201406 |
1 |
0 |
0 |
T3 |
397430 |
2 |
0 |
0 |
T5 |
859776 |
1 |
0 |
0 |
T6 |
140243 |
3 |
0 |
0 |
T7 |
272311 |
4 |
0 |
0 |
T8 |
323128 |
3 |
0 |
0 |
T9 |
285552 |
2 |
0 |
0 |
T10 |
157168 |
1 |
0 |
0 |
T11 |
997665 |
1 |
0 |
0 |
T12 |
12518 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34372192 |
1937 |
0 |
0 |
T2 |
40687 |
1 |
0 |
0 |
T3 |
92695 |
2 |
0 |
0 |
T5 |
35963 |
1 |
0 |
0 |
T6 |
100172 |
3 |
0 |
0 |
T7 |
24755 |
4 |
0 |
0 |
T8 |
124280 |
3 |
0 |
0 |
T9 |
64168 |
2 |
0 |
0 |
T10 |
32743 |
1 |
0 |
0 |
T11 |
35629 |
1 |
0 |
0 |
T12 |
103 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_0_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_0_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T6,T8,T9 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T6,T8,T9 |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_0_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_0_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34372192 |
1986 |
0 |
0 |
T1 |
17645 |
1 |
0 |
0 |
T2 |
40687 |
1 |
0 |
0 |
T3 |
92695 |
2 |
0 |
0 |
T4 |
96 |
0 |
0 |
0 |
T5 |
35963 |
1 |
0 |
0 |
T6 |
100172 |
3 |
0 |
0 |
T7 |
24755 |
7 |
0 |
0 |
T8 |
124280 |
3 |
0 |
0 |
T9 |
64168 |
2 |
0 |
0 |
T10 |
0 |
1 |
0 |
0 |
T11 |
0 |
1 |
0 |
0 |
T12 |
103 |
0 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2096 |
0 |
0 |
T1 |
264692 |
1 |
0 |
0 |
T2 |
201406 |
1 |
0 |
0 |
T3 |
397430 |
2 |
0 |
0 |
T4 |
3894 |
0 |
0 |
0 |
T5 |
859776 |
1 |
0 |
0 |
T6 |
140243 |
3 |
0 |
0 |
T7 |
272311 |
7 |
0 |
0 |
T8 |
323128 |
3 |
0 |
0 |
T9 |
285552 |
2 |
0 |
0 |
T10 |
0 |
1 |
0 |
0 |
T11 |
0 |
1 |
0 |
0 |
T12 |
12518 |
0 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_0_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_0_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T6,T8,T9 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T6,T8,T9 |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_0_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_0_cdc.u_arb.gen_passthru.u_dst_to_src_ack
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2084 |
0 |
0 |
T1 |
264692 |
1 |
0 |
0 |
T2 |
201406 |
1 |
0 |
0 |
T3 |
397430 |
2 |
0 |
0 |
T4 |
3894 |
0 |
0 |
0 |
T5 |
859776 |
1 |
0 |
0 |
T6 |
140243 |
3 |
0 |
0 |
T7 |
272311 |
7 |
0 |
0 |
T8 |
323128 |
3 |
0 |
0 |
T9 |
285552 |
2 |
0 |
0 |
T10 |
0 |
1 |
0 |
0 |
T11 |
0 |
1 |
0 |
0 |
T12 |
12518 |
0 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34372192 |
2084 |
0 |
0 |
T1 |
17645 |
1 |
0 |
0 |
T2 |
40687 |
1 |
0 |
0 |
T3 |
92695 |
2 |
0 |
0 |
T4 |
96 |
0 |
0 |
0 |
T5 |
35963 |
1 |
0 |
0 |
T6 |
100172 |
3 |
0 |
0 |
T7 |
24755 |
7 |
0 |
0 |
T8 |
124280 |
3 |
0 |
0 |
T9 |
64168 |
2 |
0 |
0 |
T10 |
0 |
1 |
0 |
0 |
T11 |
0 |
1 |
0 |
0 |
T12 |
103 |
0 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_1_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_1_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T2,T3,T5 |
1 | 1 | Covered | T6,T8,T9 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T6,T8,T9 |
1 | 1 | Covered | T2,T3,T5 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_1_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_1_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34372192 |
1886 |
0 |
0 |
T2 |
40687 |
1 |
0 |
0 |
T3 |
92695 |
2 |
0 |
0 |
T5 |
35963 |
1 |
0 |
0 |
T6 |
100172 |
3 |
0 |
0 |
T7 |
24755 |
4 |
0 |
0 |
T8 |
124280 |
3 |
0 |
0 |
T9 |
64168 |
2 |
0 |
0 |
T10 |
32743 |
1 |
0 |
0 |
T11 |
35629 |
1 |
0 |
0 |
T12 |
103 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1993 |
0 |
0 |
T2 |
201406 |
1 |
0 |
0 |
T3 |
397430 |
2 |
0 |
0 |
T5 |
859776 |
1 |
0 |
0 |
T6 |
140243 |
3 |
0 |
0 |
T7 |
272311 |
4 |
0 |
0 |
T8 |
323128 |
3 |
0 |
0 |
T9 |
285552 |
2 |
0 |
0 |
T10 |
157168 |
1 |
0 |
0 |
T11 |
997665 |
1 |
0 |
0 |
T12 |
12518 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_1_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_1_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T2,T3,T5 |
1 | 1 | Covered | T6,T8,T9 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T6,T8,T9 |
1 | 1 | Covered | T2,T3,T5 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_1_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_1_cdc.u_arb.gen_passthru.u_dst_to_src_ack
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1983 |
0 |
0 |
T2 |
201406 |
1 |
0 |
0 |
T3 |
397430 |
2 |
0 |
0 |
T5 |
859776 |
1 |
0 |
0 |
T6 |
140243 |
3 |
0 |
0 |
T7 |
272311 |
4 |
0 |
0 |
T8 |
323128 |
3 |
0 |
0 |
T9 |
285552 |
2 |
0 |
0 |
T10 |
157168 |
1 |
0 |
0 |
T11 |
997665 |
1 |
0 |
0 |
T12 |
12518 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34372192 |
1983 |
0 |
0 |
T2 |
40687 |
1 |
0 |
0 |
T3 |
92695 |
2 |
0 |
0 |
T5 |
35963 |
1 |
0 |
0 |
T6 |
100172 |
3 |
0 |
0 |
T7 |
24755 |
4 |
0 |
0 |
T8 |
124280 |
3 |
0 |
0 |
T9 |
64168 |
2 |
0 |
0 |
T10 |
32743 |
1 |
0 |
0 |
T11 |
35629 |
1 |
0 |
0 |
T12 |
103 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_2_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_2_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T2,T3,T5 |
1 | 1 | Covered | T6,T8,T9 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T6,T8,T9 |
1 | 1 | Covered | T2,T3,T5 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_2_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_2_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34372192 |
1898 |
0 |
0 |
T2 |
40687 |
1 |
0 |
0 |
T3 |
92695 |
2 |
0 |
0 |
T5 |
35963 |
1 |
0 |
0 |
T6 |
100172 |
3 |
0 |
0 |
T7 |
24755 |
4 |
0 |
0 |
T8 |
124280 |
3 |
0 |
0 |
T9 |
64168 |
2 |
0 |
0 |
T10 |
32743 |
1 |
0 |
0 |
T11 |
35629 |
1 |
0 |
0 |
T12 |
103 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2003 |
0 |
0 |
T2 |
201406 |
1 |
0 |
0 |
T3 |
397430 |
2 |
0 |
0 |
T5 |
859776 |
1 |
0 |
0 |
T6 |
140243 |
3 |
0 |
0 |
T7 |
272311 |
4 |
0 |
0 |
T8 |
323128 |
3 |
0 |
0 |
T9 |
285552 |
2 |
0 |
0 |
T10 |
157168 |
1 |
0 |
0 |
T11 |
997665 |
1 |
0 |
0 |
T12 |
12518 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_2_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_2_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T2,T3,T5 |
1 | 1 | Covered | T6,T8,T9 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T6,T8,T9 |
1 | 1 | Covered | T2,T3,T5 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_2_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_2_cdc.u_arb.gen_passthru.u_dst_to_src_ack
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1992 |
0 |
0 |
T2 |
201406 |
1 |
0 |
0 |
T3 |
397430 |
2 |
0 |
0 |
T5 |
859776 |
1 |
0 |
0 |
T6 |
140243 |
3 |
0 |
0 |
T7 |
272311 |
4 |
0 |
0 |
T8 |
323128 |
3 |
0 |
0 |
T9 |
285552 |
2 |
0 |
0 |
T10 |
157168 |
1 |
0 |
0 |
T11 |
997665 |
1 |
0 |
0 |
T12 |
12518 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34372192 |
1992 |
0 |
0 |
T2 |
40687 |
1 |
0 |
0 |
T3 |
92695 |
2 |
0 |
0 |
T5 |
35963 |
1 |
0 |
0 |
T6 |
100172 |
3 |
0 |
0 |
T7 |
24755 |
4 |
0 |
0 |
T8 |
124280 |
3 |
0 |
0 |
T9 |
64168 |
2 |
0 |
0 |
T10 |
32743 |
1 |
0 |
0 |
T11 |
35629 |
1 |
0 |
0 |
T12 |
103 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_3_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_3_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T2,T3,T5 |
1 | 1 | Covered | T6,T8,T9 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T6,T8,T9 |
1 | 1 | Covered | T2,T3,T5 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_3_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_3_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34372192 |
1898 |
0 |
0 |
T2 |
40687 |
1 |
0 |
0 |
T3 |
92695 |
2 |
0 |
0 |
T5 |
35963 |
1 |
0 |
0 |
T6 |
100172 |
3 |
0 |
0 |
T7 |
24755 |
4 |
0 |
0 |
T8 |
124280 |
3 |
0 |
0 |
T9 |
64168 |
2 |
0 |
0 |
T10 |
32743 |
1 |
0 |
0 |
T11 |
35629 |
1 |
0 |
0 |
T12 |
103 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2003 |
0 |
0 |
T2 |
201406 |
1 |
0 |
0 |
T3 |
397430 |
2 |
0 |
0 |
T5 |
859776 |
1 |
0 |
0 |
T6 |
140243 |
3 |
0 |
0 |
T7 |
272311 |
4 |
0 |
0 |
T8 |
323128 |
3 |
0 |
0 |
T9 |
285552 |
2 |
0 |
0 |
T10 |
157168 |
1 |
0 |
0 |
T11 |
997665 |
1 |
0 |
0 |
T12 |
12518 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_3_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_3_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T2,T3,T5 |
1 | 1 | Covered | T6,T8,T9 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T6,T8,T9 |
1 | 1 | Covered | T2,T3,T5 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_3_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_3_cdc.u_arb.gen_passthru.u_dst_to_src_ack
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1994 |
0 |
0 |
T2 |
201406 |
1 |
0 |
0 |
T3 |
397430 |
2 |
0 |
0 |
T5 |
859776 |
1 |
0 |
0 |
T6 |
140243 |
3 |
0 |
0 |
T7 |
272311 |
4 |
0 |
0 |
T8 |
323128 |
3 |
0 |
0 |
T9 |
285552 |
2 |
0 |
0 |
T10 |
157168 |
1 |
0 |
0 |
T11 |
997665 |
1 |
0 |
0 |
T12 |
12518 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34372192 |
1994 |
0 |
0 |
T2 |
40687 |
1 |
0 |
0 |
T3 |
92695 |
2 |
0 |
0 |
T5 |
35963 |
1 |
0 |
0 |
T6 |
100172 |
3 |
0 |
0 |
T7 |
24755 |
4 |
0 |
0 |
T8 |
124280 |
3 |
0 |
0 |
T9 |
64168 |
2 |
0 |
0 |
T10 |
32743 |
1 |
0 |
0 |
T11 |
35629 |
1 |
0 |
0 |
T12 |
103 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_4_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_4_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T2,T3,T5 |
1 | 1 | Covered | T6,T8,T9 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T6,T8,T9 |
1 | 1 | Covered | T2,T3,T5 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_4_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_4_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34372192 |
1869 |
0 |
0 |
T2 |
40687 |
1 |
0 |
0 |
T3 |
92695 |
2 |
0 |
0 |
T5 |
35963 |
1 |
0 |
0 |
T6 |
100172 |
3 |
0 |
0 |
T7 |
24755 |
4 |
0 |
0 |
T8 |
124280 |
3 |
0 |
0 |
T9 |
64168 |
2 |
0 |
0 |
T10 |
32743 |
1 |
0 |
0 |
T11 |
35629 |
1 |
0 |
0 |
T12 |
103 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1975 |
0 |
0 |
T2 |
201406 |
1 |
0 |
0 |
T3 |
397430 |
2 |
0 |
0 |
T5 |
859776 |
1 |
0 |
0 |
T6 |
140243 |
3 |
0 |
0 |
T7 |
272311 |
4 |
0 |
0 |
T8 |
323128 |
3 |
0 |
0 |
T9 |
285552 |
2 |
0 |
0 |
T10 |
157168 |
1 |
0 |
0 |
T11 |
997665 |
1 |
0 |
0 |
T12 |
12518 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_4_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_4_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T2,T3,T5 |
1 | 1 | Covered | T6,T8,T9 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T6,T8,T9 |
1 | 1 | Covered | T2,T3,T5 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_4_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_4_cdc.u_arb.gen_passthru.u_dst_to_src_ack
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1964 |
0 |
0 |
T2 |
201406 |
1 |
0 |
0 |
T3 |
397430 |
2 |
0 |
0 |
T5 |
859776 |
1 |
0 |
0 |
T6 |
140243 |
3 |
0 |
0 |
T7 |
272311 |
4 |
0 |
0 |
T8 |
323128 |
3 |
0 |
0 |
T9 |
285552 |
2 |
0 |
0 |
T10 |
157168 |
1 |
0 |
0 |
T11 |
997665 |
1 |
0 |
0 |
T12 |
12518 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34372192 |
1964 |
0 |
0 |
T2 |
40687 |
1 |
0 |
0 |
T3 |
92695 |
2 |
0 |
0 |
T5 |
35963 |
1 |
0 |
0 |
T6 |
100172 |
3 |
0 |
0 |
T7 |
24755 |
4 |
0 |
0 |
T8 |
124280 |
3 |
0 |
0 |
T9 |
64168 |
2 |
0 |
0 |
T10 |
32743 |
1 |
0 |
0 |
T11 |
35629 |
1 |
0 |
0 |
T12 |
103 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_5_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_5_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T2,T3,T5 |
1 | 1 | Covered | T6,T8,T9 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T6,T8,T9 |
1 | 1 | Covered | T2,T3,T5 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_5_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_5_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34372192 |
1892 |
0 |
0 |
T2 |
40687 |
1 |
0 |
0 |
T3 |
92695 |
2 |
0 |
0 |
T5 |
35963 |
1 |
0 |
0 |
T6 |
100172 |
3 |
0 |
0 |
T7 |
24755 |
4 |
0 |
0 |
T8 |
124280 |
3 |
0 |
0 |
T9 |
64168 |
2 |
0 |
0 |
T10 |
32743 |
1 |
0 |
0 |
T11 |
35629 |
1 |
0 |
0 |
T12 |
103 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1996 |
0 |
0 |
T2 |
201406 |
1 |
0 |
0 |
T3 |
397430 |
2 |
0 |
0 |
T5 |
859776 |
1 |
0 |
0 |
T6 |
140243 |
3 |
0 |
0 |
T7 |
272311 |
4 |
0 |
0 |
T8 |
323128 |
3 |
0 |
0 |
T9 |
285552 |
2 |
0 |
0 |
T10 |
157168 |
1 |
0 |
0 |
T11 |
997665 |
1 |
0 |
0 |
T12 |
12518 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_5_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_5_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T2,T3,T5 |
1 | 1 | Covered | T6,T8,T9 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T6,T8,T9 |
1 | 1 | Covered | T2,T3,T5 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_5_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_5_cdc.u_arb.gen_passthru.u_dst_to_src_ack
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1987 |
0 |
0 |
T2 |
201406 |
1 |
0 |
0 |
T3 |
397430 |
2 |
0 |
0 |
T5 |
859776 |
1 |
0 |
0 |
T6 |
140243 |
3 |
0 |
0 |
T7 |
272311 |
4 |
0 |
0 |
T8 |
323128 |
3 |
0 |
0 |
T9 |
285552 |
2 |
0 |
0 |
T10 |
157168 |
1 |
0 |
0 |
T11 |
997665 |
1 |
0 |
0 |
T12 |
12518 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34372192 |
1987 |
0 |
0 |
T2 |
40687 |
1 |
0 |
0 |
T3 |
92695 |
2 |
0 |
0 |
T5 |
35963 |
1 |
0 |
0 |
T6 |
100172 |
3 |
0 |
0 |
T7 |
24755 |
4 |
0 |
0 |
T8 |
124280 |
3 |
0 |
0 |
T9 |
64168 |
2 |
0 |
0 |
T10 |
32743 |
1 |
0 |
0 |
T11 |
35629 |
1 |
0 |
0 |
T12 |
103 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_6_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_6_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T2,T3,T5 |
1 | 1 | Covered | T6,T8,T9 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T6,T8,T9 |
1 | 1 | Covered | T2,T3,T5 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_6_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_6_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34372192 |
1885 |
0 |
0 |
T2 |
40687 |
1 |
0 |
0 |
T3 |
92695 |
2 |
0 |
0 |
T5 |
35963 |
1 |
0 |
0 |
T6 |
100172 |
3 |
0 |
0 |
T7 |
24755 |
4 |
0 |
0 |
T8 |
124280 |
3 |
0 |
0 |
T9 |
64168 |
2 |
0 |
0 |
T10 |
32743 |
1 |
0 |
0 |
T11 |
35629 |
1 |
0 |
0 |
T12 |
103 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1992 |
0 |
0 |
T2 |
201406 |
1 |
0 |
0 |
T3 |
397430 |
2 |
0 |
0 |
T5 |
859776 |
1 |
0 |
0 |
T6 |
140243 |
3 |
0 |
0 |
T7 |
272311 |
4 |
0 |
0 |
T8 |
323128 |
3 |
0 |
0 |
T9 |
285552 |
2 |
0 |
0 |
T10 |
157168 |
1 |
0 |
0 |
T11 |
997665 |
1 |
0 |
0 |
T12 |
12518 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_6_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_6_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T2,T3,T5 |
1 | 1 | Covered | T6,T8,T9 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T6,T8,T9 |
1 | 1 | Covered | T2,T3,T5 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_6_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_6_cdc.u_arb.gen_passthru.u_dst_to_src_ack
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1984 |
0 |
0 |
T2 |
201406 |
1 |
0 |
0 |
T3 |
397430 |
2 |
0 |
0 |
T5 |
859776 |
1 |
0 |
0 |
T6 |
140243 |
3 |
0 |
0 |
T7 |
272311 |
4 |
0 |
0 |
T8 |
323128 |
3 |
0 |
0 |
T9 |
285552 |
2 |
0 |
0 |
T10 |
157168 |
1 |
0 |
0 |
T11 |
997665 |
1 |
0 |
0 |
T12 |
12518 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34372192 |
1984 |
0 |
0 |
T2 |
40687 |
1 |
0 |
0 |
T3 |
92695 |
2 |
0 |
0 |
T5 |
35963 |
1 |
0 |
0 |
T6 |
100172 |
3 |
0 |
0 |
T7 |
24755 |
4 |
0 |
0 |
T8 |
124280 |
3 |
0 |
0 |
T9 |
64168 |
2 |
0 |
0 |
T10 |
32743 |
1 |
0 |
0 |
T11 |
35629 |
1 |
0 |
0 |
T12 |
103 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_7_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_7_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T2,T3,T5 |
1 | 1 | Covered | T6,T8,T9 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T6,T8,T9 |
1 | 1 | Covered | T2,T3,T5 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_7_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_7_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34372192 |
1889 |
0 |
0 |
T2 |
40687 |
1 |
0 |
0 |
T3 |
92695 |
2 |
0 |
0 |
T5 |
35963 |
1 |
0 |
0 |
T6 |
100172 |
3 |
0 |
0 |
T7 |
24755 |
4 |
0 |
0 |
T8 |
124280 |
3 |
0 |
0 |
T9 |
64168 |
2 |
0 |
0 |
T10 |
32743 |
1 |
0 |
0 |
T11 |
35629 |
1 |
0 |
0 |
T12 |
103 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1992 |
0 |
0 |
T2 |
201406 |
1 |
0 |
0 |
T3 |
397430 |
2 |
0 |
0 |
T5 |
859776 |
1 |
0 |
0 |
T6 |
140243 |
3 |
0 |
0 |
T7 |
272311 |
4 |
0 |
0 |
T8 |
323128 |
3 |
0 |
0 |
T9 |
285552 |
2 |
0 |
0 |
T10 |
157168 |
1 |
0 |
0 |
T11 |
997665 |
1 |
0 |
0 |
T12 |
12518 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_7_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_7_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T2,T3,T5 |
1 | 1 | Covered | T6,T8,T9 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T6,T8,T9 |
1 | 1 | Covered | T2,T3,T5 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_7_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_7_cdc.u_arb.gen_passthru.u_dst_to_src_ack
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1984 |
0 |
0 |
T2 |
201406 |
1 |
0 |
0 |
T3 |
397430 |
2 |
0 |
0 |
T5 |
859776 |
1 |
0 |
0 |
T6 |
140243 |
3 |
0 |
0 |
T7 |
272311 |
4 |
0 |
0 |
T8 |
323128 |
3 |
0 |
0 |
T9 |
285552 |
2 |
0 |
0 |
T10 |
157168 |
1 |
0 |
0 |
T11 |
997665 |
1 |
0 |
0 |
T12 |
12518 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34372192 |
1984 |
0 |
0 |
T2 |
40687 |
1 |
0 |
0 |
T3 |
92695 |
2 |
0 |
0 |
T5 |
35963 |
1 |
0 |
0 |
T6 |
100172 |
3 |
0 |
0 |
T7 |
24755 |
4 |
0 |
0 |
T8 |
124280 |
3 |
0 |
0 |
T9 |
64168 |
2 |
0 |
0 |
T10 |
32743 |
1 |
0 |
0 |
T11 |
35629 |
1 |
0 |
0 |
T12 |
103 |
0 |
0 |
0 |
T33 |
0 |
6 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_wakeup_ctl_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_wakeup_ctl_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T3,T5,T7 |
1 | 0 | Covered | T3,T5,T7 |
1 | 1 | Covered | T8,T9,T125 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T3,T5,T7 |
1 | 0 | Covered | T8,T9,T125 |
1 | 1 | Covered | T3,T5,T7 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_wakeup_ctl_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_wakeup_ctl_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34372192 |
1341 |
0 |
0 |
T3 |
92695 |
1 |
0 |
0 |
T5 |
35963 |
1 |
0 |
0 |
T6 |
100172 |
0 |
0 |
0 |
T7 |
24755 |
2 |
0 |
0 |
T8 |
124280 |
3 |
0 |
0 |
T9 |
64168 |
2 |
0 |
0 |
T10 |
32743 |
0 |
0 |
0 |
T11 |
35629 |
1 |
0 |
0 |
T12 |
103 |
0 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T23 |
0 |
1 |
0 |
0 |
T33 |
92910 |
3 |
0 |
0 |
T40 |
0 |
1 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1445 |
0 |
0 |
T3 |
397430 |
1 |
0 |
0 |
T5 |
859776 |
1 |
0 |
0 |
T6 |
140243 |
0 |
0 |
0 |
T7 |
272311 |
2 |
0 |
0 |
T8 |
323128 |
3 |
0 |
0 |
T9 |
285552 |
2 |
0 |
0 |
T10 |
157168 |
0 |
0 |
0 |
T11 |
997665 |
1 |
0 |
0 |
T12 |
12518 |
0 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T23 |
0 |
1 |
0 |
0 |
T33 |
415003 |
3 |
0 |
0 |
T40 |
0 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_wakeup_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_wakeup_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T3,T5,T7 |
1 | 0 | Covered | T3,T5,T7 |
1 | 1 | Covered | T8,T9,T125 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T3,T5,T7 |
1 | 0 | Covered | T8,T9,T125 |
1 | 1 | Covered | T3,T5,T7 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_wakeup_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_wakeup_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1434 |
0 |
0 |
T3 |
397430 |
1 |
0 |
0 |
T5 |
859776 |
1 |
0 |
0 |
T6 |
140243 |
0 |
0 |
0 |
T7 |
272311 |
2 |
0 |
0 |
T8 |
323128 |
3 |
0 |
0 |
T9 |
285552 |
2 |
0 |
0 |
T10 |
157168 |
0 |
0 |
0 |
T11 |
997665 |
1 |
0 |
0 |
T12 |
12518 |
0 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T23 |
0 |
1 |
0 |
0 |
T33 |
415003 |
3 |
0 |
0 |
T40 |
0 |
1 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34372192 |
1434 |
0 |
0 |
T3 |
92695 |
1 |
0 |
0 |
T5 |
35963 |
1 |
0 |
0 |
T6 |
100172 |
0 |
0 |
0 |
T7 |
24755 |
2 |
0 |
0 |
T8 |
124280 |
3 |
0 |
0 |
T9 |
64168 |
2 |
0 |
0 |
T10 |
32743 |
0 |
0 |
0 |
T11 |
35629 |
1 |
0 |
0 |
T12 |
103 |
0 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T23 |
0 |
1 |
0 |
0 |
T33 |
92910 |
3 |
0 |
0 |
T40 |
0 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_filter_status_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_filter_status_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T2,T3,T5 |
1 | 1 | Covered | T2,T3,T5 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T2,T3,T5 |
1 | 0 | Covered | T2,T3,T5 |
1 | 1 | Covered | T2,T3,T5 |
Branch Coverage for Instance : tb.dut.u_reg.u_filter_status_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_filter_status_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34372192 |
68346 |
0 |
0 |
T2 |
40687 |
70 |
0 |
0 |
T3 |
92695 |
125 |
0 |
0 |
T5 |
35963 |
67 |
0 |
0 |
T6 |
100172 |
220 |
0 |
0 |
T7 |
24755 |
21 |
0 |
0 |
T8 |
124280 |
245 |
0 |
0 |
T9 |
64168 |
159 |
0 |
0 |
T10 |
32743 |
71 |
0 |
0 |
T11 |
35629 |
64 |
0 |
0 |
T12 |
103 |
0 |
0 |
0 |
T33 |
0 |
175 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
68457 |
0 |
0 |
T2 |
201406 |
70 |
0 |
0 |
T3 |
397430 |
125 |
0 |
0 |
T5 |
859776 |
67 |
0 |
0 |
T6 |
140243 |
220 |
0 |
0 |
T7 |
272311 |
21 |
0 |
0 |
T8 |
323128 |
245 |
0 |
0 |
T9 |
285552 |
159 |
0 |
0 |
T10 |
157168 |
71 |
0 |
0 |
T11 |
997665 |
64 |
0 |
0 |
T12 |
12518 |
0 |
0 |
0 |
T33 |
0 |
175 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_adc_ctrl_core.u_oneshot_done_sync
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_adc_ctrl_core.u_oneshot_done_sync
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T7 |
1 | 0 | Covered | T1,T2,T7 |
1 | 1 | Covered | T1,T2,T7 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T7 |
1 | 0 | Covered | T1,T2,T7 |
1 | 1 | Covered | T1,T2,T7 |
Branch Coverage for Instance : tb.dut.u_adc_ctrl_core.u_oneshot_done_sync
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_adc_ctrl_core.u_oneshot_done_sync
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
6586 |
0 |
0 |
T1 |
264692 |
32 |
0 |
0 |
T2 |
201406 |
20 |
0 |
0 |
T3 |
397430 |
0 |
0 |
0 |
T4 |
3894 |
0 |
0 |
0 |
T5 |
859776 |
0 |
0 |
0 |
T6 |
140243 |
0 |
0 |
0 |
T7 |
272311 |
47 |
0 |
0 |
T8 |
323128 |
0 |
0 |
0 |
T9 |
285552 |
0 |
0 |
0 |
T12 |
12518 |
0 |
0 |
0 |
T13 |
0 |
28 |
0 |
0 |
T14 |
0 |
15 |
0 |
0 |
T26 |
0 |
49 |
0 |
0 |
T29 |
0 |
7 |
0 |
0 |
T36 |
0 |
27 |
0 |
0 |
T40 |
0 |
20 |
0 |
0 |
T104 |
0 |
6 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34288962 |
6586 |
0 |
0 |
T1 |
17645 |
32 |
0 |
0 |
T2 |
40687 |
20 |
0 |
0 |
T3 |
92695 |
0 |
0 |
0 |
T4 |
96 |
0 |
0 |
0 |
T5 |
35963 |
0 |
0 |
0 |
T6 |
100172 |
0 |
0 |
0 |
T7 |
24755 |
47 |
0 |
0 |
T8 |
124280 |
0 |
0 |
0 |
T9 |
64168 |
0 |
0 |
0 |
T12 |
103 |
0 |
0 |
0 |
T13 |
0 |
28 |
0 |
0 |
T14 |
0 |
15 |
0 |
0 |
T26 |
0 |
49 |
0 |
0 |
T29 |
0 |
7 |
0 |
0 |
T36 |
0 |
27 |
0 |
0 |
T40 |
0 |
20 |
0 |
0 |
T104 |
0 |
6 |
0 |
0 |