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,T3,T4 | 
| 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 | 
464347398 | 
464340433 | 
0 | 
0 | 
| 
selKnown1 | 
154651276 | 
154650476 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
464347398 | 
464340433 | 
0 | 
0 | 
| T1 | 
228075 | 
228069 | 
0 | 
0 | 
| T2 | 
3 | 
0 | 
0 | 
0 | 
| T3 | 
205215 | 
205209 | 
0 | 
0 | 
| T4 | 
241149 | 
241143 | 
0 | 
0 | 
| T5 | 
448185 | 
448179 | 
0 | 
0 | 
| T6 | 
10401 | 
10397 | 
0 | 
0 | 
| T7 | 
214299 | 
214293 | 
0 | 
0 | 
| T8 | 
19 | 
15 | 
0 | 
0 | 
| T9 | 
1042761 | 
1042755 | 
0 | 
0 | 
| T10 | 
131610 | 
131604 | 
0 | 
0 | 
| T11 | 
185928 | 
557745 | 
0 | 
0 | 
| T12 | 
4421 | 
13262 | 
0 | 
0 | 
| T13 | 
12 | 
16 | 
0 | 
0 | 
| T14 | 
320 | 
319 | 
0 | 
0 | 
| T15 | 
2 | 
1 | 
0 | 
0 | 
| T16 | 
3 | 
2 | 
0 | 
0 | 
| T17 | 
0 | 
3 | 
0 | 
0 | 
| T18 | 
0 | 
3 | 
0 | 
0 | 
| T19 | 
0 | 
2 | 
0 | 
0 | 
| T20 | 
0 | 
3 | 
0 | 
0 | 
| T21 | 
0 | 
1 | 
0 | 
0 | 
| T22 | 
0 | 
3 | 
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 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
154651276 | 
154650476 | 
0 | 
0 | 
| T1 | 
75932 | 
75931 | 
0 | 
0 | 
| T3 | 
68382 | 
68381 | 
0 | 
0 | 
| T4 | 
80354 | 
80353 | 
0 | 
0 | 
| T5 | 
149380 | 
149379 | 
0 | 
0 | 
| T6 | 
3466 | 
3465 | 
0 | 
0 | 
| T7 | 
71424 | 
71423 | 
0 | 
0 | 
| T9 | 
347426 | 
347425 | 
0 | 
0 | 
| T10 | 
43860 | 
43859 | 
0 | 
0 | 
| T11 | 
185904 | 
185903 | 
0 | 
0 | 
| T12 | 
4421 | 
4420 | 
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,T3,T4 | 
| 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,T3,T4 | 
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 | 
154651276 | 
154650476 | 
0 | 
0 | 
| 
selKnown1 | 
0 | 
0 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
154651276 | 
154650476 | 
0 | 
0 | 
| T1 | 
75932 | 
75931 | 
0 | 
0 | 
| T3 | 
68382 | 
68381 | 
0 | 
0 | 
| T4 | 
80354 | 
80353 | 
0 | 
0 | 
| T5 | 
149380 | 
149379 | 
0 | 
0 | 
| T6 | 
3466 | 
3465 | 
0 | 
0 | 
| T7 | 
71424 | 
71423 | 
0 | 
0 | 
| T9 | 
347426 | 
347425 | 
0 | 
0 | 
| T10 | 
43860 | 
43859 | 
0 | 
0 | 
| T11 | 
185904 | 
185903 | 
0 | 
0 | 
| T12 | 
4421 | 
4420 | 
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,T3,T4 | 
| 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,T3,T4 | 
| 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 | 
154652210 | 
154651254 | 
0 | 
0 | 
| 
selKnown1 | 
0 | 
0 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
154652210 | 
154651254 | 
0 | 
0 | 
| T1 | 
75933 | 
75932 | 
0 | 
0 | 
| T2 | 
1 | 
0 | 
0 | 
0 | 
| T3 | 
68383 | 
68382 | 
0 | 
0 | 
| T4 | 
80355 | 
80354 | 
0 | 
0 | 
| T5 | 
149381 | 
149380 | 
0 | 
0 | 
| T6 | 
3467 | 
3466 | 
0 | 
0 | 
| T7 | 
71425 | 
71424 | 
0 | 
0 | 
| T8 | 
1 | 
0 | 
0 | 
0 | 
| T9 | 
347427 | 
347426 | 
0 | 
0 | 
| T10 | 
43861 | 
43860 | 
0 | 
0 | 
| T11 | 
0 | 
185904 | 
0 | 
0 | 
| T12 | 
0 | 
4421 | 
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,T3,T4 | 
| 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,T3,T4 | 
| 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 | 
63446 | 
62490 | 
0 | 
0 | 
| 
selKnown1 | 
0 | 
0 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
63446 | 
62490 | 
0 | 
0 | 
| T1 | 
93 | 
92 | 
0 | 
0 | 
| T2 | 
1 | 
0 | 
0 | 
0 | 
| T3 | 
23 | 
22 | 
0 | 
0 | 
| T4 | 
29 | 
28 | 
0 | 
0 | 
| T5 | 
15 | 
14 | 
0 | 
0 | 
| T6 | 
1 | 
0 | 
0 | 
0 | 
| T7 | 
9 | 
8 | 
0 | 
0 | 
| T8 | 
9 | 
8 | 
0 | 
0 | 
| T9 | 
161 | 
160 | 
0 | 
0 | 
| T10 | 
10 | 
9 | 
0 | 
0 | 
| T11 | 
0 | 
12 | 
0 | 
0 | 
| T13 | 
0 | 
6 | 
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,T3,T4 | 
| 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,T3,T4 | 
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 | 
62490 | 
61829 | 
0 | 
0 | 
| 
selKnown1 | 
0 | 
0 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
62490 | 
61829 | 
0 | 
0 | 
| T1 | 
92 | 
91 | 
0 | 
0 | 
| T3 | 
22 | 
21 | 
0 | 
0 | 
| T4 | 
28 | 
27 | 
0 | 
0 | 
| T5 | 
14 | 
13 | 
0 | 
0 | 
| T7 | 
8 | 
7 | 
0 | 
0 | 
| T8 | 
8 | 
7 | 
0 | 
0 | 
| T9 | 
160 | 
159 | 
0 | 
0 | 
| T10 | 
9 | 
8 | 
0 | 
0 | 
| T11 | 
12 | 
11 | 
0 | 
0 | 
| T13 | 
6 | 
5 | 
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,T3,T4 | 
| 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,T3,T4 | 
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 | 
61607 | 
61005 | 
0 | 
0 | 
| 
selKnown1 | 
0 | 
0 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
61607 | 
61005 | 
0 | 
0 | 
| T1 | 
92 | 
91 | 
0 | 
0 | 
| T3 | 
22 | 
21 | 
0 | 
0 | 
| T4 | 
28 | 
27 | 
0 | 
0 | 
| T5 | 
14 | 
13 | 
0 | 
0 | 
| T7 | 
8 | 
7 | 
0 | 
0 | 
| T9 | 
160 | 
159 | 
0 | 
0 | 
| T10 | 
9 | 
8 | 
0 | 
0 | 
| T11 | 
12 | 
11 | 
0 | 
0 | 
| T13 | 
6 | 
5 | 
0 | 
0 | 
| T14 | 
320 | 
319 | 
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 | T6,T8,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 | T6,T8,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 | 
67977 | 
67598 | 
0 | 
0 | 
| 
selKnown1 | 
0 | 
0 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
67977 | 
67598 | 
0 | 
0 | 
| T6 | 
9 | 
8 | 
0 | 
0 | 
| T8 | 
7 | 
6 | 
0 | 
0 | 
| T12 | 
14 | 
13 | 
0 | 
0 | 
| T14 | 
415 | 
414 | 
0 | 
0 | 
| T28 | 
93 | 
92 | 
0 | 
0 | 
| T29 | 
4 | 
3 | 
0 | 
0 | 
| T30 | 
327 | 
326 | 
0 | 
0 | 
| T31 | 
162 | 
161 | 
0 | 
0 | 
| T32 | 
66 | 
65 | 
0 | 
0 | 
| T33 | 
4 | 
3 | 
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 | T6,T12,T14 | 
| 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 | T6,T12,T14 | 
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 | 
67082 | 
66762 | 
0 | 
0 | 
| 
selKnown1 | 
0 | 
0 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
67082 | 
66762 | 
0 | 
0 | 
| T6 | 
9 | 
8 | 
0 | 
0 | 
| T12 | 
14 | 
13 | 
0 | 
0 | 
| T14 | 
415 | 
414 | 
0 | 
0 | 
| T28 | 
93 | 
92 | 
0 | 
0 | 
| T29 | 
4 | 
3 | 
0 | 
0 | 
| T30 | 
327 | 
326 | 
0 | 
0 | 
| T31 | 
162 | 
161 | 
0 | 
0 | 
| T32 | 
66 | 
65 | 
0 | 
0 | 
| T33 | 
4 | 
3 | 
0 | 
0 | 
| T34 | 
196 | 
195 | 
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 | T6,T8,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 | T6,T8,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 | 
67977 | 
67598 | 
0 | 
0 | 
| 
selKnown1 | 
0 | 
0 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
67977 | 
67598 | 
0 | 
0 | 
| T6 | 
9 | 
8 | 
0 | 
0 | 
| T8 | 
7 | 
6 | 
0 | 
0 | 
| T12 | 
14 | 
13 | 
0 | 
0 | 
| T14 | 
415 | 
414 | 
0 | 
0 | 
| T28 | 
93 | 
92 | 
0 | 
0 | 
| T29 | 
4 | 
3 | 
0 | 
0 | 
| T30 | 
327 | 
326 | 
0 | 
0 | 
| T31 | 
162 | 
161 | 
0 | 
0 | 
| T32 | 
66 | 
65 | 
0 | 
0 | 
| T33 | 
4 | 
3 | 
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 | 
1123 | 
167 | 
0 | 
0 | 
| 
selKnown1 | 
0 | 
0 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
1123 | 
167 | 
0 | 
0 | 
| T15 | 
2 | 
1 | 
0 | 
0 | 
| T16 | 
3 | 
2 | 
0 | 
0 | 
| T17 | 
0 | 
3 | 
0 | 
0 | 
| T18 | 
0 | 
3 | 
0 | 
0 | 
| T19 | 
0 | 
2 | 
0 | 
0 | 
| T20 | 
0 | 
3 | 
0 | 
0 | 
| T21 | 
0 | 
1 | 
0 | 
0 | 
| T22 | 
0 | 
3 | 
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 | 
| T35 | 
0 | 
2 | 
0 | 
0 | 
| T36 | 
0 | 
3 | 
0 | 
0 | 
| T37 | 
1 | 
0 | 
0 | 
0 | 
| T38 | 
1 | 
0 | 
0 | 
0 | 
| T39 | 
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,T3,T4 | 
| 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,T3,T4 | 
| 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,T3,T4 | 
| 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 | 
154652210 | 
154651254 | 
0 | 
0 | 
| 
selKnown1 | 
154651276 | 
154650476 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
154652210 | 
154651254 | 
0 | 
0 | 
| T1 | 
75933 | 
75932 | 
0 | 
0 | 
| T2 | 
1 | 
0 | 
0 | 
0 | 
| T3 | 
68383 | 
68382 | 
0 | 
0 | 
| T4 | 
80355 | 
80354 | 
0 | 
0 | 
| T5 | 
149381 | 
149380 | 
0 | 
0 | 
| T6 | 
3467 | 
3466 | 
0 | 
0 | 
| T7 | 
71425 | 
71424 | 
0 | 
0 | 
| T8 | 
1 | 
0 | 
0 | 
0 | 
| T9 | 
347427 | 
347426 | 
0 | 
0 | 
| T10 | 
43861 | 
43860 | 
0 | 
0 | 
| T11 | 
0 | 
185904 | 
0 | 
0 | 
| T12 | 
0 | 
4421 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
154651276 | 
154650476 | 
0 | 
0 | 
| T1 | 
75932 | 
75931 | 
0 | 
0 | 
| T3 | 
68382 | 
68381 | 
0 | 
0 | 
| T4 | 
80354 | 
80353 | 
0 | 
0 | 
| T5 | 
149380 | 
149379 | 
0 | 
0 | 
| T6 | 
3466 | 
3465 | 
0 | 
0 | 
| T7 | 
71424 | 
71423 | 
0 | 
0 | 
| T9 | 
347426 | 
347425 | 
0 | 
0 | 
| T10 | 
43860 | 
43859 | 
0 | 
0 | 
| T11 | 
185904 | 
185903 | 
0 | 
0 | 
| T12 | 
4421 | 
4420 | 
0 | 
0 |