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 | T5,T8,T11 | 
| 1 | 0 | Not Covered |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T34,T8,T11 | 
| 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 | T5,T8,T11 | 
Assert Coverage for Module : 
prim_generic_clock_mux2
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete | 
| 
selKnown0 | 
32390 | 
31862 | 
0 | 
0 | 
| 
selKnown1 | 
150247 | 
148840 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
32390 | 
31862 | 
0 | 
0 | 
| T6 | 
4 | 
3 | 
0 | 
0 | 
| T8 | 
1 | 
0 | 
0 | 
0 | 
| T11 | 
896 | 
895 | 
0 | 
0 | 
| T14 | 
33 | 
32 | 
0 | 
0 | 
| T28 | 
2 | 
6 | 
0 | 
0 | 
| T29 | 
3 | 
2 | 
0 | 
0 | 
| T30 | 
4 | 
3 | 
0 | 
0 | 
| T33 | 
11 | 
10 | 
0 | 
0 | 
| T47 | 
21 | 
20 | 
0 | 
0 | 
| T48 | 
3 | 
2 | 
0 | 
0 | 
| T64 | 
3 | 
2 | 
0 | 
0 | 
| T65 | 
3 | 
2 | 
0 | 
0 | 
| T66 | 
6 | 
5 | 
0 | 
0 | 
| T73 | 
4 | 
3 | 
0 | 
0 | 
| T170 | 
2 | 
1 | 
0 | 
0 | 
| T171 | 
0 | 
1 | 
0 | 
0 | 
| T172 | 
2 | 
1 | 
0 | 
0 | 
| T173 | 
13 | 
12 | 
0 | 
0 | 
| T174 | 
3 | 
2 | 
0 | 
0 | 
| T175 | 
8 | 
7 | 
0 | 
0 | 
| T176 | 
5 | 
4 | 
0 | 
0 | 
| T177 | 
8 | 
7 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
150247 | 
148840 | 
0 | 
0 | 
| T1 | 
2 | 
1 | 
0 | 
0 | 
| T2 | 
2 | 
1 | 
0 | 
0 | 
| T3 | 
1 | 
0 | 
0 | 
0 | 
| T4 | 
1 | 
0 | 
0 | 
0 | 
| T5 | 
1 | 
0 | 
0 | 
0 | 
| T6 | 
6 | 
5 | 
0 | 
0 | 
| T7 | 
0 | 
10 | 
0 | 
0 | 
| T15 | 
0 | 
1 | 
0 | 
0 | 
| T28 | 
10 | 
15 | 
0 | 
0 | 
| T29 | 
12 | 
26 | 
0 | 
0 | 
| T30 | 
9 | 
14 | 
0 | 
0 | 
| T31 | 
3 | 
2 | 
0 | 
0 | 
| T32 | 
1 | 
0 | 
0 | 
0 | 
| T33 | 
12 | 
24 | 
0 | 
0 | 
| T34 | 
545 | 
544 | 
0 | 
0 | 
| T36 | 
1 | 
0 | 
0 | 
0 | 
| T47 | 
1 | 
0 | 
0 | 
0 | 
| T48 | 
0 | 
2 | 
0 | 
0 | 
| T92 | 
0 | 
2 | 
0 | 
0 | 
| T93 | 
0 | 
2 | 
0 | 
0 | 
| T94 | 
0 | 
8 | 
0 | 
0 | 
| T172 | 
2 | 
3 | 
0 | 
0 | 
| T173 | 
13 | 
29 | 
0 | 
0 | 
| T174 | 
10 | 
9 | 
0 | 
0 | 
| T175 | 
4 | 
3 | 
0 | 
0 | 
| T176 | 
6 | 
5 | 
0 | 
0 | 
| T177 | 
22 | 
21 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_pinmux_strap_sampling.u_rst_por_aon_n_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.top_earlgrey.u_pinmux_aon.u_pinmux_strap_sampling.u_rst_por_aon_n_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 | T6,T47,T14 | 
| 0 | 1 | Covered | T6,T47,T14 | 
| 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 | T6,T47,T14 | 
| 1 | 1 | Covered | T6,T47,T14 | 
Assert Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_pinmux_strap_sampling.u_rst_por_aon_n_mux.gen_generic.u_impl_generic
Assertion Details
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
936 | 
803 | 
0 | 
0 | 
| T6 | 
4 | 
3 | 
0 | 
0 | 
| T8 | 
1 | 
0 | 
0 | 
0 | 
| T14 | 
33 | 
32 | 
0 | 
0 | 
| T47 | 
21 | 
20 | 
0 | 
0 | 
| T48 | 
3 | 
2 | 
0 | 
0 | 
| T64 | 
3 | 
2 | 
0 | 
0 | 
| T65 | 
3 | 
2 | 
0 | 
0 | 
| T66 | 
6 | 
5 | 
0 | 
0 | 
| T73 | 
4 | 
3 | 
0 | 
0 | 
| T170 | 
2 | 
1 | 
0 | 
0 | 
| T171 | 
0 | 
1 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
1777 | 
760 | 
0 | 
0 | 
| T1 | 
2 | 
1 | 
0 | 
0 | 
| T2 | 
2 | 
1 | 
0 | 
0 | 
| T3 | 
1 | 
0 | 
0 | 
0 | 
| T4 | 
1 | 
0 | 
0 | 
0 | 
| T5 | 
1 | 
0 | 
0 | 
0 | 
| T6 | 
6 | 
5 | 
0 | 
0 | 
| T7 | 
0 | 
10 | 
0 | 
0 | 
| T15 | 
0 | 
1 | 
0 | 
0 | 
| T31 | 
3 | 
2 | 
0 | 
0 | 
| T32 | 
1 | 
0 | 
0 | 
0 | 
| T36 | 
1 | 
0 | 
0 | 
0 | 
| T47 | 
1 | 
0 | 
0 | 
0 | 
| T48 | 
0 | 
2 | 
0 | 
0 | 
| T92 | 
0 | 
2 | 
0 | 
0 | 
| T93 | 
0 | 
2 | 
0 | 
0 | 
| T94 | 
0 | 
8 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_padring.gen_dio_pads[11].gen_mux_spi_host_d2.u_mux_dio_out.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_padring.gen_dio_pads[11].gen_mux_spi_host_d2.u_mux_dio_out.gen_generic.u_impl_generic
 | Total | Covered | Percent | 
| Conditions | 5 | 5 | 100.00 | 
| Logical | 5 | 5 | 100.00 | 
| 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 | T11,T12,T42 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T34,T11,T12 | 
| 1 | 0 | Unreachable |  | 
| 1 | 1 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (((~sel_i)) & clk0_i)
                 -----1----   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Unreachable |  | 
| 1 | 0 | Covered | T1,T2,T3 | 
| 1 | 1 | Covered | T11,T12,T42 | 
Assert Coverage for Instance : tb.dut.u_padring.gen_dio_pads[11].gen_mux_spi_host_d2.u_mux_dio_out.gen_generic.u_impl_generic
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete | 
| 
selKnown0 | 
5803 | 
5782 | 
0 | 
0 | 
| 
selKnown1 | 
2391 | 
2371 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
5803 | 
5782 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T10 | 
1 | 
0 | 
0 | 
0 | 
| T11 | 
896 | 
895 | 
0 | 
0 | 
| T12 | 
123 | 
122 | 
0 | 
0 | 
| T28 | 
0 | 
5 | 
0 | 
0 | 
| T42 | 
1026 | 
1025 | 
0 | 
0 | 
| T178 | 
19 | 
18 | 
0 | 
0 | 
| T179 | 
288 | 
287 | 
0 | 
0 | 
| T180 | 
1026 | 
1025 | 
0 | 
0 | 
| T181 | 
1026 | 
1025 | 
0 | 
0 | 
| T182 | 
221 | 
220 | 
0 | 
0 | 
| T183 | 
0 | 
1023 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
2391 | 
2371 | 
0 | 
0 | 
| T11 | 
1 | 
0 | 
0 | 
0 | 
| T12 | 
1 | 
0 | 
0 | 
0 | 
| T28 | 
0 | 
6 | 
0 | 
0 | 
| T29 | 
0 | 
15 | 
0 | 
0 | 
| T30 | 
0 | 
6 | 
0 | 
0 | 
| T33 | 
0 | 
13 | 
0 | 
0 | 
| T34 | 
545 | 
544 | 
0 | 
0 | 
| T42 | 
576 | 
575 | 
0 | 
0 | 
| T172 | 
0 | 
2 | 
0 | 
0 | 
| T173 | 
0 | 
17 | 
0 | 
0 | 
| T178 | 
1 | 
0 | 
0 | 
0 | 
| T179 | 
1 | 
0 | 
0 | 
0 | 
| T180 | 
576 | 
575 | 
0 | 
0 | 
| T181 | 
576 | 
575 | 
0 | 
0 | 
| T182 | 
1 | 
0 | 
0 | 
0 | 
| T183 | 
1 | 
0 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_padring.gen_dio_pads[11].gen_mux_spi_host_d2.u_mux_dio_oe.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_padring.gen_dio_pads[11].gen_mux_spi_host_d2.u_mux_dio_oe.gen_generic.u_impl_generic
 | Total | Covered | Percent | 
| Conditions | 5 | 5 | 100.00 | 
| Logical | 5 | 5 | 100.00 | 
| 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 | T8,T9,T10 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T34,T8,T42 | 
| 1 | 0 | Unreachable |  | 
| 1 | 1 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (((~sel_i)) & clk0_i)
                 -----1----   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Unreachable |  | 
| 1 | 0 | Covered | T1,T2,T3 | 
| 1 | 1 | Covered | T8,T9,T10 | 
Assert Coverage for Instance : tb.dut.u_padring.gen_dio_pads[11].gen_mux_spi_host_d2.u_mux_dio_oe.gen_generic.u_impl_generic
Assertion Details
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
62 | 
49 | 
0 | 
0 | 
| T28 | 
2 | 
1 | 
0 | 
0 | 
| T29 | 
3 | 
2 | 
0 | 
0 | 
| T30 | 
4 | 
3 | 
0 | 
0 | 
| T33 | 
11 | 
10 | 
0 | 
0 | 
| T172 | 
2 | 
1 | 
0 | 
0 | 
| T173 | 
13 | 
12 | 
0 | 
0 | 
| T174 | 
3 | 
2 | 
0 | 
0 | 
| T175 | 
8 | 
7 | 
0 | 
0 | 
| T176 | 
5 | 
4 | 
0 | 
0 | 
| T177 | 
8 | 
7 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
106 | 
90 | 
0 | 
0 | 
| T28 | 
10 | 
9 | 
0 | 
0 | 
| T29 | 
12 | 
11 | 
0 | 
0 | 
| T30 | 
9 | 
8 | 
0 | 
0 | 
| T33 | 
12 | 
11 | 
0 | 
0 | 
| T172 | 
2 | 
1 | 
0 | 
0 | 
| T173 | 
13 | 
12 | 
0 | 
0 | 
| T174 | 
10 | 
9 | 
0 | 
0 | 
| T175 | 
4 | 
3 | 
0 | 
0 | 
| T176 | 
6 | 
5 | 
0 | 
0 | 
| T177 | 
22 | 
21 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_padring.gen_dio_pads[12].gen_mux_spi_host_d3.u_mux_dio_out.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_padring.gen_dio_pads[12].gen_mux_spi_host_d3.u_mux_dio_out.gen_generic.u_impl_generic
 | Total | Covered | Percent | 
| Conditions | 5 | 5 | 100.00 | 
| Logical | 5 | 5 | 100.00 | 
| 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 | T11,T12,T42 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T34,T13,T42 | 
| 1 | 0 | Unreachable |  | 
| 1 | 1 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (((~sel_i)) & clk0_i)
                 -----1----   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Unreachable |  | 
| 1 | 0 | Covered | T1,T2,T3 | 
| 1 | 1 | Covered | T11,T12,T42 | 
Assert Coverage for Instance : tb.dut.u_padring.gen_dio_pads[12].gen_mux_spi_host_d3.u_mux_dio_out.gen_generic.u_impl_generic
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete | 
| 
selKnown0 | 
5832 | 
5812 | 
0 | 
0 | 
| 
selKnown1 | 
138 | 
121 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
5832 | 
5812 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T11 | 
929 | 
928 | 
0 | 
0 | 
| T12 | 
125 | 
124 | 
0 | 
0 | 
| T28 | 
0 | 
3 | 
0 | 
0 | 
| T42 | 
1026 | 
1025 | 
0 | 
0 | 
| T178 | 
19 | 
18 | 
0 | 
0 | 
| T179 | 
296 | 
295 | 
0 | 
0 | 
| T180 | 
1025 | 
1024 | 
0 | 
0 | 
| T181 | 
1026 | 
1025 | 
0 | 
0 | 
| T182 | 
217 | 
216 | 
0 | 
0 | 
| T183 | 
1013 | 
1012 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
138 | 
121 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T13 | 
1 | 
0 | 
0 | 
0 | 
| T28 | 
6 | 
5 | 
0 | 
0 | 
| T29 | 
17 | 
16 | 
0 | 
0 | 
| T30 | 
16 | 
15 | 
0 | 
0 | 
| T33 | 
0 | 
5 | 
0 | 
0 | 
| T34 | 
2 | 
1 | 
0 | 
0 | 
| T35 | 
1 | 
0 | 
0 | 
0 | 
| T42 | 
2 | 
1 | 
0 | 
0 | 
| T172 | 
0 | 
11 | 
0 | 
0 | 
| T173 | 
0 | 
23 | 
0 | 
0 | 
| T180 | 
2 | 
1 | 
0 | 
0 | 
| T181 | 
2 | 
1 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_padring.gen_dio_pads[12].gen_mux_spi_host_d3.u_mux_dio_oe.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_padring.gen_dio_pads[12].gen_mux_spi_host_d3.u_mux_dio_oe.gen_generic.u_impl_generic
 | Total | Covered | Percent | 
| Conditions | 5 | 5 | 100.00 | 
| Logical | 5 | 5 | 100.00 | 
| 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 | T9,T10,T28 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T34,T42,T9 | 
| 1 | 0 | Unreachable |  | 
| 1 | 1 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (((~sel_i)) & clk0_i)
                 -----1----   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Unreachable |  | 
| 1 | 0 | Covered | T1,T2,T3 | 
| 1 | 1 | Covered | T9,T10,T28 | 
Assert Coverage for Instance : tb.dut.u_padring.gen_dio_pads[12].gen_mux_spi_host_d3.u_mux_dio_oe.gen_generic.u_impl_generic
Assertion Details
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
59 | 
47 | 
0 | 
0 | 
| T28 | 
3 | 
2 | 
0 | 
0 | 
| T29 | 
7 | 
6 | 
0 | 
0 | 
| T30 | 
7 | 
6 | 
0 | 
0 | 
| T33 | 
10 | 
9 | 
0 | 
0 | 
| T172 | 
6 | 
5 | 
0 | 
0 | 
| T173 | 
8 | 
7 | 
0 | 
0 | 
| T174 | 
4 | 
3 | 
0 | 
0 | 
| T175 | 
5 | 
4 | 
0 | 
0 | 
| T176 | 
3 | 
2 | 
0 | 
0 | 
| T177 | 
4 | 
3 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
107 | 
91 | 
0 | 
0 | 
| T28 | 
6 | 
5 | 
0 | 
0 | 
| T29 | 
12 | 
11 | 
0 | 
0 | 
| T30 | 
9 | 
8 | 
0 | 
0 | 
| T33 | 
8 | 
7 | 
0 | 
0 | 
| T172 | 
7 | 
6 | 
0 | 
0 | 
| T173 | 
19 | 
18 | 
0 | 
0 | 
| T174 | 
19 | 
18 | 
0 | 
0 | 
| T175 | 
6 | 
5 | 
0 | 
0 | 
| T176 | 
2 | 
1 | 
0 | 
0 | 
| T177 | 
13 | 
12 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_padring.gen_dio_pads[17].gen_mux_spi_dev_d2.u_mux_dio_out.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_padring.gen_dio_pads[17].gen_mux_spi_dev_d2.u_mux_dio_out.gen_generic.u_impl_generic
 | Total | Covered | Percent | 
| Conditions | 5 | 5 | 100.00 | 
| Logical | 5 | 5 | 100.00 | 
| 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 | T5,T11,T12 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T42,T180,T181 | 
| 1 | 0 | Unreachable |  | 
| 1 | 1 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (((~sel_i)) & clk0_i)
                 -----1----   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Unreachable |  | 
| 1 | 0 | Covered | T1,T2,T3 | 
| 1 | 1 | Covered | T5,T11,T12 | 
Assert Coverage for Instance : tb.dut.u_padring.gen_dio_pads[17].gen_mux_spi_dev_d2.u_mux_dio_out.gen_generic.u_impl_generic
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete | 
| 
selKnown0 | 
6142 | 
6119 | 
0 | 
0 | 
| 
selKnown1 | 
452 | 
439 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
6142 | 
6119 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T11 | 
879 | 
878 | 
0 | 
0 | 
| T12 | 
252 | 
251 | 
0 | 
0 | 
| T28 | 
0 | 
6 | 
0 | 
0 | 
| T29 | 
0 | 
13 | 
0 | 
0 | 
| T42 | 
1025 | 
1024 | 
0 | 
0 | 
| T53 | 
1 | 
0 | 
0 | 
0 | 
| T54 | 
1 | 
0 | 
0 | 
0 | 
| T178 | 
1 | 
0 | 
0 | 
0 | 
| T179 | 
392 | 
391 | 
0 | 
0 | 
| T180 | 
1025 | 
1024 | 
0 | 
0 | 
| T181 | 
1025 | 
1024 | 
0 | 
0 | 
| T182 | 
0 | 
381 | 
0 | 
0 | 
| T183 | 
0 | 
1005 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
452 | 
439 | 
0 | 
0 | 
| T28 | 
5 | 
4 | 
0 | 
0 | 
| T29 | 
10 | 
9 | 
0 | 
0 | 
| T30 | 
10 | 
9 | 
0 | 
0 | 
| T33 | 
11 | 
10 | 
0 | 
0 | 
| T42 | 
117 | 
116 | 
0 | 
0 | 
| T172 | 
8 | 
7 | 
0 | 
0 | 
| T173 | 
23 | 
22 | 
0 | 
0 | 
| T174 | 
11 | 
10 | 
0 | 
0 | 
| T180 | 
117 | 
116 | 
0 | 
0 | 
| T181 | 
118 | 
117 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_padring.gen_dio_pads[17].gen_mux_spi_dev_d2.u_mux_dio_oe.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_padring.gen_dio_pads[17].gen_mux_spi_dev_d2.u_mux_dio_oe.gen_generic.u_impl_generic
 | Total | Covered | Percent | 
| Conditions | 5 | 5 | 100.00 | 
| Logical | 5 | 5 | 100.00 | 
| 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 | T5,T8,T11 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T8,T42,T180 | 
| 1 | 0 | Unreachable |  | 
| 1 | 1 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (((~sel_i)) & clk0_i)
                 -----1----   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Unreachable |  | 
| 1 | 0 | Covered | T1,T2,T3 | 
| 1 | 1 | Covered | T5,T8,T11 | 
Assert Coverage for Instance : tb.dut.u_padring.gen_dio_pads[17].gen_mux_spi_dev_d2.u_mux_dio_oe.gen_generic.u_impl_generic
Assertion Details
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
101 | 
77 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T11 | 
3 | 
2 | 
0 | 
0 | 
| T12 | 
3 | 
2 | 
0 | 
0 | 
| T28 | 
0 | 
2 | 
0 | 
0 | 
| T29 | 
0 | 
9 | 
0 | 
0 | 
| T30 | 
0 | 
6 | 
0 | 
0 | 
| T33 | 
0 | 
11 | 
0 | 
0 | 
| T42 | 
1 | 
0 | 
0 | 
0 | 
| T53 | 
1 | 
0 | 
0 | 
0 | 
| T54 | 
1 | 
0 | 
0 | 
0 | 
| T172 | 
0 | 
8 | 
0 | 
0 | 
| T179 | 
3 | 
2 | 
0 | 
0 | 
| T180 | 
1 | 
0 | 
0 | 
0 | 
| T181 | 
1 | 
0 | 
0 | 
0 | 
| T182 | 
3 | 
2 | 
0 | 
0 | 
| T183 | 
0 | 
2 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
83 | 
69 | 
0 | 
0 | 
| T28 | 
6 | 
5 | 
0 | 
0 | 
| T29 | 
9 | 
8 | 
0 | 
0 | 
| T30 | 
9 | 
8 | 
0 | 
0 | 
| T33 | 
8 | 
7 | 
0 | 
0 | 
| T172 | 
4 | 
3 | 
0 | 
0 | 
| T173 | 
19 | 
18 | 
0 | 
0 | 
| T174 | 
8 | 
7 | 
0 | 
0 | 
| T176 | 
4 | 
3 | 
0 | 
0 | 
| T177 | 
11 | 
10 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_padring.gen_dio_pads[18].gen_mux_spi_dev_d3.u_mux_dio_out.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_padring.gen_dio_pads[18].gen_mux_spi_dev_d3.u_mux_dio_out.gen_generic.u_impl_generic
 | Total | Covered | Percent | 
| Conditions | 5 | 5 | 100.00 | 
| Logical | 5 | 5 | 100.00 | 
| 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 | T5,T11,T12 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T34,T10,T28 | 
| 1 | 0 | Unreachable |  | 
| 1 | 1 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (((~sel_i)) & clk0_i)
                 -----1----   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Unreachable |  | 
| 1 | 0 | Covered | T1,T2,T3 | 
| 1 | 1 | Covered | T5,T11,T12 | 
Assert Coverage for Instance : tb.dut.u_padring.gen_dio_pads[18].gen_mux_spi_dev_d3.u_mux_dio_out.gen_generic.u_impl_generic
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete | 
| 
selKnown0 | 
6168 | 
6146 | 
0 | 
0 | 
| 
selKnown1 | 
300 | 
288 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
6168 | 
6146 | 
0 | 
0 | 
| T11 | 
914 | 
913 | 
0 | 
0 | 
| T12 | 
254 | 
253 | 
0 | 
0 | 
| T28 | 
0 | 
4 | 
0 | 
0 | 
| T29 | 
0 | 
11 | 
0 | 
0 | 
| T42 | 
1026 | 
1025 | 
0 | 
0 | 
| T53 | 
1 | 
0 | 
0 | 
0 | 
| T54 | 
1 | 
0 | 
0 | 
0 | 
| T178 | 
1 | 
0 | 
0 | 
0 | 
| T179 | 
398 | 
397 | 
0 | 
0 | 
| T180 | 
1025 | 
1024 | 
0 | 
0 | 
| T181 | 
1026 | 
1025 | 
0 | 
0 | 
| T182 | 
376 | 
375 | 
0 | 
0 | 
| T183 | 
0 | 
996 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
300 | 
288 | 
0 | 
0 | 
| T10 | 
1 | 
0 | 
0 | 
0 | 
| T28 | 
5 | 
4 | 
0 | 
0 | 
| T29 | 
12 | 
11 | 
0 | 
0 | 
| T30 | 
12 | 
11 | 
0 | 
0 | 
| T33 | 
21 | 
20 | 
0 | 
0 | 
| T34 | 
167 | 
166 | 
0 | 
0 | 
| T172 | 
8 | 
7 | 
0 | 
0 | 
| T173 | 
30 | 
29 | 
0 | 
0 | 
| T174 | 
13 | 
12 | 
0 | 
0 | 
| T175 | 
7 | 
6 | 
0 | 
0 | 
| T176 | 
0 | 
6 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_padring.gen_dio_pads[18].gen_mux_spi_dev_d3.u_mux_dio_oe.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_padring.gen_dio_pads[18].gen_mux_spi_dev_d3.u_mux_dio_oe.gen_generic.u_impl_generic
 | Total | Covered | Percent | 
| Conditions | 5 | 5 | 100.00 | 
| Logical | 5 | 5 | 100.00 | 
| 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 | T5,T11,T12 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T34,T42,T9 | 
| 1 | 0 | Unreachable |  | 
| 1 | 1 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (((~sel_i)) & clk0_i)
                 -----1----   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Unreachable |  | 
| 1 | 0 | Covered | T1,T2,T3 | 
| 1 | 1 | Covered | T5,T11,T12 | 
Assert Coverage for Instance : tb.dut.u_padring.gen_dio_pads[18].gen_mux_spi_dev_d3.u_mux_dio_oe.gen_generic.u_impl_generic
Assertion Details
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
92 | 
70 | 
0 | 
0 | 
| T10 | 
1 | 
0 | 
0 | 
0 | 
| T11 | 
3 | 
2 | 
0 | 
0 | 
| T12 | 
3 | 
2 | 
0 | 
0 | 
| T28 | 
0 | 
3 | 
0 | 
0 | 
| T29 | 
0 | 
4 | 
0 | 
0 | 
| T30 | 
0 | 
5 | 
0 | 
0 | 
| T33 | 
0 | 
5 | 
0 | 
0 | 
| T42 | 
1 | 
0 | 
0 | 
0 | 
| T53 | 
1 | 
0 | 
0 | 
0 | 
| T54 | 
1 | 
0 | 
0 | 
0 | 
| T172 | 
0 | 
5 | 
0 | 
0 | 
| T179 | 
3 | 
2 | 
0 | 
0 | 
| T180 | 
1 | 
0 | 
0 | 
0 | 
| T181 | 
1 | 
0 | 
0 | 
0 | 
| T182 | 
3 | 
2 | 
0 | 
0 | 
| T183 | 
0 | 
2 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
96 | 
80 | 
0 | 
0 | 
| T28 | 
3 | 
2 | 
0 | 
0 | 
| T29 | 
9 | 
8 | 
0 | 
0 | 
| T30 | 
10 | 
9 | 
0 | 
0 | 
| T33 | 
11 | 
10 | 
0 | 
0 | 
| T172 | 
7 | 
6 | 
0 | 
0 | 
| T173 | 
18 | 
17 | 
0 | 
0 | 
| T174 | 
11 | 
10 | 
0 | 
0 | 
| T175 | 
3 | 
2 | 
0 | 
0 | 
| T176 | 
2 | 
1 | 
0 | 
0 | 
| T177 | 
16 | 
15 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_padring.gen_mio_pads[9].gen_mux_iob0.u_mux_mio_in.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_padring.gen_mio_pads[9].gen_mux_iob0.u_mux_mio_in.gen_generic.u_impl_generic
 | Total | Covered | Percent | 
| Conditions | 5 | 5 | 100.00 | 
| Logical | 5 | 5 | 100.00 | 
| 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 | T34,T8,T74 | 
| 0 | 1 | Covered | T34,T13,T42 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T34,T11,T12 | 
| 1 | 0 | Unreachable |  | 
| 1 | 1 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (((~sel_i)) & clk0_i)
                 -----1----   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Unreachable |  | 
| 1 | 0 | Covered | T34,T8,T74 | 
| 1 | 1 | Covered | T34,T13,T42 | 
Assert Coverage for Instance : tb.dut.u_padring.gen_mio_pads[9].gen_mux_iob0.u_mux_mio_in.gen_generic.u_impl_generic
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete | 
| 
selKnown0 | 
2447 | 
2424 | 
0 | 
0 | 
| 
selKnown1 | 
5623 | 
5593 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
2447 | 
2424 | 
0 | 
0 | 
| T13 | 
1 | 
0 | 
0 | 
0 | 
| T28 | 
0 | 
6 | 
0 | 
0 | 
| T29 | 
0 | 
8 | 
0 | 
0 | 
| T30 | 
0 | 
14 | 
0 | 
0 | 
| T33 | 
0 | 
17 | 
0 | 
0 | 
| T34 | 
546 | 
545 | 
0 | 
0 | 
| T42 | 
576 | 
575 | 
0 | 
0 | 
| T74 | 
1 | 
0 | 
0 | 
0 | 
| T75 | 
1 | 
0 | 
0 | 
0 | 
| T76 | 
1 | 
0 | 
0 | 
0 | 
| T132 | 
1 | 
0 | 
0 | 
0 | 
| T172 | 
0 | 
14 | 
0 | 
0 | 
| T173 | 
0 | 
18 | 
0 | 
0 | 
| T180 | 
576 | 
575 | 
0 | 
0 | 
| T181 | 
576 | 
575 | 
0 | 
0 | 
| T184 | 
1 | 
0 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
5623 | 
5593 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T11 | 
879 | 
878 | 
0 | 
0 | 
| T12 | 
83 | 
82 | 
0 | 
0 | 
| T13 | 
1 | 
0 | 
0 | 
0 | 
| T28 | 
0 | 
4 | 
0 | 
0 | 
| T29 | 
0 | 
10 | 
0 | 
0 | 
| T42 | 
1025 | 
1024 | 
0 | 
0 | 
| T74 | 
1 | 
0 | 
0 | 
0 | 
| T75 | 
1 | 
0 | 
0 | 
0 | 
| T178 | 
1 | 
0 | 
0 | 
0 | 
| T179 | 
253 | 
252 | 
0 | 
0 | 
| T180 | 
1025 | 
1024 | 
0 | 
0 | 
| T181 | 
0 | 
1024 | 
0 | 
0 | 
| T182 | 
0 | 
184 | 
0 | 
0 | 
| T183 | 
0 | 
1005 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_padring.gen_mio_pads[9].gen_mux_iob0.u_mux_mio_in_raw.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_padring.gen_mio_pads[9].gen_mux_iob0.u_mux_mio_in_raw.gen_generic.u_impl_generic
 | Total | Covered | Percent | 
| Conditions | 5 | 5 | 100.00 | 
| Logical | 5 | 5 | 100.00 | 
| 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 | T34,T8,T74 | 
| 0 | 1 | Covered | T34,T13,T42 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T34,T11,T12 | 
| 1 | 0 | Unreachable |  | 
| 1 | 1 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (((~sel_i)) & clk0_i)
                 -----1----   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Unreachable |  | 
| 1 | 0 | Covered | T34,T8,T74 | 
| 1 | 1 | Covered | T34,T13,T42 | 
Assert Coverage for Instance : tb.dut.u_padring.gen_mio_pads[9].gen_mux_iob0.u_mux_mio_in_raw.gen_generic.u_impl_generic
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete | 
| 
selKnown0 | 
2456 | 
2433 | 
0 | 
0 | 
| 
selKnown1 | 
5616 | 
5586 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
2456 | 
2433 | 
0 | 
0 | 
| T13 | 
1 | 
0 | 
0 | 
0 | 
| T28 | 
0 | 
6 | 
0 | 
0 | 
| T29 | 
0 | 
9 | 
0 | 
0 | 
| T30 | 
0 | 
14 | 
0 | 
0 | 
| T33 | 
0 | 
18 | 
0 | 
0 | 
| T34 | 
546 | 
545 | 
0 | 
0 | 
| T42 | 
576 | 
575 | 
0 | 
0 | 
| T74 | 
1 | 
0 | 
0 | 
0 | 
| T75 | 
1 | 
0 | 
0 | 
0 | 
| T76 | 
1 | 
0 | 
0 | 
0 | 
| T132 | 
1 | 
0 | 
0 | 
0 | 
| T172 | 
0 | 
18 | 
0 | 
0 | 
| T173 | 
0 | 
20 | 
0 | 
0 | 
| T180 | 
576 | 
575 | 
0 | 
0 | 
| T181 | 
576 | 
575 | 
0 | 
0 | 
| T184 | 
1 | 
0 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
5616 | 
5586 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T11 | 
879 | 
878 | 
0 | 
0 | 
| T12 | 
83 | 
82 | 
0 | 
0 | 
| T13 | 
1 | 
0 | 
0 | 
0 | 
| T28 | 
0 | 
4 | 
0 | 
0 | 
| T29 | 
0 | 
9 | 
0 | 
0 | 
| T42 | 
1025 | 
1024 | 
0 | 
0 | 
| T74 | 
1 | 
0 | 
0 | 
0 | 
| T75 | 
1 | 
0 | 
0 | 
0 | 
| T178 | 
1 | 
0 | 
0 | 
0 | 
| T179 | 
253 | 
252 | 
0 | 
0 | 
| T180 | 
1025 | 
1024 | 
0 | 
0 | 
| T181 | 
0 | 
1024 | 
0 | 
0 | 
| T182 | 
0 | 
184 | 
0 | 
0 | 
| T183 | 
0 | 
1005 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_padring.gen_mio_pads[10].gen_mux_iob1.u_mux_mio_in.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_padring.gen_mio_pads[10].gen_mux_iob1.u_mux_mio_in.gen_generic.u_impl_generic
 | Total | Covered | Percent | 
| Conditions | 5 | 5 | 100.00 | 
| Logical | 5 | 5 | 100.00 | 
| 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 | T34,T8,T74 | 
| 0 | 1 | Covered | T34,T8,T11 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T34,T8,T11 | 
| 1 | 0 | Unreachable |  | 
| 1 | 1 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (((~sel_i)) & clk0_i)
                 -----1----   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Unreachable |  | 
| 1 | 0 | Covered | T34,T8,T74 | 
| 1 | 1 | Covered | T34,T8,T11 | 
Assert Coverage for Instance : tb.dut.u_padring.gen_mio_pads[10].gen_mux_iob1.u_mux_mio_in.gen_generic.u_impl_generic
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete | 
| 
selKnown0 | 
199 | 
169 | 
0 | 
0 | 
| 
selKnown1 | 
5647 | 
5616 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
199 | 
169 | 
0 | 
0 | 
| T8 | 
1 | 
0 | 
0 | 
0 | 
| T11 | 
1 | 
0 | 
0 | 
0 | 
| T12 | 
1 | 
0 | 
0 | 
0 | 
| T13 | 
1 | 
0 | 
0 | 
0 | 
| T28 | 
0 | 
17 | 
0 | 
0 | 
| T29 | 
0 | 
15 | 
0 | 
0 | 
| T30 | 
0 | 
17 | 
0 | 
0 | 
| T33 | 
0 | 
11 | 
0 | 
0 | 
| T34 | 
2 | 
1 | 
0 | 
0 | 
| T42 | 
2 | 
1 | 
0 | 
0 | 
| T74 | 
1 | 
0 | 
0 | 
0 | 
| T75 | 
1 | 
0 | 
0 | 
0 | 
| T172 | 
0 | 
7 | 
0 | 
0 | 
| T173 | 
0 | 
19 | 
0 | 
0 | 
| T178 | 
1 | 
0 | 
0 | 
0 | 
| T179 | 
1 | 
0 | 
0 | 
0 | 
| T180 | 
0 | 
1 | 
0 | 
0 | 
| T181 | 
0 | 
1 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
5647 | 
5616 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T11 | 
914 | 
913 | 
0 | 
0 | 
| T12 | 
85 | 
84 | 
0 | 
0 | 
| T13 | 
1 | 
0 | 
0 | 
0 | 
| T28 | 
0 | 
1 | 
0 | 
0 | 
| T29 | 
0 | 
13 | 
0 | 
0 | 
| T42 | 
1026 | 
1025 | 
0 | 
0 | 
| T74 | 
1 | 
0 | 
0 | 
0 | 
| T75 | 
1 | 
0 | 
0 | 
0 | 
| T178 | 
1 | 
0 | 
0 | 
0 | 
| T179 | 
259 | 
258 | 
0 | 
0 | 
| T180 | 
1025 | 
1024 | 
0 | 
0 | 
| T181 | 
0 | 
1025 | 
0 | 
0 | 
| T182 | 
0 | 
178 | 
0 | 
0 | 
| T183 | 
0 | 
996 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_padring.gen_mio_pads[10].gen_mux_iob1.u_mux_mio_in_raw.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_padring.gen_mio_pads[10].gen_mux_iob1.u_mux_mio_in_raw.gen_generic.u_impl_generic
 | Total | Covered | Percent | 
| Conditions | 5 | 5 | 100.00 | 
| Logical | 5 | 5 | 100.00 | 
| 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 | T34,T8,T74 | 
| 0 | 1 | Covered | T34,T8,T11 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T34,T8,T11 | 
| 1 | 0 | Unreachable |  | 
| 1 | 1 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (((~sel_i)) & clk0_i)
                 -----1----   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Unreachable |  | 
| 1 | 0 | Covered | T34,T8,T74 | 
| 1 | 1 | Covered | T34,T8,T11 | 
Assert Coverage for Instance : tb.dut.u_padring.gen_mio_pads[10].gen_mux_iob1.u_mux_mio_in_raw.gen_generic.u_impl_generic
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete | 
| 
selKnown0 | 
199 | 
169 | 
0 | 
0 | 
| 
selKnown1 | 
5641 | 
5610 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
199 | 
169 | 
0 | 
0 | 
| T8 | 
1 | 
0 | 
0 | 
0 | 
| T11 | 
1 | 
0 | 
0 | 
0 | 
| T12 | 
1 | 
0 | 
0 | 
0 | 
| T13 | 
1 | 
0 | 
0 | 
0 | 
| T28 | 
0 | 
17 | 
0 | 
0 | 
| T29 | 
0 | 
13 | 
0 | 
0 | 
| T30 | 
0 | 
18 | 
0 | 
0 | 
| T33 | 
0 | 
10 | 
0 | 
0 | 
| T34 | 
2 | 
1 | 
0 | 
0 | 
| T42 | 
2 | 
1 | 
0 | 
0 | 
| T74 | 
1 | 
0 | 
0 | 
0 | 
| T75 | 
1 | 
0 | 
0 | 
0 | 
| T172 | 
0 | 
7 | 
0 | 
0 | 
| T173 | 
0 | 
18 | 
0 | 
0 | 
| T178 | 
1 | 
0 | 
0 | 
0 | 
| T179 | 
1 | 
0 | 
0 | 
0 | 
| T180 | 
0 | 
1 | 
0 | 
0 | 
| T181 | 
0 | 
1 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
5641 | 
5610 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T11 | 
914 | 
913 | 
0 | 
0 | 
| T12 | 
85 | 
84 | 
0 | 
0 | 
| T13 | 
1 | 
0 | 
0 | 
0 | 
| T28 | 
0 | 
2 | 
0 | 
0 | 
| T29 | 
0 | 
13 | 
0 | 
0 | 
| T42 | 
1026 | 
1025 | 
0 | 
0 | 
| T74 | 
1 | 
0 | 
0 | 
0 | 
| T75 | 
1 | 
0 | 
0 | 
0 | 
| T178 | 
1 | 
0 | 
0 | 
0 | 
| T179 | 
259 | 
258 | 
0 | 
0 | 
| T180 | 
1025 | 
1024 | 
0 | 
0 | 
| T181 | 
0 | 
1025 | 
0 | 
0 | 
| T182 | 
0 | 
178 | 
0 | 
0 | 
| T183 | 
0 | 
996 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_padring.gen_mio_pads[11].gen_mux_iob2.u_mux_mio_in.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_padring.gen_mio_pads[11].gen_mux_iob2.u_mux_mio_in.gen_generic.u_impl_generic
 | Total | Covered | Percent | 
| Conditions | 5 | 5 | 100.00 | 
| Logical | 5 | 5 | 100.00 | 
| 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 | T5,T8,T74 | 
| 0 | 1 | Covered | T42,T9,T180 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T5,T11,T12 | 
| 1 | 0 | Unreachable |  | 
| 1 | 1 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (((~sel_i)) & clk0_i)
                 -----1----   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Unreachable |  | 
| 1 | 0 | Covered | T5,T8,T74 | 
| 1 | 1 | Covered | T42,T9,T180 | 
Assert Coverage for Instance : tb.dut.u_padring.gen_mio_pads[11].gen_mux_iob2.u_mux_mio_in.gen_generic.u_impl_generic
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete | 
| 
selKnown0 | 
483 | 
462 | 
0 | 
0 | 
| 
selKnown1 | 
30560 | 
30524 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
483 | 
462 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T10 | 
1 | 
0 | 
0 | 
0 | 
| T28 | 
7 | 
6 | 
0 | 
0 | 
| T29 | 
0 | 
21 | 
0 | 
0 | 
| T30 | 
0 | 
16 | 
0 | 
0 | 
| T33 | 
0 | 
6 | 
0 | 
0 | 
| T42 | 
117 | 
116 | 
0 | 
0 | 
| T76 | 
1 | 
0 | 
0 | 
0 | 
| T132 | 
1 | 
0 | 
0 | 
0 | 
| T133 | 
1 | 
0 | 
0 | 
0 | 
| T172 | 
0 | 
10 | 
0 | 
0 | 
| T173 | 
0 | 
10 | 
0 | 
0 | 
| T174 | 
0 | 
12 | 
0 | 
0 | 
| T180 | 
117 | 
116 | 
0 | 
0 | 
| T181 | 
118 | 
117 | 
0 | 
0 | 
| T184 | 
1 | 
0 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
30560 | 
30524 | 
0 | 
0 | 
| T5 | 
2 | 
1 | 
0 | 
0 | 
| T11 | 
895 | 
894 | 
0 | 
0 | 
| T12 | 
286 | 
285 | 
0 | 
0 | 
| T15 | 
3987 | 
3986 | 
0 | 
0 | 
| T39 | 
20 | 
19 | 
0 | 
0 | 
| T53 | 
2 | 
1 | 
0 | 
0 | 
| T56 | 
1 | 
0 | 
0 | 
0 | 
| T64 | 
1669 | 
1668 | 
0 | 
0 | 
| T65 | 
1423 | 
1422 | 
0 | 
0 | 
| T185 | 
2347 | 
2346 | 
0 | 
0 | 
| T186 | 
0 | 
1678 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_padring.gen_mio_pads[11].gen_mux_iob2.u_mux_mio_in_raw.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_padring.gen_mio_pads[11].gen_mux_iob2.u_mux_mio_in_raw.gen_generic.u_impl_generic
 | Total | Covered | Percent | 
| Conditions | 5 | 5 | 100.00 | 
| Logical | 5 | 5 | 100.00 | 
| 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 | T5,T8,T74 | 
| 0 | 1 | Covered | T42,T9,T180 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T5,T11,T12 | 
| 1 | 0 | Unreachable |  | 
| 1 | 1 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (((~sel_i)) & clk0_i)
                 -----1----   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Unreachable |  | 
| 1 | 0 | Covered | T5,T8,T74 | 
| 1 | 1 | Covered | T42,T9,T180 | 
Assert Coverage for Instance : tb.dut.u_padring.gen_mio_pads[11].gen_mux_iob2.u_mux_mio_in_raw.gen_generic.u_impl_generic
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete | 
| 
selKnown0 | 
483 | 
462 | 
0 | 
0 | 
| 
selKnown1 | 
30554 | 
30518 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
483 | 
462 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T10 | 
1 | 
0 | 
0 | 
0 | 
| T28 | 
7 | 
6 | 
0 | 
0 | 
| T29 | 
0 | 
21 | 
0 | 
0 | 
| T30 | 
0 | 
17 | 
0 | 
0 | 
| T33 | 
0 | 
7 | 
0 | 
0 | 
| T42 | 
117 | 
116 | 
0 | 
0 | 
| T76 | 
1 | 
0 | 
0 | 
0 | 
| T132 | 
1 | 
0 | 
0 | 
0 | 
| T133 | 
1 | 
0 | 
0 | 
0 | 
| T172 | 
0 | 
9 | 
0 | 
0 | 
| T173 | 
0 | 
11 | 
0 | 
0 | 
| T174 | 
0 | 
10 | 
0 | 
0 | 
| T180 | 
117 | 
116 | 
0 | 
0 | 
| T181 | 
118 | 
117 | 
0 | 
0 | 
| T184 | 
1 | 
0 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
30554 | 
30518 | 
0 | 
0 | 
| T5 | 
2 | 
1 | 
0 | 
0 | 
| T11 | 
895 | 
894 | 
0 | 
0 | 
| T12 | 
286 | 
285 | 
0 | 
0 | 
| T15 | 
3987 | 
3986 | 
0 | 
0 | 
| T39 | 
20 | 
19 | 
0 | 
0 | 
| T53 | 
2 | 
1 | 
0 | 
0 | 
| T56 | 
1 | 
0 | 
0 | 
0 | 
| T64 | 
1669 | 
1668 | 
0 | 
0 | 
| T65 | 
1423 | 
1422 | 
0 | 
0 | 
| T185 | 
2347 | 
2346 | 
0 | 
0 | 
| T186 | 
0 | 
1678 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_padring.gen_mio_pads[12].gen_mux_iob3.u_mux_mio_in.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_padring.gen_mio_pads[12].gen_mux_iob3.u_mux_mio_in.gen_generic.u_impl_generic
 | Total | Covered | Percent | 
| Conditions | 5 | 5 | 100.00 | 
| Logical | 5 | 5 | 100.00 | 
| 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 | T34,T8,T19 | 
| 0 | 1 | Covered | T34,T8,T19 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T5,T8,T11 | 
| 1 | 0 | Unreachable |  | 
| 1 | 1 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (((~sel_i)) & clk0_i)
                 -----1----   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Unreachable |  | 
| 1 | 0 | Covered | T34,T8,T19 | 
| 1 | 1 | Covered | T34,T8,T19 | 
Assert Coverage for Instance : tb.dut.u_padring.gen_mio_pads[12].gen_mux_iob3.u_mux_mio_in.gen_generic.u_impl_generic
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete | 
| 
selKnown0 | 
464 | 
419 | 
0 | 
0 | 
| 
selKnown1 | 
30580 | 
30544 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
464 | 
419 | 
0 | 
0 | 
| T8 | 
1 | 
0 | 
0 | 
0 | 
| T11 | 
1 | 
0 | 
0 | 
0 | 
| T12 | 
1 | 
0 | 
0 | 
0 | 
| T19 | 
2 | 
1 | 
0 | 
0 | 
| T20 | 
2 | 
1 | 
0 | 
0 | 
| T34 | 
161 | 
160 | 
0 | 
0 | 
| T42 | 
0 | 
1 | 
0 | 
0 | 
| T74 | 
1 | 
0 | 
0 | 
0 | 
| T75 | 
1 | 
0 | 
0 | 
0 | 
| T180 | 
0 | 
1 | 
0 | 
0 | 
| T181 | 
0 | 
1 | 
0 | 
0 | 
| T187 | 
38 | 
37 | 
0 | 
0 | 
| T188 | 
2 | 
1 | 
0 | 
0 | 
| T189 | 
0 | 
1 | 
0 | 
0 | 
| T190 | 
0 | 
1 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
30580 | 
30544 | 
0 | 
0 | 
| T5 | 
2 | 
1 | 
0 | 
0 | 
| T8 | 
2 | 
1 | 
0 | 
0 | 
| T11 | 
928 | 
927 | 
0 | 
0 | 
| T12 | 
288 | 
287 | 
0 | 
0 | 
| T15 | 
3987 | 
3986 | 
0 | 
0 | 
| T39 | 
20 | 
19 | 
0 | 
0 | 
| T53 | 
2 | 
1 | 
0 | 
0 | 
| T64 | 
1669 | 
1668 | 
0 | 
0 | 
| T65 | 
1423 | 
1422 | 
0 | 
0 | 
| T185 | 
2347 | 
2346 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_padring.gen_mio_pads[12].gen_mux_iob3.u_mux_mio_in_raw.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_padring.gen_mio_pads[12].gen_mux_iob3.u_mux_mio_in_raw.gen_generic.u_impl_generic
 | Total | Covered | Percent | 
| Conditions | 5 | 5 | 100.00 | 
| Logical | 5 | 5 | 100.00 | 
| 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 | T34,T8,T19 | 
| 0 | 1 | Covered | T34,T8,T19 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T5,T8,T11 | 
| 1 | 0 | Unreachable |  | 
| 1 | 1 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (((~sel_i)) & clk0_i)
                 -----1----   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Unreachable |  | 
| 1 | 0 | Covered | T34,T8,T19 | 
| 1 | 1 | Covered | T34,T8,T19 | 
Assert Coverage for Instance : tb.dut.u_padring.gen_mio_pads[12].gen_mux_iob3.u_mux_mio_in_raw.gen_generic.u_impl_generic
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete | 
| 
selKnown0 | 
464 | 
419 | 
0 | 
0 | 
| 
selKnown1 | 
30576 | 
30540 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
464 | 
419 | 
0 | 
0 | 
| T8 | 
1 | 
0 | 
0 | 
0 | 
| T11 | 
1 | 
0 | 
0 | 
0 | 
| T12 | 
1 | 
0 | 
0 | 
0 | 
| T19 | 
2 | 
1 | 
0 | 
0 | 
| T20 | 
2 | 
1 | 
0 | 
0 | 
| T34 | 
161 | 
160 | 
0 | 
0 | 
| T42 | 
0 | 
1 | 
0 | 
0 | 
| T74 | 
1 | 
0 | 
0 | 
0 | 
| T75 | 
1 | 
0 | 
0 | 
0 | 
| T180 | 
0 | 
1 | 
0 | 
0 | 
| T181 | 
0 | 
1 | 
0 | 
0 | 
| T187 | 
38 | 
37 | 
0 | 
0 | 
| T188 | 
2 | 
1 | 
0 | 
0 | 
| T189 | 
0 | 
1 | 
0 | 
0 | 
| T190 | 
0 | 
1 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
30576 | 
30540 | 
0 | 
0 | 
| T5 | 
2 | 
1 | 
0 | 
0 | 
| T8 | 
2 | 
1 | 
0 | 
0 | 
| T11 | 
928 | 
927 | 
0 | 
0 | 
| T12 | 
288 | 
287 | 
0 | 
0 | 
| T15 | 
3987 | 
3986 | 
0 | 
0 | 
| T39 | 
20 | 
19 | 
0 | 
0 | 
| T53 | 
2 | 
1 | 
0 | 
0 | 
| T64 | 
1669 | 
1668 | 
0 | 
0 | 
| T65 | 
1423 | 
1422 | 
0 | 
0 | 
| T185 | 
2347 | 
2346 | 
0 | 
0 |