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 | T10,T7,T8 | 
| 1 | 0 | Not Covered |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T10,T7,T31 | 
| 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 | T10,T7,T8 | 
Assert Coverage for Module : 
prim_generic_clock_mux2
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete | 
| 
selKnown0 | 
28558 | 
28040 | 
0 | 
0 | 
| 
selKnown1 | 
143526 | 
142117 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
28558 | 
28040 | 
0 | 
0 | 
| T3 | 
3 | 
2 | 
0 | 
0 | 
| T10 | 
1026 | 
1025 | 
0 | 
0 | 
| T11 | 
690 | 
689 | 
0 | 
0 | 
| T28 | 
8 | 
6 | 
0 | 
0 | 
| T29 | 
19 | 
17 | 
0 | 
0 | 
| T30 | 
3 | 
2 | 
0 | 
0 | 
| T33 | 
3 | 
2 | 
0 | 
0 | 
| T43 | 
1 | 
0 | 
0 | 
0 | 
| T46 | 
51 | 
50 | 
0 | 
0 | 
| T47 | 
4 | 
3 | 
0 | 
0 | 
| T48 | 
1 | 
0 | 
0 | 
0 | 
| T60 | 
2 | 
1 | 
0 | 
0 | 
| T65 | 
2 | 
1 | 
0 | 
0 | 
| T67 | 
55 | 
54 | 
0 | 
0 | 
| T68 | 
88 | 
87 | 
0 | 
0 | 
| T123 | 
0 | 
5 | 
0 | 
0 | 
| T124 | 
1 | 
0 | 
0 | 
0 | 
| T176 | 
0 | 
5 | 
0 | 
0 | 
| T177 | 
0 | 
2 | 
0 | 
0 | 
| T189 | 
6 | 
5 | 
0 | 
0 | 
| T190 | 
8 | 
7 | 
0 | 
0 | 
| T191 | 
4 | 
3 | 
0 | 
0 | 
| T192 | 
5 | 
4 | 
0 | 
0 | 
| T193 | 
8 | 
7 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
143526 | 
142117 | 
0 | 
0 | 
| T2 | 
5 | 
4 | 
0 | 
0 | 
| T3 | 
3 | 
2 | 
0 | 
0 | 
| T4 | 
1 | 
0 | 
0 | 
0 | 
| T5 | 
4 | 
3 | 
0 | 
0 | 
| T6 | 
0 | 
1 | 
0 | 
0 | 
| T10 | 
576 | 
575 | 
0 | 
0 | 
| T20 | 
2 | 
1 | 
0 | 
0 | 
| T28 | 
15 | 
34 | 
0 | 
0 | 
| T29 | 
12 | 
32 | 
0 | 
0 | 
| T30 | 
5 | 
9 | 
0 | 
0 | 
| T33 | 
22 | 
43 | 
0 | 
0 | 
| T43 | 
1 | 
0 | 
0 | 
0 | 
| T61 | 
0 | 
1 | 
0 | 
0 | 
| T62 | 
0 | 
1 | 
0 | 
0 | 
| T84 | 
1 | 
0 | 
0 | 
0 | 
| T85 | 
1 | 
0 | 
0 | 
0 | 
| T86 | 
2 | 
1 | 
0 | 
0 | 
| T118 | 
0 | 
1 | 
0 | 
0 | 
| T181 | 
2 | 
1 | 
0 | 
0 | 
| T189 | 
8 | 
17 | 
0 | 
0 | 
| T190 | 
8 | 
7 | 
0 | 
0 | 
| T191 | 
4 | 
3 | 
0 | 
0 | 
| T192 | 
6 | 
5 | 
0 | 
0 | 
| T193 | 
11 | 
10 | 
0 | 
0 | 
| T194 | 
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 | T3,T43,T48 | 
| 0 | 1 | Covered | T3,T43,T48 | 
| 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 | T3,T43,T48 | 
| 1 | 1 | Covered | T3,T43,T48 | 
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 | 
983 | 
851 | 
0 | 
0 | 
| T3 | 
3 | 
2 | 
0 | 
0 | 
| T43 | 
1 | 
0 | 
0 | 
0 | 
| T46 | 
51 | 
50 | 
0 | 
0 | 
| T47 | 
4 | 
3 | 
0 | 
0 | 
| T48 | 
1 | 
0 | 
0 | 
0 | 
| T60 | 
2 | 
1 | 
0 | 
0 | 
| T65 | 
2 | 
1 | 
0 | 
0 | 
| T67 | 
55 | 
54 | 
0 | 
0 | 
| T68 | 
88 | 
87 | 
0 | 
0 | 
| T123 | 
0 | 
5 | 
0 | 
0 | 
| T124 | 
1 | 
0 | 
0 | 
0 | 
| T176 | 
0 | 
5 | 
0 | 
0 | 
| T177 | 
0 | 
2 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
1763 | 
748 | 
0 | 
0 | 
| T2 | 
5 | 
4 | 
0 | 
0 | 
| T3 | 
3 | 
2 | 
0 | 
0 | 
| T4 | 
1 | 
0 | 
0 | 
0 | 
| T5 | 
4 | 
3 | 
0 | 
0 | 
| T6 | 
0 | 
1 | 
0 | 
0 | 
| T20 | 
2 | 
1 | 
0 | 
0 | 
| T43 | 
1 | 
0 | 
0 | 
0 | 
| T61 | 
0 | 
1 | 
0 | 
0 | 
| T62 | 
0 | 
1 | 
0 | 
0 | 
| T84 | 
1 | 
0 | 
0 | 
0 | 
| T85 | 
1 | 
0 | 
0 | 
0 | 
| T86 | 
2 | 
1 | 
0 | 
0 | 
| T118 | 
0 | 
1 | 
0 | 
0 | 
| T181 | 
2 | 
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 | T10,T11,T83 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T10,T31,T11 | 
| 1 | 0 | Unreachable |  | 
| 1 | 1 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (((~sel_i)) & clk0_i)
                 -----1----   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Unreachable |  | 
| 1 | 0 | Covered | T1,T2,T3 | 
| 1 | 1 | Covered | T10,T11,T83 | 
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 | 
4611 | 
4593 | 
0 | 
0 | 
| 
selKnown1 | 
2967 | 
2947 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
4611 | 
4593 | 
0 | 
0 | 
| T10 | 
1026 | 
1025 | 
0 | 
0 | 
| T11 | 
690 | 
689 | 
0 | 
0 | 
| T28 | 
6 | 
5 | 
0 | 
0 | 
| T29 | 
13 | 
12 | 
0 | 
0 | 
| T83 | 
1026 | 
1025 | 
0 | 
0 | 
| T195 | 
299 | 
298 | 
0 | 
0 | 
| T196 | 
179 | 
178 | 
0 | 
0 | 
| T197 | 
241 | 
240 | 
0 | 
0 | 
| T198 | 
19 | 
18 | 
0 | 
0 | 
| T199 | 
1026 | 
1025 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
2967 | 
2947 | 
0 | 
0 | 
| T10 | 
576 | 
575 | 
0 | 
0 | 
| T11 | 
1 | 
0 | 
0 | 
0 | 
| T28 | 
0 | 
20 | 
0 | 
0 | 
| T29 | 
0 | 
21 | 
0 | 
0 | 
| T30 | 
0 | 
5 | 
0 | 
0 | 
| T31 | 
545 | 
544 | 
0 | 
0 | 
| T32 | 
545 | 
544 | 
0 | 
0 | 
| T33 | 
0 | 
22 | 
0 | 
0 | 
| T83 | 
576 | 
575 | 
0 | 
0 | 
| T189 | 
0 | 
10 | 
0 | 
0 | 
| T195 | 
1 | 
0 | 
0 | 
0 | 
| T196 | 
1 | 
0 | 
0 | 
0 | 
| T197 | 
1 | 
0 | 
0 | 
0 | 
| T198 | 
1 | 
0 | 
0 | 
0 | 
| T199 | 
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 | T7,T9,T28 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T10,T31,T8 | 
| 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 | T7,T9,T28 | 
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 | 
48 | 
36 | 
0 | 
0 | 
| T28 | 
2 | 
1 | 
0 | 
0 | 
| T29 | 
6 | 
5 | 
0 | 
0 | 
| T30 | 
3 | 
2 | 
0 | 
0 | 
| T33 | 
3 | 
2 | 
0 | 
0 | 
| T189 | 
6 | 
5 | 
0 | 
0 | 
| T190 | 
8 | 
7 | 
0 | 
0 | 
| T191 | 
4 | 
3 | 
0 | 
0 | 
| T192 | 
5 | 
4 | 
0 | 
0 | 
| T193 | 
8 | 
7 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
114 | 
97 | 
0 | 
0 | 
| T28 | 
15 | 
14 | 
0 | 
0 | 
| T29 | 
12 | 
11 | 
0 | 
0 | 
| T30 | 
5 | 
4 | 
0 | 
0 | 
| T33 | 
22 | 
21 | 
0 | 
0 | 
| T189 | 
8 | 
7 | 
0 | 
0 | 
| T190 | 
8 | 
7 | 
0 | 
0 | 
| T191 | 
4 | 
3 | 
0 | 
0 | 
| T192 | 
6 | 
5 | 
0 | 
0 | 
| T193 | 
11 | 
10 | 
0 | 
0 | 
| T194 | 
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 | T10,T8,T11 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T10,T7,T31 | 
| 1 | 0 | Unreachable |  | 
| 1 | 1 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (((~sel_i)) & clk0_i)
                 -----1----   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Unreachable |  | 
| 1 | 0 | Covered | T1,T2,T3 | 
| 1 | 1 | Covered | T10,T8,T11 | 
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 | 
4604 | 
4585 | 
0 | 
0 | 
| 
selKnown1 | 
119 | 
101 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
4604 | 
4585 | 
0 | 
0 | 
| T8 | 
1 | 
0 | 
0 | 
0 | 
| T10 | 
1025 | 
1024 | 
0 | 
0 | 
| T11 | 
701 | 
700 | 
0 | 
0 | 
| T28 | 
4 | 
3 | 
0 | 
0 | 
| T29 | 
0 | 
11 | 
0 | 
0 | 
| T83 | 
1026 | 
1025 | 
0 | 
0 | 
| T195 | 
299 | 
298 | 
0 | 
0 | 
| T196 | 
172 | 
171 | 
0 | 
0 | 
| T197 | 
233 | 
232 | 
0 | 
0 | 
| T198 | 
19 | 
18 | 
0 | 
0 | 
| T199 | 
1025 | 
1024 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
119 | 
101 | 
0 | 
0 | 
| T7 | 
1 | 
0 | 
0 | 
0 | 
| T8 | 
1 | 
0 | 
0 | 
0 | 
| T10 | 
2 | 
1 | 
0 | 
0 | 
| T12 | 
1 | 
0 | 
0 | 
0 | 
| T28 | 
16 | 
15 | 
0 | 
0 | 
| T29 | 
12 | 
11 | 
0 | 
0 | 
| T30 | 
0 | 
1 | 
0 | 
0 | 
| T31 | 
2 | 
1 | 
0 | 
0 | 
| T32 | 
2 | 
1 | 
0 | 
0 | 
| T33 | 
0 | 
19 | 
0 | 
0 | 
| T83 | 
2 | 
1 | 
0 | 
0 | 
| T189 | 
0 | 
6 | 
0 | 
0 | 
| T199 | 
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 | T7,T8,T28 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T10,T7,T31 | 
| 1 | 0 | Unreachable |  | 
| 1 | 1 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (((~sel_i)) & clk0_i)
                 -----1----   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Unreachable |  | 
| 1 | 0 | Covered | T1,T2,T3 | 
| 1 | 1 | Covered | T7,T8,T28 | 
Assert Coverage for Instance : tb.dut.u_padring.gen_dio_pads[12].gen_mux_spi_host_d3.u_mux_dio_oe.gen_generic.u_impl_generic
Assertion Details
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
49 | 
37 | 
0 | 
0 | 
| T28 | 
2 | 
1 | 
0 | 
0 | 
| T29 | 
9 | 
8 | 
0 | 
0 | 
| T30 | 
4 | 
3 | 
0 | 
0 | 
| T33 | 
3 | 
2 | 
0 | 
0 | 
| T189 | 
10 | 
9 | 
0 | 
0 | 
| T190 | 
4 | 
3 | 
0 | 
0 | 
| T191 | 
4 | 
3 | 
0 | 
0 | 
| T192 | 
3 | 
2 | 
0 | 
0 | 
| T193 | 
5 | 
4 | 
0 | 
0 | 
| T194 | 
3 | 
2 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
111 | 
93 | 
0 | 
0 | 
| T28 | 
18 | 
17 | 
0 | 
0 | 
| T29 | 
9 | 
8 | 
0 | 
0 | 
| T30 | 
4 | 
3 | 
0 | 
0 | 
| T33 | 
17 | 
16 | 
0 | 
0 | 
| T189 | 
8 | 
7 | 
0 | 
0 | 
| T190 | 
8 | 
7 | 
0 | 
0 | 
| T191 | 
6 | 
5 | 
0 | 
0 | 
| T192 | 
5 | 
4 | 
0 | 
0 | 
| T193 | 
18 | 
17 | 
0 | 
0 | 
| T194 | 
10 | 
9 | 
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 | T10,T7,T8 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T10,T7,T83 | 
| 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,T7,T8 | 
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 | 
4814 | 
4791 | 
0 | 
0 | 
| 
selKnown1 | 
499 | 
485 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
4814 | 
4791 | 
0 | 
0 | 
| T7 | 
1 | 
0 | 
0 | 
0 | 
| T8 | 
1 | 
0 | 
0 | 
0 | 
| T10 | 
1025 | 
1024 | 
0 | 
0 | 
| T11 | 
673 | 
672 | 
0 | 
0 | 
| T28 | 
0 | 
6 | 
0 | 
0 | 
| T29 | 
0 | 
10 | 
0 | 
0 | 
| T30 | 
0 | 
7 | 
0 | 
0 | 
| T54 | 
1 | 
0 | 
0 | 
0 | 
| T55 | 
1 | 
0 | 
0 | 
0 | 
| T56 | 
1 | 
0 | 
0 | 
0 | 
| T83 | 
1025 | 
1024 | 
0 | 
0 | 
| T195 | 
281 | 
280 | 
0 | 
0 | 
| T196 | 
314 | 
313 | 
0 | 
0 | 
| T197 | 
0 | 
350 | 
0 | 
0 | 
| T199 | 
0 | 
1024 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
499 | 
485 | 
0 | 
0 | 
| T7 | 
1 | 
0 | 
0 | 
0 | 
| T10 | 
117 | 
116 | 
0 | 
0 | 
| T28 | 
28 | 
27 | 
0 | 
0 | 
| T29 | 
24 | 
23 | 
0 | 
0 | 
| T30 | 
4 | 
3 | 
0 | 
0 | 
| T33 | 
17 | 
16 | 
0 | 
0 | 
| T83 | 
117 | 
116 | 
0 | 
0 | 
| T189 | 
17 | 
16 | 
0 | 
0 | 
| T190 | 
8 | 
7 | 
0 | 
0 | 
| T191 | 
0 | 
6 | 
0 | 
0 | 
| T199 | 
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 | T10,T7,T8 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T10,T7,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,T7,T8 | 
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 | 
69 | 
46 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T11 | 
3 | 
2 | 
0 | 
0 | 
| T29 | 
0 | 
4 | 
0 | 
0 | 
| T30 | 
0 | 
5 | 
0 | 
0 | 
| T33 | 
0 | 
5 | 
0 | 
0 | 
| T54 | 
1 | 
0 | 
0 | 
0 | 
| T55 | 
1 | 
0 | 
0 | 
0 | 
| T56 | 
1 | 
0 | 
0 | 
0 | 
| T83 | 
1 | 
0 | 
0 | 
0 | 
| T189 | 
0 | 
3 | 
0 | 
0 | 
| T190 | 
0 | 
10 | 
0 | 
0 | 
| T191 | 
0 | 
6 | 
0 | 
0 | 
| T195 | 
3 | 
2 | 
0 | 
0 | 
| T196 | 
3 | 
2 | 
0 | 
0 | 
| T197 | 
3 | 
2 | 
0 | 
0 | 
| T199 | 
1 | 
0 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
131 | 
116 | 
0 | 
0 | 
| T28 | 
21 | 
20 | 
0 | 
0 | 
| T29 | 
17 | 
16 | 
0 | 
0 | 
| T30 | 
5 | 
4 | 
0 | 
0 | 
| T33 | 
17 | 
16 | 
0 | 
0 | 
| T189 | 
12 | 
11 | 
0 | 
0 | 
| T190 | 
9 | 
8 | 
0 | 
0 | 
| T191 | 
7 | 
6 | 
0 | 
0 | 
| T192 | 
9 | 
8 | 
0 | 
0 | 
| T193 | 
9 | 
8 | 
0 | 
0 | 
| T194 | 
20 | 
19 | 
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 | T10,T7,T11 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T31,T8,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,T7,T11 | 
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 | 
4802 | 
4779 | 
0 | 
0 | 
| 
selKnown1 | 
412 | 
398 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
4802 | 
4779 | 
0 | 
0 | 
| T7 | 
1 | 
0 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T10 | 
1025 | 
1024 | 
0 | 
0 | 
| T11 | 
683 | 
682 | 
0 | 
0 | 
| T28 | 
0 | 
4 | 
0 | 
0 | 
| T29 | 
0 | 
10 | 
0 | 
0 | 
| T30 | 
0 | 
9 | 
0 | 
0 | 
| T54 | 
1 | 
0 | 
0 | 
0 | 
| T55 | 
1 | 
0 | 
0 | 
0 | 
| T56 | 
1 | 
0 | 
0 | 
0 | 
| T83 | 
1026 | 
1025 | 
0 | 
0 | 
| T195 | 
282 | 
281 | 
0 | 
0 | 
| T196 | 
306 | 
305 | 
0 | 
0 | 
| T197 | 
0 | 
341 | 
0 | 
0 | 
| T199 | 
0 | 
1024 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
412 | 
398 | 
0 | 
0 | 
| T8 | 
1 | 
0 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T28 | 
17 | 
16 | 
0 | 
0 | 
| T29 | 
19 | 
18 | 
0 | 
0 | 
| T30 | 
3 | 
2 | 
0 | 
0 | 
| T31 | 
148 | 
147 | 
0 | 
0 | 
| T32 | 
142 | 
141 | 
0 | 
0 | 
| T33 | 
21 | 
20 | 
0 | 
0 | 
| T189 | 
12 | 
11 | 
0 | 
0 | 
| T190 | 
7 | 
6 | 
0 | 
0 | 
| T191 | 
0 | 
2 | 
0 | 
0 | 
| T192 | 
0 | 
9 | 
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 | T10,T7,T11 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T10,T7,T31 | 
| 1 | 0 | Unreachable |  | 
| 1 | 1 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (((~sel_i)) & clk0_i)
                 -----1----   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Unreachable |  | 
| 1 | 0 | Covered | T1,T2,T3 | 
| 1 | 1 | Covered | T10,T7,T11 | 
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 | 
69 | 
47 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T11 | 
3 | 
2 | 
0 | 
0 | 
| T28 | 
0 | 
1 | 
0 | 
0 | 
| T29 | 
0 | 
7 | 
0 | 
0 | 
| T33 | 
0 | 
3 | 
0 | 
0 | 
| T54 | 
1 | 
0 | 
0 | 
0 | 
| T55 | 
1 | 
0 | 
0 | 
0 | 
| T56 | 
1 | 
0 | 
0 | 
0 | 
| T83 | 
1 | 
0 | 
0 | 
0 | 
| T189 | 
0 | 
9 | 
0 | 
0 | 
| T190 | 
0 | 
6 | 
0 | 
0 | 
| T191 | 
0 | 
2 | 
0 | 
0 | 
| T195 | 
3 | 
2 | 
0 | 
0 | 
| T196 | 
3 | 
2 | 
0 | 
0 | 
| T197 | 
3 | 
2 | 
0 | 
0 | 
| T199 | 
1 | 
0 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
125 | 
107 | 
0 | 
0 | 
| T28 | 
18 | 
17 | 
0 | 
0 | 
| T29 | 
14 | 
13 | 
0 | 
0 | 
| T30 | 
3 | 
2 | 
0 | 
0 | 
| T33 | 
21 | 
20 | 
0 | 
0 | 
| T189 | 
11 | 
10 | 
0 | 
0 | 
| T190 | 
9 | 
8 | 
0 | 
0 | 
| T191 | 
5 | 
4 | 
0 | 
0 | 
| T192 | 
7 | 
6 | 
0 | 
0 | 
| T193 | 
11 | 
10 | 
0 | 
0 | 
| T194 | 
18 | 
17 | 
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 | T10,T65,T7 | 
| 0 | 1 | Covered | T10,T7,T31 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T10,T31,T8 | 
| 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 | T10,T65,T7 | 
| 1 | 1 | Covered | T10,T7,T31 | 
Assert Coverage for Instance : tb.dut.u_padring.gen_mio_pads[9].gen_mux_iob0.u_mux_mio_in.gen_generic.u_impl_generic
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete | 
| 
selKnown0 | 
2969 | 
2946 | 
0 | 
0 | 
| 
selKnown1 | 
4478 | 
4450 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
2969 | 
2946 | 
0 | 
0 | 
| T7 | 
1 | 
0 | 
0 | 
0 | 
| T10 | 
576 | 
575 | 
0 | 
0 | 
| T12 | 
1 | 
0 | 
0 | 
0 | 
| T28 | 
0 | 
21 | 
0 | 
0 | 
| T29 | 
0 | 
15 | 
0 | 
0 | 
| T30 | 
0 | 
8 | 
0 | 
0 | 
| T31 | 
546 | 
545 | 
0 | 
0 | 
| T32 | 
546 | 
545 | 
0 | 
0 | 
| T33 | 
0 | 
11 | 
0 | 
0 | 
| T65 | 
1 | 
0 | 
0 | 
0 | 
| T75 | 
1 | 
0 | 
0 | 
0 | 
| T76 | 
1 | 
0 | 
0 | 
0 | 
| T83 | 
576 | 
575 | 
0 | 
0 | 
| T189 | 
0 | 
8 | 
0 | 
0 | 
| T199 | 
0 | 
575 | 
0 | 
0 | 
| T200 | 
1 | 
0 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
4478 | 
4450 | 
0 | 
0 | 
| T8 | 
1 | 
0 | 
0 | 
0 | 
| T10 | 
1025 | 
1024 | 
0 | 
0 | 
| T11 | 
673 | 
672 | 
0 | 
0 | 
| T12 | 
1 | 
0 | 
0 | 
0 | 
| T28 | 
0 | 
6 | 
0 | 
0 | 
| T29 | 
0 | 
10 | 
0 | 
0 | 
| T30 | 
0 | 
9 | 
0 | 
0 | 
| T31 | 
1 | 
0 | 
0 | 
0 | 
| T32 | 
1 | 
0 | 
0 | 
0 | 
| T65 | 
1 | 
0 | 
0 | 
0 | 
| T75 | 
1 | 
0 | 
0 | 
0 | 
| T83 | 
1025 | 
1024 | 
0 | 
0 | 
| T195 | 
281 | 
280 | 
0 | 
0 | 
| T196 | 
0 | 
140 | 
0 | 
0 | 
| T197 | 
0 | 
203 | 
0 | 
0 | 
| T199 | 
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 | T10,T65,T7 | 
| 0 | 1 | Covered | T10,T7,T31 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T10,T31,T8 | 
| 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 | T10,T65,T7 | 
| 1 | 1 | Covered | T10,T7,T31 | 
Assert Coverage for Instance : tb.dut.u_padring.gen_mio_pads[9].gen_mux_iob0.u_mux_mio_in_raw.gen_generic.u_impl_generic
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete | 
| 
selKnown0 | 
2970 | 
2947 | 
0 | 
0 | 
| 
selKnown1 | 
4478 | 
4450 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
2970 | 
2947 | 
0 | 
0 | 
| T7 | 
1 | 
0 | 
0 | 
0 | 
| T10 | 
576 | 
575 | 
0 | 
0 | 
| T12 | 
1 | 
0 | 
0 | 
0 | 
| T28 | 
0 | 
21 | 
0 | 
0 | 
| T29 | 
0 | 
15 | 
0 | 
0 | 
| T30 | 
0 | 
7 | 
0 | 
0 | 
| T31 | 
546 | 
545 | 
0 | 
0 | 
| T32 | 
546 | 
545 | 
0 | 
0 | 
| T33 | 
0 | 
12 | 
0 | 
0 | 
| T65 | 
1 | 
0 | 
0 | 
0 | 
| T75 | 
1 | 
0 | 
0 | 
0 | 
| T76 | 
1 | 
0 | 
0 | 
0 | 
| T83 | 
576 | 
575 | 
0 | 
0 | 
| T189 | 
0 | 
8 | 
0 | 
0 | 
| T199 | 
0 | 
575 | 
0 | 
0 | 
| T200 | 
1 | 
0 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
4478 | 
4450 | 
0 | 
0 | 
| T8 | 
1 | 
0 | 
0 | 
0 | 
| T10 | 
1025 | 
1024 | 
0 | 
0 | 
| T11 | 
673 | 
672 | 
0 | 
0 | 
| T12 | 
1 | 
0 | 
0 | 
0 | 
| T28 | 
0 | 
5 | 
0 | 
0 | 
| T29 | 
0 | 
9 | 
0 | 
0 | 
| T30 | 
0 | 
10 | 
0 | 
0 | 
| T31 | 
1 | 
0 | 
0 | 
0 | 
| T32 | 
1 | 
0 | 
0 | 
0 | 
| T65 | 
1 | 
0 | 
0 | 
0 | 
| T75 | 
1 | 
0 | 
0 | 
0 | 
| T83 | 
1025 | 
1024 | 
0 | 
0 | 
| T195 | 
281 | 
280 | 
0 | 
0 | 
| T196 | 
0 | 
140 | 
0 | 
0 | 
| T197 | 
0 | 
203 | 
0 | 
0 | 
| T199 | 
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 | T10,T65,T31 | 
| 0 | 1 | Covered | T10,T7,T31 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T10,T31,T8 | 
| 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 | T10,T65,T31 | 
| 1 | 1 | Covered | T10,T7,T31 | 
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 | 
158 | 
129 | 
0 | 
0 | 
| 
selKnown1 | 
4488 | 
4457 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
158 | 
129 | 
0 | 
0 | 
| T7 | 
1 | 
0 | 
0 | 
0 | 
| T8 | 
1 | 
0 | 
0 | 
0 | 
| T10 | 
2 | 
1 | 
0 | 
0 | 
| T11 | 
1 | 
0 | 
0 | 
0 | 
| T12 | 
1 | 
0 | 
0 | 
0 | 
| T28 | 
0 | 
16 | 
0 | 
0 | 
| T29 | 
0 | 
9 | 
0 | 
0 | 
| T30 | 
0 | 
1 | 
0 | 
0 | 
| T31 | 
2 | 
1 | 
0 | 
0 | 
| T32 | 
0 | 
1 | 
0 | 
0 | 
| T33 | 
0 | 
12 | 
0 | 
0 | 
| T65 | 
1 | 
0 | 
0 | 
0 | 
| T75 | 
1 | 
0 | 
0 | 
0 | 
| T83 | 
2 | 
1 | 
0 | 
0 | 
| T189 | 
0 | 
10 | 
0 | 
0 | 
| T195 | 
1 | 
0 | 
0 | 
0 | 
| T199 | 
0 | 
1 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
4488 | 
4457 | 
0 | 
0 | 
| T8 | 
1 | 
0 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T10 | 
1025 | 
1024 | 
0 | 
0 | 
| T11 | 
683 | 
682 | 
0 | 
0 | 
| T12 | 
1 | 
0 | 
0 | 
0 | 
| T28 | 
0 | 
7 | 
0 | 
0 | 
| T29 | 
0 | 
6 | 
0 | 
0 | 
| T30 | 
0 | 
2 | 
0 | 
0 | 
| T31 | 
1 | 
0 | 
0 | 
0 | 
| T58 | 
1 | 
0 | 
0 | 
0 | 
| T65 | 
1 | 
0 | 
0 | 
0 | 
| T75 | 
1 | 
0 | 
0 | 
0 | 
| T83 | 
1026 | 
1025 | 
0 | 
0 | 
| T195 | 
0 | 
281 | 
0 | 
0 | 
| T196 | 
0 | 
132 | 
0 | 
0 | 
| T197 | 
0 | 
194 | 
0 | 
0 | 
| T199 | 
0 | 
1024 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_padring.gen_mio_pads[10].gen_mux_iob1.u_mux_mio_in_raw.gen_generic.u_impl_generic
 | Line No. | Total | Covered | Percent | 
| TOTAL |  | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 17 | 1 | 1 | 100.00 | 
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' or '../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements |  | 
| 17 | 
1 | 
1 | 
Cond Coverage for Instance : tb.dut.u_padring.gen_mio_pads[10].gen_mux_iob1.u_mux_mio_in_raw.gen_generic.u_impl_generic
 | Total | Covered | Percent | 
| Conditions | 5 | 5 | 100.00 | 
| Logical | 5 | 5 | 100.00 | 
| Non-Logical | 0 | 0 |  | 
| Event | 0 | 0 |  | 
 LINE       17
 EXPRESSION ((sel_i & clk1_i) | (((~sel_i)) & clk0_i))
             --------1-------   ----------2----------
| -1- | -2- | Status | Tests |                       
| 0 | 0 | Covered | T10,T65,T31 | 
| 0 | 1 | Covered | T10,T7,T31 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T10,T31,T8 | 
| 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 | T10,T65,T31 | 
| 1 | 1 | Covered | T10,T7,T31 | 
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 | 
154 | 
125 | 
0 | 
0 | 
| 
selKnown1 | 
4479 | 
4448 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
154 | 
125 | 
0 | 
0 | 
| T7 | 
1 | 
0 | 
0 | 
0 | 
| T8 | 
1 | 
0 | 
0 | 
0 | 
| T10 | 
2 | 
1 | 
0 | 
0 | 
| T11 | 
1 | 
0 | 
0 | 
0 | 
| T12 | 
1 | 
0 | 
0 | 
0 | 
| T28 | 
0 | 
14 | 
0 | 
0 | 
| T29 | 
0 | 
7 | 
0 | 
0 | 
| T30 | 
0 | 
1 | 
0 | 
0 | 
| T31 | 
2 | 
1 | 
0 | 
0 | 
| T32 | 
0 | 
1 | 
0 | 
0 | 
| T33 | 
0 | 
12 | 
0 | 
0 | 
| T65 | 
1 | 
0 | 
0 | 
0 | 
| T75 | 
1 | 
0 | 
0 | 
0 | 
| T83 | 
2 | 
1 | 
0 | 
0 | 
| T189 | 
0 | 
10 | 
0 | 
0 | 
| T195 | 
1 | 
0 | 
0 | 
0 | 
| T199 | 
0 | 
1 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
4479 | 
4448 | 
0 | 
0 | 
| T8 | 
1 | 
0 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T10 | 
1025 | 
1024 | 
0 | 
0 | 
| T11 | 
683 | 
682 | 
0 | 
0 | 
| T12 | 
1 | 
0 | 
0 | 
0 | 
| T28 | 
0 | 
6 | 
0 | 
0 | 
| T29 | 
0 | 
6 | 
0 | 
0 | 
| T30 | 
0 | 
1 | 
0 | 
0 | 
| T31 | 
1 | 
0 | 
0 | 
0 | 
| T58 | 
1 | 
0 | 
0 | 
0 | 
| T65 | 
1 | 
0 | 
0 | 
0 | 
| T75 | 
1 | 
0 | 
0 | 
0 | 
| T83 | 
1026 | 
1025 | 
0 | 
0 | 
| T195 | 
0 | 
281 | 
0 | 
0 | 
| T196 | 
0 | 
132 | 
0 | 
0 | 
| T197 | 
0 | 
194 | 
0 | 
0 | 
| T199 | 
0 | 
1024 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_padring.gen_mio_pads[11].gen_mux_iob2.u_mux_mio_in.gen_generic.u_impl_generic
 | Line No. | Total | Covered | Percent | 
| TOTAL |  | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 17 | 1 | 1 | 100.00 | 
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' or '../src/lowrisc_prim_generic_clock_mux2_0/rtl/prim_generic_clock_mux2.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements |  | 
| 17 | 
1 | 
1 | 
Cond Coverage for Instance : tb.dut.u_padring.gen_mio_pads[11].gen_mux_iob2.u_mux_mio_in.gen_generic.u_impl_generic
 | Total | Covered | Percent | 
| Conditions | 5 | 5 | 100.00 | 
| Logical | 5 | 5 | 100.00 | 
| Non-Logical | 0 | 0 |  | 
| Event | 0 | 0 |  | 
 LINE       17
 EXPRESSION ((sel_i & clk1_i) | (((~sel_i)) & clk0_i))
             --------1-------   ----------2----------
| -1- | -2- | Status | Tests |                       
| 0 | 0 | Covered | T10,T65,T8 | 
| 0 | 1 | Covered | T10,T7,T8 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T10,T7,T8 | 
| 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 | T10,T65,T8 | 
| 1 | 1 | Covered | T10,T7,T8 | 
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 | 
548 | 
527 | 
0 | 
0 | 
| 
selKnown1 | 
29842 | 
29807 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
548 | 
527 | 
0 | 
0 | 
| T7 | 
1 | 
0 | 
0 | 
0 | 
| T8 | 
1 | 
0 | 
0 | 
0 | 
| T10 | 
117 | 
116 | 
0 | 
0 | 
| T28 | 
0 | 
29 | 
0 | 
0 | 
| T29 | 
0 | 
25 | 
0 | 
0 | 
| T30 | 
0 | 
8 | 
0 | 
0 | 
| T33 | 
0 | 
19 | 
0 | 
0 | 
| T65 | 
1 | 
0 | 
0 | 
0 | 
| T75 | 
1 | 
0 | 
0 | 
0 | 
| T76 | 
1 | 
0 | 
0 | 
0 | 
| T83 | 
117 | 
116 | 
0 | 
0 | 
| T189 | 
0 | 
22 | 
0 | 
0 | 
| T190 | 
0 | 
15 | 
0 | 
0 | 
| T191 | 
0 | 
14 | 
0 | 
0 | 
| T199 | 
117 | 
116 | 
0 | 
0 | 
| T200 | 
1 | 
0 | 
0 | 
0 | 
| T201 | 
1 | 
0 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
29842 | 
29807 | 
0 | 
0 | 
| T7 | 
1 | 
0 | 
0 | 
0 | 
| T8 | 
1 | 
0 | 
0 | 
0 | 
| T10 | 
1025 | 
1024 | 
0 | 
0 | 
| T11 | 
689 | 
688 | 
0 | 
0 | 
| T37 | 
20 | 
19 | 
0 | 
0 | 
| T38 | 
0 | 
19 | 
0 | 
0 | 
| T54 | 
2 | 
1 | 
0 | 
0 | 
| T55 | 
0 | 
1 | 
0 | 
0 | 
| T83 | 
1025 | 
1024 | 
0 | 
0 | 
| T147 | 
1999 | 
1998 | 
0 | 
0 | 
| T202 | 
2019 | 
2018 | 
0 | 
0 | 
| T203 | 
2354 | 
2353 | 
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 | T10,T65,T8 | 
| 0 | 1 | Covered | T10,T7,T8 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T10,T7,T8 | 
| 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 | T10,T65,T8 | 
| 1 | 1 | Covered | T10,T7,T8 | 
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 | 
541 | 
520 | 
0 | 
0 | 
| 
selKnown1 | 
29839 | 
29804 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
541 | 
520 | 
0 | 
0 | 
| T7 | 
1 | 
0 | 
0 | 
0 | 
| T8 | 
1 | 
0 | 
0 | 
0 | 
| T10 | 
117 | 
116 | 
0 | 
0 | 
| T28 | 
0 | 
27 | 
0 | 
0 | 
| T29 | 
0 | 
23 | 
0 | 
0 | 
| T30 | 
0 | 
7 | 
0 | 
0 | 
| T33 | 
0 | 
17 | 
0 | 
0 | 
| T65 | 
1 | 
0 | 
0 | 
0 | 
| T75 | 
1 | 
0 | 
0 | 
0 | 
| T76 | 
1 | 
0 | 
0 | 
0 | 
| T83 | 
117 | 
116 | 
0 | 
0 | 
| T189 | 
0 | 
24 | 
0 | 
0 | 
| T190 | 
0 | 
15 | 
0 | 
0 | 
| T191 | 
0 | 
14 | 
0 | 
0 | 
| T199 | 
117 | 
116 | 
0 | 
0 | 
| T200 | 
1 | 
0 | 
0 | 
0 | 
| T201 | 
1 | 
0 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
29839 | 
29804 | 
0 | 
0 | 
| T7 | 
1 | 
0 | 
0 | 
0 | 
| T8 | 
1 | 
0 | 
0 | 
0 | 
| T10 | 
1025 | 
1024 | 
0 | 
0 | 
| T11 | 
689 | 
688 | 
0 | 
0 | 
| T37 | 
20 | 
19 | 
0 | 
0 | 
| T38 | 
0 | 
19 | 
0 | 
0 | 
| T54 | 
2 | 
1 | 
0 | 
0 | 
| T55 | 
0 | 
1 | 
0 | 
0 | 
| T83 | 
1025 | 
1024 | 
0 | 
0 | 
| T147 | 
1999 | 
1998 | 
0 | 
0 | 
| T202 | 
2019 | 
2018 | 
0 | 
0 | 
| T203 | 
2354 | 
2353 | 
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 | T20,T10,T65 | 
| 0 | 1 | Covered | T20,T10,T31 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T10,T7,T8 | 
| 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 | T20,T10,T65 | 
| 1 | 1 | Covered | T20,T10,T31 | 
Assert Coverage for Instance : tb.dut.u_padring.gen_mio_pads[12].gen_mux_iob3.u_mux_mio_in.gen_generic.u_impl_generic
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete | 
| 
selKnown0 | 
587 | 
543 | 
0 | 
0 | 
| 
selKnown1 | 
29840 | 
29804 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
587 | 
543 | 
0 | 
0 | 
| T8 | 
1 | 
0 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T10 | 
2 | 
1 | 
0 | 
0 | 
| T11 | 
1 | 
0 | 
0 | 
0 | 
| T21 | 
8 | 
7 | 
0 | 
0 | 
| T22 | 
2 | 
1 | 
0 | 
0 | 
| T31 | 
144 | 
143 | 
0 | 
0 | 
| T65 | 
1 | 
0 | 
0 | 
0 | 
| T83 | 
0 | 
1 | 
0 | 
0 | 
| T204 | 
2 | 
1 | 
0 | 
0 | 
| T205 | 
2 | 
1 | 
0 | 
0 | 
| T206 | 
0 | 
1 | 
0 | 
0 | 
| T207 | 
0 | 
7 | 
0 | 
0 | 
| T208 | 
0 | 
1 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
29840 | 
29804 | 
0 | 
0 | 
| T7 | 
1 | 
0 | 
0 | 
0 | 
| T8 | 
2 | 
1 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T10 | 
1024 | 
1023 | 
0 | 
0 | 
| T11 | 
700 | 
699 | 
0 | 
0 | 
| T37 | 
20 | 
19 | 
0 | 
0 | 
| T54 | 
2 | 
1 | 
0 | 
0 | 
| T55 | 
0 | 
1 | 
0 | 
0 | 
| T83 | 
1025 | 
1024 | 
0 | 
0 | 
| T147 | 
1999 | 
1998 | 
0 | 
0 | 
| T202 | 
2019 | 
2018 | 
0 | 
0 | 
| T203 | 
0 | 
2353 | 
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 | T20,T10,T65 | 
| 0 | 1 | Covered | T20,T10,T31 | 
| 1 | 0 | Unreachable |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T10,T7,T8 | 
| 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 | T20,T10,T65 | 
| 1 | 1 | Covered | T20,T10,T31 | 
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 | 
582 | 
538 | 
0 | 
0 | 
| 
selKnown1 | 
29841 | 
29805 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
582 | 
538 | 
0 | 
0 | 
| T8 | 
1 | 
0 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T10 | 
2 | 
1 | 
0 | 
0 | 
| T11 | 
1 | 
0 | 
0 | 
0 | 
| T21 | 
8 | 
7 | 
0 | 
0 | 
| T22 | 
2 | 
1 | 
0 | 
0 | 
| T31 | 
144 | 
143 | 
0 | 
0 | 
| T65 | 
1 | 
0 | 
0 | 
0 | 
| T83 | 
0 | 
1 | 
0 | 
0 | 
| T204 | 
2 | 
1 | 
0 | 
0 | 
| T205 | 
2 | 
1 | 
0 | 
0 | 
| T206 | 
0 | 
1 | 
0 | 
0 | 
| T207 | 
0 | 
7 | 
0 | 
0 | 
| T208 | 
0 | 
1 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
29841 | 
29805 | 
0 | 
0 | 
| T7 | 
1 | 
0 | 
0 | 
0 | 
| T8 | 
2 | 
1 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T10 | 
1024 | 
1023 | 
0 | 
0 | 
| T11 | 
700 | 
699 | 
0 | 
0 | 
| T37 | 
20 | 
19 | 
0 | 
0 | 
| T54 | 
2 | 
1 | 
0 | 
0 | 
| T55 | 
0 | 
1 | 
0 | 
0 | 
| T83 | 
1025 | 
1024 | 
0 | 
0 | 
| T147 | 
1999 | 
1998 | 
0 | 
0 | 
| T202 | 
2019 | 
2018 | 
0 | 
0 | 
| T203 | 
0 | 
2353 | 
0 | 
0 |