Line Coverage for Module :
prim_pulse_sync
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Module :
prim_pulse_sync
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T4,T2 |
1 | 0 | Covered | T1,T4,T2 |
1 | 1 | Covered | T1,T2,T3 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T4,T2 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T4,T2 |
Branch Coverage for Module :
prim_pulse_sync
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Module :
prim_pulse_sync
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
339319 |
0 |
0 |
T1 |
9746550 |
105 |
0 |
0 |
T2 |
14868342 |
35 |
0 |
0 |
T3 |
7413192 |
70 |
0 |
0 |
T4 |
213120 |
0 |
0 |
0 |
T5 |
4602546 |
23 |
0 |
0 |
T6 |
10445040 |
70 |
0 |
0 |
T7 |
3399954 |
345 |
0 |
0 |
T8 |
5495551 |
61 |
0 |
0 |
T9 |
3695253 |
35 |
0 |
0 |
T10 |
105021 |
21 |
0 |
0 |
T11 |
244056 |
105 |
0 |
0 |
T12 |
865813 |
67 |
0 |
0 |
T13 |
837488 |
64 |
0 |
0 |
T14 |
109467 |
96 |
0 |
0 |
T15 |
158136 |
0 |
0 |
0 |
T37 |
0 |
20 |
0 |
0 |
T42 |
0 |
20 |
0 |
0 |
T44 |
0 |
50 |
0 |
0 |
T49 |
0 |
27 |
0 |
0 |
T51 |
0 |
39 |
0 |
0 |
T52 |
44867 |
0 |
0 |
0 |
T54 |
0 |
56 |
0 |
0 |
T56 |
36808 |
0 |
0 |
0 |
T57 |
123480 |
0 |
0 |
0 |
T58 |
64877 |
0 |
0 |
0 |
T59 |
65 |
0 |
0 |
0 |
T70 |
0 |
55 |
0 |
0 |
T71 |
85496 |
4 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
342304 |
0 |
0 |
T1 |
9746550 |
105 |
0 |
0 |
T2 |
14868342 |
35 |
0 |
0 |
T3 |
7413192 |
70 |
0 |
0 |
T4 |
213120 |
0 |
0 |
0 |
T5 |
4602546 |
23 |
0 |
0 |
T6 |
10445040 |
70 |
0 |
0 |
T7 |
3264856 |
345 |
0 |
0 |
T8 |
5208697 |
61 |
0 |
0 |
T9 |
3566663 |
35 |
0 |
0 |
T10 |
4375 |
21 |
0 |
0 |
T11 |
97621 |
105 |
0 |
0 |
T12 |
35337 |
67 |
0 |
0 |
T13 |
76134 |
64 |
0 |
0 |
T14 |
98559 |
96 |
0 |
0 |
T15 |
150000 |
0 |
0 |
0 |
T37 |
169186 |
20 |
0 |
0 |
T42 |
573662 |
20 |
0 |
0 |
T43 |
988644 |
0 |
0 |
0 |
T44 |
223257 |
50 |
0 |
0 |
T49 |
0 |
27 |
0 |
0 |
T51 |
394995 |
39 |
0 |
0 |
T54 |
0 |
56 |
0 |
0 |
T70 |
0 |
55 |
0 |
0 |
T71 |
711 |
4 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn_val_0_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn_val_0_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 5 | 2 | 40.00 |
Logical | 5 | 2 | 40.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests | Exclude Annotation |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Unreachable | |
1 | 0 | Excluded | |
VC_COV_UNR |
1 | 1 | Unreachable | |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
1 | 1 | Not Covered | |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn_val_0_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn_val_0_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
35781681 |
0 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
0 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn_val_1_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn_val_1_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 5 | 2 | 40.00 |
Logical | 5 | 2 | 40.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests | Exclude Annotation |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Unreachable | |
1 | 0 | Excluded | |
VC_COV_UNR |
1 | 1 | Unreachable | |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
1 | 1 | Not Covered | |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn_val_1_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn_val_1_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
35781681 |
0 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
0 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_fsm_state_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_fsm_state_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 8 | 6 | 75.00 |
Logical | 8 | 6 | 75.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T51,T52,T53 |
1 | 0 | Covered | T51,T52,T53 |
1 | 1 | Not Covered | |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T52,T53,T16 |
1 | 0 | Not Covered | |
1 | 1 | Covered | T52,T53,T16 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_fsm_state_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_fsm_state_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
35781681 |
77 |
0 |
0 |
T16 |
0 |
1 |
0 |
0 |
T17 |
0 |
1 |
0 |
0 |
T26 |
0 |
1 |
0 |
0 |
T33 |
0 |
1 |
0 |
0 |
T52 |
44867 |
1 |
0 |
0 |
T53 |
0 |
1 |
0 |
0 |
T55 |
0 |
1 |
0 |
0 |
T56 |
36808 |
0 |
0 |
0 |
T57 |
123480 |
0 |
0 |
0 |
T58 |
64877 |
0 |
0 |
0 |
T59 |
65 |
0 |
0 |
0 |
T60 |
15687 |
0 |
0 |
0 |
T61 |
626 |
0 |
0 |
0 |
T62 |
70 |
0 |
0 |
0 |
T63 |
23732 |
0 |
0 |
0 |
T64 |
96952 |
0 |
0 |
0 |
T65 |
0 |
1 |
0 |
0 |
T66 |
0 |
1 |
0 |
0 |
T67 |
0 |
1 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
391 |
0 |
0 |
T16 |
0 |
5 |
0 |
0 |
T17 |
0 |
9 |
0 |
0 |
T18 |
0 |
7 |
0 |
0 |
T26 |
0 |
9 |
0 |
0 |
T33 |
0 |
5 |
0 |
0 |
T37 |
169186 |
0 |
0 |
0 |
T42 |
573662 |
0 |
0 |
0 |
T43 |
988644 |
0 |
0 |
0 |
T44 |
223257 |
0 |
0 |
0 |
T45 |
394178 |
0 |
0 |
0 |
T46 |
373726 |
0 |
0 |
0 |
T47 |
111233 |
0 |
0 |
0 |
T48 |
291042 |
0 |
0 |
0 |
T49 |
356970 |
0 |
0 |
0 |
T51 |
394995 |
8 |
0 |
0 |
T52 |
0 |
9 |
0 |
0 |
T53 |
0 |
10 |
0 |
0 |
T55 |
0 |
5 |
0 |
0 |
T65 |
0 |
9 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_en_ctl_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_en_ctl_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_en_ctl_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_en_ctl_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
35781681 |
36802 |
0 |
0 |
T1 |
105959 |
9 |
0 |
0 |
T2 |
33038 |
3 |
0 |
0 |
T3 |
71009 |
6 |
0 |
0 |
T4 |
105 |
0 |
0 |
0 |
T5 |
5013 |
23 |
0 |
0 |
T6 |
64474 |
6 |
0 |
0 |
T7 |
22516 |
290 |
0 |
0 |
T8 |
1225 |
41 |
0 |
0 |
T9 |
33839 |
3 |
0 |
0 |
T10 |
0 |
21 |
0 |
0 |
T11 |
0 |
9 |
0 |
0 |
T15 |
96 |
0 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
36970 |
0 |
0 |
T1 |
435516 |
9 |
0 |
0 |
T2 |
792981 |
3 |
0 |
0 |
T3 |
340835 |
6 |
0 |
0 |
T4 |
11735 |
0 |
0 |
0 |
T5 |
250684 |
23 |
0 |
0 |
T6 |
515806 |
6 |
0 |
0 |
T7 |
157614 |
291 |
0 |
0 |
T8 |
288079 |
41 |
0 |
0 |
T9 |
162429 |
3 |
0 |
0 |
T10 |
0 |
21 |
0 |
0 |
T11 |
0 |
9 |
0 |
0 |
T15 |
8232 |
0 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_en_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_en_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_en_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_en_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
36901 |
0 |
0 |
T1 |
435516 |
9 |
0 |
0 |
T2 |
792981 |
3 |
0 |
0 |
T3 |
340835 |
6 |
0 |
0 |
T4 |
11735 |
0 |
0 |
0 |
T5 |
250684 |
23 |
0 |
0 |
T6 |
515806 |
6 |
0 |
0 |
T7 |
157614 |
290 |
0 |
0 |
T8 |
288079 |
41 |
0 |
0 |
T9 |
162429 |
3 |
0 |
0 |
T10 |
0 |
21 |
0 |
0 |
T11 |
0 |
9 |
0 |
0 |
T15 |
8232 |
0 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
35781681 |
36923 |
0 |
0 |
T1 |
105959 |
9 |
0 |
0 |
T2 |
33038 |
3 |
0 |
0 |
T3 |
71009 |
6 |
0 |
0 |
T4 |
105 |
0 |
0 |
0 |
T5 |
5013 |
23 |
0 |
0 |
T6 |
64474 |
6 |
0 |
0 |
T7 |
22516 |
290 |
0 |
0 |
T8 |
1225 |
41 |
0 |
0 |
T9 |
33839 |
3 |
0 |
0 |
T10 |
0 |
21 |
0 |
0 |
T11 |
0 |
9 |
0 |
0 |
T15 |
96 |
0 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_pd_ctl_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_pd_ctl_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_pd_ctl_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_pd_ctl_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
35781681 |
17244 |
0 |
0 |
T1 |
105959 |
6 |
0 |
0 |
T2 |
33038 |
2 |
0 |
0 |
T3 |
71009 |
4 |
0 |
0 |
T4 |
105 |
0 |
0 |
0 |
T5 |
5013 |
11 |
0 |
0 |
T6 |
64474 |
4 |
0 |
0 |
T7 |
22516 |
145 |
0 |
0 |
T8 |
1225 |
1 |
0 |
0 |
T9 |
33839 |
2 |
0 |
0 |
T10 |
0 |
10 |
0 |
0 |
T11 |
0 |
6 |
0 |
0 |
T15 |
96 |
0 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
17355 |
0 |
0 |
T1 |
435516 |
6 |
0 |
0 |
T2 |
792981 |
2 |
0 |
0 |
T3 |
340835 |
4 |
0 |
0 |
T4 |
11735 |
0 |
0 |
0 |
T5 |
250684 |
11 |
0 |
0 |
T6 |
515806 |
4 |
0 |
0 |
T7 |
157614 |
145 |
0 |
0 |
T8 |
288079 |
1 |
0 |
0 |
T9 |
162429 |
2 |
0 |
0 |
T10 |
0 |
10 |
0 |
0 |
T11 |
0 |
6 |
0 |
0 |
T15 |
8232 |
0 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_pd_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_pd_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_pd_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_pd_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
17339 |
0 |
0 |
T1 |
435516 |
6 |
0 |
0 |
T2 |
792981 |
2 |
0 |
0 |
T3 |
340835 |
4 |
0 |
0 |
T4 |
11735 |
0 |
0 |
0 |
T5 |
250684 |
11 |
0 |
0 |
T6 |
515806 |
4 |
0 |
0 |
T7 |
157614 |
145 |
0 |
0 |
T8 |
288079 |
1 |
0 |
0 |
T9 |
162429 |
2 |
0 |
0 |
T10 |
0 |
10 |
0 |
0 |
T11 |
0 |
6 |
0 |
0 |
T15 |
8232 |
0 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
35781681 |
17339 |
0 |
0 |
T1 |
105959 |
6 |
0 |
0 |
T2 |
33038 |
2 |
0 |
0 |
T3 |
71009 |
4 |
0 |
0 |
T4 |
105 |
0 |
0 |
0 |
T5 |
5013 |
11 |
0 |
0 |
T6 |
64474 |
4 |
0 |
0 |
T7 |
22516 |
145 |
0 |
0 |
T8 |
1225 |
1 |
0 |
0 |
T9 |
33839 |
2 |
0 |
0 |
T10 |
0 |
10 |
0 |
0 |
T11 |
0 |
6 |
0 |
0 |
T15 |
96 |
0 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_lp_sample_ctl_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_lp_sample_ctl_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T4,T2 |
1 | 0 | Covered | T1,T4,T2 |
1 | 1 | Covered | T1,T3,T6 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T4,T2 |
1 | 0 | Covered | T1,T3,T6 |
1 | 1 | Covered | T1,T4,T2 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_lp_sample_ctl_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_lp_sample_ctl_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
35781681 |
13627 |
0 |
0 |
T1 |
105959 |
3 |
0 |
0 |
T2 |
33038 |
1 |
0 |
0 |
T3 |
71009 |
2 |
0 |
0 |
T4 |
105 |
1 |
0 |
0 |
T5 |
5013 |
0 |
0 |
0 |
T6 |
64474 |
2 |
0 |
0 |
T7 |
22516 |
145 |
0 |
0 |
T8 |
1225 |
0 |
0 |
0 |
T9 |
33839 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T15 |
96 |
1 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
13785 |
0 |
0 |
T1 |
435516 |
3 |
0 |
0 |
T2 |
792981 |
1 |
0 |
0 |
T3 |
340835 |
2 |
0 |
0 |
T4 |
11735 |
1 |
0 |
0 |
T5 |
250684 |
0 |
0 |
0 |
T6 |
515806 |
2 |
0 |
0 |
T7 |
157614 |
145 |
0 |
0 |
T8 |
288079 |
0 |
0 |
0 |
T9 |
162429 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T15 |
8232 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_lp_sample_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_lp_sample_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T4,T2 |
1 | 0 | Covered | T1,T4,T2 |
1 | 1 | Covered | T1,T3,T6 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T4,T2 |
1 | 0 | Covered | T1,T3,T6 |
1 | 1 | Covered | T1,T4,T2 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_lp_sample_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_lp_sample_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
13742 |
0 |
0 |
T1 |
435516 |
3 |
0 |
0 |
T2 |
792981 |
1 |
0 |
0 |
T3 |
340835 |
2 |
0 |
0 |
T4 |
11735 |
1 |
0 |
0 |
T5 |
250684 |
0 |
0 |
0 |
T6 |
515806 |
2 |
0 |
0 |
T7 |
157614 |
145 |
0 |
0 |
T8 |
288079 |
0 |
0 |
0 |
T9 |
162429 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T15 |
8232 |
1 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
35781681 |
13742 |
0 |
0 |
T1 |
105959 |
3 |
0 |
0 |
T2 |
33038 |
1 |
0 |
0 |
T3 |
71009 |
2 |
0 |
0 |
T4 |
105 |
1 |
0 |
0 |
T5 |
5013 |
0 |
0 |
0 |
T6 |
64474 |
2 |
0 |
0 |
T7 |
22516 |
145 |
0 |
0 |
T8 |
1225 |
0 |
0 |
0 |
T9 |
33839 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T15 |
96 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_sample_ctl_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_sample_ctl_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T4,T2 |
1 | 0 | Covered | T1,T4,T2 |
1 | 1 | Covered | T1,T3,T6 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T4,T2 |
1 | 0 | Covered | T1,T3,T6 |
1 | 1 | Covered | T1,T4,T2 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_sample_ctl_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_sample_ctl_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
35781681 |
13610 |
0 |
0 |
T1 |
105959 |
3 |
0 |
0 |
T2 |
33038 |
1 |
0 |
0 |
T3 |
71009 |
2 |
0 |
0 |
T4 |
105 |
1 |
0 |
0 |
T5 |
5013 |
0 |
0 |
0 |
T6 |
64474 |
2 |
0 |
0 |
T7 |
22516 |
145 |
0 |
0 |
T8 |
1225 |
0 |
0 |
0 |
T9 |
33839 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T15 |
96 |
1 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
13777 |
0 |
0 |
T1 |
435516 |
3 |
0 |
0 |
T2 |
792981 |
1 |
0 |
0 |
T3 |
340835 |
2 |
0 |
0 |
T4 |
11735 |
1 |
0 |
0 |
T5 |
250684 |
0 |
0 |
0 |
T6 |
515806 |
2 |
0 |
0 |
T7 |
157614 |
145 |
0 |
0 |
T8 |
288079 |
0 |
0 |
0 |
T9 |
162429 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T15 |
8232 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_sample_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_sample_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T4,T2 |
1 | 0 | Covered | T1,T4,T2 |
1 | 1 | Covered | T1,T3,T6 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T4,T2 |
1 | 0 | Covered | T1,T3,T6 |
1 | 1 | Covered | T1,T4,T2 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_sample_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_sample_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
13732 |
0 |
0 |
T1 |
435516 |
3 |
0 |
0 |
T2 |
792981 |
1 |
0 |
0 |
T3 |
340835 |
2 |
0 |
0 |
T4 |
11735 |
1 |
0 |
0 |
T5 |
250684 |
0 |
0 |
0 |
T6 |
515806 |
2 |
0 |
0 |
T7 |
157614 |
145 |
0 |
0 |
T8 |
288079 |
0 |
0 |
0 |
T9 |
162429 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T15 |
8232 |
1 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
35781681 |
13732 |
0 |
0 |
T1 |
105959 |
3 |
0 |
0 |
T2 |
33038 |
1 |
0 |
0 |
T3 |
71009 |
2 |
0 |
0 |
T4 |
105 |
1 |
0 |
0 |
T5 |
5013 |
0 |
0 |
0 |
T6 |
64474 |
2 |
0 |
0 |
T7 |
22516 |
145 |
0 |
0 |
T8 |
1225 |
0 |
0 |
0 |
T9 |
33839 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T15 |
96 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_fsm_rst_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_fsm_rst_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_fsm_rst_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_fsm_rst_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
35781681 |
19161 |
0 |
0 |
T1 |
105959 |
6 |
0 |
0 |
T2 |
33038 |
2 |
0 |
0 |
T3 |
71009 |
4 |
0 |
0 |
T4 |
105 |
0 |
0 |
0 |
T5 |
5013 |
0 |
0 |
0 |
T6 |
64474 |
4 |
0 |
0 |
T7 |
22516 |
205 |
0 |
0 |
T8 |
1225 |
0 |
0 |
0 |
T9 |
33839 |
2 |
0 |
0 |
T11 |
0 |
6 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
4 |
0 |
0 |
T14 |
0 |
6 |
0 |
0 |
T15 |
96 |
0 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
19271 |
0 |
0 |
T1 |
435516 |
6 |
0 |
0 |
T2 |
792981 |
2 |
0 |
0 |
T3 |
340835 |
4 |
0 |
0 |
T4 |
11735 |
0 |
0 |
0 |
T5 |
250684 |
0 |
0 |
0 |
T6 |
515806 |
4 |
0 |
0 |
T7 |
157614 |
205 |
0 |
0 |
T8 |
288079 |
0 |
0 |
0 |
T9 |
162429 |
2 |
0 |
0 |
T11 |
0 |
6 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
4 |
0 |
0 |
T14 |
0 |
6 |
0 |
0 |
T15 |
8232 |
0 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_fsm_rst_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_fsm_rst_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_fsm_rst_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_fsm_rst_cdc.u_arb.gen_passthru.u_dst_to_src_ack
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
19257 |
0 |
0 |
T1 |
435516 |
6 |
0 |
0 |
T2 |
792981 |
2 |
0 |
0 |
T3 |
340835 |
4 |
0 |
0 |
T4 |
11735 |
0 |
0 |
0 |
T5 |
250684 |
0 |
0 |
0 |
T6 |
515806 |
4 |
0 |
0 |
T7 |
157614 |
205 |
0 |
0 |
T8 |
288079 |
0 |
0 |
0 |
T9 |
162429 |
2 |
0 |
0 |
T11 |
0 |
6 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
4 |
0 |
0 |
T14 |
0 |
6 |
0 |
0 |
T15 |
8232 |
0 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
35781681 |
19257 |
0 |
0 |
T1 |
105959 |
6 |
0 |
0 |
T2 |
33038 |
2 |
0 |
0 |
T3 |
71009 |
4 |
0 |
0 |
T4 |
105 |
0 |
0 |
0 |
T5 |
5013 |
0 |
0 |
0 |
T6 |
64474 |
4 |
0 |
0 |
T7 |
22516 |
205 |
0 |
0 |
T8 |
1225 |
0 |
0 |
0 |
T9 |
33839 |
2 |
0 |
0 |
T11 |
0 |
6 |
0 |
0 |
T12 |
0 |
2 |
0 |
0 |
T13 |
0 |
4 |
0 |
0 |
T14 |
0 |
6 |
0 |
0 |
T15 |
96 |
0 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_0_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_0_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T3,T6 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T3,T6 |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_0_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_0_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
35781681 |
1926 |
0 |
0 |
T1 |
105959 |
3 |
0 |
0 |
T2 |
33038 |
1 |
0 |
0 |
T3 |
71009 |
2 |
0 |
0 |
T4 |
105 |
0 |
0 |
0 |
T5 |
5013 |
0 |
0 |
0 |
T6 |
64474 |
2 |
0 |
0 |
T7 |
22516 |
1 |
0 |
0 |
T8 |
1225 |
0 |
0 |
0 |
T9 |
33839 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
96 |
0 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2037 |
0 |
0 |
T1 |
435516 |
3 |
0 |
0 |
T2 |
792981 |
1 |
0 |
0 |
T3 |
340835 |
2 |
0 |
0 |
T4 |
11735 |
0 |
0 |
0 |
T5 |
250684 |
0 |
0 |
0 |
T6 |
515806 |
2 |
0 |
0 |
T7 |
157614 |
1 |
0 |
0 |
T8 |
288079 |
0 |
0 |
0 |
T9 |
162429 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
8232 |
0 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_0_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_0_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T3,T6 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T3,T6 |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_0_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_0_cdc.u_arb.gen_passthru.u_dst_to_src_ack
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2021 |
0 |
0 |
T1 |
435516 |
3 |
0 |
0 |
T2 |
792981 |
1 |
0 |
0 |
T3 |
340835 |
2 |
0 |
0 |
T4 |
11735 |
0 |
0 |
0 |
T5 |
250684 |
0 |
0 |
0 |
T6 |
515806 |
2 |
0 |
0 |
T7 |
157614 |
1 |
0 |
0 |
T8 |
288079 |
0 |
0 |
0 |
T9 |
162429 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
8232 |
0 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
35781681 |
2021 |
0 |
0 |
T1 |
105959 |
3 |
0 |
0 |
T2 |
33038 |
1 |
0 |
0 |
T3 |
71009 |
2 |
0 |
0 |
T4 |
105 |
0 |
0 |
0 |
T5 |
5013 |
0 |
0 |
0 |
T6 |
64474 |
2 |
0 |
0 |
T7 |
22516 |
1 |
0 |
0 |
T8 |
1225 |
0 |
0 |
0 |
T9 |
33839 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
96 |
0 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_1_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_1_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T3,T6 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T3,T6 |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_1_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_1_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
35781681 |
1802 |
0 |
0 |
T1 |
105959 |
3 |
0 |
0 |
T2 |
33038 |
1 |
0 |
0 |
T3 |
71009 |
2 |
0 |
0 |
T4 |
105 |
0 |
0 |
0 |
T5 |
5013 |
0 |
0 |
0 |
T6 |
64474 |
2 |
0 |
0 |
T7 |
22516 |
0 |
0 |
0 |
T8 |
1225 |
0 |
0 |
0 |
T9 |
33839 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
96 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1907 |
0 |
0 |
T1 |
435516 |
3 |
0 |
0 |
T2 |
792981 |
1 |
0 |
0 |
T3 |
340835 |
2 |
0 |
0 |
T4 |
11735 |
0 |
0 |
0 |
T5 |
250684 |
0 |
0 |
0 |
T6 |
515806 |
2 |
0 |
0 |
T7 |
157614 |
0 |
0 |
0 |
T8 |
288079 |
0 |
0 |
0 |
T9 |
162429 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
8232 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_1_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_1_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T3,T6 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T3,T6 |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_1_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_1_cdc.u_arb.gen_passthru.u_dst_to_src_ack
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1892 |
0 |
0 |
T1 |
435516 |
3 |
0 |
0 |
T2 |
792981 |
1 |
0 |
0 |
T3 |
340835 |
2 |
0 |
0 |
T4 |
11735 |
0 |
0 |
0 |
T5 |
250684 |
0 |
0 |
0 |
T6 |
515806 |
2 |
0 |
0 |
T7 |
157614 |
0 |
0 |
0 |
T8 |
288079 |
0 |
0 |
0 |
T9 |
162429 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
8232 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
35781681 |
1892 |
0 |
0 |
T1 |
105959 |
3 |
0 |
0 |
T2 |
33038 |
1 |
0 |
0 |
T3 |
71009 |
2 |
0 |
0 |
T4 |
105 |
0 |
0 |
0 |
T5 |
5013 |
0 |
0 |
0 |
T6 |
64474 |
2 |
0 |
0 |
T7 |
22516 |
0 |
0 |
0 |
T8 |
1225 |
0 |
0 |
0 |
T9 |
33839 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
96 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_2_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_2_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T3,T6 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T3,T6 |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_2_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_2_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
35781681 |
1806 |
0 |
0 |
T1 |
105959 |
3 |
0 |
0 |
T2 |
33038 |
1 |
0 |
0 |
T3 |
71009 |
2 |
0 |
0 |
T4 |
105 |
0 |
0 |
0 |
T5 |
5013 |
0 |
0 |
0 |
T6 |
64474 |
2 |
0 |
0 |
T7 |
22516 |
0 |
0 |
0 |
T8 |
1225 |
0 |
0 |
0 |
T9 |
33839 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
96 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1914 |
0 |
0 |
T1 |
435516 |
3 |
0 |
0 |
T2 |
792981 |
1 |
0 |
0 |
T3 |
340835 |
2 |
0 |
0 |
T4 |
11735 |
0 |
0 |
0 |
T5 |
250684 |
0 |
0 |
0 |
T6 |
515806 |
2 |
0 |
0 |
T7 |
157614 |
0 |
0 |
0 |
T8 |
288079 |
0 |
0 |
0 |
T9 |
162429 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
8232 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_2_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_2_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T3,T6 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T3,T6 |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_2_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_2_cdc.u_arb.gen_passthru.u_dst_to_src_ack
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1900 |
0 |
0 |
T1 |
435516 |
3 |
0 |
0 |
T2 |
792981 |
1 |
0 |
0 |
T3 |
340835 |
2 |
0 |
0 |
T4 |
11735 |
0 |
0 |
0 |
T5 |
250684 |
0 |
0 |
0 |
T6 |
515806 |
2 |
0 |
0 |
T7 |
157614 |
0 |
0 |
0 |
T8 |
288079 |
0 |
0 |
0 |
T9 |
162429 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
8232 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
35781681 |
1900 |
0 |
0 |
T1 |
105959 |
3 |
0 |
0 |
T2 |
33038 |
1 |
0 |
0 |
T3 |
71009 |
2 |
0 |
0 |
T4 |
105 |
0 |
0 |
0 |
T5 |
5013 |
0 |
0 |
0 |
T6 |
64474 |
2 |
0 |
0 |
T7 |
22516 |
0 |
0 |
0 |
T8 |
1225 |
0 |
0 |
0 |
T9 |
33839 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
96 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_3_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_3_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T3,T6 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T3,T6 |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_3_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_3_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
35781681 |
1818 |
0 |
0 |
T1 |
105959 |
3 |
0 |
0 |
T2 |
33038 |
1 |
0 |
0 |
T3 |
71009 |
2 |
0 |
0 |
T4 |
105 |
0 |
0 |
0 |
T5 |
5013 |
0 |
0 |
0 |
T6 |
64474 |
2 |
0 |
0 |
T7 |
22516 |
0 |
0 |
0 |
T8 |
1225 |
0 |
0 |
0 |
T9 |
33839 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
96 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1928 |
0 |
0 |
T1 |
435516 |
3 |
0 |
0 |
T2 |
792981 |
1 |
0 |
0 |
T3 |
340835 |
2 |
0 |
0 |
T4 |
11735 |
0 |
0 |
0 |
T5 |
250684 |
0 |
0 |
0 |
T6 |
515806 |
2 |
0 |
0 |
T7 |
157614 |
0 |
0 |
0 |
T8 |
288079 |
0 |
0 |
0 |
T9 |
162429 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
8232 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_3_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_3_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T3,T6 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T3,T6 |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_3_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_3_cdc.u_arb.gen_passthru.u_dst_to_src_ack
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1910 |
0 |
0 |
T1 |
435516 |
3 |
0 |
0 |
T2 |
792981 |
1 |
0 |
0 |
T3 |
340835 |
2 |
0 |
0 |
T4 |
11735 |
0 |
0 |
0 |
T5 |
250684 |
0 |
0 |
0 |
T6 |
515806 |
2 |
0 |
0 |
T7 |
157614 |
0 |
0 |
0 |
T8 |
288079 |
0 |
0 |
0 |
T9 |
162429 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
8232 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
35781681 |
1910 |
0 |
0 |
T1 |
105959 |
3 |
0 |
0 |
T2 |
33038 |
1 |
0 |
0 |
T3 |
71009 |
2 |
0 |
0 |
T4 |
105 |
0 |
0 |
0 |
T5 |
5013 |
0 |
0 |
0 |
T6 |
64474 |
2 |
0 |
0 |
T7 |
22516 |
0 |
0 |
0 |
T8 |
1225 |
0 |
0 |
0 |
T9 |
33839 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
96 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_4_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_4_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T3,T6 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T3,T6 |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_4_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_4_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
35781681 |
1826 |
0 |
0 |
T1 |
105959 |
3 |
0 |
0 |
T2 |
33038 |
1 |
0 |
0 |
T3 |
71009 |
2 |
0 |
0 |
T4 |
105 |
0 |
0 |
0 |
T5 |
5013 |
0 |
0 |
0 |
T6 |
64474 |
2 |
0 |
0 |
T7 |
22516 |
0 |
0 |
0 |
T8 |
1225 |
0 |
0 |
0 |
T9 |
33839 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
96 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1934 |
0 |
0 |
T1 |
435516 |
3 |
0 |
0 |
T2 |
792981 |
1 |
0 |
0 |
T3 |
340835 |
2 |
0 |
0 |
T4 |
11735 |
0 |
0 |
0 |
T5 |
250684 |
0 |
0 |
0 |
T6 |
515806 |
2 |
0 |
0 |
T7 |
157614 |
0 |
0 |
0 |
T8 |
288079 |
0 |
0 |
0 |
T9 |
162429 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
8232 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_4_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_4_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T3,T6 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T3,T6 |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_4_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_4_cdc.u_arb.gen_passthru.u_dst_to_src_ack
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1920 |
0 |
0 |
T1 |
435516 |
3 |
0 |
0 |
T2 |
792981 |
1 |
0 |
0 |
T3 |
340835 |
2 |
0 |
0 |
T4 |
11735 |
0 |
0 |
0 |
T5 |
250684 |
0 |
0 |
0 |
T6 |
515806 |
2 |
0 |
0 |
T7 |
157614 |
0 |
0 |
0 |
T8 |
288079 |
0 |
0 |
0 |
T9 |
162429 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
8232 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
35781681 |
1920 |
0 |
0 |
T1 |
105959 |
3 |
0 |
0 |
T2 |
33038 |
1 |
0 |
0 |
T3 |
71009 |
2 |
0 |
0 |
T4 |
105 |
0 |
0 |
0 |
T5 |
5013 |
0 |
0 |
0 |
T6 |
64474 |
2 |
0 |
0 |
T7 |
22516 |
0 |
0 |
0 |
T8 |
1225 |
0 |
0 |
0 |
T9 |
33839 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
96 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_5_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_5_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T3,T6 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T3,T6 |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_5_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_5_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
35781681 |
1845 |
0 |
0 |
T1 |
105959 |
3 |
0 |
0 |
T2 |
33038 |
1 |
0 |
0 |
T3 |
71009 |
2 |
0 |
0 |
T4 |
105 |
0 |
0 |
0 |
T5 |
5013 |
0 |
0 |
0 |
T6 |
64474 |
2 |
0 |
0 |
T7 |
22516 |
0 |
0 |
0 |
T8 |
1225 |
0 |
0 |
0 |
T9 |
33839 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
96 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1952 |
0 |
0 |
T1 |
435516 |
3 |
0 |
0 |
T2 |
792981 |
1 |
0 |
0 |
T3 |
340835 |
2 |
0 |
0 |
T4 |
11735 |
0 |
0 |
0 |
T5 |
250684 |
0 |
0 |
0 |
T6 |
515806 |
2 |
0 |
0 |
T7 |
157614 |
0 |
0 |
0 |
T8 |
288079 |
0 |
0 |
0 |
T9 |
162429 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
8232 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_5_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_5_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T3,T6 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T3,T6 |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_5_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_5_cdc.u_arb.gen_passthru.u_dst_to_src_ack
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1937 |
0 |
0 |
T1 |
435516 |
3 |
0 |
0 |
T2 |
792981 |
1 |
0 |
0 |
T3 |
340835 |
2 |
0 |
0 |
T4 |
11735 |
0 |
0 |
0 |
T5 |
250684 |
0 |
0 |
0 |
T6 |
515806 |
2 |
0 |
0 |
T7 |
157614 |
0 |
0 |
0 |
T8 |
288079 |
0 |
0 |
0 |
T9 |
162429 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
8232 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
35781681 |
1937 |
0 |
0 |
T1 |
105959 |
3 |
0 |
0 |
T2 |
33038 |
1 |
0 |
0 |
T3 |
71009 |
2 |
0 |
0 |
T4 |
105 |
0 |
0 |
0 |
T5 |
5013 |
0 |
0 |
0 |
T6 |
64474 |
2 |
0 |
0 |
T7 |
22516 |
0 |
0 |
0 |
T8 |
1225 |
0 |
0 |
0 |
T9 |
33839 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
96 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_6_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_6_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T3,T6 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T3,T6 |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_6_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_6_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
35781681 |
1838 |
0 |
0 |
T1 |
105959 |
3 |
0 |
0 |
T2 |
33038 |
1 |
0 |
0 |
T3 |
71009 |
2 |
0 |
0 |
T4 |
105 |
0 |
0 |
0 |
T5 |
5013 |
0 |
0 |
0 |
T6 |
64474 |
2 |
0 |
0 |
T7 |
22516 |
0 |
0 |
0 |
T8 |
1225 |
0 |
0 |
0 |
T9 |
33839 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
96 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1946 |
0 |
0 |
T1 |
435516 |
3 |
0 |
0 |
T2 |
792981 |
1 |
0 |
0 |
T3 |
340835 |
2 |
0 |
0 |
T4 |
11735 |
0 |
0 |
0 |
T5 |
250684 |
0 |
0 |
0 |
T6 |
515806 |
2 |
0 |
0 |
T7 |
157614 |
0 |
0 |
0 |
T8 |
288079 |
0 |
0 |
0 |
T9 |
162429 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
8232 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_6_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_6_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T3,T6 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T3,T6 |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_6_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_6_cdc.u_arb.gen_passthru.u_dst_to_src_ack
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1929 |
0 |
0 |
T1 |
435516 |
3 |
0 |
0 |
T2 |
792981 |
1 |
0 |
0 |
T3 |
340835 |
2 |
0 |
0 |
T4 |
11735 |
0 |
0 |
0 |
T5 |
250684 |
0 |
0 |
0 |
T6 |
515806 |
2 |
0 |
0 |
T7 |
157614 |
0 |
0 |
0 |
T8 |
288079 |
0 |
0 |
0 |
T9 |
162429 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
8232 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
35781681 |
1929 |
0 |
0 |
T1 |
105959 |
3 |
0 |
0 |
T2 |
33038 |
1 |
0 |
0 |
T3 |
71009 |
2 |
0 |
0 |
T4 |
105 |
0 |
0 |
0 |
T5 |
5013 |
0 |
0 |
0 |
T6 |
64474 |
2 |
0 |
0 |
T7 |
22516 |
0 |
0 |
0 |
T8 |
1225 |
0 |
0 |
0 |
T9 |
33839 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
96 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_7_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_7_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T3,T6 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T3,T6 |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_7_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_7_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
35781681 |
1811 |
0 |
0 |
T1 |
105959 |
3 |
0 |
0 |
T2 |
33038 |
1 |
0 |
0 |
T3 |
71009 |
2 |
0 |
0 |
T4 |
105 |
0 |
0 |
0 |
T5 |
5013 |
0 |
0 |
0 |
T6 |
64474 |
2 |
0 |
0 |
T7 |
22516 |
0 |
0 |
0 |
T8 |
1225 |
0 |
0 |
0 |
T9 |
33839 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
96 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1915 |
0 |
0 |
T1 |
435516 |
3 |
0 |
0 |
T2 |
792981 |
1 |
0 |
0 |
T3 |
340835 |
2 |
0 |
0 |
T4 |
11735 |
0 |
0 |
0 |
T5 |
250684 |
0 |
0 |
0 |
T6 |
515806 |
2 |
0 |
0 |
T7 |
157614 |
0 |
0 |
0 |
T8 |
288079 |
0 |
0 |
0 |
T9 |
162429 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
8232 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_7_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_7_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T3,T6 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T3,T6 |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_7_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_7_cdc.u_arb.gen_passthru.u_dst_to_src_ack
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1900 |
0 |
0 |
T1 |
435516 |
3 |
0 |
0 |
T2 |
792981 |
1 |
0 |
0 |
T3 |
340835 |
2 |
0 |
0 |
T4 |
11735 |
0 |
0 |
0 |
T5 |
250684 |
0 |
0 |
0 |
T6 |
515806 |
2 |
0 |
0 |
T7 |
157614 |
0 |
0 |
0 |
T8 |
288079 |
0 |
0 |
0 |
T9 |
162429 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
8232 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
35781681 |
1900 |
0 |
0 |
T1 |
105959 |
3 |
0 |
0 |
T2 |
33038 |
1 |
0 |
0 |
T3 |
71009 |
2 |
0 |
0 |
T4 |
105 |
0 |
0 |
0 |
T5 |
5013 |
0 |
0 |
0 |
T6 |
64474 |
2 |
0 |
0 |
T7 |
22516 |
0 |
0 |
0 |
T8 |
1225 |
0 |
0 |
0 |
T9 |
33839 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
96 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_0_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_0_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T3,T6 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T3,T6 |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_0_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_0_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
35781681 |
1940 |
0 |
0 |
T1 |
105959 |
3 |
0 |
0 |
T2 |
33038 |
1 |
0 |
0 |
T3 |
71009 |
2 |
0 |
0 |
T4 |
105 |
0 |
0 |
0 |
T5 |
5013 |
0 |
0 |
0 |
T6 |
64474 |
2 |
0 |
0 |
T7 |
22516 |
1 |
0 |
0 |
T8 |
1225 |
0 |
0 |
0 |
T9 |
33839 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
96 |
0 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2045 |
0 |
0 |
T1 |
435516 |
3 |
0 |
0 |
T2 |
792981 |
1 |
0 |
0 |
T3 |
340835 |
2 |
0 |
0 |
T4 |
11735 |
0 |
0 |
0 |
T5 |
250684 |
0 |
0 |
0 |
T6 |
515806 |
2 |
0 |
0 |
T7 |
157614 |
1 |
0 |
0 |
T8 |
288079 |
0 |
0 |
0 |
T9 |
162429 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
8232 |
0 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_0_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_0_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T3,T6 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T3,T6 |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_0_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_0_cdc.u_arb.gen_passthru.u_dst_to_src_ack
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
2031 |
0 |
0 |
T1 |
435516 |
3 |
0 |
0 |
T2 |
792981 |
1 |
0 |
0 |
T3 |
340835 |
2 |
0 |
0 |
T4 |
11735 |
0 |
0 |
0 |
T5 |
250684 |
0 |
0 |
0 |
T6 |
515806 |
2 |
0 |
0 |
T7 |
157614 |
1 |
0 |
0 |
T8 |
288079 |
0 |
0 |
0 |
T9 |
162429 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
8232 |
0 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
35781681 |
2031 |
0 |
0 |
T1 |
105959 |
3 |
0 |
0 |
T2 |
33038 |
1 |
0 |
0 |
T3 |
71009 |
2 |
0 |
0 |
T4 |
105 |
0 |
0 |
0 |
T5 |
5013 |
0 |
0 |
0 |
T6 |
64474 |
2 |
0 |
0 |
T7 |
22516 |
1 |
0 |
0 |
T8 |
1225 |
0 |
0 |
0 |
T9 |
33839 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
96 |
0 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_1_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_1_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T3,T6 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T3,T6 |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_1_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_1_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
35781681 |
1815 |
0 |
0 |
T1 |
105959 |
3 |
0 |
0 |
T2 |
33038 |
1 |
0 |
0 |
T3 |
71009 |
2 |
0 |
0 |
T4 |
105 |
0 |
0 |
0 |
T5 |
5013 |
0 |
0 |
0 |
T6 |
64474 |
2 |
0 |
0 |
T7 |
22516 |
0 |
0 |
0 |
T8 |
1225 |
0 |
0 |
0 |
T9 |
33839 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
96 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1921 |
0 |
0 |
T1 |
435516 |
3 |
0 |
0 |
T2 |
792981 |
1 |
0 |
0 |
T3 |
340835 |
2 |
0 |
0 |
T4 |
11735 |
0 |
0 |
0 |
T5 |
250684 |
0 |
0 |
0 |
T6 |
515806 |
2 |
0 |
0 |
T7 |
157614 |
0 |
0 |
0 |
T8 |
288079 |
0 |
0 |
0 |
T9 |
162429 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
8232 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_1_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_1_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T3,T6 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T3,T6 |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_1_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_1_cdc.u_arb.gen_passthru.u_dst_to_src_ack
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1906 |
0 |
0 |
T1 |
435516 |
3 |
0 |
0 |
T2 |
792981 |
1 |
0 |
0 |
T3 |
340835 |
2 |
0 |
0 |
T4 |
11735 |
0 |
0 |
0 |
T5 |
250684 |
0 |
0 |
0 |
T6 |
515806 |
2 |
0 |
0 |
T7 |
157614 |
0 |
0 |
0 |
T8 |
288079 |
0 |
0 |
0 |
T9 |
162429 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
8232 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
35781681 |
1906 |
0 |
0 |
T1 |
105959 |
3 |
0 |
0 |
T2 |
33038 |
1 |
0 |
0 |
T3 |
71009 |
2 |
0 |
0 |
T4 |
105 |
0 |
0 |
0 |
T5 |
5013 |
0 |
0 |
0 |
T6 |
64474 |
2 |
0 |
0 |
T7 |
22516 |
0 |
0 |
0 |
T8 |
1225 |
0 |
0 |
0 |
T9 |
33839 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
96 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_2_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_2_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T3,T6 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T3,T6 |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_2_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_2_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
35781681 |
1790 |
0 |
0 |
T1 |
105959 |
3 |
0 |
0 |
T2 |
33038 |
1 |
0 |
0 |
T3 |
71009 |
2 |
0 |
0 |
T4 |
105 |
0 |
0 |
0 |
T5 |
5013 |
0 |
0 |
0 |
T6 |
64474 |
2 |
0 |
0 |
T7 |
22516 |
0 |
0 |
0 |
T8 |
1225 |
0 |
0 |
0 |
T9 |
33839 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
96 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1899 |
0 |
0 |
T1 |
435516 |
3 |
0 |
0 |
T2 |
792981 |
1 |
0 |
0 |
T3 |
340835 |
2 |
0 |
0 |
T4 |
11735 |
0 |
0 |
0 |
T5 |
250684 |
0 |
0 |
0 |
T6 |
515806 |
2 |
0 |
0 |
T7 |
157614 |
0 |
0 |
0 |
T8 |
288079 |
0 |
0 |
0 |
T9 |
162429 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
8232 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_2_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_2_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T3,T6 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T3,T6 |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_2_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_2_cdc.u_arb.gen_passthru.u_dst_to_src_ack
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1885 |
0 |
0 |
T1 |
435516 |
3 |
0 |
0 |
T2 |
792981 |
1 |
0 |
0 |
T3 |
340835 |
2 |
0 |
0 |
T4 |
11735 |
0 |
0 |
0 |
T5 |
250684 |
0 |
0 |
0 |
T6 |
515806 |
2 |
0 |
0 |
T7 |
157614 |
0 |
0 |
0 |
T8 |
288079 |
0 |
0 |
0 |
T9 |
162429 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
8232 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
35781681 |
1885 |
0 |
0 |
T1 |
105959 |
3 |
0 |
0 |
T2 |
33038 |
1 |
0 |
0 |
T3 |
71009 |
2 |
0 |
0 |
T4 |
105 |
0 |
0 |
0 |
T5 |
5013 |
0 |
0 |
0 |
T6 |
64474 |
2 |
0 |
0 |
T7 |
22516 |
0 |
0 |
0 |
T8 |
1225 |
0 |
0 |
0 |
T9 |
33839 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
96 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_3_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_3_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T3,T6 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T3,T6 |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_3_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_3_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
35781681 |
1822 |
0 |
0 |
T1 |
105959 |
3 |
0 |
0 |
T2 |
33038 |
1 |
0 |
0 |
T3 |
71009 |
2 |
0 |
0 |
T4 |
105 |
0 |
0 |
0 |
T5 |
5013 |
0 |
0 |
0 |
T6 |
64474 |
2 |
0 |
0 |
T7 |
22516 |
0 |
0 |
0 |
T8 |
1225 |
0 |
0 |
0 |
T9 |
33839 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
96 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1932 |
0 |
0 |
T1 |
435516 |
3 |
0 |
0 |
T2 |
792981 |
1 |
0 |
0 |
T3 |
340835 |
2 |
0 |
0 |
T4 |
11735 |
0 |
0 |
0 |
T5 |
250684 |
0 |
0 |
0 |
T6 |
515806 |
2 |
0 |
0 |
T7 |
157614 |
0 |
0 |
0 |
T8 |
288079 |
0 |
0 |
0 |
T9 |
162429 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
8232 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_3_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_3_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T3,T6 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T3,T6 |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_3_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_3_cdc.u_arb.gen_passthru.u_dst_to_src_ack
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1917 |
0 |
0 |
T1 |
435516 |
3 |
0 |
0 |
T2 |
792981 |
1 |
0 |
0 |
T3 |
340835 |
2 |
0 |
0 |
T4 |
11735 |
0 |
0 |
0 |
T5 |
250684 |
0 |
0 |
0 |
T6 |
515806 |
2 |
0 |
0 |
T7 |
157614 |
0 |
0 |
0 |
T8 |
288079 |
0 |
0 |
0 |
T9 |
162429 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
8232 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
35781681 |
1917 |
0 |
0 |
T1 |
105959 |
3 |
0 |
0 |
T2 |
33038 |
1 |
0 |
0 |
T3 |
71009 |
2 |
0 |
0 |
T4 |
105 |
0 |
0 |
0 |
T5 |
5013 |
0 |
0 |
0 |
T6 |
64474 |
2 |
0 |
0 |
T7 |
22516 |
0 |
0 |
0 |
T8 |
1225 |
0 |
0 |
0 |
T9 |
33839 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
96 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_4_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_4_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T3,T6 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T3,T6 |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_4_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_4_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
35781681 |
1829 |
0 |
0 |
T1 |
105959 |
3 |
0 |
0 |
T2 |
33038 |
1 |
0 |
0 |
T3 |
71009 |
2 |
0 |
0 |
T4 |
105 |
0 |
0 |
0 |
T5 |
5013 |
0 |
0 |
0 |
T6 |
64474 |
2 |
0 |
0 |
T7 |
22516 |
0 |
0 |
0 |
T8 |
1225 |
0 |
0 |
0 |
T9 |
33839 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
96 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1940 |
0 |
0 |
T1 |
435516 |
3 |
0 |
0 |
T2 |
792981 |
1 |
0 |
0 |
T3 |
340835 |
2 |
0 |
0 |
T4 |
11735 |
0 |
0 |
0 |
T5 |
250684 |
0 |
0 |
0 |
T6 |
515806 |
2 |
0 |
0 |
T7 |
157614 |
0 |
0 |
0 |
T8 |
288079 |
0 |
0 |
0 |
T9 |
162429 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
8232 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_4_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_4_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T3,T6 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T3,T6 |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_4_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_4_cdc.u_arb.gen_passthru.u_dst_to_src_ack
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1926 |
0 |
0 |
T1 |
435516 |
3 |
0 |
0 |
T2 |
792981 |
1 |
0 |
0 |
T3 |
340835 |
2 |
0 |
0 |
T4 |
11735 |
0 |
0 |
0 |
T5 |
250684 |
0 |
0 |
0 |
T6 |
515806 |
2 |
0 |
0 |
T7 |
157614 |
0 |
0 |
0 |
T8 |
288079 |
0 |
0 |
0 |
T9 |
162429 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
8232 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
35781681 |
1926 |
0 |
0 |
T1 |
105959 |
3 |
0 |
0 |
T2 |
33038 |
1 |
0 |
0 |
T3 |
71009 |
2 |
0 |
0 |
T4 |
105 |
0 |
0 |
0 |
T5 |
5013 |
0 |
0 |
0 |
T6 |
64474 |
2 |
0 |
0 |
T7 |
22516 |
0 |
0 |
0 |
T8 |
1225 |
0 |
0 |
0 |
T9 |
33839 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
96 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_5_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_5_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T3,T6 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T3,T6 |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_5_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_5_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
35781681 |
1812 |
0 |
0 |
T1 |
105959 |
3 |
0 |
0 |
T2 |
33038 |
1 |
0 |
0 |
T3 |
71009 |
2 |
0 |
0 |
T4 |
105 |
0 |
0 |
0 |
T5 |
5013 |
0 |
0 |
0 |
T6 |
64474 |
2 |
0 |
0 |
T7 |
22516 |
0 |
0 |
0 |
T8 |
1225 |
0 |
0 |
0 |
T9 |
33839 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
96 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1918 |
0 |
0 |
T1 |
435516 |
3 |
0 |
0 |
T2 |
792981 |
1 |
0 |
0 |
T3 |
340835 |
2 |
0 |
0 |
T4 |
11735 |
0 |
0 |
0 |
T5 |
250684 |
0 |
0 |
0 |
T6 |
515806 |
2 |
0 |
0 |
T7 |
157614 |
0 |
0 |
0 |
T8 |
288079 |
0 |
0 |
0 |
T9 |
162429 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
8232 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_5_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_5_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T3,T6 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T3,T6 |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_5_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_5_cdc.u_arb.gen_passthru.u_dst_to_src_ack
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1899 |
0 |
0 |
T1 |
435516 |
3 |
0 |
0 |
T2 |
792981 |
1 |
0 |
0 |
T3 |
340835 |
2 |
0 |
0 |
T4 |
11735 |
0 |
0 |
0 |
T5 |
250684 |
0 |
0 |
0 |
T6 |
515806 |
2 |
0 |
0 |
T7 |
157614 |
0 |
0 |
0 |
T8 |
288079 |
0 |
0 |
0 |
T9 |
162429 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
8232 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
35781681 |
1899 |
0 |
0 |
T1 |
105959 |
3 |
0 |
0 |
T2 |
33038 |
1 |
0 |
0 |
T3 |
71009 |
2 |
0 |
0 |
T4 |
105 |
0 |
0 |
0 |
T5 |
5013 |
0 |
0 |
0 |
T6 |
64474 |
2 |
0 |
0 |
T7 |
22516 |
0 |
0 |
0 |
T8 |
1225 |
0 |
0 |
0 |
T9 |
33839 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
96 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_6_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_6_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T3,T6 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T3,T6 |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_6_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_6_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
35781681 |
1830 |
0 |
0 |
T1 |
105959 |
3 |
0 |
0 |
T2 |
33038 |
1 |
0 |
0 |
T3 |
71009 |
2 |
0 |
0 |
T4 |
105 |
0 |
0 |
0 |
T5 |
5013 |
0 |
0 |
0 |
T6 |
64474 |
2 |
0 |
0 |
T7 |
22516 |
0 |
0 |
0 |
T8 |
1225 |
0 |
0 |
0 |
T9 |
33839 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
96 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1936 |
0 |
0 |
T1 |
435516 |
3 |
0 |
0 |
T2 |
792981 |
1 |
0 |
0 |
T3 |
340835 |
2 |
0 |
0 |
T4 |
11735 |
0 |
0 |
0 |
T5 |
250684 |
0 |
0 |
0 |
T6 |
515806 |
2 |
0 |
0 |
T7 |
157614 |
0 |
0 |
0 |
T8 |
288079 |
0 |
0 |
0 |
T9 |
162429 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
8232 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_6_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_6_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T3,T6 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T3,T6 |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_6_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_6_cdc.u_arb.gen_passthru.u_dst_to_src_ack
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1923 |
0 |
0 |
T1 |
435516 |
3 |
0 |
0 |
T2 |
792981 |
1 |
0 |
0 |
T3 |
340835 |
2 |
0 |
0 |
T4 |
11735 |
0 |
0 |
0 |
T5 |
250684 |
0 |
0 |
0 |
T6 |
515806 |
2 |
0 |
0 |
T7 |
157614 |
0 |
0 |
0 |
T8 |
288079 |
0 |
0 |
0 |
T9 |
162429 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
8232 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
35781681 |
1923 |
0 |
0 |
T1 |
105959 |
3 |
0 |
0 |
T2 |
33038 |
1 |
0 |
0 |
T3 |
71009 |
2 |
0 |
0 |
T4 |
105 |
0 |
0 |
0 |
T5 |
5013 |
0 |
0 |
0 |
T6 |
64474 |
2 |
0 |
0 |
T7 |
22516 |
0 |
0 |
0 |
T8 |
1225 |
0 |
0 |
0 |
T9 |
33839 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
96 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_7_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_7_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T3,T6 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T3,T6 |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_7_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_7_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
35781681 |
1848 |
0 |
0 |
T1 |
105959 |
3 |
0 |
0 |
T2 |
33038 |
1 |
0 |
0 |
T3 |
71009 |
2 |
0 |
0 |
T4 |
105 |
0 |
0 |
0 |
T5 |
5013 |
0 |
0 |
0 |
T6 |
64474 |
2 |
0 |
0 |
T7 |
22516 |
0 |
0 |
0 |
T8 |
1225 |
0 |
0 |
0 |
T9 |
33839 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
96 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1950 |
0 |
0 |
T1 |
435516 |
3 |
0 |
0 |
T2 |
792981 |
1 |
0 |
0 |
T3 |
340835 |
2 |
0 |
0 |
T4 |
11735 |
0 |
0 |
0 |
T5 |
250684 |
0 |
0 |
0 |
T6 |
515806 |
2 |
0 |
0 |
T7 |
157614 |
0 |
0 |
0 |
T8 |
288079 |
0 |
0 |
0 |
T9 |
162429 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
8232 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_7_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_7_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T3,T6 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T3,T6 |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_7_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_7_cdc.u_arb.gen_passthru.u_dst_to_src_ack
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1936 |
0 |
0 |
T1 |
435516 |
3 |
0 |
0 |
T2 |
792981 |
1 |
0 |
0 |
T3 |
340835 |
2 |
0 |
0 |
T4 |
11735 |
0 |
0 |
0 |
T5 |
250684 |
0 |
0 |
0 |
T6 |
515806 |
2 |
0 |
0 |
T7 |
157614 |
0 |
0 |
0 |
T8 |
288079 |
0 |
0 |
0 |
T9 |
162429 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
8232 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
35781681 |
1936 |
0 |
0 |
T1 |
105959 |
3 |
0 |
0 |
T2 |
33038 |
1 |
0 |
0 |
T3 |
71009 |
2 |
0 |
0 |
T4 |
105 |
0 |
0 |
0 |
T5 |
5013 |
0 |
0 |
0 |
T6 |
64474 |
2 |
0 |
0 |
T7 |
22516 |
0 |
0 |
0 |
T8 |
1225 |
0 |
0 |
0 |
T9 |
33839 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T12 |
0 |
1 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
96 |
0 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_wakeup_ctl_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_wakeup_ctl_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T3,T9 |
1 | 0 | Covered | T1,T3,T9 |
1 | 1 | Covered | T1,T3,T11 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T3,T9 |
1 | 0 | Covered | T1,T3,T11 |
1 | 1 | Covered | T1,T3,T9 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_wakeup_ctl_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_wakeup_ctl_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
35781681 |
1258 |
0 |
0 |
T1 |
105959 |
3 |
0 |
0 |
T2 |
33038 |
0 |
0 |
0 |
T3 |
71009 |
2 |
0 |
0 |
T4 |
105 |
0 |
0 |
0 |
T5 |
5013 |
0 |
0 |
0 |
T6 |
64474 |
0 |
0 |
0 |
T7 |
22516 |
0 |
0 |
0 |
T8 |
1225 |
0 |
0 |
0 |
T9 |
33839 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
96 |
0 |
0 |
0 |
T44 |
0 |
2 |
0 |
0 |
T51 |
0 |
2 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
T68 |
0 |
1 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1363 |
0 |
0 |
T1 |
435516 |
3 |
0 |
0 |
T2 |
792981 |
0 |
0 |
0 |
T3 |
340835 |
2 |
0 |
0 |
T4 |
11735 |
0 |
0 |
0 |
T5 |
250684 |
0 |
0 |
0 |
T6 |
515806 |
0 |
0 |
0 |
T7 |
157614 |
0 |
0 |
0 |
T8 |
288079 |
0 |
0 |
0 |
T9 |
162429 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
8232 |
0 |
0 |
0 |
T44 |
0 |
2 |
0 |
0 |
T51 |
0 |
2 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
T68 |
0 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_adc_wakeup_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_adc_wakeup_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T3,T9 |
1 | 0 | Covered | T1,T3,T9 |
1 | 1 | Covered | T1,T3,T11 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T3,T9 |
1 | 0 | Covered | T1,T3,T11 |
1 | 1 | Covered | T1,T3,T9 |
Branch Coverage for Instance : tb.dut.u_reg.u_adc_wakeup_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_adc_wakeup_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
1347 |
0 |
0 |
T1 |
435516 |
3 |
0 |
0 |
T2 |
792981 |
0 |
0 |
0 |
T3 |
340835 |
2 |
0 |
0 |
T4 |
11735 |
0 |
0 |
0 |
T5 |
250684 |
0 |
0 |
0 |
T6 |
515806 |
0 |
0 |
0 |
T7 |
157614 |
0 |
0 |
0 |
T8 |
288079 |
0 |
0 |
0 |
T9 |
162429 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
8232 |
0 |
0 |
0 |
T44 |
0 |
2 |
0 |
0 |
T51 |
0 |
2 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
T68 |
0 |
1 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
35781681 |
1347 |
0 |
0 |
T1 |
105959 |
3 |
0 |
0 |
T2 |
33038 |
0 |
0 |
0 |
T3 |
71009 |
2 |
0 |
0 |
T4 |
105 |
0 |
0 |
0 |
T5 |
5013 |
0 |
0 |
0 |
T6 |
64474 |
0 |
0 |
0 |
T7 |
22516 |
0 |
0 |
0 |
T8 |
1225 |
0 |
0 |
0 |
T9 |
33839 |
1 |
0 |
0 |
T11 |
0 |
3 |
0 |
0 |
T13 |
0 |
2 |
0 |
0 |
T14 |
0 |
3 |
0 |
0 |
T15 |
96 |
0 |
0 |
0 |
T44 |
0 |
2 |
0 |
0 |
T51 |
0 |
2 |
0 |
0 |
T54 |
0 |
2 |
0 |
0 |
T68 |
0 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg.u_filter_status_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg.u_filter_status_cdc.u_src_to_dst_req
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Instance : tb.dut.u_reg.u_filter_status_cdc.u_src_to_dst_req
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_reg.u_filter_status_cdc.u_src_to_dst_req
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
35781681 |
68698 |
0 |
0 |
T1 |
105959 |
82 |
0 |
0 |
T2 |
33038 |
73 |
0 |
0 |
T3 |
71009 |
148 |
0 |
0 |
T4 |
105 |
0 |
0 |
0 |
T5 |
5013 |
0 |
0 |
0 |
T6 |
64474 |
149 |
0 |
0 |
T7 |
22516 |
0 |
0 |
0 |
T8 |
1225 |
0 |
0 |
0 |
T9 |
33839 |
90 |
0 |
0 |
T11 |
0 |
224 |
0 |
0 |
T12 |
0 |
69 |
0 |
0 |
T13 |
0 |
149 |
0 |
0 |
T14 |
0 |
213 |
0 |
0 |
T15 |
96 |
0 |
0 |
0 |
T54 |
0 |
164 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
68808 |
0 |
0 |
T1 |
435516 |
82 |
0 |
0 |
T2 |
792981 |
73 |
0 |
0 |
T3 |
340835 |
148 |
0 |
0 |
T4 |
11735 |
0 |
0 |
0 |
T5 |
250684 |
0 |
0 |
0 |
T6 |
515806 |
149 |
0 |
0 |
T7 |
157614 |
0 |
0 |
0 |
T8 |
288079 |
0 |
0 |
0 |
T9 |
162429 |
90 |
0 |
0 |
T11 |
0 |
224 |
0 |
0 |
T12 |
0 |
69 |
0 |
0 |
T13 |
0 |
149 |
0 |
0 |
T14 |
0 |
213 |
0 |
0 |
T15 |
8232 |
0 |
0 |
0 |
T54 |
0 |
164 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_adc_ctrl_core.u_oneshot_done_sync
| Line No. | Total | Covered | Percent |
TOTAL | | 7 | 7 | 100.00 |
ALWAYS | 31 | 3 | 3 | 100.00 |
CONT_ASSIGN | 49 | 0 | 0 | |
CONT_ASSIGN | 52 | 0 | 0 | |
ALWAYS | 55 | 0 | 0 | |
ALWAYS | 89 | 3 | 3 | 100.00 |
CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
31 |
1 |
1 |
32 |
1 |
1 |
34 |
1 |
1 |
49 |
|
unreachable |
52 |
|
unreachable |
55 |
|
unreachable |
56 |
|
unreachable |
58 |
|
unreachable |
89 |
1 |
1 |
90 |
1 |
1 |
92 |
1 |
1 |
97 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_adc_ctrl_core.u_oneshot_done_sync
| Total | Covered | Percent |
Conditions | 8 | 8 | 100.00 |
Logical | 8 | 8 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 34
EXPRESSION (src_level ^ src_pulse_i)
----1---- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T7,T8,T12 |
1 | 0 | Covered | T7,T8,T12 |
1 | 1 | Covered | T7,T8,T12 |
LINE 97
EXPRESSION (dst_level_q ^ dst_level)
-----1----- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T4,T2 |
0 | 1 | Covered | T7,T8,T12 |
1 | 0 | Covered | T7,T8,T12 |
1 | 1 | Covered | T7,T8,T12 |
Branch Coverage for Instance : tb.dut.u_adc_ctrl_core.u_oneshot_done_sync
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
31 |
2 |
2 |
100.00 |
IF |
89 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_pulse_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 31 if ((!rst_src_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
LineNo. Expression
-1-: 89 if ((!rst_dst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T4,T2 |
0 |
Covered |
T1,T4,T2 |
Assert Coverage for Instance : tb.dut.u_adc_ctrl_core.u_oneshot_done_sync
Assertion Details
DstPulseCheck_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
6334 |
0 |
0 |
T7 |
157614 |
51 |
0 |
0 |
T8 |
288079 |
20 |
0 |
0 |
T9 |
162429 |
0 |
0 |
0 |
T10 |
105021 |
0 |
0 |
0 |
T11 |
244056 |
0 |
0 |
0 |
T12 |
865813 |
35 |
0 |
0 |
T13 |
837488 |
0 |
0 |
0 |
T14 |
109467 |
0 |
0 |
0 |
T15 |
8232 |
0 |
0 |
0 |
T37 |
0 |
20 |
0 |
0 |
T42 |
0 |
20 |
0 |
0 |
T44 |
0 |
50 |
0 |
0 |
T49 |
0 |
27 |
0 |
0 |
T51 |
0 |
39 |
0 |
0 |
T70 |
0 |
55 |
0 |
0 |
T71 |
85496 |
4 |
0 |
0 |
SrcPulseCheck_M
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
35705638 |
6338 |
0 |
0 |
T7 |
22516 |
51 |
0 |
0 |
T8 |
1225 |
20 |
0 |
0 |
T9 |
33839 |
0 |
0 |
0 |
T10 |
4375 |
0 |
0 |
0 |
T11 |
97621 |
0 |
0 |
0 |
T12 |
35337 |
35 |
0 |
0 |
T13 |
76134 |
0 |
0 |
0 |
T14 |
98559 |
0 |
0 |
0 |
T15 |
96 |
0 |
0 |
0 |
T37 |
0 |
20 |
0 |
0 |
T42 |
0 |
20 |
0 |
0 |
T44 |
0 |
50 |
0 |
0 |
T49 |
0 |
27 |
0 |
0 |
T51 |
0 |
39 |
0 |
0 |
T70 |
0 |
55 |
0 |
0 |
T71 |
711 |
4 |
0 |
0 |