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 | T8,T11,T12 | 
| 1 | 0 | Not Covered |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T8,T11,T12 | 
| 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 | T8,T11,T12 | 
Assert Coverage for Module : 
prim_generic_clock_mux2
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete | 
| 
selKnown0 | 
28785 | 
28260 | 
0 | 
0 | 
| 
selKnown1 | 
144643 | 
143223 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
28785 | 
28260 | 
0 | 
0 | 
| T1 | 
2 | 
1 | 
0 | 
0 | 
| T6 | 
3 | 
2 | 
0 | 
0 | 
| T7 | 
3 | 
2 | 
0 | 
0 | 
| T8 | 
1 | 
0 | 
0 | 
0 | 
| T11 | 
1026 | 
1025 | 
0 | 
0 | 
| T28 | 
26 | 
24 | 
0 | 
0 | 
| T29 | 
6 | 
5 | 
0 | 
0 | 
| T30 | 
3 | 
2 | 
0 | 
0 | 
| T45 | 
1 | 
0 | 
0 | 
0 | 
| T59 | 
6 | 
5 | 
0 | 
0 | 
| T60 | 
1 | 
0 | 
0 | 
0 | 
| T63 | 
0 | 
40 | 
0 | 
0 | 
| T66 | 
2 | 
1 | 
0 | 
0 | 
| T67 | 
31 | 
30 | 
0 | 
0 | 
| T74 | 
0 | 
3 | 
0 | 
0 | 
| T121 | 
1 | 
0 | 
0 | 
0 | 
| T179 | 
0 | 
2 | 
0 | 
0 | 
| T197 | 
0 | 
2 | 
0 | 
0 | 
| T198 | 
6 | 
5 | 
0 | 
0 | 
| T199 | 
6 | 
5 | 
0 | 
0 | 
| T200 | 
3 | 
2 | 
0 | 
0 | 
| T201 | 
3 | 
2 | 
0 | 
0 | 
| T202 | 
9 | 
8 | 
0 | 
0 | 
| T203 | 
7 | 
6 | 
0 | 
0 | 
| T204 | 
5 | 
4 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
144643 | 
143223 | 
0 | 
0 | 
| T1 | 
2 | 
1 | 
0 | 
0 | 
| T2 | 
1 | 
0 | 
0 | 
0 | 
| T3 | 
2 | 
1 | 
0 | 
0 | 
| T4 | 
8 | 
7 | 
0 | 
0 | 
| T5 | 
1 | 
0 | 
0 | 
0 | 
| T6 | 
5 | 
4 | 
0 | 
0 | 
| T7 | 
0 | 
2 | 
0 | 
0 | 
| T11 | 
576 | 
575 | 
0 | 
0 | 
| T28 | 
21 | 
39 | 
0 | 
0 | 
| T29 | 
17 | 
37 | 
0 | 
0 | 
| T30 | 
18 | 
35 | 
0 | 
0 | 
| T43 | 
1 | 
0 | 
0 | 
0 | 
| T45 | 
1 | 
0 | 
0 | 
0 | 
| T61 | 
2 | 
1 | 
0 | 
0 | 
| T62 | 
0 | 
1 | 
0 | 
0 | 
| T82 | 
0 | 
2 | 
0 | 
0 | 
| T83 | 
1 | 
0 | 
0 | 
0 | 
| T158 | 
0 | 
2 | 
0 | 
0 | 
| T185 | 
0 | 
1 | 
0 | 
0 | 
| T198 | 
21 | 
40 | 
0 | 
0 | 
| T199 | 
16 | 
32 | 
0 | 
0 | 
| T200 | 
11 | 
10 | 
0 | 
0 | 
| T201 | 
18 | 
17 | 
0 | 
0 | 
| T202 | 
7 | 
6 | 
0 | 
0 | 
| T203 | 
19 | 
18 | 
0 | 
0 | 
| T204 | 
9 | 
8 | 
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 | T1,T6,T45 | 
| 0 | 1 | Covered | T1,T6,T45 | 
| 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,T6,T45 | 
| 1 | 1 | Covered | T1,T6,T45 | 
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
| Name | Attempts | Real Successes | Failures | Incomplete | 
| 
selKnown0 | 
1002 | 
868 | 
0 | 
0 | 
| 
selKnown1 | 
1783 | 
760 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
1002 | 
868 | 
0 | 
0 | 
| T1 | 
2 | 
1 | 
0 | 
0 | 
| T6 | 
3 | 
2 | 
0 | 
0 | 
| T7 | 
3 | 
2 | 
0 | 
0 | 
| T8 | 
1 | 
0 | 
0 | 
0 | 
| T45 | 
1 | 
0 | 
0 | 
0 | 
| T59 | 
6 | 
5 | 
0 | 
0 | 
| T60 | 
1 | 
0 | 
0 | 
0 | 
| T63 | 
0 | 
40 | 
0 | 
0 | 
| T66 | 
2 | 
1 | 
0 | 
0 | 
| T67 | 
31 | 
30 | 
0 | 
0 | 
| T74 | 
0 | 
3 | 
0 | 
0 | 
| T121 | 
1 | 
0 | 
0 | 
0 | 
| T179 | 
0 | 
2 | 
0 | 
0 | 
| T197 | 
0 | 
2 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
1783 | 
760 | 
0 | 
0 | 
| T1 | 
2 | 
1 | 
0 | 
0 | 
| T2 | 
1 | 
0 | 
0 | 
0 | 
| T3 | 
2 | 
1 | 
0 | 
0 | 
| T4 | 
8 | 
7 | 
0 | 
0 | 
| T5 | 
1 | 
0 | 
0 | 
0 | 
| T6 | 
5 | 
4 | 
0 | 
0 | 
| T7 | 
0 | 
2 | 
0 | 
0 | 
| T43 | 
1 | 
0 | 
0 | 
0 | 
| T45 | 
1 | 
0 | 
0 | 
0 | 
| T61 | 
2 | 
1 | 
0 | 
0 | 
| T62 | 
0 | 
1 | 
0 | 
0 | 
| T82 | 
0 | 
2 | 
0 | 
0 | 
| T83 | 
1 | 
0 | 
0 | 
0 | 
| T158 | 
0 | 
2 | 
0 | 
0 | 
| T185 | 
0 | 
1 | 
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,T13 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T11,T12,T13 | 
| 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,T13 | 
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 | 
4568 | 
4549 | 
0 | 
0 | 
| 
selKnown1 | 
3000 | 
2978 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
4568 | 
4549 | 
0 | 
0 | 
| T11 | 
1026 | 
1025 | 
0 | 
0 | 
| T12 | 
375 | 
374 | 
0 | 
0 | 
| T13 | 
182 | 
181 | 
0 | 
0 | 
| T28 | 
20 | 
19 | 
0 | 
0 | 
| T205 | 
19 | 
18 | 
0 | 
0 | 
| T206 | 
19 | 
18 | 
0 | 
0 | 
| T207 | 
1026 | 
1025 | 
0 | 
0 | 
| T208 | 
588 | 
587 | 
0 | 
0 | 
| T209 | 
179 | 
178 | 
0 | 
0 | 
| T210 | 
1026 | 
1025 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
3000 | 
2978 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T11 | 
576 | 
575 | 
0 | 
0 | 
| T12 | 
1 | 
0 | 
0 | 
0 | 
| T13 | 
1 | 
0 | 
0 | 
0 | 
| T28 | 
0 | 
19 | 
0 | 
0 | 
| T29 | 
0 | 
21 | 
0 | 
0 | 
| T30 | 
0 | 
18 | 
0 | 
0 | 
| T31 | 
545 | 
544 | 
0 | 
0 | 
| T33 | 
545 | 
544 | 
0 | 
0 | 
| T198 | 
0 | 
20 | 
0 | 
0 | 
| T199 | 
0 | 
17 | 
0 | 
0 | 
| T205 | 
1 | 
0 | 
0 | 
0 | 
| T206 | 
1 | 
0 | 
0 | 
0 | 
| T207 | 
576 | 
575 | 
0 | 
0 | 
| T208 | 
1 | 
0 | 
0 | 
0 | 
| T210 | 
0 | 
575 | 
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 | T10,T28,T29 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T8,T11,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 | T10,T28,T29 | 
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 | 
55 | 
44 | 
0 | 
0 | 
| T28 | 
6 | 
5 | 
0 | 
0 | 
| T29 | 
6 | 
5 | 
0 | 
0 | 
| T30 | 
3 | 
2 | 
0 | 
0 | 
| T198 | 
6 | 
5 | 
0 | 
0 | 
| T199 | 
6 | 
5 | 
0 | 
0 | 
| T200 | 
3 | 
2 | 
0 | 
0 | 
| T201 | 
3 | 
2 | 
0 | 
0 | 
| T202 | 
9 | 
8 | 
0 | 
0 | 
| T203 | 
7 | 
6 | 
0 | 
0 | 
| T204 | 
5 | 
4 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
164 | 
147 | 
0 | 
0 | 
| T28 | 
21 | 
20 | 
0 | 
0 | 
| T29 | 
17 | 
16 | 
0 | 
0 | 
| T30 | 
18 | 
17 | 
0 | 
0 | 
| T198 | 
21 | 
20 | 
0 | 
0 | 
| T199 | 
16 | 
15 | 
0 | 
0 | 
| T200 | 
11 | 
10 | 
0 | 
0 | 
| T201 | 
18 | 
17 | 
0 | 
0 | 
| T202 | 
7 | 
6 | 
0 | 
0 | 
| T203 | 
19 | 
18 | 
0 | 
0 | 
| T204 | 
9 | 
8 | 
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 | T8,T11,T12 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T11,T31,T32 | 
| 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,T11,T12 | 
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 | 
4527 | 
4506 | 
0 | 
0 | 
| 
selKnown1 | 
202 | 
186 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
4527 | 
4506 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T11 | 
1025 | 
1024 | 
0 | 
0 | 
| T12 | 
361 | 
360 | 
0 | 
0 | 
| T13 | 
182 | 
181 | 
0 | 
0 | 
| T28 | 
0 | 
25 | 
0 | 
0 | 
| T205 | 
19 | 
18 | 
0 | 
0 | 
| T206 | 
19 | 
18 | 
0 | 
0 | 
| T207 | 
1026 | 
1025 | 
0 | 
0 | 
| T208 | 
571 | 
570 | 
0 | 
0 | 
| T209 | 
170 | 
169 | 
0 | 
0 | 
| T210 | 
1025 | 
1024 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
202 | 
186 | 
0 | 
0 | 
| T11 | 
2 | 
1 | 
0 | 
0 | 
| T28 | 
17 | 
16 | 
0 | 
0 | 
| T29 | 
29 | 
28 | 
0 | 
0 | 
| T30 | 
24 | 
23 | 
0 | 
0 | 
| T31 | 
2 | 
1 | 
0 | 
0 | 
| T32 | 
1 | 
0 | 
0 | 
0 | 
| T33 | 
2 | 
1 | 
0 | 
0 | 
| T198 | 
24 | 
23 | 
0 | 
0 | 
| T199 | 
0 | 
17 | 
0 | 
0 | 
| T207 | 
2 | 
1 | 
0 | 
0 | 
| T210 | 
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 | T8,T9,T28 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T8,T11,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 | T8,T9,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 | 
61 | 
49 | 
0 | 
0 | 
| T28 | 
10 | 
9 | 
0 | 
0 | 
| T29 | 
10 | 
9 | 
0 | 
0 | 
| T30 | 
3 | 
2 | 
0 | 
0 | 
| T198 | 
4 | 
3 | 
0 | 
0 | 
| T199 | 
7 | 
6 | 
0 | 
0 | 
| T200 | 
6 | 
5 | 
0 | 
0 | 
| T201 | 
4 | 
3 | 
0 | 
0 | 
| T202 | 
4 | 
3 | 
0 | 
0 | 
| T203 | 
5 | 
4 | 
0 | 
0 | 
| T204 | 
6 | 
5 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
163 | 
146 | 
0 | 
0 | 
| T28 | 
11 | 
10 | 
0 | 
0 | 
| T29 | 
23 | 
22 | 
0 | 
0 | 
| T30 | 
17 | 
16 | 
0 | 
0 | 
| T198 | 
19 | 
18 | 
0 | 
0 | 
| T199 | 
19 | 
18 | 
0 | 
0 | 
| T200 | 
9 | 
8 | 
0 | 
0 | 
| T201 | 
15 | 
14 | 
0 | 
0 | 
| T202 | 
18 | 
17 | 
0 | 
0 | 
| T203 | 
16 | 
15 | 
0 | 
0 | 
| T204 | 
9 | 
8 | 
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 | T11,T12,T13 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T11,T207,T210 | 
| 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,T13 | 
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 | 
4912 | 
4889 | 
0 | 
0 | 
| 
selKnown1 | 
534 | 
521 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
4912 | 
4889 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T11 | 
1025 | 
1024 | 
0 | 
0 | 
| T12 | 
509 | 
508 | 
0 | 
0 | 
| T13 | 
314 | 
313 | 
0 | 
0 | 
| T28 | 
0 | 
18 | 
0 | 
0 | 
| T29 | 
0 | 
13 | 
0 | 
0 | 
| T30 | 
0 | 
7 | 
0 | 
0 | 
| T49 | 
1 | 
0 | 
0 | 
0 | 
| T53 | 
1 | 
0 | 
0 | 
0 | 
| T205 | 
1 | 
0 | 
0 | 
0 | 
| T206 | 
1 | 
0 | 
0 | 
0 | 
| T207 | 
1025 | 
1024 | 
0 | 
0 | 
| T208 | 
570 | 
569 | 
0 | 
0 | 
| T209 | 
0 | 
319 | 
0 | 
0 | 
| T210 | 
0 | 
1024 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
534 | 
521 | 
0 | 
0 | 
| T11 | 
117 | 
116 | 
0 | 
0 | 
| T28 | 
19 | 
18 | 
0 | 
0 | 
| T29 | 
16 | 
15 | 
0 | 
0 | 
| T30 | 
16 | 
15 | 
0 | 
0 | 
| T198 | 
23 | 
22 | 
0 | 
0 | 
| T199 | 
19 | 
18 | 
0 | 
0 | 
| T200 | 
17 | 
16 | 
0 | 
0 | 
| T201 | 
16 | 
15 | 
0 | 
0 | 
| T207 | 
117 | 
116 | 
0 | 
0 | 
| T210 | 
117 | 
116 | 
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 | T11,T12,T13 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T8,T11,T10 | 
| 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,T13 | 
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 | 
68 | 
46 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T10 | 
1 | 
0 | 
0 | 
0 | 
| T12 | 
3 | 
2 | 
0 | 
0 | 
| T13 | 
3 | 
2 | 
0 | 
0 | 
| T28 | 
0 | 
7 | 
0 | 
0 | 
| T29 | 
0 | 
2 | 
0 | 
0 | 
| T30 | 
0 | 
4 | 
0 | 
0 | 
| T49 | 
1 | 
0 | 
0 | 
0 | 
| T53 | 
1 | 
0 | 
0 | 
0 | 
| T198 | 
0 | 
2 | 
0 | 
0 | 
| T199 | 
0 | 
7 | 
0 | 
0 | 
| T200 | 
0 | 
1 | 
0 | 
0 | 
| T207 | 
1 | 
0 | 
0 | 
0 | 
| T208 | 
3 | 
2 | 
0 | 
0 | 
| T209 | 
3 | 
2 | 
0 | 
0 | 
| T210 | 
1 | 
0 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
154 | 
139 | 
0 | 
0 | 
| T28 | 
14 | 
13 | 
0 | 
0 | 
| T29 | 
9 | 
8 | 
0 | 
0 | 
| T30 | 
18 | 
17 | 
0 | 
0 | 
| T198 | 
14 | 
13 | 
0 | 
0 | 
| T199 | 
16 | 
15 | 
0 | 
0 | 
| T200 | 
16 | 
15 | 
0 | 
0 | 
| T201 | 
11 | 
10 | 
0 | 
0 | 
| T202 | 
15 | 
14 | 
0 | 
0 | 
| T203 | 
20 | 
19 | 
0 | 
0 | 
| T204 | 
16 | 
15 | 
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 | T8,T11,T12 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T8,T31,T33 | 
| 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,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 | 
4891 | 
4867 | 
0 | 
0 | 
| 
selKnown1 | 
416 | 
403 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
4891 | 
4867 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T11 | 
1025 | 
1024 | 
0 | 
0 | 
| T12 | 
495 | 
494 | 
0 | 
0 | 
| T13 | 
313 | 
312 | 
0 | 
0 | 
| T28 | 
0 | 
25 | 
0 | 
0 | 
| T29 | 
0 | 
14 | 
0 | 
0 | 
| T30 | 
0 | 
5 | 
0 | 
0 | 
| T49 | 
1 | 
0 | 
0 | 
0 | 
| T53 | 
1 | 
0 | 
0 | 
0 | 
| T205 | 
1 | 
0 | 
0 | 
0 | 
| T206 | 
1 | 
0 | 
0 | 
0 | 
| T207 | 
1026 | 
1025 | 
0 | 
0 | 
| T208 | 
555 | 
554 | 
0 | 
0 | 
| T209 | 
0 | 
309 | 
0 | 
0 | 
| T210 | 
0 | 
1024 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
416 | 
403 | 
0 | 
0 | 
| T28 | 
17 | 
16 | 
0 | 
0 | 
| T29 | 
13 | 
12 | 
0 | 
0 | 
| T30 | 
14 | 
13 | 
0 | 
0 | 
| T31 | 
143 | 
142 | 
0 | 
0 | 
| T33 | 
104 | 
103 | 
0 | 
0 | 
| T198 | 
17 | 
16 | 
0 | 
0 | 
| T199 | 
27 | 
26 | 
0 | 
0 | 
| T200 | 
17 | 
16 | 
0 | 
0 | 
| T201 | 
24 | 
23 | 
0 | 
0 | 
| T202 | 
16 | 
15 | 
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 | T8,T11,T12 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T8,T11,T31 | 
| 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,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 | 
67 | 
44 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T10 | 
1 | 
0 | 
0 | 
0 | 
| T12 | 
3 | 
2 | 
0 | 
0 | 
| T13 | 
3 | 
2 | 
0 | 
0 | 
| T28 | 
0 | 
7 | 
0 | 
0 | 
| T29 | 
0 | 
5 | 
0 | 
0 | 
| T30 | 
0 | 
2 | 
0 | 
0 | 
| T49 | 
1 | 
0 | 
0 | 
0 | 
| T53 | 
1 | 
0 | 
0 | 
0 | 
| T198 | 
0 | 
5 | 
0 | 
0 | 
| T199 | 
0 | 
8 | 
0 | 
0 | 
| T201 | 
0 | 
3 | 
0 | 
0 | 
| T207 | 
1 | 
0 | 
0 | 
0 | 
| T208 | 
3 | 
2 | 
0 | 
0 | 
| T209 | 
3 | 
2 | 
0 | 
0 | 
| T210 | 
1 | 
0 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
148 | 
132 | 
0 | 
0 | 
| T28 | 
14 | 
13 | 
0 | 
0 | 
| T29 | 
11 | 
10 | 
0 | 
0 | 
| T30 | 
13 | 
12 | 
0 | 
0 | 
| T198 | 
10 | 
9 | 
0 | 
0 | 
| T199 | 
23 | 
22 | 
0 | 
0 | 
| T200 | 
19 | 
18 | 
0 | 
0 | 
| T201 | 
16 | 
15 | 
0 | 
0 | 
| T202 | 
17 | 
16 | 
0 | 
0 | 
| T203 | 
14 | 
13 | 
0 | 
0 | 
| T204 | 
5 | 
4 | 
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 | T8,T11,T31 | 
| 0 | 1 | Covered | T11,T9,T31 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T8,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 | T8,T11,T31 | 
| 1 | 1 | Covered | T11,T9,T31 | 
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 | 
3004 | 
2980 | 
0 | 
0 | 
| 
selKnown1 | 
4393 | 
4362 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
3004 | 
2980 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T10 | 
1 | 
0 | 
0 | 
0 | 
| T11 | 
576 | 
575 | 
0 | 
0 | 
| T28 | 
0 | 
16 | 
0 | 
0 | 
| T29 | 
0 | 
19 | 
0 | 
0 | 
| T30 | 
0 | 
17 | 
0 | 
0 | 
| T31 | 
546 | 
545 | 
0 | 
0 | 
| T32 | 
1 | 
0 | 
0 | 
0 | 
| T33 | 
0 | 
545 | 
0 | 
0 | 
| T52 | 
1 | 
0 | 
0 | 
0 | 
| T75 | 
1 | 
0 | 
0 | 
0 | 
| T76 | 
1 | 
0 | 
0 | 
0 | 
| T198 | 
0 | 
23 | 
0 | 
0 | 
| T199 | 
0 | 
28 | 
0 | 
0 | 
| T207 | 
576 | 
575 | 
0 | 
0 | 
| T210 | 
0 | 
575 | 
0 | 
0 | 
| T211 | 
1 | 
0 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
4393 | 
4362 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T11 | 
1025 | 
1024 | 
0 | 
0 | 
| T12 | 
339 | 
338 | 
0 | 
0 | 
| T13 | 
146 | 
145 | 
0 | 
0 | 
| T28 | 
0 | 
19 | 
0 | 
0 | 
| T29 | 
0 | 
9 | 
0 | 
0 | 
| T30 | 
0 | 
7 | 
0 | 
0 | 
| T31 | 
1 | 
0 | 
0 | 
0 | 
| T32 | 
1 | 
0 | 
0 | 
0 | 
| T75 | 
1 | 
0 | 
0 | 
0 | 
| T205 | 
1 | 
0 | 
0 | 
0 | 
| T206 | 
1 | 
0 | 
0 | 
0 | 
| T207 | 
1025 | 
1024 | 
0 | 
0 | 
| T208 | 
0 | 
569 | 
0 | 
0 | 
| T209 | 
0 | 
141 | 
0 | 
0 | 
| T210 | 
0 | 
1024 | 
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 | T8,T11,T31 | 
| 0 | 1 | Covered | T11,T9,T31 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T8,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 | T8,T11,T31 | 
| 1 | 1 | Covered | T11,T9,T31 | 
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 | 
3007 | 
2983 | 
0 | 
0 | 
| 
selKnown1 | 
4391 | 
4360 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
3007 | 
2983 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T10 | 
1 | 
0 | 
0 | 
0 | 
| T11 | 
576 | 
575 | 
0 | 
0 | 
| T28 | 
0 | 
18 | 
0 | 
0 | 
| T29 | 
0 | 
19 | 
0 | 
0 | 
| T30 | 
0 | 
17 | 
0 | 
0 | 
| T31 | 
546 | 
545 | 
0 | 
0 | 
| T32 | 
1 | 
0 | 
0 | 
0 | 
| T33 | 
0 | 
545 | 
0 | 
0 | 
| T52 | 
1 | 
0 | 
0 | 
0 | 
| T75 | 
1 | 
0 | 
0 | 
0 | 
| T76 | 
1 | 
0 | 
0 | 
0 | 
| T198 | 
0 | 
22 | 
0 | 
0 | 
| T199 | 
0 | 
26 | 
0 | 
0 | 
| T207 | 
576 | 
575 | 
0 | 
0 | 
| T210 | 
0 | 
575 | 
0 | 
0 | 
| T211 | 
1 | 
0 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
4391 | 
4360 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T11 | 
1025 | 
1024 | 
0 | 
0 | 
| T12 | 
339 | 
338 | 
0 | 
0 | 
| T13 | 
146 | 
145 | 
0 | 
0 | 
| T28 | 
0 | 
18 | 
0 | 
0 | 
| T29 | 
0 | 
9 | 
0 | 
0 | 
| T30 | 
0 | 
8 | 
0 | 
0 | 
| T31 | 
1 | 
0 | 
0 | 
0 | 
| T32 | 
1 | 
0 | 
0 | 
0 | 
| T75 | 
1 | 
0 | 
0 | 
0 | 
| T205 | 
1 | 
0 | 
0 | 
0 | 
| T206 | 
1 | 
0 | 
0 | 
0 | 
| T207 | 
1025 | 
1024 | 
0 | 
0 | 
| T208 | 
0 | 
569 | 
0 | 
0 | 
| T209 | 
0 | 
141 | 
0 | 
0 | 
| T210 | 
0 | 
1024 | 
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 | T8,T11,T9 | 
| 0 | 1 | Covered | T11,T12,T13 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T8,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 | T8,T11,T9 | 
| 1 | 1 | Covered | T11,T12,T13 | 
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 | 
201 | 
172 | 
0 | 
0 | 
| 
selKnown1 | 
4352 | 
4321 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
201 | 
172 | 
0 | 
0 | 
| T10 | 
1 | 
0 | 
0 | 
0 | 
| T11 | 
2 | 
1 | 
0 | 
0 | 
| T12 | 
1 | 
0 | 
0 | 
0 | 
| T13 | 
1 | 
0 | 
0 | 
0 | 
| T28 | 
0 | 
6 | 
0 | 
0 | 
| T29 | 
0 | 
23 | 
0 | 
0 | 
| T30 | 
0 | 
23 | 
0 | 
0 | 
| T31 | 
2 | 
1 | 
0 | 
0 | 
| T32 | 
1 | 
0 | 
0 | 
0 | 
| T33 | 
0 | 
1 | 
0 | 
0 | 
| T75 | 
1 | 
0 | 
0 | 
0 | 
| T198 | 
0 | 
18 | 
0 | 
0 | 
| T199 | 
0 | 
20 | 
0 | 
0 | 
| T205 | 
1 | 
0 | 
0 | 
0 | 
| T206 | 
1 | 
0 | 
0 | 
0 | 
| T207 | 
2 | 
1 | 
0 | 
0 | 
| T210 | 
0 | 
1 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
4352 | 
4321 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T10 | 
1 | 
0 | 
0 | 
0 | 
| T11 | 
1025 | 
1024 | 
0 | 
0 | 
| T12 | 
325 | 
324 | 
0 | 
0 | 
| T13 | 
145 | 
144 | 
0 | 
0 | 
| T28 | 
0 | 
16 | 
0 | 
0 | 
| T29 | 
0 | 
14 | 
0 | 
0 | 
| T30 | 
0 | 
5 | 
0 | 
0 | 
| T31 | 
1 | 
0 | 
0 | 
0 | 
| T32 | 
1 | 
0 | 
0 | 
0 | 
| T75 | 
1 | 
0 | 
0 | 
0 | 
| T205 | 
1 | 
0 | 
0 | 
0 | 
| T206 | 
1 | 
0 | 
0 | 
0 | 
| T207 | 
0 | 
1025 | 
0 | 
0 | 
| T208 | 
0 | 
554 | 
0 | 
0 | 
| T209 | 
0 | 
131 | 
0 | 
0 | 
| T210 | 
0 | 
1024 | 
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 | T8,T11,T9 | 
| 0 | 1 | Covered | T11,T12,T13 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T8,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 | T8,T11,T9 | 
| 1 | 1 | Covered | T11,T12,T13 | 
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 | 
203 | 
174 | 
0 | 
0 | 
| 
selKnown1 | 
4348 | 
4317 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
203 | 
174 | 
0 | 
0 | 
| T10 | 
1 | 
0 | 
0 | 
0 | 
| T11 | 
2 | 
1 | 
0 | 
0 | 
| T12 | 
1 | 
0 | 
0 | 
0 | 
| T13 | 
1 | 
0 | 
0 | 
0 | 
| T28 | 
0 | 
6 | 
0 | 
0 | 
| T29 | 
0 | 
24 | 
0 | 
0 | 
| T30 | 
0 | 
23 | 
0 | 
0 | 
| T31 | 
2 | 
1 | 
0 | 
0 | 
| T32 | 
1 | 
0 | 
0 | 
0 | 
| T33 | 
0 | 
1 | 
0 | 
0 | 
| T75 | 
1 | 
0 | 
0 | 
0 | 
| T198 | 
0 | 
17 | 
0 | 
0 | 
| T199 | 
0 | 
20 | 
0 | 
0 | 
| T205 | 
1 | 
0 | 
0 | 
0 | 
| T206 | 
1 | 
0 | 
0 | 
0 | 
| T207 | 
2 | 
1 | 
0 | 
0 | 
| T210 | 
0 | 
1 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
4348 | 
4317 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T10 | 
1 | 
0 | 
0 | 
0 | 
| T11 | 
1025 | 
1024 | 
0 | 
0 | 
| T12 | 
325 | 
324 | 
0 | 
0 | 
| T13 | 
145 | 
144 | 
0 | 
0 | 
| T28 | 
0 | 
15 | 
0 | 
0 | 
| T29 | 
0 | 
14 | 
0 | 
0 | 
| T30 | 
0 | 
5 | 
0 | 
0 | 
| T31 | 
1 | 
0 | 
0 | 
0 | 
| T32 | 
1 | 
0 | 
0 | 
0 | 
| T75 | 
1 | 
0 | 
0 | 
0 | 
| T205 | 
1 | 
0 | 
0 | 
0 | 
| T206 | 
1 | 
0 | 
0 | 
0 | 
| T207 | 
0 | 
1025 | 
0 | 
0 | 
| T208 | 
0 | 
554 | 
0 | 
0 | 
| T209 | 
0 | 
131 | 
0 | 
0 | 
| T210 | 
0 | 
1024 | 
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 | T8,T11,T49 | 
| 0 | 1 | Covered | T11,T9,T207 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T8,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 | T8,T11,T49 | 
| 1 | 1 | Covered | T11,T9,T207 | 
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 | 
528 | 
508 | 
0 | 
0 | 
| 
selKnown1 | 
30175 | 
30139 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
528 | 
508 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T11 | 
117 | 
116 | 
0 | 
0 | 
| T28 | 
0 | 
10 | 
0 | 
0 | 
| T29 | 
0 | 
12 | 
0 | 
0 | 
| T30 | 
0 | 
13 | 
0 | 
0 | 
| T52 | 
1 | 
0 | 
0 | 
0 | 
| T75 | 
1 | 
0 | 
0 | 
0 | 
| T76 | 
1 | 
0 | 
0 | 
0 | 
| T198 | 
0 | 
15 | 
0 | 
0 | 
| T199 | 
0 | 
17 | 
0 | 
0 | 
| T200 | 
0 | 
15 | 
0 | 
0 | 
| T201 | 
0 | 
20 | 
0 | 
0 | 
| T207 | 
117 | 
116 | 
0 | 
0 | 
| T210 | 
117 | 
116 | 
0 | 
0 | 
| T211 | 
1 | 
0 | 
0 | 
0 | 
| T212 | 
1 | 
0 | 
0 | 
0 | 
| T213 | 
1 | 
0 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
30175 | 
30139 | 
0 | 
0 | 
| T7 | 
1430 | 
1429 | 
0 | 
0 | 
| T8 | 
2 | 
1 | 
0 | 
0 | 
| T11 | 
1025 | 
1024 | 
0 | 
0 | 
| T12 | 
542 | 
541 | 
0 | 
0 | 
| T13 | 
347 | 
346 | 
0 | 
0 | 
| T37 | 
20 | 
19 | 
0 | 
0 | 
| T38 | 
20 | 
19 | 
0 | 
0 | 
| T49 | 
2 | 
1 | 
0 | 
0 | 
| T82 | 
2348 | 
2347 | 
0 | 
0 | 
| T214 | 
2362 | 
2361 | 
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 | T8,T11,T49 | 
| 0 | 1 | Covered | T11,T9,T207 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T8,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 | T8,T11,T49 | 
| 1 | 1 | Covered | T11,T9,T207 | 
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 | 
528 | 
508 | 
0 | 
0 | 
| 
selKnown1 | 
30176 | 
30140 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
528 | 
508 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T11 | 
117 | 
116 | 
0 | 
0 | 
| T28 | 
0 | 
11 | 
0 | 
0 | 
| T29 | 
0 | 
11 | 
0 | 
0 | 
| T30 | 
0 | 
14 | 
0 | 
0 | 
| T52 | 
1 | 
0 | 
0 | 
0 | 
| T75 | 
1 | 
0 | 
0 | 
0 | 
| T76 | 
1 | 
0 | 
0 | 
0 | 
| T198 | 
0 | 
15 | 
0 | 
0 | 
| T199 | 
0 | 
18 | 
0 | 
0 | 
| T200 | 
0 | 
14 | 
0 | 
0 | 
| T201 | 
0 | 
19 | 
0 | 
0 | 
| T207 | 
117 | 
116 | 
0 | 
0 | 
| T210 | 
117 | 
116 | 
0 | 
0 | 
| T211 | 
1 | 
0 | 
0 | 
0 | 
| T212 | 
1 | 
0 | 
0 | 
0 | 
| T213 | 
1 | 
0 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
30176 | 
30140 | 
0 | 
0 | 
| T7 | 
1430 | 
1429 | 
0 | 
0 | 
| T8 | 
2 | 
1 | 
0 | 
0 | 
| T11 | 
1025 | 
1024 | 
0 | 
0 | 
| T12 | 
542 | 
541 | 
0 | 
0 | 
| T13 | 
347 | 
346 | 
0 | 
0 | 
| T37 | 
20 | 
19 | 
0 | 
0 | 
| T38 | 
20 | 
19 | 
0 | 
0 | 
| T49 | 
2 | 
1 | 
0 | 
0 | 
| T82 | 
2348 | 
2347 | 
0 | 
0 | 
| T214 | 
2362 | 
2361 | 
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 | T215,T20,T11 | 
| 0 | 1 | Covered | T8,T215,T20 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T8,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 | T215,T20,T11 | 
| 1 | 1 | Covered | T8,T215,T20 | 
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 | 
587 | 
542 | 
0 | 
0 | 
| 
selKnown1 | 
30121 | 
30085 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
587 | 
542 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T11 | 
2 | 
1 | 
0 | 
0 | 
| T12 | 
1 | 
0 | 
0 | 
0 | 
| T13 | 
1 | 
0 | 
0 | 
0 | 
| T20 | 
2 | 
1 | 
0 | 
0 | 
| T21 | 
8 | 
7 | 
0 | 
0 | 
| T31 | 
139 | 
138 | 
0 | 
0 | 
| T205 | 
1 | 
0 | 
0 | 
0 | 
| T207 | 
0 | 
1 | 
0 | 
0 | 
| T215 | 
2 | 
1 | 
0 | 
0 | 
| T216 | 
2 | 
1 | 
0 | 
0 | 
| T217 | 
0 | 
28 | 
0 | 
0 | 
| T218 | 
0 | 
28 | 
0 | 
0 | 
| T219 | 
0 | 
34 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
30121 | 
30085 | 
0 | 
0 | 
| T7 | 
1430 | 
1429 | 
0 | 
0 | 
| T8 | 
1 | 
0 | 
0 | 
0 | 
| T11 | 
1024 | 
1023 | 
0 | 
0 | 
| T12 | 
528 | 
527 | 
0 | 
0 | 
| T13 | 
347 | 
346 | 
0 | 
0 | 
| T37 | 
20 | 
19 | 
0 | 
0 | 
| T38 | 
20 | 
19 | 
0 | 
0 | 
| T49 | 
2 | 
1 | 
0 | 
0 | 
| T82 | 
2348 | 
2347 | 
0 | 
0 | 
| T205 | 
0 | 
17 | 
0 | 
0 | 
| T214 | 
2362 | 
2361 | 
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 | T215,T20,T11 | 
| 0 | 1 | Covered | T8,T215,T20 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T8,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 | T215,T20,T11 | 
| 1 | 1 | Covered | T8,T215,T20 | 
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 | 
576 | 
531 | 
0 | 
0 | 
| 
selKnown1 | 
30123 | 
30087 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
576 | 
531 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T11 | 
2 | 
1 | 
0 | 
0 | 
| T12 | 
1 | 
0 | 
0 | 
0 | 
| T13 | 
1 | 
0 | 
0 | 
0 | 
| T20 | 
2 | 
1 | 
0 | 
0 | 
| T21 | 
8 | 
7 | 
0 | 
0 | 
| T31 | 
139 | 
138 | 
0 | 
0 | 
| T205 | 
1 | 
0 | 
0 | 
0 | 
| T207 | 
0 | 
1 | 
0 | 
0 | 
| T215 | 
2 | 
1 | 
0 | 
0 | 
| T216 | 
2 | 
1 | 
0 | 
0 | 
| T217 | 
0 | 
28 | 
0 | 
0 | 
| T218 | 
0 | 
28 | 
0 | 
0 | 
| T219 | 
0 | 
34 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
30123 | 
30087 | 
0 | 
0 | 
| T7 | 
1430 | 
1429 | 
0 | 
0 | 
| T8 | 
1 | 
0 | 
0 | 
0 | 
| T11 | 
1024 | 
1023 | 
0 | 
0 | 
| T12 | 
528 | 
527 | 
0 | 
0 | 
| T13 | 
347 | 
346 | 
0 | 
0 | 
| T37 | 
20 | 
19 | 
0 | 
0 | 
| T38 | 
20 | 
19 | 
0 | 
0 | 
| T49 | 
2 | 
1 | 
0 | 
0 | 
| T82 | 
2348 | 
2347 | 
0 | 
0 | 
| T205 | 
0 | 
17 | 
0 | 
0 | 
| T214 | 
2362 | 
2361 | 
0 | 
0 |