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 | T55,T56,T14 | 
| 1 | 0 | Not Covered |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T13,T14,T15 | 
| 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 | T55,T56,T14 | 
Assert Coverage for Module : 
prim_generic_clock_mux2
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete | 
| 
selKnown0 | 
24890 | 
24366 | 
0 | 
0 | 
| 
selKnown1 | 
133695 | 
132290 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
24890 | 
24366 | 
0 | 
0 | 
| T9 | 
2 | 
1 | 
0 | 
0 | 
| T14 | 
19 | 
18 | 
0 | 
0 | 
| T17 | 
33 | 
32 | 
0 | 
0 | 
| T32 | 
9 | 
26 | 
0 | 
0 | 
| T33 | 
10 | 
9 | 
0 | 
0 | 
| T34 | 
5 | 
4 | 
0 | 
0 | 
| T49 | 
1 | 
0 | 
0 | 
0 | 
| T50 | 
3 | 
2 | 
0 | 
0 | 
| T63 | 
2 | 
1 | 
0 | 
0 | 
| T65 | 
29 | 
28 | 
0 | 
0 | 
| T68 | 
2 | 
1 | 
0 | 
0 | 
| T69 | 
2 | 
1 | 
0 | 
0 | 
| T75 | 
1 | 
0 | 
0 | 
0 | 
| T76 | 
0 | 
1 | 
0 | 
0 | 
| T114 | 
0 | 
3 | 
0 | 
0 | 
| T173 | 
0 | 
1 | 
0 | 
0 | 
| T183 | 
5 | 
4 | 
0 | 
0 | 
| T184 | 
7 | 
6 | 
0 | 
0 | 
| T185 | 
12 | 
11 | 
0 | 
0 | 
| T186 | 
4 | 
3 | 
0 | 
0 | 
| T187 | 
9 | 
8 | 
0 | 
0 | 
| T188 | 
4 | 
3 | 
0 | 
0 | 
| T189 | 
6 | 
5 | 
0 | 
0 | 
| T190 | 
1 | 
0 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
133695 | 
132290 | 
0 | 
0 | 
| T1 | 
2 | 
1 | 
0 | 
0 | 
| T2 | 
1 | 
0 | 
0 | 
0 | 
| T3 | 
1 | 
0 | 
0 | 
0 | 
| T4 | 
2 | 
1 | 
0 | 
0 | 
| T5 | 
1 | 
0 | 
0 | 
0 | 
| T6 | 
1 | 
0 | 
0 | 
0 | 
| T7 | 
11 | 
10 | 
0 | 
0 | 
| T8 | 
0 | 
1 | 
0 | 
0 | 
| T19 | 
1 | 
0 | 
0 | 
0 | 
| T32 | 
12 | 
10 | 
0 | 
0 | 
| T33 | 
16 | 
14 | 
0 | 
0 | 
| T34 | 
19 | 
39 | 
0 | 
0 | 
| T35 | 
2 | 
1 | 
0 | 
0 | 
| T37 | 
545 | 
544 | 
0 | 
0 | 
| T64 | 
0 | 
1 | 
0 | 
0 | 
| T83 | 
2 | 
1 | 
0 | 
0 | 
| T120 | 
0 | 
1 | 
0 | 
0 | 
| T123 | 
0 | 
1 | 
0 | 
0 | 
| T174 | 
0 | 
1 | 
0 | 
0 | 
| T183 | 
18 | 
34 | 
0 | 
0 | 
| T184 | 
30 | 
60 | 
0 | 
0 | 
| T185 | 
15 | 
37 | 
0 | 
0 | 
| T186 | 
19 | 
18 | 
0 | 
0 | 
| T187 | 
11 | 
10 | 
0 | 
0 | 
| T188 | 
25 | 
24 | 
0 | 
0 | 
| T189 | 
14 | 
13 | 
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 | T2,T9,T49 | 
| 0 | 1 | Covered | T2,T9,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 | T2,T9,T49 | 
| 1 | 1 | Covered | T2,T9,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 | 
927 | 
793 | 
0 | 
0 | 
| T9 | 
2 | 
1 | 
0 | 
0 | 
| T17 | 
33 | 
32 | 
0 | 
0 | 
| T49 | 
1 | 
0 | 
0 | 
0 | 
| T50 | 
3 | 
2 | 
0 | 
0 | 
| T63 | 
2 | 
1 | 
0 | 
0 | 
| T65 | 
29 | 
28 | 
0 | 
0 | 
| T68 | 
2 | 
1 | 
0 | 
0 | 
| T69 | 
2 | 
1 | 
0 | 
0 | 
| T75 | 
1 | 
0 | 
0 | 
0 | 
| T76 | 
0 | 
1 | 
0 | 
0 | 
| T114 | 
0 | 
3 | 
0 | 
0 | 
| T173 | 
0 | 
1 | 
0 | 
0 | 
| T190 | 
1 | 
0 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
1748 | 
731 | 
0 | 
0 | 
| T1 | 
2 | 
1 | 
0 | 
0 | 
| T2 | 
1 | 
0 | 
0 | 
0 | 
| T3 | 
1 | 
0 | 
0 | 
0 | 
| T4 | 
2 | 
1 | 
0 | 
0 | 
| T5 | 
1 | 
0 | 
0 | 
0 | 
| T6 | 
1 | 
0 | 
0 | 
0 | 
| T7 | 
11 | 
10 | 
0 | 
0 | 
| T8 | 
0 | 
1 | 
0 | 
0 | 
| T19 | 
1 | 
0 | 
0 | 
0 | 
| T35 | 
2 | 
1 | 
0 | 
0 | 
| T64 | 
0 | 
1 | 
0 | 
0 | 
| T83 | 
2 | 
1 | 
0 | 
0 | 
| T120 | 
0 | 
1 | 
0 | 
0 | 
| T123 | 
0 | 
1 | 
0 | 
0 | 
| T174 | 
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 | T15,T10,T12 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T14,T15,T37 | 
| 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 | T15,T10,T12 | 
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 | 
3868 | 
3847 | 
0 | 
0 | 
| 
selKnown1 | 
2472 | 
2452 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
3868 | 
3847 | 
0 | 
0 | 
| T10 | 
1 | 
0 | 
0 | 
0 | 
| T12 | 
1 | 
0 | 
0 | 
0 | 
| T14 | 
19 | 
18 | 
0 | 
0 | 
| T15 | 
221 | 
220 | 
0 | 
0 | 
| T32 | 
0 | 
18 | 
0 | 
0 | 
| T191 | 
19 | 
18 | 
0 | 
0 | 
| T192 | 
1026 | 
1025 | 
0 | 
0 | 
| T193 | 
193 | 
192 | 
0 | 
0 | 
| T194 | 
19 | 
18 | 
0 | 
0 | 
| T195 | 
1026 | 
1025 | 
0 | 
0 | 
| T196 | 
1026 | 
1025 | 
0 | 
0 | 
| T197 | 
0 | 
160 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
2472 | 
2452 | 
0 | 
0 | 
| T32 | 
6 | 
5 | 
0 | 
0 | 
| T33 | 
8 | 
7 | 
0 | 
0 | 
| T34 | 
0 | 
21 | 
0 | 
0 | 
| T37 | 
545 | 
544 | 
0 | 
0 | 
| T183 | 
0 | 
17 | 
0 | 
0 | 
| T184 | 
0 | 
31 | 
0 | 
0 | 
| T185 | 
0 | 
23 | 
0 | 
0 | 
| T191 | 
1 | 
0 | 
0 | 
0 | 
| T192 | 
576 | 
575 | 
0 | 
0 | 
| T193 | 
1 | 
0 | 
0 | 
0 | 
| T194 | 
1 | 
0 | 
0 | 
0 | 
| T195 | 
576 | 
575 | 
0 | 
0 | 
| T196 | 
576 | 
575 | 
0 | 
0 | 
| T197 | 
1 | 
0 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_padring.gen_dio_pads[11].gen_mux_spi_host_d2.u_mux_dio_oe.gen_generic.u_impl_generic
 | Line No. | Total | Covered | Percent | 
| TOTAL |  | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 17 | 1 | 1 | 100.00 | 
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' or '../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements |  | 
| 17 | 
1 | 
1 | 
Cond Coverage for Instance : tb.dut.u_padring.gen_dio_pads[11].gen_mux_spi_host_d2.u_mux_dio_oe.gen_generic.u_impl_generic
 | Total | Covered | Percent | 
| Conditions | 5 | 5 | 100.00 | 
| Logical | 5 | 5 | 100.00 | 
| Non-Logical | 0 | 0 |  | 
| Event | 0 | 0 |  | 
 LINE       17
 EXPRESSION ((sel_i & clk1_i) | (((~sel_i)) & clk0_i))
             --------1-------   ----------2----------
| -1- | -2- | Status | Tests |                       
| 0 | 0 | Covered | T1,T2,T3 | 
| 0 | 1 | Covered | T10,T12,T32 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T10,T37,T12 | 
| 1 | 0 | Unreachable |  | 
| 1 | 1 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (((~sel_i)) & clk0_i)
                 -----1----   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Unreachable |  | 
| 1 | 0 | Covered | T1,T2,T3 | 
| 1 | 1 | Covered | T10,T12,T32 | 
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 | 
73 | 
61 | 
0 | 
0 | 
| T32 | 
9 | 
8 | 
0 | 
0 | 
| T33 | 
10 | 
9 | 
0 | 
0 | 
| T34 | 
5 | 
4 | 
0 | 
0 | 
| T183 | 
5 | 
4 | 
0 | 
0 | 
| T184 | 
7 | 
6 | 
0 | 
0 | 
| T185 | 
12 | 
11 | 
0 | 
0 | 
| T186 | 
4 | 
3 | 
0 | 
0 | 
| T187 | 
9 | 
8 | 
0 | 
0 | 
| T188 | 
4 | 
3 | 
0 | 
0 | 
| T189 | 
6 | 
5 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
171 | 
155 | 
0 | 
0 | 
| T32 | 
6 | 
5 | 
0 | 
0 | 
| T33 | 
8 | 
7 | 
0 | 
0 | 
| T34 | 
19 | 
18 | 
0 | 
0 | 
| T183 | 
18 | 
17 | 
0 | 
0 | 
| T184 | 
30 | 
29 | 
0 | 
0 | 
| T185 | 
15 | 
14 | 
0 | 
0 | 
| T186 | 
19 | 
18 | 
0 | 
0 | 
| T187 | 
11 | 
10 | 
0 | 
0 | 
| T188 | 
25 | 
24 | 
0 | 
0 | 
| T189 | 
14 | 
13 | 
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 | T15,T192,T193 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T13,T36,T37 | 
| 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 | T15,T192,T193 | 
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 | 
3879 | 
3860 | 
0 | 
0 | 
| 
selKnown1 | 
194 | 
178 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
3879 | 
3860 | 
0 | 
0 | 
| T14 | 
19 | 
18 | 
0 | 
0 | 
| T15 | 
226 | 
225 | 
0 | 
0 | 
| T32 | 
15 | 
14 | 
0 | 
0 | 
| T191 | 
19 | 
18 | 
0 | 
0 | 
| T192 | 
1026 | 
1025 | 
0 | 
0 | 
| T193 | 
190 | 
189 | 
0 | 
0 | 
| T194 | 
19 | 
18 | 
0 | 
0 | 
| T195 | 
1026 | 
1025 | 
0 | 
0 | 
| T196 | 
1025 | 
1024 | 
0 | 
0 | 
| T197 | 
171 | 
170 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
194 | 
178 | 
0 | 
0 | 
| T32 | 
6 | 
5 | 
0 | 
0 | 
| T33 | 
6 | 
5 | 
0 | 
0 | 
| T34 | 
27 | 
26 | 
0 | 
0 | 
| T37 | 
2 | 
1 | 
0 | 
0 | 
| T183 | 
16 | 
15 | 
0 | 
0 | 
| T184 | 
30 | 
29 | 
0 | 
0 | 
| T185 | 
15 | 
14 | 
0 | 
0 | 
| T192 | 
2 | 
1 | 
0 | 
0 | 
| T195 | 
2 | 
1 | 
0 | 
0 | 
| T196 | 
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 | T10,T32,T33 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T37,T11,T12 | 
| 1 | 0 | Unreachable |  | 
| 1 | 1 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (((~sel_i)) & clk0_i)
                 -----1----   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Unreachable |  | 
| 1 | 0 | Covered | T1,T2,T3 | 
| 1 | 1 | Covered | T10,T32,T33 | 
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 | 
66 | 
55 | 
0 | 
0 | 
| T32 | 
5 | 
4 | 
0 | 
0 | 
| T33 | 
12 | 
11 | 
0 | 
0 | 
| T34 | 
4 | 
3 | 
0 | 
0 | 
| T183 | 
4 | 
3 | 
0 | 
0 | 
| T184 | 
7 | 
6 | 
0 | 
0 | 
| T185 | 
7 | 
6 | 
0 | 
0 | 
| T186 | 
6 | 
5 | 
0 | 
0 | 
| T187 | 
12 | 
11 | 
0 | 
0 | 
| T188 | 
3 | 
2 | 
0 | 
0 | 
| T189 | 
5 | 
4 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
158 | 
142 | 
0 | 
0 | 
| T32 | 
5 | 
4 | 
0 | 
0 | 
| T33 | 
5 | 
4 | 
0 | 
0 | 
| T34 | 
18 | 
17 | 
0 | 
0 | 
| T183 | 
15 | 
14 | 
0 | 
0 | 
| T184 | 
25 | 
24 | 
0 | 
0 | 
| T185 | 
13 | 
12 | 
0 | 
0 | 
| T186 | 
16 | 
15 | 
0 | 
0 | 
| T187 | 
15 | 
14 | 
0 | 
0 | 
| T188 | 
20 | 
19 | 
0 | 
0 | 
| T189 | 
20 | 
19 | 
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 | T55,T56,T14 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T192,T195,T196 | 
| 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 | T55,T56,T14 | 
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 | 
4170 | 
4147 | 
0 | 
0 | 
| 
selKnown1 | 
528 | 
515 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
4170 | 
4147 | 
0 | 
0 | 
| T11 | 
1 | 
0 | 
0 | 
0 | 
| T15 | 
359 | 
358 | 
0 | 
0 | 
| T32 | 
20 | 
19 | 
0 | 
0 | 
| T33 | 
0 | 
21 | 
0 | 
0 | 
| T34 | 
0 | 
14 | 
0 | 
0 | 
| T183 | 
0 | 
11 | 
0 | 
0 | 
| T191 | 
1 | 
0 | 
0 | 
0 | 
| T192 | 
1025 | 
1024 | 
0 | 
0 | 
| T193 | 
293 | 
292 | 
0 | 
0 | 
| T194 | 
1 | 
0 | 
0 | 
0 | 
| T195 | 
1025 | 
1024 | 
0 | 
0 | 
| T196 | 
1025 | 
1024 | 
0 | 
0 | 
| T197 | 
279 | 
278 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
528 | 
515 | 
0 | 
0 | 
| T32 | 
8 | 
7 | 
0 | 
0 | 
| T33 | 
7 | 
6 | 
0 | 
0 | 
| T34 | 
35 | 
34 | 
0 | 
0 | 
| T183 | 
15 | 
14 | 
0 | 
0 | 
| T184 | 
38 | 
37 | 
0 | 
0 | 
| T185 | 
16 | 
15 | 
0 | 
0 | 
| T186 | 
22 | 
21 | 
0 | 
0 | 
| T192 | 
117 | 
116 | 
0 | 
0 | 
| T195 | 
117 | 
116 | 
0 | 
0 | 
| T196 | 
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 | T55,T56,T60 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T12,T192,T195 | 
| 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 | T55,T56,T60 | 
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 | 
74 | 
53 | 
0 | 
0 | 
| T11 | 
1 | 
0 | 
0 | 
0 | 
| T12 | 
1 | 
0 | 
0 | 
0 | 
| T15 | 
3 | 
2 | 
0 | 
0 | 
| T32 | 
9 | 
8 | 
0 | 
0 | 
| T33 | 
11 | 
10 | 
0 | 
0 | 
| T34 | 
0 | 
8 | 
0 | 
0 | 
| T183 | 
0 | 
1 | 
0 | 
0 | 
| T184 | 
0 | 
5 | 
0 | 
0 | 
| T185 | 
0 | 
1 | 
0 | 
0 | 
| T186 | 
0 | 
2 | 
0 | 
0 | 
| T192 | 
1 | 
0 | 
0 | 
0 | 
| T193 | 
3 | 
2 | 
0 | 
0 | 
| T195 | 
1 | 
0 | 
0 | 
0 | 
| T196 | 
1 | 
0 | 
0 | 
0 | 
| T197 | 
3 | 
2 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
170 | 
156 | 
0 | 
0 | 
| T32 | 
16 | 
15 | 
0 | 
0 | 
| T33 | 
7 | 
6 | 
0 | 
0 | 
| T34 | 
29 | 
28 | 
0 | 
0 | 
| T183 | 
15 | 
14 | 
0 | 
0 | 
| T184 | 
33 | 
32 | 
0 | 
0 | 
| T185 | 
11 | 
10 | 
0 | 
0 | 
| T186 | 
20 | 
19 | 
0 | 
0 | 
| T187 | 
5 | 
4 | 
0 | 
0 | 
| T188 | 
19 | 
18 | 
0 | 
0 | 
| T189 | 
11 | 
10 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_padring.gen_dio_pads[18].gen_mux_spi_dev_d3.u_mux_dio_out.gen_generic.u_impl_generic
 | Line No. | Total | Covered | Percent | 
| TOTAL |  | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 17 | 1 | 1 | 100.00 | 
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' or '../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements |  | 
| 17 | 
1 | 
1 | 
Cond Coverage for Instance : tb.dut.u_padring.gen_dio_pads[18].gen_mux_spi_dev_d3.u_mux_dio_out.gen_generic.u_impl_generic
 | Total | Covered | Percent | 
| Conditions | 5 | 5 | 100.00 | 
| Logical | 5 | 5 | 100.00 | 
| Non-Logical | 0 | 0 |  | 
| Event | 0 | 0 |  | 
 LINE       17
 EXPRESSION ((sel_i & clk1_i) | (((~sel_i)) & clk0_i))
             --------1-------   ----------2----------
| -1- | -2- | Status | Tests |                       
| 0 | 0 | Covered | T1,T2,T3 | 
| 0 | 1 | Covered | T55,T56,T14 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T37,T11,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 | T55,T56,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 | 
4185 | 
4162 | 
0 | 
0 | 
| 
selKnown1 | 
292 | 
280 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
4185 | 
4162 | 
0 | 
0 | 
| T10 | 
1 | 
0 | 
0 | 
0 | 
| T15 | 
366 | 
365 | 
0 | 
0 | 
| T32 | 
21 | 
20 | 
0 | 
0 | 
| T33 | 
0 | 
17 | 
0 | 
0 | 
| T34 | 
0 | 
15 | 
0 | 
0 | 
| T183 | 
0 | 
13 | 
0 | 
0 | 
| T191 | 
1 | 
0 | 
0 | 
0 | 
| T192 | 
1026 | 
1025 | 
0 | 
0 | 
| T193 | 
291 | 
290 | 
0 | 
0 | 
| T194 | 
1 | 
0 | 
0 | 
0 | 
| T195 | 
1026 | 
1025 | 
0 | 
0 | 
| T196 | 
1025 | 
1024 | 
0 | 
0 | 
| T197 | 
289 | 
288 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
292 | 
280 | 
0 | 
0 | 
| T11 | 
1 | 
0 | 
0 | 
0 | 
| T32 | 
4 | 
3 | 
0 | 
0 | 
| T33 | 
5 | 
4 | 
0 | 
0 | 
| T34 | 
24 | 
23 | 
0 | 
0 | 
| T37 | 
134 | 
133 | 
0 | 
0 | 
| T183 | 
11 | 
10 | 
0 | 
0 | 
| T184 | 
24 | 
23 | 
0 | 
0 | 
| T185 | 
16 | 
15 | 
0 | 
0 | 
| T186 | 
18 | 
17 | 
0 | 
0 | 
| T187 | 
12 | 
11 | 
0 | 
0 | 
| T188 | 
0 | 
26 | 
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 | T55,T56,T60 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T37,T11,T192 | 
| 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 | T55,T56,T60 | 
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 | 
70 | 
48 | 
0 | 
0 | 
| T10 | 
1 | 
0 | 
0 | 
0 | 
| T11 | 
1 | 
0 | 
0 | 
0 | 
| T12 | 
1 | 
0 | 
0 | 
0 | 
| T15 | 
3 | 
2 | 
0 | 
0 | 
| T32 | 
7 | 
6 | 
0 | 
0 | 
| T33 | 
0 | 
3 | 
0 | 
0 | 
| T34 | 
0 | 
6 | 
0 | 
0 | 
| T183 | 
0 | 
1 | 
0 | 
0 | 
| T184 | 
0 | 
4 | 
0 | 
0 | 
| T185 | 
0 | 
7 | 
0 | 
0 | 
| T186 | 
0 | 
4 | 
0 | 
0 | 
| T192 | 
1 | 
0 | 
0 | 
0 | 
| T193 | 
3 | 
2 | 
0 | 
0 | 
| T195 | 
1 | 
0 | 
0 | 
0 | 
| T196 | 
1 | 
0 | 
0 | 
0 | 
| T197 | 
3 | 
2 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
144 | 
129 | 
0 | 
0 | 
| T32 | 
6 | 
5 | 
0 | 
0 | 
| T33 | 
4 | 
3 | 
0 | 
0 | 
| T34 | 
19 | 
18 | 
0 | 
0 | 
| T183 | 
10 | 
9 | 
0 | 
0 | 
| T184 | 
20 | 
19 | 
0 | 
0 | 
| T185 | 
8 | 
7 | 
0 | 
0 | 
| T186 | 
14 | 
13 | 
0 | 
0 | 
| T187 | 
15 | 
14 | 
0 | 
0 | 
| T188 | 
23 | 
22 | 
0 | 
0 | 
| T189 | 
20 | 
19 | 
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 | T76,T51,T10 | 
| 0 | 1 | Covered | T13,T36,T37 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T13,T14,T15 | 
| 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 | T76,T51,T10 | 
| 1 | 1 | Covered | T13,T36,T37 | 
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 | 
2499 | 
2476 | 
0 | 
0 | 
| 
selKnown1 | 
3663 | 
3632 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
2499 | 
2476 | 
0 | 
0 | 
| T11 | 
1 | 
0 | 
0 | 
0 | 
| T32 | 
19 | 
18 | 
0 | 
0 | 
| T33 | 
0 | 
21 | 
0 | 
0 | 
| T34 | 
0 | 
16 | 
0 | 
0 | 
| T37 | 
546 | 
545 | 
0 | 
0 | 
| T59 | 
1 | 
0 | 
0 | 
0 | 
| T77 | 
1 | 
0 | 
0 | 
0 | 
| T183 | 
0 | 
23 | 
0 | 
0 | 
| T184 | 
0 | 
19 | 
0 | 
0 | 
| T185 | 
0 | 
33 | 
0 | 
0 | 
| T192 | 
576 | 
575 | 
0 | 
0 | 
| T195 | 
576 | 
575 | 
0 | 
0 | 
| T196 | 
576 | 
575 | 
0 | 
0 | 
| T198 | 
1 | 
0 | 
0 | 
0 | 
| T199 | 
1 | 
0 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
3663 | 
3632 | 
0 | 
0 | 
| T10 | 
1 | 
0 | 
0 | 
0 | 
| T11 | 
1 | 
0 | 
0 | 
0 | 
| T12 | 
1 | 
0 | 
0 | 
0 | 
| T15 | 
179 | 
178 | 
0 | 
0 | 
| T32 | 
0 | 
15 | 
0 | 
0 | 
| T33 | 
0 | 
16 | 
0 | 
0 | 
| T34 | 
0 | 
7 | 
0 | 
0 | 
| T36 | 
1 | 
0 | 
0 | 
0 | 
| T37 | 
1 | 
0 | 
0 | 
0 | 
| T77 | 
1 | 
0 | 
0 | 
0 | 
| T183 | 
0 | 
6 | 
0 | 
0 | 
| T191 | 
1 | 
0 | 
0 | 
0 | 
| T192 | 
1025 | 
1024 | 
0 | 
0 | 
| T193 | 
0 | 
156 | 
0 | 
0 | 
| T195 | 
0 | 
1024 | 
0 | 
0 | 
| T196 | 
0 | 
1024 | 
0 | 
0 | 
| T197 | 
0 | 
125 | 
0 | 
0 | 
| T198 | 
1 | 
0 | 
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 | T76,T51,T10 | 
| 0 | 1 | Covered | T13,T36,T37 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T13,T14,T15 | 
| 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 | T76,T51,T10 | 
| 1 | 1 | Covered | T13,T36,T37 | 
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 | 
2501 | 
2478 | 
0 | 
0 | 
| 
selKnown1 | 
3665 | 
3634 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
2501 | 
2478 | 
0 | 
0 | 
| T11 | 
1 | 
0 | 
0 | 
0 | 
| T32 | 
19 | 
18 | 
0 | 
0 | 
| T33 | 
0 | 
19 | 
0 | 
0 | 
| T34 | 
0 | 
17 | 
0 | 
0 | 
| T37 | 
546 | 
545 | 
0 | 
0 | 
| T59 | 
1 | 
0 | 
0 | 
0 | 
| T77 | 
1 | 
0 | 
0 | 
0 | 
| T183 | 
0 | 
23 | 
0 | 
0 | 
| T184 | 
0 | 
19 | 
0 | 
0 | 
| T185 | 
0 | 
33 | 
0 | 
0 | 
| T192 | 
576 | 
575 | 
0 | 
0 | 
| T195 | 
576 | 
575 | 
0 | 
0 | 
| T196 | 
576 | 
575 | 
0 | 
0 | 
| T198 | 
1 | 
0 | 
0 | 
0 | 
| T199 | 
1 | 
0 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
3665 | 
3634 | 
0 | 
0 | 
| T10 | 
1 | 
0 | 
0 | 
0 | 
| T11 | 
1 | 
0 | 
0 | 
0 | 
| T12 | 
1 | 
0 | 
0 | 
0 | 
| T15 | 
179 | 
178 | 
0 | 
0 | 
| T32 | 
0 | 
16 | 
0 | 
0 | 
| T33 | 
0 | 
16 | 
0 | 
0 | 
| T34 | 
0 | 
7 | 
0 | 
0 | 
| T36 | 
1 | 
0 | 
0 | 
0 | 
| T37 | 
1 | 
0 | 
0 | 
0 | 
| T77 | 
1 | 
0 | 
0 | 
0 | 
| T183 | 
0 | 
5 | 
0 | 
0 | 
| T191 | 
1 | 
0 | 
0 | 
0 | 
| T192 | 
1025 | 
1024 | 
0 | 
0 | 
| T193 | 
0 | 
156 | 
0 | 
0 | 
| T195 | 
0 | 
1024 | 
0 | 
0 | 
| T196 | 
0 | 
1024 | 
0 | 
0 | 
| T197 | 
0 | 
125 | 
0 | 
0 | 
| T198 | 
1 | 
0 | 
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 | T76,T51,T10 | 
| 0 | 1 | Covered | T13,T14,T15 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T13,T14,T15 | 
| 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 | T76,T51,T10 | 
| 1 | 1 | Covered | T13,T14,T15 | 
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 | 
211 | 
182 | 
0 | 
0 | 
| 
selKnown1 | 
3677 | 
3647 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
211 | 
182 | 
0 | 
0 | 
| T32 | 
0 | 
15 | 
0 | 
0 | 
| T33 | 
0 | 
5 | 
0 | 
0 | 
| T34 | 
0 | 
11 | 
0 | 
0 | 
| T37 | 
2 | 
1 | 
0 | 
0 | 
| T59 | 
1 | 
0 | 
0 | 
0 | 
| T77 | 
1 | 
0 | 
0 | 
0 | 
| T183 | 
0 | 
10 | 
0 | 
0 | 
| T184 | 
0 | 
21 | 
0 | 
0 | 
| T185 | 
0 | 
16 | 
0 | 
0 | 
| T191 | 
1 | 
0 | 
0 | 
0 | 
| T192 | 
2 | 
1 | 
0 | 
0 | 
| T193 | 
1 | 
0 | 
0 | 
0 | 
| T194 | 
1 | 
0 | 
0 | 
0 | 
| T195 | 
2 | 
1 | 
0 | 
0 | 
| T196 | 
0 | 
1 | 
0 | 
0 | 
| T198 | 
1 | 
0 | 
0 | 
0 | 
| T199 | 
1 | 
0 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
3677 | 
3647 | 
0 | 
0 | 
| T11 | 
1 | 
0 | 
0 | 
0 | 
| T12 | 
1 | 
0 | 
0 | 
0 | 
| T15 | 
186 | 
185 | 
0 | 
0 | 
| T32 | 
0 | 
14 | 
0 | 
0 | 
| T33 | 
0 | 
11 | 
0 | 
0 | 
| T34 | 
0 | 
12 | 
0 | 
0 | 
| T36 | 
1 | 
0 | 
0 | 
0 | 
| T37 | 
1 | 
0 | 
0 | 
0 | 
| T77 | 
1 | 
0 | 
0 | 
0 | 
| T183 | 
0 | 
4 | 
0 | 
0 | 
| T191 | 
1 | 
0 | 
0 | 
0 | 
| T192 | 
1026 | 
1025 | 
0 | 
0 | 
| T193 | 
155 | 
154 | 
0 | 
0 | 
| T195 | 
0 | 
1025 | 
0 | 
0 | 
| T196 | 
0 | 
1024 | 
0 | 
0 | 
| T197 | 
0 | 
135 | 
0 | 
0 | 
| T198 | 
1 | 
0 | 
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 | T76,T51,T10 | 
| 0 | 1 | Covered | T13,T14,T15 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T13,T14,T15 | 
| 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 | T76,T51,T10 | 
| 1 | 1 | Covered | T13,T14,T15 | 
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 | 
206 | 
177 | 
0 | 
0 | 
| 
selKnown1 | 
3675 | 
3645 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
206 | 
177 | 
0 | 
0 | 
| T32 | 
0 | 
13 | 
0 | 
0 | 
| T33 | 
0 | 
5 | 
0 | 
0 | 
| T34 | 
0 | 
11 | 
0 | 
0 | 
| T37 | 
2 | 
1 | 
0 | 
0 | 
| T59 | 
1 | 
0 | 
0 | 
0 | 
| T77 | 
1 | 
0 | 
0 | 
0 | 
| T183 | 
0 | 
9 | 
0 | 
0 | 
| T184 | 
0 | 
20 | 
0 | 
0 | 
| T185 | 
0 | 
14 | 
0 | 
0 | 
| T191 | 
1 | 
0 | 
0 | 
0 | 
| T192 | 
2 | 
1 | 
0 | 
0 | 
| T193 | 
1 | 
0 | 
0 | 
0 | 
| T194 | 
1 | 
0 | 
0 | 
0 | 
| T195 | 
2 | 
1 | 
0 | 
0 | 
| T196 | 
0 | 
1 | 
0 | 
0 | 
| T198 | 
1 | 
0 | 
0 | 
0 | 
| T199 | 
1 | 
0 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
3675 | 
3645 | 
0 | 
0 | 
| T11 | 
1 | 
0 | 
0 | 
0 | 
| T12 | 
1 | 
0 | 
0 | 
0 | 
| T15 | 
186 | 
185 | 
0 | 
0 | 
| T32 | 
0 | 
13 | 
0 | 
0 | 
| T33 | 
0 | 
10 | 
0 | 
0 | 
| T34 | 
0 | 
12 | 
0 | 
0 | 
| T36 | 
1 | 
0 | 
0 | 
0 | 
| T37 | 
1 | 
0 | 
0 | 
0 | 
| T77 | 
1 | 
0 | 
0 | 
0 | 
| T183 | 
0 | 
4 | 
0 | 
0 | 
| T191 | 
1 | 
0 | 
0 | 
0 | 
| T192 | 
1026 | 
1025 | 
0 | 
0 | 
| T193 | 
155 | 
154 | 
0 | 
0 | 
| T195 | 
0 | 
1025 | 
0 | 
0 | 
| T196 | 
0 | 
1024 | 
0 | 
0 | 
| T197 | 
0 | 
135 | 
0 | 
0 | 
| T198 | 
1 | 
0 | 
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 | T55,T76,T56 | 
| 0 | 1 | Covered | T10,T11,T192 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T55,T56,T60 | 
| 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 | T55,T76,T56 | 
| 1 | 1 | Covered | T10,T11,T192 | 
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 | 
559 | 
538 | 
0 | 
0 | 
| 
selKnown1 | 
28291 | 
28255 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
559 | 
538 | 
0 | 
0 | 
| T32 | 
15 | 
14 | 
0 | 
0 | 
| T33 | 
16 | 
15 | 
0 | 
0 | 
| T34 | 
27 | 
26 | 
0 | 
0 | 
| T59 | 
1 | 
0 | 
0 | 
0 | 
| T183 | 
28 | 
27 | 
0 | 
0 | 
| T184 | 
0 | 
27 | 
0 | 
0 | 
| T185 | 
0 | 
20 | 
0 | 
0 | 
| T186 | 
0 | 
23 | 
0 | 
0 | 
| T192 | 
117 | 
116 | 
0 | 
0 | 
| T195 | 
117 | 
116 | 
0 | 
0 | 
| T196 | 
117 | 
116 | 
0 | 
0 | 
| T198 | 
1 | 
0 | 
0 | 
0 | 
| T199 | 
1 | 
0 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
28291 | 
28255 | 
0 | 
0 | 
| T8 | 
4016 | 
4015 | 
0 | 
0 | 
| T14 | 
18 | 
17 | 
0 | 
0 | 
| T15 | 
394 | 
393 | 
0 | 
0 | 
| T50 | 
1434 | 
1433 | 
0 | 
0 | 
| T55 | 
2 | 
1 | 
0 | 
0 | 
| T56 | 
2 | 
1 | 
0 | 
0 | 
| T60 | 
2 | 
1 | 
0 | 
0 | 
| T149 | 
1665 | 
1664 | 
0 | 
0 | 
| T200 | 
4016 | 
4015 | 
0 | 
0 | 
| T201 | 
2351 | 
2350 | 
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 | T55,T76,T56 | 
| 0 | 1 | Covered | T10,T11,T192 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T55,T56,T60 | 
| 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 | T55,T76,T56 | 
| 1 | 1 | Covered | T10,T11,T192 | 
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 | 
563 | 
542 | 
0 | 
0 | 
| 
selKnown1 | 
28291 | 
28255 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
563 | 
542 | 
0 | 
0 | 
| T32 | 
16 | 
15 | 
0 | 
0 | 
| T33 | 
16 | 
15 | 
0 | 
0 | 
| T34 | 
25 | 
24 | 
0 | 
0 | 
| T59 | 
1 | 
0 | 
0 | 
0 | 
| T183 | 
26 | 
25 | 
0 | 
0 | 
| T184 | 
0 | 
29 | 
0 | 
0 | 
| T185 | 
0 | 
19 | 
0 | 
0 | 
| T186 | 
0 | 
24 | 
0 | 
0 | 
| T192 | 
117 | 
116 | 
0 | 
0 | 
| T195 | 
117 | 
116 | 
0 | 
0 | 
| T196 | 
117 | 
116 | 
0 | 
0 | 
| T198 | 
1 | 
0 | 
0 | 
0 | 
| T199 | 
1 | 
0 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
28291 | 
28255 | 
0 | 
0 | 
| T8 | 
4016 | 
4015 | 
0 | 
0 | 
| T14 | 
18 | 
17 | 
0 | 
0 | 
| T15 | 
394 | 
393 | 
0 | 
0 | 
| T50 | 
1434 | 
1433 | 
0 | 
0 | 
| T55 | 
2 | 
1 | 
0 | 
0 | 
| T56 | 
2 | 
1 | 
0 | 
0 | 
| T60 | 
2 | 
1 | 
0 | 
0 | 
| T149 | 
1665 | 
1664 | 
0 | 
0 | 
| T200 | 
4016 | 
4015 | 
0 | 
0 | 
| T201 | 
2351 | 
2350 | 
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 | T76,T23,T24 | 
| 0 | 1 | Covered | T13,T14,T23 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T55,T56,T60 | 
| 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 | T76,T23,T24 | 
| 1 | 1 | Covered | T13,T14,T23 | 
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 | 
520 | 
474 | 
0 | 
0 | 
| 
selKnown1 | 
28280 | 
28244 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
520 | 
474 | 
0 | 
0 | 
| T10 | 
1 | 
0 | 
0 | 
0 | 
| T11 | 
1 | 
0 | 
0 | 
0 | 
| T12 | 
1 | 
0 | 
0 | 
0 | 
| T25 | 
2 | 
1 | 
0 | 
0 | 
| T37 | 
129 | 
128 | 
0 | 
0 | 
| T77 | 
1 | 
0 | 
0 | 
0 | 
| T191 | 
1 | 
0 | 
0 | 
0 | 
| T192 | 
0 | 
1 | 
0 | 
0 | 
| T202 | 
2 | 
1 | 
0 | 
0 | 
| T203 | 
2 | 
1 | 
0 | 
0 | 
| T204 | 
8 | 
7 | 
0 | 
0 | 
| T205 | 
0 | 
1 | 
0 | 
0 | 
| T206 | 
0 | 
35 | 
0 | 
0 | 
| T207 | 
0 | 
1 | 
0 | 
0 | 
| T208 | 
0 | 
7 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
28280 | 
28244 | 
0 | 
0 | 
| T8 | 
4016 | 
4015 | 
0 | 
0 | 
| T14 | 
18 | 
17 | 
0 | 
0 | 
| T15 | 
0 | 
398 | 
0 | 
0 | 
| T50 | 
1434 | 
1433 | 
0 | 
0 | 
| T55 | 
2 | 
1 | 
0 | 
0 | 
| T56 | 
2 | 
1 | 
0 | 
0 | 
| T60 | 
2 | 
1 | 
0 | 
0 | 
| T61 | 
1 | 
0 | 
0 | 
0 | 
| T149 | 
1665 | 
1664 | 
0 | 
0 | 
| T200 | 
4016 | 
4015 | 
0 | 
0 | 
| T201 | 
2351 | 
2350 | 
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 | T76,T23,T24 | 
| 0 | 1 | Covered | T13,T14,T23 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T55,T56,T60 | 
| 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 | T76,T23,T24 | 
| 1 | 1 | Covered | T13,T14,T23 | 
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 | 
519 | 
473 | 
0 | 
0 | 
| 
selKnown1 | 
28276 | 
28240 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
519 | 
473 | 
0 | 
0 | 
| T10 | 
1 | 
0 | 
0 | 
0 | 
| T11 | 
1 | 
0 | 
0 | 
0 | 
| T12 | 
1 | 
0 | 
0 | 
0 | 
| T25 | 
2 | 
1 | 
0 | 
0 | 
| T37 | 
129 | 
128 | 
0 | 
0 | 
| T77 | 
1 | 
0 | 
0 | 
0 | 
| T191 | 
1 | 
0 | 
0 | 
0 | 
| T192 | 
0 | 
1 | 
0 | 
0 | 
| T202 | 
2 | 
1 | 
0 | 
0 | 
| T203 | 
2 | 
1 | 
0 | 
0 | 
| T204 | 
8 | 
7 | 
0 | 
0 | 
| T205 | 
0 | 
1 | 
0 | 
0 | 
| T206 | 
0 | 
35 | 
0 | 
0 | 
| T207 | 
0 | 
1 | 
0 | 
0 | 
| T208 | 
0 | 
7 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
28276 | 
28240 | 
0 | 
0 | 
| T8 | 
4016 | 
4015 | 
0 | 
0 | 
| T14 | 
18 | 
17 | 
0 | 
0 | 
| T15 | 
0 | 
398 | 
0 | 
0 | 
| T50 | 
1434 | 
1433 | 
0 | 
0 | 
| T55 | 
2 | 
1 | 
0 | 
0 | 
| T56 | 
2 | 
1 | 
0 | 
0 | 
| T60 | 
2 | 
1 | 
0 | 
0 | 
| T61 | 
1 | 
0 | 
0 | 
0 | 
| T149 | 
1665 | 
1664 | 
0 | 
0 | 
| T200 | 
4016 | 
4015 | 
0 | 
0 | 
| T201 | 
2351 | 
2350 | 
0 | 
0 |