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 | T4,T1,T2 |
0 | 1 | Covered | T4,T1,T2 |
1 | 0 | Covered | T4,T1,T2 |
1 | 1 | Covered | T1,T2,T3 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T4,T1,T2 |
0 | 1 | Covered | T4,T1,T2 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T4,T1,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 |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
Assert Coverage for Module :
prim_pulse_sync
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
336062 |
0 |
0 |
T1 |
6649722 |
70 |
0 |
0 |
T2 |
2429568 |
41 |
0 |
0 |
T3 |
5329206 |
27 |
0 |
0 |
T5 |
3660973 |
186 |
0 |
0 |
T6 |
4923551 |
105 |
0 |
0 |
T7 |
6395209 |
249 |
0 |
0 |
T8 |
19231070 |
70 |
0 |
0 |
T9 |
5572566 |
105 |
0 |
0 |
T10 |
4290655 |
429 |
0 |
0 |
T11 |
8064644 |
39 |
0 |
0 |
T12 |
281943 |
64 |
0 |
0 |
T13 |
602416 |
96 |
0 |
0 |
T14 |
0 |
96 |
0 |
0 |
T15 |
0 |
84 |
0 |
0 |
T16 |
37865 |
0 |
0 |
0 |
T26 |
51715 |
0 |
0 |
0 |
T27 |
117390 |
0 |
0 |
0 |
T28 |
98096 |
0 |
0 |
0 |
T29 |
97794 |
0 |
0 |
0 |
T30 |
72203 |
0 |
0 |
0 |
T31 |
8087 |
0 |
0 |
0 |
T32 |
80986 |
0 |
0 |
0 |
T40 |
213296 |
0 |
0 |
0 |
T41 |
0 |
20 |
0 |
0 |
T43 |
0 |
9 |
0 |
0 |
T53 |
0 |
63 |
0 |
0 |
T54 |
0 |
31 |
0 |
0 |
T114 |
0 |
20 |
0 |
0 |
T136 |
0 |
6 |
0 |
0 |
T137 |
0 |
20 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
339767 |
0 |
0 |
T1 |
6649722 |
70 |
0 |
0 |
T2 |
2429568 |
41 |
0 |
0 |
T3 |
5329206 |
27 |
0 |
0 |
T5 |
3552658 |
186 |
0 |
0 |
T6 |
4894066 |
105 |
0 |
0 |
T7 |
6084373 |
249 |
0 |
0 |
T8 |
18371142 |
70 |
0 |
0 |
T9 |
5507972 |
105 |
0 |
0 |
T10 |
4182345 |
429 |
0 |
0 |
T11 |
7657248 |
39 |
0 |
0 |
T12 |
67936 |
64 |
0 |
0 |
T13 |
120482 |
96 |
0 |
0 |
T14 |
0 |
96 |
0 |
0 |
T15 |
0 |
84 |
0 |
0 |
T16 |
686094 |
0 |
0 |
0 |
T26 |
124121 |
0 |
0 |
0 |
T27 |
575220 |
0 |
0 |
0 |
T28 |
475786 |
0 |
0 |
0 |
T29 |
474317 |
0 |
0 |
0 |
T30 |
224887 |
0 |
0 |
0 |
T31 |
396351 |
0 |
0 |
0 |
T32 |
388726 |
0 |
0 |
0 |
T40 |
8531 |
0 |
0 |
0 |
T41 |
0 |
20 |
0 |
0 |
T43 |
0 |
9 |
0 |
0 |
T53 |
0 |
63 |
0 |
0 |
T54 |
0 |
31 |
0 |
0 |
T114 |
0 |
20 |
0 |
0 |
T136 |
0 |
6 |
0 |
0 |
T137 |
0 |
20 |
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 | T4,T1,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 | T4,T1,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 |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,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 |
34387974 |
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 | T4,T1,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 | T4,T1,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 |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,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 |
34387974 |
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 | T4,T1,T2 |
0 | 1 | Covered | T16,T17,T44 |
1 | 0 | Covered | T16,T17,T44 |
1 | 1 | Not Covered | |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T4,T1,T2 |
0 | 1 | Covered | T16,T17,T44 |
1 | 0 | Not Covered | |
1 | 1 | Covered | T16,T17,T44 |
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 |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,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 |
34387974 |
83 |
0 |
0 |
T16 |
37865 |
1 |
0 |
0 |
T18 |
0 |
1 |
0 |
0 |
T19 |
0 |
1 |
0 |
0 |
T20 |
0 |
3 |
0 |
0 |
T21 |
0 |
1 |
0 |
0 |
T26 |
51715 |
0 |
0 |
0 |
T27 |
117390 |
0 |
0 |
0 |
T28 |
98096 |
0 |
0 |
0 |
T29 |
97794 |
0 |
0 |
0 |
T30 |
72203 |
0 |
0 |
0 |
T31 |
8087 |
0 |
0 |
0 |
T32 |
80986 |
0 |
0 |
0 |
T33 |
36786 |
0 |
0 |
0 |
T34 |
16295 |
0 |
0 |
0 |
T44 |
0 |
1 |
0 |
0 |
T46 |
0 |
1 |
0 |
0 |
T47 |
0 |
1 |
0 |
0 |
T48 |
0 |
1 |
0 |
0 |
T49 |
0 |
1 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
371 |
0 |
0 |
T16 |
686094 |
5 |
0 |
0 |
T17 |
0 |
10 |
0 |
0 |
T18 |
0 |
10 |
0 |
0 |
T19 |
0 |
5 |
0 |
0 |
T20 |
0 |
5 |
0 |
0 |
T26 |
124121 |
0 |
0 |
0 |
T27 |
575220 |
0 |
0 |
0 |
T28 |
475786 |
0 |
0 |
0 |
T29 |
474317 |
0 |
0 |
0 |
T30 |
224887 |
0 |
0 |
0 |
T31 |
396351 |
0 |
0 |
0 |
T32 |
388726 |
0 |
0 |
0 |
T33 |
901302 |
0 |
0 |
0 |
T34 |
896295 |
0 |
0 |
0 |
T44 |
0 |
9 |
0 |
0 |
T45 |
0 |
8 |
0 |
0 |
T46 |
0 |
10 |
0 |
0 |
T47 |
0 |
5 |
0 |
0 |
T48 |
0 |
5 |
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 | T4,T1,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 | T4,T1,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 |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,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 |
34387974 |
36968 |
0 |
0 |
T1 |
66713 |
6 |
0 |
0 |
T2 |
9307 |
41 |
0 |
0 |
T3 |
6041 |
27 |
0 |
0 |
T5 |
43324 |
122 |
0 |
0 |
T6 |
117928 |
9 |
0 |
0 |
T7 |
13225 |
206 |
0 |
0 |
T8 |
78174 |
6 |
0 |
0 |
T9 |
117440 |
9 |
0 |
0 |
T10 |
60345 |
340 |
0 |
0 |
T11 |
8760 |
39 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
37147 |
0 |
0 |
T1 |
302716 |
6 |
0 |
0 |
T2 |
125669 |
41 |
0 |
0 |
T3 |
290026 |
27 |
0 |
0 |
T5 |
151639 |
122 |
0 |
0 |
T6 |
147413 |
9 |
0 |
0 |
T7 |
324061 |
207 |
0 |
0 |
T8 |
938102 |
6 |
0 |
0 |
T9 |
182034 |
9 |
0 |
0 |
T10 |
168655 |
340 |
0 |
0 |
T11 |
416156 |
39 |
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 | T4,T1,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 | T4,T1,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 |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,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 |
37096 |
0 |
0 |
T1 |
302716 |
6 |
0 |
0 |
T2 |
125669 |
41 |
0 |
0 |
T3 |
290026 |
27 |
0 |
0 |
T5 |
151639 |
122 |
0 |
0 |
T6 |
147413 |
9 |
0 |
0 |
T7 |
324061 |
206 |
0 |
0 |
T8 |
938102 |
6 |
0 |
0 |
T9 |
182034 |
9 |
0 |
0 |
T10 |
168655 |
340 |
0 |
0 |
T11 |
416156 |
39 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34387974 |
37105 |
0 |
0 |
T1 |
66713 |
6 |
0 |
0 |
T2 |
9307 |
41 |
0 |
0 |
T3 |
6041 |
27 |
0 |
0 |
T5 |
43324 |
122 |
0 |
0 |
T6 |
117928 |
9 |
0 |
0 |
T7 |
13225 |
206 |
0 |
0 |
T8 |
78174 |
6 |
0 |
0 |
T9 |
117440 |
9 |
0 |
0 |
T10 |
60345 |
340 |
0 |
0 |
T11 |
8760 |
39 |
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 | T4,T1,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 | T4,T1,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 |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,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 |
34387974 |
17181 |
0 |
0 |
T1 |
66713 |
4 |
0 |
0 |
T2 |
9307 |
20 |
0 |
0 |
T3 |
6041 |
13 |
0 |
0 |
T5 |
43324 |
41 |
0 |
0 |
T6 |
117928 |
6 |
0 |
0 |
T7 |
13225 |
103 |
0 |
0 |
T8 |
78174 |
4 |
0 |
0 |
T9 |
117440 |
6 |
0 |
0 |
T10 |
60345 |
169 |
0 |
0 |
T11 |
8760 |
19 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
17323 |
0 |
0 |
T1 |
302716 |
4 |
0 |
0 |
T2 |
125669 |
20 |
0 |
0 |
T3 |
290026 |
13 |
0 |
0 |
T5 |
151639 |
41 |
0 |
0 |
T6 |
147413 |
6 |
0 |
0 |
T7 |
324061 |
103 |
0 |
0 |
T8 |
938102 |
4 |
0 |
0 |
T9 |
182034 |
6 |
0 |
0 |
T10 |
168655 |
169 |
0 |
0 |
T11 |
416156 |
19 |
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 | T4,T1,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 | T4,T1,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 |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,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 |
17305 |
0 |
0 |
T1 |
302716 |
4 |
0 |
0 |
T2 |
125669 |
20 |
0 |
0 |
T3 |
290026 |
13 |
0 |
0 |
T5 |
151639 |
41 |
0 |
0 |
T6 |
147413 |
6 |
0 |
0 |
T7 |
324061 |
103 |
0 |
0 |
T8 |
938102 |
4 |
0 |
0 |
T9 |
182034 |
6 |
0 |
0 |
T10 |
168655 |
169 |
0 |
0 |
T11 |
416156 |
19 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34387974 |
17305 |
0 |
0 |
T1 |
66713 |
4 |
0 |
0 |
T2 |
9307 |
20 |
0 |
0 |
T3 |
6041 |
13 |
0 |
0 |
T5 |
43324 |
41 |
0 |
0 |
T6 |
117928 |
6 |
0 |
0 |
T7 |
13225 |
103 |
0 |
0 |
T8 |
78174 |
4 |
0 |
0 |
T9 |
117440 |
6 |
0 |
0 |
T10 |
60345 |
169 |
0 |
0 |
T11 |
8760 |
19 |
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 | T4,T1,T2 |
0 | 1 | Covered | T4,T1,T5 |
1 | 0 | Covered | T4,T1,T5 |
1 | 1 | Covered | T1,T6,T7 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T4,T1,T2 |
0 | 1 | Covered | T4,T1,T5 |
1 | 0 | Covered | T1,T6,T7 |
1 | 1 | Covered | T4,T1,T5 |
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 |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,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 |
34387974 |
13164 |
0 |
0 |
T1 |
66713 |
2 |
0 |
0 |
T2 |
9307 |
0 |
0 |
0 |
T3 |
6041 |
0 |
0 |
0 |
T4 |
1627 |
1 |
0 |
0 |
T5 |
43324 |
2 |
0 |
0 |
T6 |
117928 |
3 |
0 |
0 |
T7 |
13225 |
103 |
0 |
0 |
T8 |
78174 |
2 |
0 |
0 |
T9 |
117440 |
3 |
0 |
0 |
T10 |
60345 |
140 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
13363 |
0 |
0 |
T1 |
302716 |
2 |
0 |
0 |
T2 |
125669 |
0 |
0 |
0 |
T3 |
290026 |
0 |
0 |
0 |
T4 |
195501 |
1 |
0 |
0 |
T5 |
151639 |
2 |
0 |
0 |
T6 |
147413 |
3 |
0 |
0 |
T7 |
324061 |
103 |
0 |
0 |
T8 |
938102 |
2 |
0 |
0 |
T9 |
182034 |
3 |
0 |
0 |
T10 |
168655 |
140 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
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 | T4,T1,T2 |
0 | 1 | Covered | T4,T1,T5 |
1 | 0 | Covered | T4,T1,T5 |
1 | 1 | Covered | T1,T6,T7 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T4,T1,T2 |
0 | 1 | Covered | T4,T1,T5 |
1 | 0 | Covered | T1,T6,T7 |
1 | 1 | Covered | T4,T1,T5 |
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 |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,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 |
13313 |
0 |
0 |
T1 |
302716 |
2 |
0 |
0 |
T2 |
125669 |
0 |
0 |
0 |
T3 |
290026 |
0 |
0 |
0 |
T4 |
195501 |
1 |
0 |
0 |
T5 |
151639 |
2 |
0 |
0 |
T6 |
147413 |
3 |
0 |
0 |
T7 |
324061 |
103 |
0 |
0 |
T8 |
938102 |
2 |
0 |
0 |
T9 |
182034 |
3 |
0 |
0 |
T10 |
168655 |
140 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34387974 |
13313 |
0 |
0 |
T1 |
66713 |
2 |
0 |
0 |
T2 |
9307 |
0 |
0 |
0 |
T3 |
6041 |
0 |
0 |
0 |
T4 |
1627 |
1 |
0 |
0 |
T5 |
43324 |
2 |
0 |
0 |
T6 |
117928 |
3 |
0 |
0 |
T7 |
13225 |
103 |
0 |
0 |
T8 |
78174 |
2 |
0 |
0 |
T9 |
117440 |
3 |
0 |
0 |
T10 |
60345 |
140 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
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 | T4,T1,T2 |
0 | 1 | Covered | T4,T1,T5 |
1 | 0 | Covered | T4,T1,T5 |
1 | 1 | Covered | T1,T6,T7 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T4,T1,T2 |
0 | 1 | Covered | T4,T1,T5 |
1 | 0 | Covered | T1,T6,T7 |
1 | 1 | Covered | T4,T1,T5 |
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 |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,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 |
34387974 |
13210 |
0 |
0 |
T1 |
66713 |
2 |
0 |
0 |
T2 |
9307 |
0 |
0 |
0 |
T3 |
6041 |
0 |
0 |
0 |
T4 |
1627 |
1 |
0 |
0 |
T5 |
43324 |
2 |
0 |
0 |
T6 |
117928 |
3 |
0 |
0 |
T7 |
13225 |
103 |
0 |
0 |
T8 |
78174 |
2 |
0 |
0 |
T9 |
117440 |
3 |
0 |
0 |
T10 |
60345 |
140 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
13409 |
0 |
0 |
T1 |
302716 |
2 |
0 |
0 |
T2 |
125669 |
0 |
0 |
0 |
T3 |
290026 |
0 |
0 |
0 |
T4 |
195501 |
1 |
0 |
0 |
T5 |
151639 |
2 |
0 |
0 |
T6 |
147413 |
3 |
0 |
0 |
T7 |
324061 |
103 |
0 |
0 |
T8 |
938102 |
2 |
0 |
0 |
T9 |
182034 |
3 |
0 |
0 |
T10 |
168655 |
140 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
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 | T4,T1,T2 |
0 | 1 | Covered | T4,T1,T5 |
1 | 0 | Covered | T4,T1,T5 |
1 | 1 | Covered | T1,T6,T7 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T4,T1,T2 |
0 | 1 | Covered | T4,T1,T5 |
1 | 0 | Covered | T1,T6,T7 |
1 | 1 | Covered | T4,T1,T5 |
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 |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,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 |
13357 |
0 |
0 |
T1 |
302716 |
2 |
0 |
0 |
T2 |
125669 |
0 |
0 |
0 |
T3 |
290026 |
0 |
0 |
0 |
T4 |
195501 |
1 |
0 |
0 |
T5 |
151639 |
2 |
0 |
0 |
T6 |
147413 |
3 |
0 |
0 |
T7 |
324061 |
103 |
0 |
0 |
T8 |
938102 |
2 |
0 |
0 |
T9 |
182034 |
3 |
0 |
0 |
T10 |
168655 |
140 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34387974 |
13357 |
0 |
0 |
T1 |
66713 |
2 |
0 |
0 |
T2 |
9307 |
0 |
0 |
0 |
T3 |
6041 |
0 |
0 |
0 |
T4 |
1627 |
1 |
0 |
0 |
T5 |
43324 |
2 |
0 |
0 |
T6 |
117928 |
3 |
0 |
0 |
T7 |
13225 |
103 |
0 |
0 |
T8 |
78174 |
2 |
0 |
0 |
T9 |
117440 |
3 |
0 |
0 |
T10 |
60345 |
140 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
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 | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T5,T6 |
1 | 1 | Covered | T1,T5,T6 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T5,T6 |
1 | 1 | Covered | T1,T5,T6 |
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 |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,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 |
34387974 |
18578 |
0 |
0 |
T1 |
66713 |
4 |
0 |
0 |
T2 |
9307 |
0 |
0 |
0 |
T3 |
6041 |
0 |
0 |
0 |
T5 |
43324 |
2 |
0 |
0 |
T6 |
117928 |
6 |
0 |
0 |
T7 |
13225 |
145 |
0 |
0 |
T8 |
78174 |
4 |
0 |
0 |
T9 |
117440 |
6 |
0 |
0 |
T10 |
60345 |
207 |
0 |
0 |
T11 |
8760 |
0 |
0 |
0 |
T12 |
0 |
4 |
0 |
0 |
T13 |
0 |
6 |
0 |
0 |
T14 |
0 |
6 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
18714 |
0 |
0 |
T1 |
302716 |
4 |
0 |
0 |
T2 |
125669 |
0 |
0 |
0 |
T3 |
290026 |
0 |
0 |
0 |
T5 |
151639 |
2 |
0 |
0 |
T6 |
147413 |
6 |
0 |
0 |
T7 |
324061 |
145 |
0 |
0 |
T8 |
938102 |
4 |
0 |
0 |
T9 |
182034 |
6 |
0 |
0 |
T10 |
168655 |
207 |
0 |
0 |
T11 |
416156 |
0 |
0 |
0 |
T12 |
0 |
4 |
0 |
0 |
T13 |
0 |
6 |
0 |
0 |
T14 |
0 |
6 |
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 | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T5,T6 |
1 | 1 | Covered | T1,T5,T6 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T5,T6 |
1 | 1 | Covered | T1,T5,T6 |
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 |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,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 |
18697 |
0 |
0 |
T1 |
302716 |
4 |
0 |
0 |
T2 |
125669 |
0 |
0 |
0 |
T3 |
290026 |
0 |
0 |
0 |
T5 |
151639 |
2 |
0 |
0 |
T6 |
147413 |
6 |
0 |
0 |
T7 |
324061 |
145 |
0 |
0 |
T8 |
938102 |
4 |
0 |
0 |
T9 |
182034 |
6 |
0 |
0 |
T10 |
168655 |
207 |
0 |
0 |
T11 |
416156 |
0 |
0 |
0 |
T12 |
0 |
4 |
0 |
0 |
T13 |
0 |
6 |
0 |
0 |
T14 |
0 |
6 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34387974 |
18697 |
0 |
0 |
T1 |
66713 |
4 |
0 |
0 |
T2 |
9307 |
0 |
0 |
0 |
T3 |
6041 |
0 |
0 |
0 |
T5 |
43324 |
2 |
0 |
0 |
T6 |
117928 |
6 |
0 |
0 |
T7 |
13225 |
145 |
0 |
0 |
T8 |
78174 |
4 |
0 |
0 |
T9 |
117440 |
6 |
0 |
0 |
T10 |
60345 |
207 |
0 |
0 |
T11 |
8760 |
0 |
0 |
0 |
T12 |
0 |
4 |
0 |
0 |
T13 |
0 |
6 |
0 |
0 |
T14 |
0 |
6 |
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 | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T5,T6 |
1 | 1 | Covered | T1,T6,T8 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T6,T8 |
1 | 1 | Covered | T1,T5,T6 |
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 |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,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 |
34387974 |
1888 |
0 |
0 |
T1 |
66713 |
2 |
0 |
0 |
T2 |
9307 |
0 |
0 |
0 |
T3 |
6041 |
0 |
0 |
0 |
T5 |
43324 |
1 |
0 |
0 |
T6 |
117928 |
3 |
0 |
0 |
T7 |
13225 |
1 |
0 |
0 |
T8 |
78174 |
2 |
0 |
0 |
T9 |
117440 |
3 |
0 |
0 |
T10 |
60345 |
2 |
0 |
0 |
T11 |
8760 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2034 |
0 |
0 |
T1 |
302716 |
2 |
0 |
0 |
T2 |
125669 |
0 |
0 |
0 |
T3 |
290026 |
0 |
0 |
0 |
T5 |
151639 |
1 |
0 |
0 |
T6 |
147413 |
3 |
0 |
0 |
T7 |
324061 |
1 |
0 |
0 |
T8 |
938102 |
2 |
0 |
0 |
T9 |
182034 |
3 |
0 |
0 |
T10 |
168655 |
2 |
0 |
0 |
T11 |
416156 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
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 | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T5,T6 |
1 | 1 | Covered | T1,T6,T8 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T6,T8 |
1 | 1 | Covered | T1,T5,T6 |
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 |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,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 |
2019 |
0 |
0 |
T1 |
302716 |
2 |
0 |
0 |
T2 |
125669 |
0 |
0 |
0 |
T3 |
290026 |
0 |
0 |
0 |
T5 |
151639 |
1 |
0 |
0 |
T6 |
147413 |
3 |
0 |
0 |
T7 |
324061 |
1 |
0 |
0 |
T8 |
938102 |
2 |
0 |
0 |
T9 |
182034 |
3 |
0 |
0 |
T10 |
168655 |
2 |
0 |
0 |
T11 |
416156 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34387974 |
2019 |
0 |
0 |
T1 |
66713 |
2 |
0 |
0 |
T2 |
9307 |
0 |
0 |
0 |
T3 |
6041 |
0 |
0 |
0 |
T5 |
43324 |
1 |
0 |
0 |
T6 |
117928 |
3 |
0 |
0 |
T7 |
13225 |
1 |
0 |
0 |
T8 |
78174 |
2 |
0 |
0 |
T9 |
117440 |
3 |
0 |
0 |
T10 |
60345 |
2 |
0 |
0 |
T11 |
8760 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
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 | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T5,T6 |
1 | 1 | Covered | T1,T6,T8 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T6,T8 |
1 | 1 | Covered | T1,T5,T6 |
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 |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,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 |
34387974 |
1742 |
0 |
0 |
T1 |
66713 |
2 |
0 |
0 |
T2 |
9307 |
0 |
0 |
0 |
T3 |
6041 |
0 |
0 |
0 |
T5 |
43324 |
1 |
0 |
0 |
T6 |
117928 |
3 |
0 |
0 |
T7 |
13225 |
0 |
0 |
0 |
T8 |
78174 |
2 |
0 |
0 |
T9 |
117440 |
3 |
0 |
0 |
T10 |
60345 |
1 |
0 |
0 |
T11 |
8760 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1887 |
0 |
0 |
T1 |
302716 |
2 |
0 |
0 |
T2 |
125669 |
0 |
0 |
0 |
T3 |
290026 |
0 |
0 |
0 |
T5 |
151639 |
1 |
0 |
0 |
T6 |
147413 |
3 |
0 |
0 |
T7 |
324061 |
0 |
0 |
0 |
T8 |
938102 |
2 |
0 |
0 |
T9 |
182034 |
3 |
0 |
0 |
T10 |
168655 |
1 |
0 |
0 |
T11 |
416156 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
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 | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T5,T6 |
1 | 1 | Covered | T1,T6,T8 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T6,T8 |
1 | 1 | Covered | T1,T5,T6 |
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 |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,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 |
1872 |
0 |
0 |
T1 |
302716 |
2 |
0 |
0 |
T2 |
125669 |
0 |
0 |
0 |
T3 |
290026 |
0 |
0 |
0 |
T5 |
151639 |
1 |
0 |
0 |
T6 |
147413 |
3 |
0 |
0 |
T7 |
324061 |
0 |
0 |
0 |
T8 |
938102 |
2 |
0 |
0 |
T9 |
182034 |
3 |
0 |
0 |
T10 |
168655 |
1 |
0 |
0 |
T11 |
416156 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34387974 |
1872 |
0 |
0 |
T1 |
66713 |
2 |
0 |
0 |
T2 |
9307 |
0 |
0 |
0 |
T3 |
6041 |
0 |
0 |
0 |
T5 |
43324 |
1 |
0 |
0 |
T6 |
117928 |
3 |
0 |
0 |
T7 |
13225 |
0 |
0 |
0 |
T8 |
78174 |
2 |
0 |
0 |
T9 |
117440 |
3 |
0 |
0 |
T10 |
60345 |
1 |
0 |
0 |
T11 |
8760 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
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 | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T5,T6 |
1 | 1 | Covered | T1,T6,T8 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T6,T8 |
1 | 1 | Covered | T1,T5,T6 |
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 |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,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 |
34387974 |
1790 |
0 |
0 |
T1 |
66713 |
2 |
0 |
0 |
T2 |
9307 |
0 |
0 |
0 |
T3 |
6041 |
0 |
0 |
0 |
T5 |
43324 |
1 |
0 |
0 |
T6 |
117928 |
3 |
0 |
0 |
T7 |
13225 |
0 |
0 |
0 |
T8 |
78174 |
2 |
0 |
0 |
T9 |
117440 |
3 |
0 |
0 |
T10 |
60345 |
1 |
0 |
0 |
T11 |
8760 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1927 |
0 |
0 |
T1 |
302716 |
2 |
0 |
0 |
T2 |
125669 |
0 |
0 |
0 |
T3 |
290026 |
0 |
0 |
0 |
T5 |
151639 |
1 |
0 |
0 |
T6 |
147413 |
3 |
0 |
0 |
T7 |
324061 |
0 |
0 |
0 |
T8 |
938102 |
2 |
0 |
0 |
T9 |
182034 |
3 |
0 |
0 |
T10 |
168655 |
1 |
0 |
0 |
T11 |
416156 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
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 | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T5,T6 |
1 | 1 | Covered | T1,T6,T8 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T6,T8 |
1 | 1 | Covered | T1,T5,T6 |
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 |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,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 |
1910 |
0 |
0 |
T1 |
302716 |
2 |
0 |
0 |
T2 |
125669 |
0 |
0 |
0 |
T3 |
290026 |
0 |
0 |
0 |
T5 |
151639 |
1 |
0 |
0 |
T6 |
147413 |
3 |
0 |
0 |
T7 |
324061 |
0 |
0 |
0 |
T8 |
938102 |
2 |
0 |
0 |
T9 |
182034 |
3 |
0 |
0 |
T10 |
168655 |
1 |
0 |
0 |
T11 |
416156 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34387974 |
1910 |
0 |
0 |
T1 |
66713 |
2 |
0 |
0 |
T2 |
9307 |
0 |
0 |
0 |
T3 |
6041 |
0 |
0 |
0 |
T5 |
43324 |
1 |
0 |
0 |
T6 |
117928 |
3 |
0 |
0 |
T7 |
13225 |
0 |
0 |
0 |
T8 |
78174 |
2 |
0 |
0 |
T9 |
117440 |
3 |
0 |
0 |
T10 |
60345 |
1 |
0 |
0 |
T11 |
8760 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
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 | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T5,T6 |
1 | 1 | Covered | T1,T6,T8 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T6,T8 |
1 | 1 | Covered | T1,T5,T6 |
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 |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,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 |
34387974 |
1773 |
0 |
0 |
T1 |
66713 |
2 |
0 |
0 |
T2 |
9307 |
0 |
0 |
0 |
T3 |
6041 |
0 |
0 |
0 |
T5 |
43324 |
1 |
0 |
0 |
T6 |
117928 |
3 |
0 |
0 |
T7 |
13225 |
0 |
0 |
0 |
T8 |
78174 |
2 |
0 |
0 |
T9 |
117440 |
3 |
0 |
0 |
T10 |
60345 |
1 |
0 |
0 |
T11 |
8760 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1916 |
0 |
0 |
T1 |
302716 |
2 |
0 |
0 |
T2 |
125669 |
0 |
0 |
0 |
T3 |
290026 |
0 |
0 |
0 |
T5 |
151639 |
1 |
0 |
0 |
T6 |
147413 |
3 |
0 |
0 |
T7 |
324061 |
0 |
0 |
0 |
T8 |
938102 |
2 |
0 |
0 |
T9 |
182034 |
3 |
0 |
0 |
T10 |
168655 |
1 |
0 |
0 |
T11 |
416156 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
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 | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T5,T6 |
1 | 1 | Covered | T1,T6,T8 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T6,T8 |
1 | 1 | Covered | T1,T5,T6 |
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 |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,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 |
1901 |
0 |
0 |
T1 |
302716 |
2 |
0 |
0 |
T2 |
125669 |
0 |
0 |
0 |
T3 |
290026 |
0 |
0 |
0 |
T5 |
151639 |
1 |
0 |
0 |
T6 |
147413 |
3 |
0 |
0 |
T7 |
324061 |
0 |
0 |
0 |
T8 |
938102 |
2 |
0 |
0 |
T9 |
182034 |
3 |
0 |
0 |
T10 |
168655 |
1 |
0 |
0 |
T11 |
416156 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34387974 |
1901 |
0 |
0 |
T1 |
66713 |
2 |
0 |
0 |
T2 |
9307 |
0 |
0 |
0 |
T3 |
6041 |
0 |
0 |
0 |
T5 |
43324 |
1 |
0 |
0 |
T6 |
117928 |
3 |
0 |
0 |
T7 |
13225 |
0 |
0 |
0 |
T8 |
78174 |
2 |
0 |
0 |
T9 |
117440 |
3 |
0 |
0 |
T10 |
60345 |
1 |
0 |
0 |
T11 |
8760 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
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 | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T5,T6 |
1 | 1 | Covered | T1,T6,T8 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T6,T8 |
1 | 1 | Covered | T1,T5,T6 |
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 |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,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 |
34387974 |
1759 |
0 |
0 |
T1 |
66713 |
2 |
0 |
0 |
T2 |
9307 |
0 |
0 |
0 |
T3 |
6041 |
0 |
0 |
0 |
T5 |
43324 |
1 |
0 |
0 |
T6 |
117928 |
3 |
0 |
0 |
T7 |
13225 |
0 |
0 |
0 |
T8 |
78174 |
2 |
0 |
0 |
T9 |
117440 |
3 |
0 |
0 |
T10 |
60345 |
1 |
0 |
0 |
T11 |
8760 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1902 |
0 |
0 |
T1 |
302716 |
2 |
0 |
0 |
T2 |
125669 |
0 |
0 |
0 |
T3 |
290026 |
0 |
0 |
0 |
T5 |
151639 |
1 |
0 |
0 |
T6 |
147413 |
3 |
0 |
0 |
T7 |
324061 |
0 |
0 |
0 |
T8 |
938102 |
2 |
0 |
0 |
T9 |
182034 |
3 |
0 |
0 |
T10 |
168655 |
1 |
0 |
0 |
T11 |
416156 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
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 | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T5,T6 |
1 | 1 | Covered | T1,T6,T8 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T6,T8 |
1 | 1 | Covered | T1,T5,T6 |
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 |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,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 |
1885 |
0 |
0 |
T1 |
302716 |
2 |
0 |
0 |
T2 |
125669 |
0 |
0 |
0 |
T3 |
290026 |
0 |
0 |
0 |
T5 |
151639 |
1 |
0 |
0 |
T6 |
147413 |
3 |
0 |
0 |
T7 |
324061 |
0 |
0 |
0 |
T8 |
938102 |
2 |
0 |
0 |
T9 |
182034 |
3 |
0 |
0 |
T10 |
168655 |
1 |
0 |
0 |
T11 |
416156 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34387974 |
1885 |
0 |
0 |
T1 |
66713 |
2 |
0 |
0 |
T2 |
9307 |
0 |
0 |
0 |
T3 |
6041 |
0 |
0 |
0 |
T5 |
43324 |
1 |
0 |
0 |
T6 |
117928 |
3 |
0 |
0 |
T7 |
13225 |
0 |
0 |
0 |
T8 |
78174 |
2 |
0 |
0 |
T9 |
117440 |
3 |
0 |
0 |
T10 |
60345 |
1 |
0 |
0 |
T11 |
8760 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
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 | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T5,T6 |
1 | 1 | Covered | T1,T6,T8 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T6,T8 |
1 | 1 | Covered | T1,T5,T6 |
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 |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,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 |
34387974 |
1795 |
0 |
0 |
T1 |
66713 |
2 |
0 |
0 |
T2 |
9307 |
0 |
0 |
0 |
T3 |
6041 |
0 |
0 |
0 |
T5 |
43324 |
1 |
0 |
0 |
T6 |
117928 |
3 |
0 |
0 |
T7 |
13225 |
0 |
0 |
0 |
T8 |
78174 |
2 |
0 |
0 |
T9 |
117440 |
3 |
0 |
0 |
T10 |
60345 |
1 |
0 |
0 |
T11 |
8760 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1935 |
0 |
0 |
T1 |
302716 |
2 |
0 |
0 |
T2 |
125669 |
0 |
0 |
0 |
T3 |
290026 |
0 |
0 |
0 |
T5 |
151639 |
1 |
0 |
0 |
T6 |
147413 |
3 |
0 |
0 |
T7 |
324061 |
0 |
0 |
0 |
T8 |
938102 |
2 |
0 |
0 |
T9 |
182034 |
3 |
0 |
0 |
T10 |
168655 |
1 |
0 |
0 |
T11 |
416156 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
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 | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T5,T6 |
1 | 1 | Covered | T1,T6,T8 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T6,T8 |
1 | 1 | Covered | T1,T5,T6 |
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 |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,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 |
1918 |
0 |
0 |
T1 |
302716 |
2 |
0 |
0 |
T2 |
125669 |
0 |
0 |
0 |
T3 |
290026 |
0 |
0 |
0 |
T5 |
151639 |
1 |
0 |
0 |
T6 |
147413 |
3 |
0 |
0 |
T7 |
324061 |
0 |
0 |
0 |
T8 |
938102 |
2 |
0 |
0 |
T9 |
182034 |
3 |
0 |
0 |
T10 |
168655 |
1 |
0 |
0 |
T11 |
416156 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34387974 |
1918 |
0 |
0 |
T1 |
66713 |
2 |
0 |
0 |
T2 |
9307 |
0 |
0 |
0 |
T3 |
6041 |
0 |
0 |
0 |
T5 |
43324 |
1 |
0 |
0 |
T6 |
117928 |
3 |
0 |
0 |
T7 |
13225 |
0 |
0 |
0 |
T8 |
78174 |
2 |
0 |
0 |
T9 |
117440 |
3 |
0 |
0 |
T10 |
60345 |
1 |
0 |
0 |
T11 |
8760 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
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 | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T5,T6 |
1 | 1 | Covered | T1,T6,T8 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T6,T8 |
1 | 1 | Covered | T1,T5,T6 |
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 |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,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 |
34387974 |
1777 |
0 |
0 |
T1 |
66713 |
2 |
0 |
0 |
T2 |
9307 |
0 |
0 |
0 |
T3 |
6041 |
0 |
0 |
0 |
T5 |
43324 |
1 |
0 |
0 |
T6 |
117928 |
3 |
0 |
0 |
T7 |
13225 |
0 |
0 |
0 |
T8 |
78174 |
2 |
0 |
0 |
T9 |
117440 |
3 |
0 |
0 |
T10 |
60345 |
1 |
0 |
0 |
T11 |
8760 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1918 |
0 |
0 |
T1 |
302716 |
2 |
0 |
0 |
T2 |
125669 |
0 |
0 |
0 |
T3 |
290026 |
0 |
0 |
0 |
T5 |
151639 |
1 |
0 |
0 |
T6 |
147413 |
3 |
0 |
0 |
T7 |
324061 |
0 |
0 |
0 |
T8 |
938102 |
2 |
0 |
0 |
T9 |
182034 |
3 |
0 |
0 |
T10 |
168655 |
1 |
0 |
0 |
T11 |
416156 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
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 | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T5,T6 |
1 | 1 | Covered | T1,T6,T8 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T6,T8 |
1 | 1 | Covered | T1,T5,T6 |
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 |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,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 |
1901 |
0 |
0 |
T1 |
302716 |
2 |
0 |
0 |
T2 |
125669 |
0 |
0 |
0 |
T3 |
290026 |
0 |
0 |
0 |
T5 |
151639 |
1 |
0 |
0 |
T6 |
147413 |
3 |
0 |
0 |
T7 |
324061 |
0 |
0 |
0 |
T8 |
938102 |
2 |
0 |
0 |
T9 |
182034 |
3 |
0 |
0 |
T10 |
168655 |
1 |
0 |
0 |
T11 |
416156 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34387974 |
1901 |
0 |
0 |
T1 |
66713 |
2 |
0 |
0 |
T2 |
9307 |
0 |
0 |
0 |
T3 |
6041 |
0 |
0 |
0 |
T5 |
43324 |
1 |
0 |
0 |
T6 |
117928 |
3 |
0 |
0 |
T7 |
13225 |
0 |
0 |
0 |
T8 |
78174 |
2 |
0 |
0 |
T9 |
117440 |
3 |
0 |
0 |
T10 |
60345 |
1 |
0 |
0 |
T11 |
8760 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
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 | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T5,T6 |
1 | 1 | Covered | T1,T6,T8 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T6,T8 |
1 | 1 | Covered | T1,T5,T6 |
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 |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,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 |
34387974 |
1786 |
0 |
0 |
T1 |
66713 |
2 |
0 |
0 |
T2 |
9307 |
0 |
0 |
0 |
T3 |
6041 |
0 |
0 |
0 |
T5 |
43324 |
1 |
0 |
0 |
T6 |
117928 |
3 |
0 |
0 |
T7 |
13225 |
0 |
0 |
0 |
T8 |
78174 |
2 |
0 |
0 |
T9 |
117440 |
3 |
0 |
0 |
T10 |
60345 |
1 |
0 |
0 |
T11 |
8760 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1927 |
0 |
0 |
T1 |
302716 |
2 |
0 |
0 |
T2 |
125669 |
0 |
0 |
0 |
T3 |
290026 |
0 |
0 |
0 |
T5 |
151639 |
1 |
0 |
0 |
T6 |
147413 |
3 |
0 |
0 |
T7 |
324061 |
0 |
0 |
0 |
T8 |
938102 |
2 |
0 |
0 |
T9 |
182034 |
3 |
0 |
0 |
T10 |
168655 |
1 |
0 |
0 |
T11 |
416156 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
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 | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T5,T6 |
1 | 1 | Covered | T1,T6,T8 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T6,T8 |
1 | 1 | Covered | T1,T5,T6 |
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 |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,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 |
1911 |
0 |
0 |
T1 |
302716 |
2 |
0 |
0 |
T2 |
125669 |
0 |
0 |
0 |
T3 |
290026 |
0 |
0 |
0 |
T5 |
151639 |
1 |
0 |
0 |
T6 |
147413 |
3 |
0 |
0 |
T7 |
324061 |
0 |
0 |
0 |
T8 |
938102 |
2 |
0 |
0 |
T9 |
182034 |
3 |
0 |
0 |
T10 |
168655 |
1 |
0 |
0 |
T11 |
416156 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34387974 |
1911 |
0 |
0 |
T1 |
66713 |
2 |
0 |
0 |
T2 |
9307 |
0 |
0 |
0 |
T3 |
6041 |
0 |
0 |
0 |
T5 |
43324 |
1 |
0 |
0 |
T6 |
117928 |
3 |
0 |
0 |
T7 |
13225 |
0 |
0 |
0 |
T8 |
78174 |
2 |
0 |
0 |
T9 |
117440 |
3 |
0 |
0 |
T10 |
60345 |
1 |
0 |
0 |
T11 |
8760 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
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 | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T5,T6 |
1 | 1 | Covered | T1,T6,T8 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T6,T8 |
1 | 1 | Covered | T1,T5,T6 |
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 |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,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 |
34387974 |
1900 |
0 |
0 |
T1 |
66713 |
2 |
0 |
0 |
T2 |
9307 |
0 |
0 |
0 |
T3 |
6041 |
0 |
0 |
0 |
T5 |
43324 |
1 |
0 |
0 |
T6 |
117928 |
3 |
0 |
0 |
T7 |
13225 |
1 |
0 |
0 |
T8 |
78174 |
2 |
0 |
0 |
T9 |
117440 |
3 |
0 |
0 |
T10 |
60345 |
2 |
0 |
0 |
T11 |
8760 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2038 |
0 |
0 |
T1 |
302716 |
2 |
0 |
0 |
T2 |
125669 |
0 |
0 |
0 |
T3 |
290026 |
0 |
0 |
0 |
T5 |
151639 |
1 |
0 |
0 |
T6 |
147413 |
3 |
0 |
0 |
T7 |
324061 |
1 |
0 |
0 |
T8 |
938102 |
2 |
0 |
0 |
T9 |
182034 |
3 |
0 |
0 |
T10 |
168655 |
2 |
0 |
0 |
T11 |
416156 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
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 | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T5,T6 |
1 | 1 | Covered | T1,T6,T8 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T6,T8 |
1 | 1 | Covered | T1,T5,T6 |
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 |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,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 |
2022 |
0 |
0 |
T1 |
302716 |
2 |
0 |
0 |
T2 |
125669 |
0 |
0 |
0 |
T3 |
290026 |
0 |
0 |
0 |
T5 |
151639 |
1 |
0 |
0 |
T6 |
147413 |
3 |
0 |
0 |
T7 |
324061 |
1 |
0 |
0 |
T8 |
938102 |
2 |
0 |
0 |
T9 |
182034 |
3 |
0 |
0 |
T10 |
168655 |
2 |
0 |
0 |
T11 |
416156 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34387974 |
2022 |
0 |
0 |
T1 |
66713 |
2 |
0 |
0 |
T2 |
9307 |
0 |
0 |
0 |
T3 |
6041 |
0 |
0 |
0 |
T5 |
43324 |
1 |
0 |
0 |
T6 |
117928 |
3 |
0 |
0 |
T7 |
13225 |
1 |
0 |
0 |
T8 |
78174 |
2 |
0 |
0 |
T9 |
117440 |
3 |
0 |
0 |
T10 |
60345 |
2 |
0 |
0 |
T11 |
8760 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
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 | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T5,T6 |
1 | 1 | Covered | T1,T6,T8 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T6,T8 |
1 | 1 | Covered | T1,T5,T6 |
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 |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,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 |
34387974 |
1765 |
0 |
0 |
T1 |
66713 |
2 |
0 |
0 |
T2 |
9307 |
0 |
0 |
0 |
T3 |
6041 |
0 |
0 |
0 |
T5 |
43324 |
1 |
0 |
0 |
T6 |
117928 |
3 |
0 |
0 |
T7 |
13225 |
0 |
0 |
0 |
T8 |
78174 |
2 |
0 |
0 |
T9 |
117440 |
3 |
0 |
0 |
T10 |
60345 |
1 |
0 |
0 |
T11 |
8760 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1907 |
0 |
0 |
T1 |
302716 |
2 |
0 |
0 |
T2 |
125669 |
0 |
0 |
0 |
T3 |
290026 |
0 |
0 |
0 |
T5 |
151639 |
1 |
0 |
0 |
T6 |
147413 |
3 |
0 |
0 |
T7 |
324061 |
0 |
0 |
0 |
T8 |
938102 |
2 |
0 |
0 |
T9 |
182034 |
3 |
0 |
0 |
T10 |
168655 |
1 |
0 |
0 |
T11 |
416156 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
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 | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T5,T6 |
1 | 1 | Covered | T1,T6,T8 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T6,T8 |
1 | 1 | Covered | T1,T5,T6 |
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 |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,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 |
1893 |
0 |
0 |
T1 |
302716 |
2 |
0 |
0 |
T2 |
125669 |
0 |
0 |
0 |
T3 |
290026 |
0 |
0 |
0 |
T5 |
151639 |
1 |
0 |
0 |
T6 |
147413 |
3 |
0 |
0 |
T7 |
324061 |
0 |
0 |
0 |
T8 |
938102 |
2 |
0 |
0 |
T9 |
182034 |
3 |
0 |
0 |
T10 |
168655 |
1 |
0 |
0 |
T11 |
416156 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34387974 |
1893 |
0 |
0 |
T1 |
66713 |
2 |
0 |
0 |
T2 |
9307 |
0 |
0 |
0 |
T3 |
6041 |
0 |
0 |
0 |
T5 |
43324 |
1 |
0 |
0 |
T6 |
117928 |
3 |
0 |
0 |
T7 |
13225 |
0 |
0 |
0 |
T8 |
78174 |
2 |
0 |
0 |
T9 |
117440 |
3 |
0 |
0 |
T10 |
60345 |
1 |
0 |
0 |
T11 |
8760 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
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 | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T5,T6 |
1 | 1 | Covered | T1,T6,T8 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T6,T8 |
1 | 1 | Covered | T1,T5,T6 |
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 |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,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 |
34387974 |
1750 |
0 |
0 |
T1 |
66713 |
2 |
0 |
0 |
T2 |
9307 |
0 |
0 |
0 |
T3 |
6041 |
0 |
0 |
0 |
T5 |
43324 |
1 |
0 |
0 |
T6 |
117928 |
3 |
0 |
0 |
T7 |
13225 |
0 |
0 |
0 |
T8 |
78174 |
2 |
0 |
0 |
T9 |
117440 |
3 |
0 |
0 |
T10 |
60345 |
1 |
0 |
0 |
T11 |
8760 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1890 |
0 |
0 |
T1 |
302716 |
2 |
0 |
0 |
T2 |
125669 |
0 |
0 |
0 |
T3 |
290026 |
0 |
0 |
0 |
T5 |
151639 |
1 |
0 |
0 |
T6 |
147413 |
3 |
0 |
0 |
T7 |
324061 |
0 |
0 |
0 |
T8 |
938102 |
2 |
0 |
0 |
T9 |
182034 |
3 |
0 |
0 |
T10 |
168655 |
1 |
0 |
0 |
T11 |
416156 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
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 | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T5,T6 |
1 | 1 | Covered | T1,T6,T8 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T6,T8 |
1 | 1 | Covered | T1,T5,T6 |
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 |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,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 |
1875 |
0 |
0 |
T1 |
302716 |
2 |
0 |
0 |
T2 |
125669 |
0 |
0 |
0 |
T3 |
290026 |
0 |
0 |
0 |
T5 |
151639 |
1 |
0 |
0 |
T6 |
147413 |
3 |
0 |
0 |
T7 |
324061 |
0 |
0 |
0 |
T8 |
938102 |
2 |
0 |
0 |
T9 |
182034 |
3 |
0 |
0 |
T10 |
168655 |
1 |
0 |
0 |
T11 |
416156 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34387974 |
1875 |
0 |
0 |
T1 |
66713 |
2 |
0 |
0 |
T2 |
9307 |
0 |
0 |
0 |
T3 |
6041 |
0 |
0 |
0 |
T5 |
43324 |
1 |
0 |
0 |
T6 |
117928 |
3 |
0 |
0 |
T7 |
13225 |
0 |
0 |
0 |
T8 |
78174 |
2 |
0 |
0 |
T9 |
117440 |
3 |
0 |
0 |
T10 |
60345 |
1 |
0 |
0 |
T11 |
8760 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
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 | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T5,T6 |
1 | 1 | Covered | T1,T6,T8 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T6,T8 |
1 | 1 | Covered | T1,T5,T6 |
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 |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,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 |
34387974 |
1791 |
0 |
0 |
T1 |
66713 |
2 |
0 |
0 |
T2 |
9307 |
0 |
0 |
0 |
T3 |
6041 |
0 |
0 |
0 |
T5 |
43324 |
1 |
0 |
0 |
T6 |
117928 |
3 |
0 |
0 |
T7 |
13225 |
0 |
0 |
0 |
T8 |
78174 |
2 |
0 |
0 |
T9 |
117440 |
3 |
0 |
0 |
T10 |
60345 |
1 |
0 |
0 |
T11 |
8760 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1932 |
0 |
0 |
T1 |
302716 |
2 |
0 |
0 |
T2 |
125669 |
0 |
0 |
0 |
T3 |
290026 |
0 |
0 |
0 |
T5 |
151639 |
1 |
0 |
0 |
T6 |
147413 |
3 |
0 |
0 |
T7 |
324061 |
0 |
0 |
0 |
T8 |
938102 |
2 |
0 |
0 |
T9 |
182034 |
3 |
0 |
0 |
T10 |
168655 |
1 |
0 |
0 |
T11 |
416156 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
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 | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T5,T6 |
1 | 1 | Covered | T1,T6,T8 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T6,T8 |
1 | 1 | Covered | T1,T5,T6 |
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 |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,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 |
1919 |
0 |
0 |
T1 |
302716 |
2 |
0 |
0 |
T2 |
125669 |
0 |
0 |
0 |
T3 |
290026 |
0 |
0 |
0 |
T5 |
151639 |
1 |
0 |
0 |
T6 |
147413 |
3 |
0 |
0 |
T7 |
324061 |
0 |
0 |
0 |
T8 |
938102 |
2 |
0 |
0 |
T9 |
182034 |
3 |
0 |
0 |
T10 |
168655 |
1 |
0 |
0 |
T11 |
416156 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34387974 |
1919 |
0 |
0 |
T1 |
66713 |
2 |
0 |
0 |
T2 |
9307 |
0 |
0 |
0 |
T3 |
6041 |
0 |
0 |
0 |
T5 |
43324 |
1 |
0 |
0 |
T6 |
117928 |
3 |
0 |
0 |
T7 |
13225 |
0 |
0 |
0 |
T8 |
78174 |
2 |
0 |
0 |
T9 |
117440 |
3 |
0 |
0 |
T10 |
60345 |
1 |
0 |
0 |
T11 |
8760 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
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 | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T5,T6 |
1 | 1 | Covered | T1,T6,T8 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T6,T8 |
1 | 1 | Covered | T1,T5,T6 |
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 |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,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 |
34387974 |
1757 |
0 |
0 |
T1 |
66713 |
2 |
0 |
0 |
T2 |
9307 |
0 |
0 |
0 |
T3 |
6041 |
0 |
0 |
0 |
T5 |
43324 |
1 |
0 |
0 |
T6 |
117928 |
3 |
0 |
0 |
T7 |
13225 |
0 |
0 |
0 |
T8 |
78174 |
2 |
0 |
0 |
T9 |
117440 |
3 |
0 |
0 |
T10 |
60345 |
1 |
0 |
0 |
T11 |
8760 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1897 |
0 |
0 |
T1 |
302716 |
2 |
0 |
0 |
T2 |
125669 |
0 |
0 |
0 |
T3 |
290026 |
0 |
0 |
0 |
T5 |
151639 |
1 |
0 |
0 |
T6 |
147413 |
3 |
0 |
0 |
T7 |
324061 |
0 |
0 |
0 |
T8 |
938102 |
2 |
0 |
0 |
T9 |
182034 |
3 |
0 |
0 |
T10 |
168655 |
1 |
0 |
0 |
T11 |
416156 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
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 | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T5,T6 |
1 | 1 | Covered | T1,T6,T8 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T6,T8 |
1 | 1 | Covered | T1,T5,T6 |
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 |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,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 |
1881 |
0 |
0 |
T1 |
302716 |
2 |
0 |
0 |
T2 |
125669 |
0 |
0 |
0 |
T3 |
290026 |
0 |
0 |
0 |
T5 |
151639 |
1 |
0 |
0 |
T6 |
147413 |
3 |
0 |
0 |
T7 |
324061 |
0 |
0 |
0 |
T8 |
938102 |
2 |
0 |
0 |
T9 |
182034 |
3 |
0 |
0 |
T10 |
168655 |
1 |
0 |
0 |
T11 |
416156 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34387974 |
1881 |
0 |
0 |
T1 |
66713 |
2 |
0 |
0 |
T2 |
9307 |
0 |
0 |
0 |
T3 |
6041 |
0 |
0 |
0 |
T5 |
43324 |
1 |
0 |
0 |
T6 |
117928 |
3 |
0 |
0 |
T7 |
13225 |
0 |
0 |
0 |
T8 |
78174 |
2 |
0 |
0 |
T9 |
117440 |
3 |
0 |
0 |
T10 |
60345 |
1 |
0 |
0 |
T11 |
8760 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
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 | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T5,T6 |
1 | 1 | Covered | T1,T6,T8 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T6,T8 |
1 | 1 | Covered | T1,T5,T6 |
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 |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,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 |
34387974 |
1821 |
0 |
0 |
T1 |
66713 |
2 |
0 |
0 |
T2 |
9307 |
0 |
0 |
0 |
T3 |
6041 |
0 |
0 |
0 |
T5 |
43324 |
1 |
0 |
0 |
T6 |
117928 |
3 |
0 |
0 |
T7 |
13225 |
0 |
0 |
0 |
T8 |
78174 |
2 |
0 |
0 |
T9 |
117440 |
3 |
0 |
0 |
T10 |
60345 |
1 |
0 |
0 |
T11 |
8760 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1967 |
0 |
0 |
T1 |
302716 |
2 |
0 |
0 |
T2 |
125669 |
0 |
0 |
0 |
T3 |
290026 |
0 |
0 |
0 |
T5 |
151639 |
1 |
0 |
0 |
T6 |
147413 |
3 |
0 |
0 |
T7 |
324061 |
0 |
0 |
0 |
T8 |
938102 |
2 |
0 |
0 |
T9 |
182034 |
3 |
0 |
0 |
T10 |
168655 |
1 |
0 |
0 |
T11 |
416156 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
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 | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T5,T6 |
1 | 1 | Covered | T1,T6,T8 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T6,T8 |
1 | 1 | Covered | T1,T5,T6 |
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 |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,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 |
1951 |
0 |
0 |
T1 |
302716 |
2 |
0 |
0 |
T2 |
125669 |
0 |
0 |
0 |
T3 |
290026 |
0 |
0 |
0 |
T5 |
151639 |
1 |
0 |
0 |
T6 |
147413 |
3 |
0 |
0 |
T7 |
324061 |
0 |
0 |
0 |
T8 |
938102 |
2 |
0 |
0 |
T9 |
182034 |
3 |
0 |
0 |
T10 |
168655 |
1 |
0 |
0 |
T11 |
416156 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34387974 |
1951 |
0 |
0 |
T1 |
66713 |
2 |
0 |
0 |
T2 |
9307 |
0 |
0 |
0 |
T3 |
6041 |
0 |
0 |
0 |
T5 |
43324 |
1 |
0 |
0 |
T6 |
117928 |
3 |
0 |
0 |
T7 |
13225 |
0 |
0 |
0 |
T8 |
78174 |
2 |
0 |
0 |
T9 |
117440 |
3 |
0 |
0 |
T10 |
60345 |
1 |
0 |
0 |
T11 |
8760 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
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 | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T5,T6 |
1 | 1 | Covered | T1,T6,T8 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T6,T8 |
1 | 1 | Covered | T1,T5,T6 |
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 |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,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 |
34387974 |
1781 |
0 |
0 |
T1 |
66713 |
2 |
0 |
0 |
T2 |
9307 |
0 |
0 |
0 |
T3 |
6041 |
0 |
0 |
0 |
T5 |
43324 |
1 |
0 |
0 |
T6 |
117928 |
3 |
0 |
0 |
T7 |
13225 |
0 |
0 |
0 |
T8 |
78174 |
2 |
0 |
0 |
T9 |
117440 |
3 |
0 |
0 |
T10 |
60345 |
1 |
0 |
0 |
T11 |
8760 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1924 |
0 |
0 |
T1 |
302716 |
2 |
0 |
0 |
T2 |
125669 |
0 |
0 |
0 |
T3 |
290026 |
0 |
0 |
0 |
T5 |
151639 |
1 |
0 |
0 |
T6 |
147413 |
3 |
0 |
0 |
T7 |
324061 |
0 |
0 |
0 |
T8 |
938102 |
2 |
0 |
0 |
T9 |
182034 |
3 |
0 |
0 |
T10 |
168655 |
1 |
0 |
0 |
T11 |
416156 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
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 | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T5,T6 |
1 | 1 | Covered | T1,T6,T8 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T6,T8 |
1 | 1 | Covered | T1,T5,T6 |
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 |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,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 |
1910 |
0 |
0 |
T1 |
302716 |
2 |
0 |
0 |
T2 |
125669 |
0 |
0 |
0 |
T3 |
290026 |
0 |
0 |
0 |
T5 |
151639 |
1 |
0 |
0 |
T6 |
147413 |
3 |
0 |
0 |
T7 |
324061 |
0 |
0 |
0 |
T8 |
938102 |
2 |
0 |
0 |
T9 |
182034 |
3 |
0 |
0 |
T10 |
168655 |
1 |
0 |
0 |
T11 |
416156 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34387974 |
1910 |
0 |
0 |
T1 |
66713 |
2 |
0 |
0 |
T2 |
9307 |
0 |
0 |
0 |
T3 |
6041 |
0 |
0 |
0 |
T5 |
43324 |
1 |
0 |
0 |
T6 |
117928 |
3 |
0 |
0 |
T7 |
13225 |
0 |
0 |
0 |
T8 |
78174 |
2 |
0 |
0 |
T9 |
117440 |
3 |
0 |
0 |
T10 |
60345 |
1 |
0 |
0 |
T11 |
8760 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
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 | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T5,T6 |
1 | 1 | Covered | T1,T6,T8 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T6,T8 |
1 | 1 | Covered | T1,T5,T6 |
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 |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,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 |
34387974 |
1791 |
0 |
0 |
T1 |
66713 |
2 |
0 |
0 |
T2 |
9307 |
0 |
0 |
0 |
T3 |
6041 |
0 |
0 |
0 |
T5 |
43324 |
1 |
0 |
0 |
T6 |
117928 |
3 |
0 |
0 |
T7 |
13225 |
0 |
0 |
0 |
T8 |
78174 |
2 |
0 |
0 |
T9 |
117440 |
3 |
0 |
0 |
T10 |
60345 |
1 |
0 |
0 |
T11 |
8760 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1936 |
0 |
0 |
T1 |
302716 |
2 |
0 |
0 |
T2 |
125669 |
0 |
0 |
0 |
T3 |
290026 |
0 |
0 |
0 |
T5 |
151639 |
1 |
0 |
0 |
T6 |
147413 |
3 |
0 |
0 |
T7 |
324061 |
0 |
0 |
0 |
T8 |
938102 |
2 |
0 |
0 |
T9 |
182034 |
3 |
0 |
0 |
T10 |
168655 |
1 |
0 |
0 |
T11 |
416156 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
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 | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T5,T6 |
1 | 1 | Covered | T1,T6,T8 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T6,T8 |
1 | 1 | Covered | T1,T5,T6 |
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 |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,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 |
1921 |
0 |
0 |
T1 |
302716 |
2 |
0 |
0 |
T2 |
125669 |
0 |
0 |
0 |
T3 |
290026 |
0 |
0 |
0 |
T5 |
151639 |
1 |
0 |
0 |
T6 |
147413 |
3 |
0 |
0 |
T7 |
324061 |
0 |
0 |
0 |
T8 |
938102 |
2 |
0 |
0 |
T9 |
182034 |
3 |
0 |
0 |
T10 |
168655 |
1 |
0 |
0 |
T11 |
416156 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34387974 |
1921 |
0 |
0 |
T1 |
66713 |
2 |
0 |
0 |
T2 |
9307 |
0 |
0 |
0 |
T3 |
6041 |
0 |
0 |
0 |
T5 |
43324 |
1 |
0 |
0 |
T6 |
117928 |
3 |
0 |
0 |
T7 |
13225 |
0 |
0 |
0 |
T8 |
78174 |
2 |
0 |
0 |
T9 |
117440 |
3 |
0 |
0 |
T10 |
60345 |
1 |
0 |
0 |
T11 |
8760 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
0 |
3 |
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 | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T5,T6 |
1 | 1 | Covered | T1,T6,T8 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T6,T8 |
1 | 1 | Covered | T1,T5,T6 |
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 |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,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 |
34387974 |
1244 |
0 |
0 |
T1 |
66713 |
2 |
0 |
0 |
T2 |
9307 |
0 |
0 |
0 |
T3 |
6041 |
0 |
0 |
0 |
T5 |
43324 |
1 |
0 |
0 |
T6 |
117928 |
3 |
0 |
0 |
T7 |
13225 |
0 |
0 |
0 |
T8 |
78174 |
2 |
0 |
0 |
T9 |
117440 |
3 |
0 |
0 |
T10 |
60345 |
1 |
0 |
0 |
T11 |
8760 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T50 |
0 |
1 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1385 |
0 |
0 |
T1 |
302716 |
2 |
0 |
0 |
T2 |
125669 |
0 |
0 |
0 |
T3 |
290026 |
0 |
0 |
0 |
T5 |
151639 |
1 |
0 |
0 |
T6 |
147413 |
3 |
0 |
0 |
T7 |
324061 |
0 |
0 |
0 |
T8 |
938102 |
2 |
0 |
0 |
T9 |
182034 |
3 |
0 |
0 |
T10 |
168655 |
1 |
0 |
0 |
T11 |
416156 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T50 |
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 | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T5,T6 |
1 | 1 | Covered | T1,T6,T8 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T6,T8 |
1 | 1 | Covered | T1,T5,T6 |
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 |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,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 |
1371 |
0 |
0 |
T1 |
302716 |
2 |
0 |
0 |
T2 |
125669 |
0 |
0 |
0 |
T3 |
290026 |
0 |
0 |
0 |
T5 |
151639 |
1 |
0 |
0 |
T6 |
147413 |
3 |
0 |
0 |
T7 |
324061 |
0 |
0 |
0 |
T8 |
938102 |
2 |
0 |
0 |
T9 |
182034 |
3 |
0 |
0 |
T10 |
168655 |
1 |
0 |
0 |
T11 |
416156 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T50 |
0 |
1 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34387974 |
1371 |
0 |
0 |
T1 |
66713 |
2 |
0 |
0 |
T2 |
9307 |
0 |
0 |
0 |
T3 |
6041 |
0 |
0 |
0 |
T5 |
43324 |
1 |
0 |
0 |
T6 |
117928 |
3 |
0 |
0 |
T7 |
13225 |
0 |
0 |
0 |
T8 |
78174 |
2 |
0 |
0 |
T9 |
117440 |
3 |
0 |
0 |
T10 |
60345 |
1 |
0 |
0 |
T11 |
8760 |
0 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
3 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T50 |
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 | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T5,T6 |
1 | 1 | Covered | T1,T5,T6 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T4,T1,T2 |
0 | 1 | Covered | T1,T5,T6 |
1 | 0 | Covered | T1,T5,T6 |
1 | 1 | Covered | T1,T5,T6 |
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 |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,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 |
34387974 |
68640 |
0 |
0 |
T1 |
66713 |
167 |
0 |
0 |
T2 |
9307 |
0 |
0 |
0 |
T3 |
6041 |
0 |
0 |
0 |
T5 |
43324 |
83 |
0 |
0 |
T6 |
117928 |
232 |
0 |
0 |
T7 |
13225 |
0 |
0 |
0 |
T8 |
78174 |
142 |
0 |
0 |
T9 |
117440 |
224 |
0 |
0 |
T10 |
60345 |
74 |
0 |
0 |
T11 |
8760 |
0 |
0 |
0 |
T12 |
0 |
145 |
0 |
0 |
T13 |
0 |
234 |
0 |
0 |
T14 |
0 |
231 |
0 |
0 |
T15 |
0 |
246 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
68778 |
0 |
0 |
T1 |
302716 |
167 |
0 |
0 |
T2 |
125669 |
0 |
0 |
0 |
T3 |
290026 |
0 |
0 |
0 |
T5 |
151639 |
83 |
0 |
0 |
T6 |
147413 |
232 |
0 |
0 |
T7 |
324061 |
0 |
0 |
0 |
T8 |
938102 |
142 |
0 |
0 |
T9 |
182034 |
224 |
0 |
0 |
T10 |
168655 |
74 |
0 |
0 |
T11 |
416156 |
0 |
0 |
0 |
T12 |
0 |
145 |
0 |
0 |
T13 |
0 |
234 |
0 |
0 |
T14 |
0 |
231 |
0 |
0 |
T15 |
0 |
246 |
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 | T4,T1,T2 |
0 | 1 | Covered | T5,T7,T10 |
1 | 0 | Covered | T5,T7,T10 |
1 | 1 | Covered | T5,T7,T10 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T4,T1,T2 |
0 | 1 | Covered | T5,T7,T10 |
1 | 0 | Covered | T5,T7,T10 |
1 | 1 | Covered | T5,T7,T10 |
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 |
T4,T1,T2 |
0 |
Covered |
T4,T1,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T1,T2 |
0 |
Covered |
T4,T1,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 |
6500 |
0 |
0 |
T5 |
151639 |
32 |
0 |
0 |
T6 |
147413 |
0 |
0 |
0 |
T7 |
324061 |
39 |
0 |
0 |
T8 |
938102 |
0 |
0 |
0 |
T9 |
182034 |
0 |
0 |
0 |
T10 |
168655 |
53 |
0 |
0 |
T11 |
416156 |
0 |
0 |
0 |
T12 |
281943 |
0 |
0 |
0 |
T13 |
602416 |
0 |
0 |
0 |
T40 |
213296 |
0 |
0 |
0 |
T41 |
0 |
20 |
0 |
0 |
T43 |
0 |
9 |
0 |
0 |
T53 |
0 |
63 |
0 |
0 |
T54 |
0 |
31 |
0 |
0 |
T114 |
0 |
20 |
0 |
0 |
T136 |
0 |
6 |
0 |
0 |
T137 |
0 |
20 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
34308937 |
6503 |
0 |
0 |
T5 |
43324 |
32 |
0 |
0 |
T6 |
117928 |
0 |
0 |
0 |
T7 |
13225 |
39 |
0 |
0 |
T8 |
78174 |
0 |
0 |
0 |
T9 |
117440 |
0 |
0 |
0 |
T10 |
60345 |
53 |
0 |
0 |
T11 |
8760 |
0 |
0 |
0 |
T12 |
67936 |
0 |
0 |
0 |
T13 |
120482 |
0 |
0 |
0 |
T40 |
8531 |
0 |
0 |
0 |
T41 |
0 |
20 |
0 |
0 |
T43 |
0 |
9 |
0 |
0 |
T53 |
0 |
63 |
0 |
0 |
T54 |
0 |
31 |
0 |
0 |
T114 |
0 |
20 |
0 |
0 |
T136 |
0 |
6 |
0 |
0 |
T137 |
0 |
20 |
0 |
0 |