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 | T12,T9,T13 | 
| 1 | 0 | Not Covered |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T35,T12,T9 | 
| 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 | T12,T9,T13 | 
Assert Coverage for Module : 
prim_generic_clock_mux2
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete | 
| 
selKnown0 | 
27943 | 
27423 | 
0 | 
0 | 
| 
selKnown1 | 
141771 | 
140357 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
27943 | 
27423 | 
0 | 
0 | 
| T6 | 
3 | 
2 | 
0 | 
0 | 
| T12 | 
1026 | 
1025 | 
0 | 
0 | 
| T13 | 
184 | 
183 | 
0 | 
0 | 
| T17 | 
0 | 
31 | 
0 | 
0 | 
| T31 | 
11 | 
9 | 
0 | 
0 | 
| T32 | 
2 | 
1 | 
0 | 
0 | 
| T33 | 
12 | 
11 | 
0 | 
0 | 
| T34 | 
4 | 
3 | 
0 | 
0 | 
| T49 | 
3 | 
2 | 
0 | 
0 | 
| T50 | 
2 | 
1 | 
0 | 
0 | 
| T51 | 
2 | 
1 | 
0 | 
0 | 
| T52 | 
0 | 
1 | 
0 | 
0 | 
| T73 | 
3 | 
2 | 
0 | 
0 | 
| T74 | 
17 | 
16 | 
0 | 
0 | 
| T109 | 
1 | 
0 | 
0 | 
0 | 
| T124 | 
6 | 
5 | 
0 | 
0 | 
| T125 | 
1 | 
0 | 
0 | 
0 | 
| T126 | 
1 | 
0 | 
0 | 
0 | 
| T178 | 
0 | 
1 | 
0 | 
0 | 
| T193 | 
8 | 
7 | 
0 | 
0 | 
| T194 | 
6 | 
5 | 
0 | 
0 | 
| T195 | 
3 | 
2 | 
0 | 
0 | 
| T196 | 
3 | 
2 | 
0 | 
0 | 
| T197 | 
7 | 
6 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
141771 | 
140357 | 
0 | 
0 | 
| T2 | 
2 | 
1 | 
0 | 
0 | 
| T3 | 
1 | 
0 | 
0 | 
0 | 
| T4 | 
1 | 
0 | 
0 | 
0 | 
| T5 | 
2 | 
1 | 
0 | 
0 | 
| T6 | 
3 | 
2 | 
0 | 
0 | 
| T7 | 
0 | 
2 | 
0 | 
0 | 
| T8 | 
0 | 
2 | 
0 | 
0 | 
| T15 | 
1 | 
0 | 
0 | 
0 | 
| T31 | 
23 | 
42 | 
0 | 
0 | 
| T32 | 
4 | 
7 | 
0 | 
0 | 
| T33 | 
9 | 
17 | 
0 | 
0 | 
| T34 | 
13 | 
23 | 
0 | 
0 | 
| T35 | 
545 | 
544 | 
0 | 
0 | 
| T47 | 
1 | 
0 | 
0 | 
0 | 
| T69 | 
0 | 
1 | 
0 | 
0 | 
| T90 | 
1 | 
0 | 
0 | 
0 | 
| T91 | 
1 | 
0 | 
0 | 
0 | 
| T92 | 
1 | 
0 | 
0 | 
0 | 
| T127 | 
0 | 
1 | 
0 | 
0 | 
| T132 | 
0 | 
2 | 
0 | 
0 | 
| T154 | 
0 | 
2 | 
0 | 
0 | 
| T160 | 
0 | 
1 | 
0 | 
0 | 
| T193 | 
22 | 
21 | 
0 | 
0 | 
| T194 | 
10 | 
9 | 
0 | 
0 | 
| T195 | 
6 | 
5 | 
0 | 
0 | 
| T196 | 
12 | 
11 | 
0 | 
0 | 
| T197 | 
8 | 
7 | 
0 | 
0 | 
| T198 | 
16 | 
15 | 
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,T51,T49 | 
| 0 | 1 | Covered | T6,T51,T49 | 
| 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,T51,T49 | 
| 1 | 1 | Covered | T6,T51,T49 | 
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 | 
966 | 
834 | 
0 | 
0 | 
| T6 | 
3 | 
2 | 
0 | 
0 | 
| T17 | 
0 | 
31 | 
0 | 
0 | 
| T49 | 
3 | 
2 | 
0 | 
0 | 
| T50 | 
2 | 
1 | 
0 | 
0 | 
| T51 | 
2 | 
1 | 
0 | 
0 | 
| T52 | 
0 | 
1 | 
0 | 
0 | 
| T73 | 
3 | 
2 | 
0 | 
0 | 
| T74 | 
17 | 
16 | 
0 | 
0 | 
| T109 | 
1 | 
0 | 
0 | 
0 | 
| T124 | 
6 | 
5 | 
0 | 
0 | 
| T125 | 
1 | 
0 | 
0 | 
0 | 
| T126 | 
1 | 
0 | 
0 | 
0 | 
| T178 | 
0 | 
1 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
1771 | 
754 | 
0 | 
0 | 
| T2 | 
2 | 
1 | 
0 | 
0 | 
| T3 | 
1 | 
0 | 
0 | 
0 | 
| T4 | 
1 | 
0 | 
0 | 
0 | 
| T5 | 
2 | 
1 | 
0 | 
0 | 
| T6 | 
3 | 
2 | 
0 | 
0 | 
| T7 | 
0 | 
2 | 
0 | 
0 | 
| T8 | 
0 | 
2 | 
0 | 
0 | 
| T15 | 
1 | 
0 | 
0 | 
0 | 
| T47 | 
1 | 
0 | 
0 | 
0 | 
| T69 | 
0 | 
1 | 
0 | 
0 | 
| T90 | 
1 | 
0 | 
0 | 
0 | 
| T91 | 
1 | 
0 | 
0 | 
0 | 
| T92 | 
1 | 
0 | 
0 | 
0 | 
| T127 | 
0 | 
1 | 
0 | 
0 | 
| T132 | 
0 | 
2 | 
0 | 
0 | 
| T154 | 
0 | 
2 | 
0 | 
0 | 
| T160 | 
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 | T12,T13,T14 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T35,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 | T12,T13,T14 | 
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 | 
4030 | 
4011 | 
0 | 
0 | 
| 
selKnown1 | 
3487 | 
3465 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
4030 | 
4011 | 
0 | 
0 | 
| T12 | 
1026 | 
1025 | 
0 | 
0 | 
| T13 | 
184 | 
183 | 
0 | 
0 | 
| T14 | 
1026 | 
1025 | 
0 | 
0 | 
| T31 | 
6 | 
5 | 
0 | 
0 | 
| T43 | 
19 | 
18 | 
0 | 
0 | 
| T95 | 
239 | 
238 | 
0 | 
0 | 
| T199 | 
331 | 
330 | 
0 | 
0 | 
| T200 | 
19 | 
18 | 
0 | 
0 | 
| T201 | 
1026 | 
1025 | 
0 | 
0 | 
| T202 | 
19 | 
18 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
3487 | 
3465 | 
0 | 
0 | 
| T12 | 
576 | 
575 | 
0 | 
0 | 
| T13 | 
1 | 
0 | 
0 | 
0 | 
| T14 | 
576 | 
575 | 
0 | 
0 | 
| T31 | 
0 | 
20 | 
0 | 
0 | 
| T32 | 
0 | 
4 | 
0 | 
0 | 
| T33 | 
0 | 
9 | 
0 | 
0 | 
| T34 | 
0 | 
11 | 
0 | 
0 | 
| T35 | 
545 | 
544 | 
0 | 
0 | 
| T36 | 
545 | 
544 | 
0 | 
0 | 
| T37 | 
545 | 
544 | 
0 | 
0 | 
| T43 | 
1 | 
0 | 
0 | 
0 | 
| T199 | 
1 | 
0 | 
0 | 
0 | 
| T200 | 
1 | 
0 | 
0 | 
0 | 
| T201 | 
576 | 
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,T11,T31 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T35,T12,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,T11,T31 | 
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 | 
53 | 
41 | 
0 | 
0 | 
| T31 | 
5 | 
4 | 
0 | 
0 | 
| T32 | 
2 | 
1 | 
0 | 
0 | 
| T33 | 
12 | 
11 | 
0 | 
0 | 
| T34 | 
4 | 
3 | 
0 | 
0 | 
| T193 | 
8 | 
7 | 
0 | 
0 | 
| T194 | 
6 | 
5 | 
0 | 
0 | 
| T195 | 
3 | 
2 | 
0 | 
0 | 
| T196 | 
3 | 
2 | 
0 | 
0 | 
| T197 | 
7 | 
6 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
131 | 
113 | 
0 | 
0 | 
| T31 | 
23 | 
22 | 
0 | 
0 | 
| T32 | 
4 | 
3 | 
0 | 
0 | 
| T33 | 
9 | 
8 | 
0 | 
0 | 
| T34 | 
13 | 
12 | 
0 | 
0 | 
| T193 | 
22 | 
21 | 
0 | 
0 | 
| T194 | 
10 | 
9 | 
0 | 
0 | 
| T195 | 
6 | 
5 | 
0 | 
0 | 
| T196 | 
12 | 
11 | 
0 | 
0 | 
| T197 | 
8 | 
7 | 
0 | 
0 | 
| T198 | 
16 | 
15 | 
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 | T12,T9,T13 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T35,T12,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 | T12,T9,T13 | 
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 | 
4029 | 
4008 | 
0 | 
0 | 
| 
selKnown1 | 
142 | 
125 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
4029 | 
4008 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T10 | 
1 | 
0 | 
0 | 
0 | 
| T12 | 
1026 | 
1025 | 
0 | 
0 | 
| T13 | 
189 | 
188 | 
0 | 
0 | 
| T14 | 
1025 | 
1024 | 
0 | 
0 | 
| T31 | 
0 | 
5 | 
0 | 
0 | 
| T43 | 
19 | 
18 | 
0 | 
0 | 
| T95 | 
0 | 
226 | 
0 | 
0 | 
| T199 | 
343 | 
342 | 
0 | 
0 | 
| T200 | 
19 | 
18 | 
0 | 
0 | 
| T201 | 
1026 | 
1025 | 
0 | 
0 | 
| T202 | 
19 | 
18 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
142 | 
125 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T12 | 
2 | 
1 | 
0 | 
0 | 
| T14 | 
2 | 
1 | 
0 | 
0 | 
| T31 | 
27 | 
26 | 
0 | 
0 | 
| T32 | 
11 | 
10 | 
0 | 
0 | 
| T33 | 
9 | 
8 | 
0 | 
0 | 
| T34 | 
0 | 
23 | 
0 | 
0 | 
| T35 | 
2 | 
1 | 
0 | 
0 | 
| T36 | 
2 | 
1 | 
0 | 
0 | 
| T37 | 
2 | 
1 | 
0 | 
0 | 
| T201 | 
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,T31 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T35,T12,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,T31 | 
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 | 
67 | 
56 | 
0 | 
0 | 
| T31 | 
7 | 
6 | 
0 | 
0 | 
| T33 | 
10 | 
9 | 
0 | 
0 | 
| T34 | 
8 | 
7 | 
0 | 
0 | 
| T193 | 
6 | 
5 | 
0 | 
0 | 
| T194 | 
10 | 
9 | 
0 | 
0 | 
| T195 | 
5 | 
4 | 
0 | 
0 | 
| T196 | 
9 | 
8 | 
0 | 
0 | 
| T197 | 
4 | 
3 | 
0 | 
0 | 
| T198 | 
6 | 
5 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
120 | 
103 | 
0 | 
0 | 
| T31 | 
23 | 
22 | 
0 | 
0 | 
| T32 | 
10 | 
9 | 
0 | 
0 | 
| T33 | 
5 | 
4 | 
0 | 
0 | 
| T34 | 
17 | 
16 | 
0 | 
0 | 
| T193 | 
13 | 
12 | 
0 | 
0 | 
| T194 | 
9 | 
8 | 
0 | 
0 | 
| T195 | 
5 | 
4 | 
0 | 
0 | 
| T196 | 
8 | 
7 | 
0 | 
0 | 
| T197 | 
7 | 
6 | 
0 | 
0 | 
| T198 | 
16 | 
15 | 
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 | T12,T9,T13 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T12,T14,T201 | 
| 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 | T12,T9,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 | 
4373 | 
4350 | 
0 | 
0 | 
| 
selKnown1 | 
475 | 
462 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
4373 | 
4350 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T12 | 
1025 | 
1024 | 
0 | 
0 | 
| T13 | 
317 | 
316 | 
0 | 
0 | 
| T14 | 
1025 | 
1024 | 
0 | 
0 | 
| T31 | 
0 | 
4 | 
0 | 
0 | 
| T32 | 
0 | 
4 | 
0 | 
0 | 
| T33 | 
0 | 
16 | 
0 | 
0 | 
| T34 | 
0 | 
17 | 
0 | 
0 | 
| T43 | 
1 | 
0 | 
0 | 
0 | 
| T54 | 
1 | 
0 | 
0 | 
0 | 
| T95 | 
0 | 
396 | 
0 | 
0 | 
| T199 | 
445 | 
444 | 
0 | 
0 | 
| T200 | 
1 | 
0 | 
0 | 
0 | 
| T201 | 
1025 | 
1024 | 
0 | 
0 | 
| T202 | 
1 | 
0 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
475 | 
462 | 
0 | 
0 | 
| T12 | 
117 | 
116 | 
0 | 
0 | 
| T14 | 
117 | 
116 | 
0 | 
0 | 
| T31 | 
24 | 
23 | 
0 | 
0 | 
| T32 | 
6 | 
5 | 
0 | 
0 | 
| T33 | 
14 | 
13 | 
0 | 
0 | 
| T34 | 
16 | 
15 | 
0 | 
0 | 
| T193 | 
9 | 
8 | 
0 | 
0 | 
| T194 | 
8 | 
7 | 
0 | 
0 | 
| T195 | 
9 | 
8 | 
0 | 
0 | 
| T201 | 
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 | T12,T9,T13 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T12,T14,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 | T12,T9,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 | 
76 | 
56 | 
0 | 
0 | 
| T10 | 
1 | 
0 | 
0 | 
0 | 
| T13 | 
3 | 
2 | 
0 | 
0 | 
| T14 | 
1 | 
0 | 
0 | 
0 | 
| T31 | 
2 | 
1 | 
0 | 
0 | 
| T32 | 
0 | 
4 | 
0 | 
0 | 
| T33 | 
0 | 
4 | 
0 | 
0 | 
| T34 | 
0 | 
9 | 
0 | 
0 | 
| T54 | 
1 | 
0 | 
0 | 
0 | 
| T55 | 
1 | 
0 | 
0 | 
0 | 
| T56 | 
1 | 
0 | 
0 | 
0 | 
| T95 | 
3 | 
2 | 
0 | 
0 | 
| T193 | 
0 | 
7 | 
0 | 
0 | 
| T194 | 
0 | 
8 | 
0 | 
0 | 
| T198 | 
0 | 
8 | 
0 | 
0 | 
| T199 | 
3 | 
2 | 
0 | 
0 | 
| T201 | 
1 | 
0 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
115 | 
101 | 
0 | 
0 | 
| T31 | 
26 | 
25 | 
0 | 
0 | 
| T32 | 
7 | 
6 | 
0 | 
0 | 
| T33 | 
9 | 
8 | 
0 | 
0 | 
| T34 | 
13 | 
12 | 
0 | 
0 | 
| T193 | 
9 | 
8 | 
0 | 
0 | 
| T194 | 
10 | 
9 | 
0 | 
0 | 
| T195 | 
6 | 
5 | 
0 | 
0 | 
| T196 | 
8 | 
7 | 
0 | 
0 | 
| T197 | 
8 | 
7 | 
0 | 
0 | 
| T198 | 
15 | 
14 | 
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 | T12,T13,T14 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T35,T9,T36 | 
| 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 | T12,T13,T14 | 
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 | 
4383 | 
4361 | 
0 | 
0 | 
| 
selKnown1 | 
538 | 
524 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
4383 | 
4361 | 
0 | 
0 | 
| T12 | 
1026 | 
1025 | 
0 | 
0 | 
| T13 | 
323 | 
322 | 
0 | 
0 | 
| T14 | 
1025 | 
1024 | 
0 | 
0 | 
| T31 | 
0 | 
5 | 
0 | 
0 | 
| T32 | 
0 | 
3 | 
0 | 
0 | 
| T33 | 
0 | 
16 | 
0 | 
0 | 
| T34 | 
0 | 
18 | 
0 | 
0 | 
| T43 | 
1 | 
0 | 
0 | 
0 | 
| T54 | 
1 | 
0 | 
0 | 
0 | 
| T95 | 
386 | 
385 | 
0 | 
0 | 
| T199 | 
457 | 
456 | 
0 | 
0 | 
| T200 | 
1 | 
0 | 
0 | 
0 | 
| T201 | 
1026 | 
1025 | 
0 | 
0 | 
| T202 | 
1 | 
0 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
538 | 
524 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T31 | 
18 | 
17 | 
0 | 
0 | 
| T32 | 
9 | 
8 | 
0 | 
0 | 
| T33 | 
9 | 
8 | 
0 | 
0 | 
| T34 | 
11 | 
10 | 
0 | 
0 | 
| T35 | 
142 | 
141 | 
0 | 
0 | 
| T36 | 
137 | 
136 | 
0 | 
0 | 
| T37 | 
144 | 
143 | 
0 | 
0 | 
| T193 | 
11 | 
10 | 
0 | 
0 | 
| T194 | 
9 | 
8 | 
0 | 
0 | 
| T195 | 
0 | 
10 | 
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 | T12,T13,T14 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T35,T12,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 | T12,T13,T14 | 
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 | 
78 | 
58 | 
0 | 
0 | 
| T10 | 
1 | 
0 | 
0 | 
0 | 
| T13 | 
3 | 
2 | 
0 | 
0 | 
| T14 | 
1 | 
0 | 
0 | 
0 | 
| T31 | 
5 | 
4 | 
0 | 
0 | 
| T32 | 
0 | 
2 | 
0 | 
0 | 
| T33 | 
0 | 
10 | 
0 | 
0 | 
| T34 | 
0 | 
12 | 
0 | 
0 | 
| T54 | 
1 | 
0 | 
0 | 
0 | 
| T55 | 
1 | 
0 | 
0 | 
0 | 
| T56 | 
1 | 
0 | 
0 | 
0 | 
| T95 | 
3 | 
2 | 
0 | 
0 | 
| T193 | 
0 | 
1 | 
0 | 
0 | 
| T194 | 
0 | 
6 | 
0 | 
0 | 
| T195 | 
0 | 
3 | 
0 | 
0 | 
| T199 | 
3 | 
2 | 
0 | 
0 | 
| T201 | 
1 | 
0 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
123 | 
105 | 
0 | 
0 | 
| T31 | 
21 | 
20 | 
0 | 
0 | 
| T32 | 
9 | 
8 | 
0 | 
0 | 
| T33 | 
9 | 
8 | 
0 | 
0 | 
| T34 | 
11 | 
10 | 
0 | 
0 | 
| T193 | 
12 | 
11 | 
0 | 
0 | 
| T194 | 
6 | 
5 | 
0 | 
0 | 
| T195 | 
13 | 
12 | 
0 | 
0 | 
| T196 | 
8 | 
7 | 
0 | 
0 | 
| T197 | 
13 | 
12 | 
0 | 
0 | 
| T198 | 
13 | 
12 | 
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 | T50,T35,T52 | 
| 0 | 1 | Covered | T35,T12,T14 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T35,T12,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 | T50,T35,T52 | 
| 1 | 1 | Covered | T35,T12,T14 | 
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 | 
3515 | 
3492 | 
0 | 
0 | 
| 
selKnown1 | 
3844 | 
3815 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
3515 | 
3492 | 
0 | 
0 | 
| T11 | 
1 | 
0 | 
0 | 
0 | 
| T12 | 
576 | 
575 | 
0 | 
0 | 
| T14 | 
576 | 
575 | 
0 | 
0 | 
| T31 | 
0 | 
27 | 
0 | 
0 | 
| T32 | 
0 | 
14 | 
0 | 
0 | 
| T33 | 
0 | 
10 | 
0 | 
0 | 
| T34 | 
0 | 
17 | 
0 | 
0 | 
| T35 | 
546 | 
545 | 
0 | 
0 | 
| T36 | 
546 | 
545 | 
0 | 
0 | 
| T37 | 
546 | 
545 | 
0 | 
0 | 
| T52 | 
1 | 
0 | 
0 | 
0 | 
| T58 | 
1 | 
0 | 
0 | 
0 | 
| T81 | 
1 | 
0 | 
0 | 
0 | 
| T201 | 
576 | 
575 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
3844 | 
3815 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T12 | 
1025 | 
1024 | 
0 | 
0 | 
| T13 | 
147 | 
146 | 
0 | 
0 | 
| T14 | 
1025 | 
1024 | 
0 | 
0 | 
| T31 | 
0 | 
3 | 
0 | 
0 | 
| T32 | 
0 | 
7 | 
0 | 
0 | 
| T33 | 
0 | 
13 | 
0 | 
0 | 
| T34 | 
0 | 
15 | 
0 | 
0 | 
| T36 | 
1 | 
0 | 
0 | 
0 | 
| T37 | 
1 | 
0 | 
0 | 
0 | 
| T43 | 
1 | 
0 | 
0 | 
0 | 
| T58 | 
1 | 
0 | 
0 | 
0 | 
| T95 | 
0 | 
203 | 
0 | 
0 | 
| T199 | 
293 | 
292 | 
0 | 
0 | 
| T200 | 
1 | 
0 | 
0 | 
0 | 
| T201 | 
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 | T50,T35,T52 | 
| 0 | 1 | Covered | T35,T12,T14 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T35,T12,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 | T50,T35,T52 | 
| 1 | 1 | Covered | T35,T12,T14 | 
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 | 
3511 | 
3488 | 
0 | 
0 | 
| 
selKnown1 | 
3838 | 
3809 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
3511 | 
3488 | 
0 | 
0 | 
| T11 | 
1 | 
0 | 
0 | 
0 | 
| T12 | 
576 | 
575 | 
0 | 
0 | 
| T14 | 
576 | 
575 | 
0 | 
0 | 
| T31 | 
0 | 
26 | 
0 | 
0 | 
| T32 | 
0 | 
13 | 
0 | 
0 | 
| T33 | 
0 | 
11 | 
0 | 
0 | 
| T34 | 
0 | 
17 | 
0 | 
0 | 
| T35 | 
546 | 
545 | 
0 | 
0 | 
| T36 | 
546 | 
545 | 
0 | 
0 | 
| T37 | 
546 | 
545 | 
0 | 
0 | 
| T52 | 
1 | 
0 | 
0 | 
0 | 
| T58 | 
1 | 
0 | 
0 | 
0 | 
| T81 | 
1 | 
0 | 
0 | 
0 | 
| T201 | 
576 | 
575 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
3838 | 
3809 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T12 | 
1025 | 
1024 | 
0 | 
0 | 
| T13 | 
147 | 
146 | 
0 | 
0 | 
| T14 | 
1025 | 
1024 | 
0 | 
0 | 
| T31 | 
0 | 
3 | 
0 | 
0 | 
| T32 | 
0 | 
6 | 
0 | 
0 | 
| T33 | 
0 | 
13 | 
0 | 
0 | 
| T34 | 
0 | 
15 | 
0 | 
0 | 
| T36 | 
1 | 
0 | 
0 | 
0 | 
| T37 | 
1 | 
0 | 
0 | 
0 | 
| T43 | 
1 | 
0 | 
0 | 
0 | 
| T58 | 
1 | 
0 | 
0 | 
0 | 
| T95 | 
0 | 
203 | 
0 | 
0 | 
| T199 | 
293 | 
292 | 
0 | 
0 | 
| T200 | 
1 | 
0 | 
0 | 
0 | 
| T201 | 
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 | T50,T35,T52 | 
| 0 | 1 | Covered | T35,T12,T9 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T35,T12,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 | T50,T35,T52 | 
| 1 | 1 | Covered | T35,T12,T9 | 
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 | 
173 | 
142 | 
0 | 
0 | 
| 
selKnown1 | 
3864 | 
3833 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
173 | 
142 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T10 | 
1 | 
0 | 
0 | 
0 | 
| T12 | 
2 | 
1 | 
0 | 
0 | 
| T13 | 
1 | 
0 | 
0 | 
0 | 
| T14 | 
2 | 
1 | 
0 | 
0 | 
| T31 | 
0 | 
20 | 
0 | 
0 | 
| T32 | 
0 | 
13 | 
0 | 
0 | 
| T33 | 
0 | 
13 | 
0 | 
0 | 
| T34 | 
0 | 
15 | 
0 | 
0 | 
| T35 | 
2 | 
1 | 
0 | 
0 | 
| T36 | 
0 | 
1 | 
0 | 
0 | 
| T37 | 
0 | 
1 | 
0 | 
0 | 
| T43 | 
1 | 
0 | 
0 | 
0 | 
| T52 | 
1 | 
0 | 
0 | 
0 | 
| T58 | 
1 | 
0 | 
0 | 
0 | 
| T81 | 
1 | 
0 | 
0 | 
0 | 
| T201 | 
0 | 
1 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
3864 | 
3833 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T10 | 
1 | 
0 | 
0 | 
0 | 
| T12 | 
1026 | 
1025 | 
0 | 
0 | 
| T13 | 
153 | 
152 | 
0 | 
0 | 
| T14 | 
1025 | 
1024 | 
0 | 
0 | 
| T31 | 
0 | 
11 | 
0 | 
0 | 
| T32 | 
0 | 
4 | 
0 | 
0 | 
| T33 | 
0 | 
17 | 
0 | 
0 | 
| T34 | 
0 | 
11 | 
0 | 
0 | 
| T36 | 
1 | 
0 | 
0 | 
0 | 
| T37 | 
1 | 
0 | 
0 | 
0 | 
| T43 | 
1 | 
0 | 
0 | 
0 | 
| T58 | 
1 | 
0 | 
0 | 
0 | 
| T95 | 
0 | 
192 | 
0 | 
0 | 
| T199 | 
305 | 
304 | 
0 | 
0 | 
| T201 | 
0 | 
1025 | 
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 | T50,T35,T52 | 
| 0 | 1 | Covered | T35,T12,T9 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T35,T12,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 | T50,T35,T52 | 
| 1 | 1 | Covered | T35,T12,T9 | 
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 | 
170 | 
139 | 
0 | 
0 | 
| 
selKnown1 | 
3863 | 
3832 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
170 | 
139 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T10 | 
1 | 
0 | 
0 | 
0 | 
| T12 | 
2 | 
1 | 
0 | 
0 | 
| T13 | 
1 | 
0 | 
0 | 
0 | 
| T14 | 
2 | 
1 | 
0 | 
0 | 
| T31 | 
0 | 
20 | 
0 | 
0 | 
| T32 | 
0 | 
13 | 
0 | 
0 | 
| T33 | 
0 | 
13 | 
0 | 
0 | 
| T34 | 
0 | 
16 | 
0 | 
0 | 
| T35 | 
2 | 
1 | 
0 | 
0 | 
| T36 | 
0 | 
1 | 
0 | 
0 | 
| T37 | 
0 | 
1 | 
0 | 
0 | 
| T43 | 
1 | 
0 | 
0 | 
0 | 
| T52 | 
1 | 
0 | 
0 | 
0 | 
| T58 | 
1 | 
0 | 
0 | 
0 | 
| T81 | 
1 | 
0 | 
0 | 
0 | 
| T201 | 
0 | 
1 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
3863 | 
3832 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T10 | 
1 | 
0 | 
0 | 
0 | 
| T12 | 
1026 | 
1025 | 
0 | 
0 | 
| T13 | 
153 | 
152 | 
0 | 
0 | 
| T14 | 
1025 | 
1024 | 
0 | 
0 | 
| T31 | 
0 | 
10 | 
0 | 
0 | 
| T32 | 
0 | 
4 | 
0 | 
0 | 
| T33 | 
0 | 
15 | 
0 | 
0 | 
| T34 | 
0 | 
12 | 
0 | 
0 | 
| T36 | 
1 | 
0 | 
0 | 
0 | 
| T37 | 
1 | 
0 | 
0 | 
0 | 
| T43 | 
1 | 
0 | 
0 | 
0 | 
| T58 | 
1 | 
0 | 
0 | 
0 | 
| T95 | 
0 | 
192 | 
0 | 
0 | 
| T199 | 
305 | 
304 | 
0 | 
0 | 
| T201 | 
0 | 
1025 | 
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 | T50,T52,T81 | 
| 0 | 1 | Covered | T12,T9,T14 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T12,T9,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 | T50,T52,T81 | 
| 1 | 1 | Covered | T12,T9,T14 | 
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 | 
519 | 
498 | 
0 | 
0 | 
| 
selKnown1 | 
29870 | 
29834 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
519 | 
498 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T11 | 
1 | 
0 | 
0 | 
0 | 
| T12 | 
117 | 
116 | 
0 | 
0 | 
| T14 | 
117 | 
116 | 
0 | 
0 | 
| T31 | 
24 | 
23 | 
0 | 
0 | 
| T32 | 
20 | 
19 | 
0 | 
0 | 
| T33 | 
0 | 
16 | 
0 | 
0 | 
| T34 | 
0 | 
13 | 
0 | 
0 | 
| T58 | 
1 | 
0 | 
0 | 
0 | 
| T193 | 
0 | 
11 | 
0 | 
0 | 
| T194 | 
0 | 
9 | 
0 | 
0 | 
| T195 | 
0 | 
11 | 
0 | 
0 | 
| T201 | 
117 | 
116 | 
0 | 
0 | 
| T203 | 
1 | 
0 | 
0 | 
0 | 
| T204 | 
1 | 
0 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
29870 | 
29834 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T12 | 
1025 | 
1024 | 
0 | 
0 | 
| T13 | 
351 | 
350 | 
0 | 
0 | 
| T14 | 
1025 | 
1024 | 
0 | 
0 | 
| T40 | 
20 | 
19 | 
0 | 
0 | 
| T41 | 
0 | 
19 | 
0 | 
0 | 
| T43 | 
18 | 
17 | 
0 | 
0 | 
| T73 | 
1665 | 
1664 | 
0 | 
0 | 
| T89 | 
2351 | 
2350 | 
0 | 
0 | 
| T205 | 
4737 | 
4736 | 
0 | 
0 | 
| T206 | 
1433 | 
1432 | 
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 | T50,T52,T81 | 
| 0 | 1 | Covered | T12,T9,T14 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T12,T9,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 | T50,T52,T81 | 
| 1 | 1 | Covered | T12,T9,T14 | 
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 | 
523 | 
502 | 
0 | 
0 | 
| 
selKnown1 | 
29868 | 
29832 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
523 | 
502 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T11 | 
1 | 
0 | 
0 | 
0 | 
| T12 | 
117 | 
116 | 
0 | 
0 | 
| T14 | 
117 | 
116 | 
0 | 
0 | 
| T31 | 
24 | 
23 | 
0 | 
0 | 
| T32 | 
20 | 
19 | 
0 | 
0 | 
| T33 | 
0 | 
16 | 
0 | 
0 | 
| T34 | 
0 | 
14 | 
0 | 
0 | 
| T58 | 
1 | 
0 | 
0 | 
0 | 
| T193 | 
0 | 
11 | 
0 | 
0 | 
| T194 | 
0 | 
9 | 
0 | 
0 | 
| T195 | 
0 | 
12 | 
0 | 
0 | 
| T201 | 
117 | 
116 | 
0 | 
0 | 
| T203 | 
1 | 
0 | 
0 | 
0 | 
| T204 | 
1 | 
0 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
29868 | 
29832 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T12 | 
1025 | 
1024 | 
0 | 
0 | 
| T13 | 
351 | 
350 | 
0 | 
0 | 
| T14 | 
1025 | 
1024 | 
0 | 
0 | 
| T40 | 
20 | 
19 | 
0 | 
0 | 
| T41 | 
0 | 
19 | 
0 | 
0 | 
| T43 | 
18 | 
17 | 
0 | 
0 | 
| T73 | 
1665 | 
1664 | 
0 | 
0 | 
| T89 | 
2351 | 
2350 | 
0 | 
0 | 
| T205 | 
4737 | 
4736 | 
0 | 
0 | 
| T206 | 
1433 | 
1432 | 
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 | T91,T207,T50 | 
| 0 | 1 | Covered | T91,T207,T35 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T12,T9,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 | T91,T207,T50 | 
| 1 | 1 | Covered | T91,T207,T35 | 
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 | 
739 | 
694 | 
0 | 
0 | 
| 
selKnown1 | 
29860 | 
29824 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
739 | 
694 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T12 | 
2 | 
1 | 
0 | 
0 | 
| T13 | 
1 | 
0 | 
0 | 
0 | 
| T14 | 
0 | 
1 | 
0 | 
0 | 
| T22 | 
1 | 
0 | 
0 | 
0 | 
| T24 | 
0 | 
7 | 
0 | 
0 | 
| T35 | 
138 | 
137 | 
0 | 
0 | 
| T36 | 
0 | 
133 | 
0 | 
0 | 
| T37 | 
0 | 
138 | 
0 | 
0 | 
| T50 | 
1 | 
0 | 
0 | 
0 | 
| T52 | 
1 | 
0 | 
0 | 
0 | 
| T81 | 
1 | 
0 | 
0 | 
0 | 
| T91 | 
34 | 
33 | 
0 | 
0 | 
| T207 | 
2 | 
1 | 
0 | 
0 | 
| T208 | 
0 | 
33 | 
0 | 
0 | 
| T209 | 
0 | 
1 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
29860 | 
29824 | 
0 | 
0 | 
| T9 | 
2 | 
1 | 
0 | 
0 | 
| T12 | 
1025 | 
1024 | 
0 | 
0 | 
| T13 | 
356 | 
355 | 
0 | 
0 | 
| T14 | 
1024 | 
1023 | 
0 | 
0 | 
| T40 | 
20 | 
19 | 
0 | 
0 | 
| T43 | 
18 | 
17 | 
0 | 
0 | 
| T73 | 
1665 | 
1664 | 
0 | 
0 | 
| T89 | 
2351 | 
2350 | 
0 | 
0 | 
| T205 | 
4737 | 
4736 | 
0 | 
0 | 
| T206 | 
1433 | 
1432 | 
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 | T91,T207,T50 | 
| 0 | 1 | Covered | T91,T207,T35 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T12,T9,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 | T91,T207,T50 | 
| 1 | 1 | Covered | T91,T207,T35 | 
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 | 
738 | 
693 | 
0 | 
0 | 
| 
selKnown1 | 
29862 | 
29826 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
738 | 
693 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T12 | 
2 | 
1 | 
0 | 
0 | 
| T13 | 
1 | 
0 | 
0 | 
0 | 
| T14 | 
0 | 
1 | 
0 | 
0 | 
| T22 | 
1 | 
0 | 
0 | 
0 | 
| T24 | 
0 | 
7 | 
0 | 
0 | 
| T35 | 
138 | 
137 | 
0 | 
0 | 
| T36 | 
0 | 
133 | 
0 | 
0 | 
| T37 | 
0 | 
138 | 
0 | 
0 | 
| T50 | 
1 | 
0 | 
0 | 
0 | 
| T52 | 
1 | 
0 | 
0 | 
0 | 
| T81 | 
1 | 
0 | 
0 | 
0 | 
| T91 | 
34 | 
33 | 
0 | 
0 | 
| T207 | 
2 | 
1 | 
0 | 
0 | 
| T208 | 
0 | 
33 | 
0 | 
0 | 
| T209 | 
0 | 
1 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
29862 | 
29826 | 
0 | 
0 | 
| T9 | 
2 | 
1 | 
0 | 
0 | 
| T12 | 
1025 | 
1024 | 
0 | 
0 | 
| T13 | 
356 | 
355 | 
0 | 
0 | 
| T14 | 
1024 | 
1023 | 
0 | 
0 | 
| T40 | 
20 | 
19 | 
0 | 
0 | 
| T43 | 
18 | 
17 | 
0 | 
0 | 
| T73 | 
1665 | 
1664 | 
0 | 
0 | 
| T89 | 
2351 | 
2350 | 
0 | 
0 | 
| T205 | 
4737 | 
4736 | 
0 | 
0 | 
| T206 | 
1433 | 
1432 | 
0 | 
0 |