Line Coverage for Module :
prim_generic_clock_mux2
| Line No. | Total | Covered | Percent |
| TOTAL | | 1 | 1 | 100.00 |
| CONT_ASSIGN | 17 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' or '../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 17 |
1 |
1 |
Cond Coverage for Module :
prim_generic_clock_mux2
| Total | Covered | Percent |
| Conditions | 9 | 5 | 55.56 |
| Logical | 9 | 5 | 55.56 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 17
EXPRESSION ((sel_i & clk1_i) | (((~sel_i)) & clk0_i))
--------1------- ----------2----------
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Not Covered | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Not Covered | |
| 1 | 1 | Not Covered | |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
| -1- | -2- | Status | Tests |
| 0 | 1 | Not Covered | |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T1,T2,T3 |
Assert Coverage for Module :
prim_generic_clock_mux2
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete |
|
selKnown0 |
443722990 |
443716029 |
0 |
0 |
|
selKnown1 |
147777566 |
147776770 |
0 |
0 |
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
443722990 |
443716029 |
0 |
0 |
| T1 |
87861 |
87855 |
0 |
0 |
| T2 |
198009 |
198003 |
0 |
0 |
| T3 |
352413 |
352407 |
0 |
0 |
| T4 |
2257943 |
2257533 |
0 |
0 |
| T5 |
52933 |
52927 |
0 |
0 |
| T6 |
561022 |
560985 |
0 |
0 |
| T7 |
285948 |
285942 |
0 |
0 |
| T8 |
100407 |
100401 |
0 |
0 |
| T9 |
14 |
10 |
0 |
0 |
| T10 |
4 |
0 |
0 |
0 |
| T11 |
9067 |
27135 |
0 |
0 |
| T12 |
894 |
2640 |
0 |
0 |
| T13 |
91 |
133 |
0 |
0 |
| T14 |
0 |
3 |
0 |
0 |
| T15 |
0 |
3 |
0 |
0 |
| T16 |
0 |
4 |
0 |
0 |
| T17 |
0 |
2 |
0 |
0 |
| T18 |
0 |
3 |
0 |
0 |
| T19 |
0 |
1 |
0 |
0 |
| T20 |
0 |
2 |
0 |
0 |
| T21 |
0 |
1 |
0 |
0 |
| T22 |
0 |
1 |
0 |
0 |
| T23 |
1 |
0 |
0 |
0 |
| T24 |
137 |
0 |
0 |
0 |
| T25 |
11 |
0 |
0 |
0 |
| T26 |
1 |
0 |
0 |
0 |
| T27 |
1 |
0 |
0 |
0 |
| T28 |
244 |
0 |
0 |
0 |
| T29 |
94 |
0 |
0 |
0 |
| T30 |
9 |
0 |
0 |
0 |
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
147777566 |
147776770 |
0 |
0 |
| T1 |
29270 |
29269 |
0 |
0 |
| T2 |
65992 |
65991 |
0 |
0 |
| T3 |
117459 |
117458 |
0 |
0 |
| T4 |
752166 |
752165 |
0 |
0 |
| T5 |
17636 |
17635 |
0 |
0 |
| T6 |
186850 |
186849 |
0 |
0 |
| T7 |
95254 |
95253 |
0 |
0 |
| T8 |
33454 |
33453 |
0 |
0 |
| T11 |
9026 |
9025 |
0 |
0 |
| T12 |
881 |
880 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_clk_spi_in_mux.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
| TOTAL | | 1 | 1 | 100.00 |
| CONT_ASSIGN | 17 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' or '../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 17 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_clk_spi_in_mux.gen_generic.u_impl_generic
| Total | Covered | Percent |
| Conditions | 9 | 4 | 44.44 |
| Logical | 9 | 4 | 44.44 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 17
EXPRESSION ((sel_i & clk1_i) | (((~sel_i)) & clk0_i))
--------1------- ----------2----------
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Not Covered | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
| -1- | -2- | Status | Tests |
| 0 | 1 | Not Covered | |
| 1 | 0 | Not Covered | |
| 1 | 1 | Not Covered | |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
| -1- | -2- | Status | Tests |
| 0 | 1 | Not Covered | |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T1,T2,T3 |
Assert Coverage for Instance : tb.dut.u_clk_spi_in_mux.gen_generic.u_impl_generic
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete |
|
selKnown0 |
147777566 |
147776770 |
0 |
0 |
|
selKnown1 |
0 |
0 |
0 |
0 |
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
147777566 |
147776770 |
0 |
0 |
| T1 |
29270 |
29269 |
0 |
0 |
| T2 |
65992 |
65991 |
0 |
0 |
| T3 |
117459 |
117458 |
0 |
0 |
| T4 |
752166 |
752165 |
0 |
0 |
| T5 |
17636 |
17635 |
0 |
0 |
| T6 |
186850 |
186849 |
0 |
0 |
| T7 |
95254 |
95253 |
0 |
0 |
| T8 |
33454 |
33453 |
0 |
0 |
| T11 |
9026 |
9025 |
0 |
0 |
| T12 |
881 |
880 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_clk_spi_out_mux.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
| TOTAL | | 1 | 1 | 100.00 |
| CONT_ASSIGN | 17 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' or '../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 17 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_clk_spi_out_mux.gen_generic.u_impl_generic
| Total | Covered | Percent |
| Conditions | 9 | 4 | 44.44 |
| Logical | 9 | 4 | 44.44 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 17
EXPRESSION ((sel_i & clk1_i) | (((~sel_i)) & clk0_i))
--------1------- ----------2----------
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Not Covered | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
| -1- | -2- | Status | Tests |
| 0 | 1 | Not Covered | |
| 1 | 0 | Not Covered | |
| 1 | 1 | Not Covered | |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
| -1- | -2- | Status | Tests |
| 0 | 1 | Not Covered | |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T1,T2,T3 |
Assert Coverage for Instance : tb.dut.u_clk_spi_out_mux.gen_generic.u_impl_generic
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete |
|
selKnown0 |
147778497 |
147777541 |
0 |
0 |
|
selKnown1 |
0 |
0 |
0 |
0 |
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
147778497 |
147777541 |
0 |
0 |
| T1 |
29271 |
29270 |
0 |
0 |
| T2 |
65993 |
65992 |
0 |
0 |
| T3 |
117460 |
117459 |
0 |
0 |
| T4 |
752167 |
752166 |
0 |
0 |
| T5 |
17636 |
17635 |
0 |
0 |
| T6 |
186851 |
186850 |
0 |
0 |
| T7 |
95255 |
95254 |
0 |
0 |
| T8 |
33455 |
33454 |
0 |
0 |
| T9 |
1 |
0 |
0 |
0 |
| T10 |
1 |
0 |
0 |
0 |
| T11 |
0 |
9026 |
0 |
0 |
| T12 |
0 |
880 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_clk_csb_mux.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
| TOTAL | | 1 | 1 | 100.00 |
| CONT_ASSIGN | 17 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' or '../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 17 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_clk_csb_mux.gen_generic.u_impl_generic
| Total | Covered | Percent |
| Conditions | 9 | 4 | 44.44 |
| Logical | 9 | 4 | 44.44 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 17
EXPRESSION ((sel_i & clk1_i) | (((~sel_i)) & clk0_i))
--------1------- ----------2----------
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Not Covered | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
| -1- | -2- | Status | Tests |
| 0 | 1 | Not Covered | |
| 1 | 0 | Not Covered | |
| 1 | 1 | Not Covered | |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
| -1- | -2- | Status | Tests |
| 0 | 1 | Not Covered | |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T1,T2,T3 |
Assert Coverage for Instance : tb.dut.u_clk_csb_mux.gen_generic.u_impl_generic
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete |
|
selKnown0 |
62752 |
61796 |
0 |
0 |
|
selKnown1 |
0 |
0 |
0 |
0 |
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
62752 |
61796 |
0 |
0 |
| T1 |
17 |
16 |
0 |
0 |
| T2 |
11 |
10 |
0 |
0 |
| T3 |
12 |
11 |
0 |
0 |
| T4 |
347 |
346 |
0 |
0 |
| T5 |
9 |
8 |
0 |
0 |
| T6 |
147 |
146 |
0 |
0 |
| T7 |
62 |
61 |
0 |
0 |
| T8 |
15 |
14 |
0 |
0 |
| T9 |
1 |
0 |
0 |
0 |
| T10 |
1 |
0 |
0 |
0 |
| T11 |
0 |
20 |
0 |
0 |
| T13 |
0 |
45 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_csb_rst_scan_mux.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
| TOTAL | | 1 | 1 | 100.00 |
| CONT_ASSIGN | 17 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' or '../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 17 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_csb_rst_scan_mux.gen_generic.u_impl_generic
| Total | Covered | Percent |
| Conditions | 9 | 4 | 44.44 |
| Logical | 9 | 4 | 44.44 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 17
EXPRESSION ((sel_i & clk1_i) | (((~sel_i)) & clk0_i))
--------1------- ----------2----------
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Not Covered | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
| -1- | -2- | Status | Tests |
| 0 | 1 | Not Covered | |
| 1 | 0 | Not Covered | |
| 1 | 1 | Not Covered | |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
| -1- | -2- | Status | Tests |
| 0 | 1 | Not Covered | |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T1,T2,T3 |
Assert Coverage for Instance : tb.dut.u_csb_rst_scan_mux.gen_generic.u_impl_generic
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete |
|
selKnown0 |
61796 |
61126 |
0 |
0 |
|
selKnown1 |
0 |
0 |
0 |
0 |
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
61796 |
61126 |
0 |
0 |
| T1 |
16 |
15 |
0 |
0 |
| T2 |
10 |
9 |
0 |
0 |
| T3 |
11 |
10 |
0 |
0 |
| T4 |
346 |
345 |
0 |
0 |
| T5 |
8 |
7 |
0 |
0 |
| T6 |
146 |
145 |
0 |
0 |
| T7 |
61 |
60 |
0 |
0 |
| T8 |
14 |
13 |
0 |
0 |
| T11 |
20 |
19 |
0 |
0 |
| T13 |
45 |
44 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_csb_rst_out_scan_mux.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
| TOTAL | | 1 | 1 | 100.00 |
| CONT_ASSIGN | 17 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' or '../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 17 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_csb_rst_out_scan_mux.gen_generic.u_impl_generic
| Total | Covered | Percent |
| Conditions | 9 | 4 | 44.44 |
| Logical | 9 | 4 | 44.44 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 17
EXPRESSION ((sel_i & clk1_i) | (((~sel_i)) & clk0_i))
--------1------- ----------2----------
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Not Covered | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
| -1- | -2- | Status | Tests |
| 0 | 1 | Not Covered | |
| 1 | 0 | Not Covered | |
| 1 | 1 | Not Covered | |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
| -1- | -2- | Status | Tests |
| 0 | 1 | Not Covered | |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T1,T2,T3 |
Assert Coverage for Instance : tb.dut.u_csb_rst_out_scan_mux.gen_generic.u_impl_generic
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete |
|
selKnown0 |
60815 |
60208 |
0 |
0 |
|
selKnown1 |
0 |
0 |
0 |
0 |
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
60815 |
60208 |
0 |
0 |
| T1 |
16 |
15 |
0 |
0 |
| T2 |
10 |
9 |
0 |
0 |
| T3 |
11 |
10 |
0 |
0 |
| T4 |
346 |
345 |
0 |
0 |
| T5 |
8 |
7 |
0 |
0 |
| T6 |
146 |
145 |
0 |
0 |
| T7 |
61 |
60 |
0 |
0 |
| T8 |
14 |
13 |
0 |
0 |
| T11 |
20 |
19 |
0 |
0 |
| T13 |
45 |
44 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_tpm_csb_rst_scan_mux.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
| TOTAL | | 1 | 1 | 100.00 |
| CONT_ASSIGN | 17 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' or '../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 17 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_tpm_csb_rst_scan_mux.gen_generic.u_impl_generic
| Total | Covered | Percent |
| Conditions | 9 | 4 | 44.44 |
| Logical | 9 | 4 | 44.44 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 17
EXPRESSION ((sel_i & clk1_i) | (((~sel_i)) & clk0_i))
--------1------- ----------2----------
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T4,T6,T12 |
| 1 | 0 | Not Covered | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
| -1- | -2- | Status | Tests |
| 0 | 1 | Not Covered | |
| 1 | 0 | Not Covered | |
| 1 | 1 | Not Covered | |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
| -1- | -2- | Status | Tests |
| 0 | 1 | Not Covered | |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T4,T6,T12 |
Assert Coverage for Instance : tb.dut.u_tpm_csb_rst_scan_mux.gen_generic.u_impl_generic
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete |
|
selKnown0 |
67627 |
67251 |
0 |
0 |
|
selKnown1 |
0 |
0 |
0 |
0 |
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
67627 |
67251 |
0 |
0 |
| T4 |
404 |
403 |
0 |
0 |
| T6 |
31 |
30 |
0 |
0 |
| T12 |
12 |
11 |
0 |
0 |
| T24 |
136 |
135 |
0 |
0 |
| T25 |
10 |
9 |
0 |
0 |
| T28 |
244 |
243 |
0 |
0 |
| T29 |
94 |
93 |
0 |
0 |
| T30 |
9 |
8 |
0 |
0 |
| T31 |
9 |
8 |
0 |
0 |
| T32 |
6 |
5 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_tpm_rst_out_scan_mux.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
| TOTAL | | 1 | 1 | 100.00 |
| CONT_ASSIGN | 17 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' or '../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 17 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_tpm_rst_out_scan_mux.gen_generic.u_impl_generic
| Total | Covered | Percent |
| Conditions | 9 | 4 | 44.44 |
| Logical | 9 | 4 | 44.44 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 17
EXPRESSION ((sel_i & clk1_i) | (((~sel_i)) & clk0_i))
--------1------- ----------2----------
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T4,T6,T12 |
| 1 | 0 | Not Covered | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
| -1- | -2- | Status | Tests |
| 0 | 1 | Not Covered | |
| 1 | 0 | Not Covered | |
| 1 | 1 | Not Covered | |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
| -1- | -2- | Status | Tests |
| 0 | 1 | Not Covered | |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T4,T6,T12 |
Assert Coverage for Instance : tb.dut.u_tpm_rst_out_scan_mux.gen_generic.u_impl_generic
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete |
|
selKnown0 |
66684 |
66372 |
0 |
0 |
|
selKnown1 |
0 |
0 |
0 |
0 |
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
66684 |
66372 |
0 |
0 |
| T4 |
404 |
403 |
0 |
0 |
| T6 |
31 |
30 |
0 |
0 |
| T12 |
12 |
11 |
0 |
0 |
| T24 |
136 |
135 |
0 |
0 |
| T25 |
10 |
9 |
0 |
0 |
| T28 |
244 |
243 |
0 |
0 |
| T29 |
94 |
93 |
0 |
0 |
| T30 |
9 |
8 |
0 |
0 |
| T33 |
119 |
118 |
0 |
0 |
| T34 |
136 |
135 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_tpm_csb_rst_sync.g_scan_mux.u_scan_mux.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
| TOTAL | | 1 | 1 | 100.00 |
| CONT_ASSIGN | 17 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' or '../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 17 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_tpm_csb_rst_sync.g_scan_mux.u_scan_mux.gen_generic.u_impl_generic
| Total | Covered | Percent |
| Conditions | 9 | 4 | 44.44 |
| Logical | 9 | 4 | 44.44 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 17
EXPRESSION ((sel_i & clk1_i) | (((~sel_i)) & clk0_i))
--------1------- ----------2----------
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T4,T6,T12 |
| 1 | 0 | Not Covered | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
| -1- | -2- | Status | Tests |
| 0 | 1 | Not Covered | |
| 1 | 0 | Not Covered | |
| 1 | 1 | Not Covered | |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
| -1- | -2- | Status | Tests |
| 0 | 1 | Not Covered | |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T4,T6,T12 |
Assert Coverage for Instance : tb.dut.u_tpm_csb_rst_sync.g_scan_mux.u_scan_mux.gen_generic.u_impl_generic
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete |
|
selKnown0 |
67627 |
67251 |
0 |
0 |
|
selKnown1 |
0 |
0 |
0 |
0 |
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
67627 |
67251 |
0 |
0 |
| T4 |
404 |
403 |
0 |
0 |
| T6 |
31 |
30 |
0 |
0 |
| T12 |
12 |
11 |
0 |
0 |
| T24 |
136 |
135 |
0 |
0 |
| T25 |
10 |
9 |
0 |
0 |
| T28 |
244 |
243 |
0 |
0 |
| T29 |
94 |
93 |
0 |
0 |
| T30 |
9 |
8 |
0 |
0 |
| T31 |
9 |
8 |
0 |
0 |
| T32 |
6 |
5 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_spid_status.u_csb_rst_scan_mux.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
| TOTAL | | 1 | 1 | 100.00 |
| CONT_ASSIGN | 17 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' or '../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 17 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_spid_status.u_csb_rst_scan_mux.gen_generic.u_impl_generic
| Total | Covered | Percent |
| Conditions | 9 | 4 | 44.44 |
| Logical | 9 | 4 | 44.44 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 17
EXPRESSION ((sel_i & clk1_i) | (((~sel_i)) & clk0_i))
--------1------- ----------2----------
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Not Covered | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
| -1- | -2- | Status | Tests |
| 0 | 1 | Not Covered | |
| 1 | 0 | Not Covered | |
| 1 | 1 | Not Covered | |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
| -1- | -2- | Status | Tests |
| 0 | 1 | Not Covered | |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T1,T2,T3 |
Assert Coverage for Instance : tb.dut.u_spid_status.u_csb_rst_scan_mux.gen_generic.u_impl_generic
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete |
|
selKnown0 |
1129 |
173 |
0 |
0 |
|
selKnown1 |
0 |
0 |
0 |
0 |
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
1129 |
173 |
0 |
0 |
| T9 |
11 |
10 |
0 |
0 |
| T10 |
1 |
0 |
0 |
0 |
| T11 |
1 |
0 |
0 |
0 |
| T12 |
1 |
0 |
0 |
0 |
| T13 |
1 |
0 |
0 |
0 |
| T14 |
0 |
3 |
0 |
0 |
| T15 |
0 |
3 |
0 |
0 |
| T16 |
0 |
4 |
0 |
0 |
| T17 |
0 |
2 |
0 |
0 |
| T18 |
0 |
3 |
0 |
0 |
| T19 |
0 |
1 |
0 |
0 |
| T20 |
0 |
2 |
0 |
0 |
| T21 |
0 |
1 |
0 |
0 |
| T22 |
0 |
1 |
0 |
0 |
| T23 |
1 |
0 |
0 |
0 |
| T24 |
1 |
0 |
0 |
0 |
| T25 |
1 |
0 |
0 |
0 |
| T26 |
1 |
0 |
0 |
0 |
| T27 |
1 |
0 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic
| Line No. | Total | Covered | Percent |
| TOTAL | | 1 | 1 | 100.00 |
| CONT_ASSIGN | 17 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' or '../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 17 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic
| Total | Covered | Percent |
| Conditions | 9 | 5 | 55.56 |
| Logical | 9 | 5 | 55.56 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 17
EXPRESSION ((sel_i & clk1_i) | (((~sel_i)) & clk0_i))
--------1------- ----------2----------
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Not Covered | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Not Covered | |
| 1 | 1 | Not Covered | |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
| -1- | -2- | Status | Tests |
| 0 | 1 | Not Covered | |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T1,T2,T3 |
Assert Coverage for Instance : tb.dut.u_clk_spi.gen_generic.u_impl_generic.gen_scan.i_dft_tck_mux.gen_generic.u_impl_generic
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete |
|
selKnown0 |
147778497 |
147777541 |
0 |
0 |
|
selKnown1 |
147777566 |
147776770 |
0 |
0 |
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
147778497 |
147777541 |
0 |
0 |
| T1 |
29271 |
29270 |
0 |
0 |
| T2 |
65993 |
65992 |
0 |
0 |
| T3 |
117460 |
117459 |
0 |
0 |
| T4 |
752167 |
752166 |
0 |
0 |
| T5 |
17636 |
17635 |
0 |
0 |
| T6 |
186851 |
186850 |
0 |
0 |
| T7 |
95255 |
95254 |
0 |
0 |
| T8 |
33455 |
33454 |
0 |
0 |
| T9 |
1 |
0 |
0 |
0 |
| T10 |
1 |
0 |
0 |
0 |
| T11 |
0 |
9026 |
0 |
0 |
| T12 |
0 |
880 |
0 |
0 |
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
147777566 |
147776770 |
0 |
0 |
| T1 |
29270 |
29269 |
0 |
0 |
| T2 |
65992 |
65991 |
0 |
0 |
| T3 |
117459 |
117458 |
0 |
0 |
| T4 |
752166 |
752165 |
0 |
0 |
| T5 |
17636 |
17635 |
0 |
0 |
| T6 |
186850 |
186849 |
0 |
0 |
| T7 |
95254 |
95253 |
0 |
0 |
| T8 |
33454 |
33453 |
0 |
0 |
| T11 |
9026 |
9025 |
0 |
0 |
| T12 |
881 |
880 |
0 |
0 |