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 | T4,T5,T6 |
0 | 1 | Covered | T95,T96,T92 |
1 | 0 | Not Covered | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T95,T96,T92 |
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 | T4,T5,T6 |
1 | 1 | Covered | T95,T96,T92 |
Assert Coverage for Module :
prim_generic_clock_mux2
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
selKnown0 |
21684 |
21373 |
0 |
0 |
selKnown1 |
27530 |
26339 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
21684 |
21373 |
0 |
0 |
T1 |
2 |
1 |
0 |
0 |
T21 |
2 |
1 |
0 |
0 |
T22 |
2 |
1 |
0 |
0 |
T23 |
6 |
6 |
0 |
0 |
T24 |
0 |
4 |
0 |
0 |
T25 |
0 |
4 |
0 |
0 |
T37 |
1 |
0 |
0 |
0 |
T38 |
8 |
7 |
0 |
0 |
T41 |
1 |
0 |
0 |
0 |
T42 |
1 |
0 |
0 |
0 |
T58 |
25 |
24 |
0 |
0 |
T92 |
1 |
0 |
0 |
0 |
T95 |
4463 |
4461 |
0 |
0 |
T96 |
1694 |
1692 |
0 |
0 |
T97 |
1755 |
1753 |
0 |
0 |
T98 |
4 |
3 |
0 |
0 |
T109 |
0 |
32 |
0 |
0 |
T112 |
0 |
4 |
0 |
0 |
T113 |
129 |
127 |
0 |
0 |
T114 |
144 |
0 |
0 |
0 |
T115 |
139 |
0 |
0 |
0 |
T156 |
24 |
23 |
0 |
0 |
T160 |
0 |
32 |
0 |
0 |
T180 |
2160 |
2158 |
0 |
0 |
T202 |
7089 |
7087 |
0 |
0 |
T239 |
0 |
83 |
0 |
0 |
T240 |
1616 |
1614 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
27530 |
26339 |
0 |
0 |
T4 |
2 |
1 |
0 |
0 |
T5 |
1 |
0 |
0 |
0 |
T6 |
2 |
1 |
0 |
0 |
T18 |
4 |
3 |
0 |
0 |
T19 |
1 |
0 |
0 |
0 |
T21 |
0 |
1 |
0 |
0 |
T23 |
99 |
91 |
0 |
0 |
T24 |
61 |
53 |
0 |
0 |
T25 |
83 |
75 |
0 |
0 |
T48 |
0 |
1 |
0 |
0 |
T61 |
0 |
1 |
0 |
0 |
T62 |
2 |
1 |
0 |
0 |
T67 |
1 |
0 |
0 |
0 |
T68 |
1 |
0 |
0 |
0 |
T69 |
8 |
7 |
0 |
0 |
T72 |
1 |
0 |
0 |
0 |
T92 |
2 |
1 |
0 |
0 |
T112 |
163 |
155 |
0 |
0 |
T241 |
0 |
1 |
0 |
0 |
T242 |
0 |
1 |
0 |
0 |
T243 |
111 |
103 |
0 |
0 |
T244 |
133 |
125 |
0 |
0 |
T245 |
57 |
49 |
0 |
0 |
T246 |
76 |
68 |
0 |
0 |
T247 |
114 |
106 |
0 |
0 |
T248 |
161 |
153 |
0 |
0 |
Cond Coverage for Instance : tb.dut.u_padring.gen_dio_pads[4].gen_mux_spi_host_sd2.u_mux_dio_out.gen_generic.u_impl_generic
| Total | Covered | Percent |
Conditions | 3 | 3 | 100.00 |
Logical | 3 | 3 | 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 | T4,T5,T6 |
0 | 1 | Unreachable | |
1 | 0 | Unreachable | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T95,T96,T97 |
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 | T4,T5,T6 |
1 | 1 | Unreachable | |
Assert Coverage for Instance : tb.dut.u_padring.gen_dio_pads[4].gen_mux_spi_host_sd2.u_mux_dio_out.gen_generic.u_impl_generic
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
selKnown0 |
0 |
0 |
0 |
0 |
selKnown1 |
153 |
136 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
153 |
136 |
0 |
0 |
T23 |
12 |
11 |
0 |
0 |
T24 |
9 |
8 |
0 |
0 |
T25 |
12 |
11 |
0 |
0 |
T112 |
29 |
28 |
0 |
0 |
T243 |
15 |
14 |
0 |
0 |
T244 |
17 |
16 |
0 |
0 |
T245 |
4 |
3 |
0 |
0 |
T246 |
11 |
10 |
0 |
0 |
T247 |
17 |
16 |
0 |
0 |
T248 |
20 |
19 |
0 |
0 |
Cond Coverage for Instance : tb.dut.u_padring.gen_dio_pads[4].gen_mux_spi_host_sd2.u_mux_dio_oe.gen_generic.u_impl_generic
| Total | Covered | Percent |
Conditions | 3 | 3 | 100.00 |
Logical | 3 | 3 | 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 | T4,T5,T6 |
0 | 1 | Unreachable | |
1 | 0 | Unreachable | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T92,T93,T94 |
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 | T4,T5,T6 |
1 | 1 | Unreachable | |
Assert Coverage for Instance : tb.dut.u_padring.gen_dio_pads[4].gen_mux_spi_host_sd2.u_mux_dio_oe.gen_generic.u_impl_generic
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
selKnown0 |
0 |
0 |
0 |
0 |
selKnown1 |
137 |
124 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
137 |
124 |
0 |
0 |
T23 |
11 |
10 |
0 |
0 |
T24 |
6 |
5 |
0 |
0 |
T25 |
11 |
10 |
0 |
0 |
T112 |
19 |
18 |
0 |
0 |
T243 |
16 |
15 |
0 |
0 |
T244 |
14 |
13 |
0 |
0 |
T245 |
9 |
8 |
0 |
0 |
T246 |
11 |
10 |
0 |
0 |
T247 |
15 |
14 |
0 |
0 |
T248 |
22 |
21 |
0 |
0 |
Cond Coverage for Instance : tb.dut.u_padring.gen_dio_pads[5].gen_mux_spi_host_sd3.u_mux_dio_out.gen_generic.u_impl_generic
| Total | Covered | Percent |
Conditions | 3 | 3 | 100.00 |
Logical | 3 | 3 | 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 | T4,T5,T6 |
0 | 1 | Unreachable | |
1 | 0 | Unreachable | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T113,T114,T115 |
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 | T4,T5,T6 |
1 | 1 | Unreachable | |
Assert Coverage for Instance : tb.dut.u_padring.gen_dio_pads[5].gen_mux_spi_host_sd3.u_mux_dio_out.gen_generic.u_impl_generic
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
selKnown0 |
0 |
0 |
0 |
0 |
selKnown1 |
152 |
139 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
152 |
139 |
0 |
0 |
T23 |
18 |
17 |
0 |
0 |
T24 |
7 |
6 |
0 |
0 |
T25 |
7 |
6 |
0 |
0 |
T112 |
27 |
26 |
0 |
0 |
T243 |
18 |
17 |
0 |
0 |
T244 |
18 |
17 |
0 |
0 |
T245 |
12 |
11 |
0 |
0 |
T246 |
11 |
10 |
0 |
0 |
T247 |
10 |
9 |
0 |
0 |
T248 |
21 |
20 |
0 |
0 |
Cond Coverage for Instance : tb.dut.u_padring.gen_dio_pads[5].gen_mux_spi_host_sd3.u_mux_dio_oe.gen_generic.u_impl_generic
| Total | Covered | Percent |
Conditions | 3 | 3 | 100.00 |
Logical | 3 | 3 | 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 | T4,T5,T6 |
0 | 1 | Unreachable | |
1 | 0 | Unreachable | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T94,T23,T24 |
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 | T4,T5,T6 |
1 | 1 | Unreachable | |
Assert Coverage for Instance : tb.dut.u_padring.gen_dio_pads[5].gen_mux_spi_host_sd3.u_mux_dio_oe.gen_generic.u_impl_generic
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
selKnown0 |
0 |
0 |
0 |
0 |
selKnown1 |
142 |
131 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
142 |
131 |
0 |
0 |
T23 |
16 |
15 |
0 |
0 |
T24 |
9 |
8 |
0 |
0 |
T25 |
14 |
13 |
0 |
0 |
T112 |
14 |
13 |
0 |
0 |
T243 |
18 |
17 |
0 |
0 |
T244 |
18 |
17 |
0 |
0 |
T245 |
9 |
8 |
0 |
0 |
T246 |
7 |
6 |
0 |
0 |
T247 |
15 |
14 |
0 |
0 |
T248 |
21 |
20 |
0 |
0 |
Cond Coverage for Instance : tb.dut.u_padring.gen_dio_pads[8].gen_mux_spi_device_sd2.u_mux_dio_out.gen_generic.u_impl_generic
| Total | Covered | Percent |
Conditions | 3 | 3 | 100.00 |
Logical | 3 | 3 | 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 | T4,T5,T6 |
0 | 1 | Unreachable | |
1 | 0 | Unreachable | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T23,T24,T25 |
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 | T4,T5,T6 |
1 | 1 | Unreachable | |
Assert Coverage for Instance : tb.dut.u_padring.gen_dio_pads[8].gen_mux_spi_device_sd2.u_mux_dio_out.gen_generic.u_impl_generic
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
selKnown0 |
0 |
0 |
0 |
0 |
selKnown1 |
140 |
130 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
140 |
130 |
0 |
0 |
T23 |
12 |
11 |
0 |
0 |
T24 |
8 |
7 |
0 |
0 |
T25 |
13 |
12 |
0 |
0 |
T112 |
23 |
22 |
0 |
0 |
T243 |
12 |
11 |
0 |
0 |
T244 |
22 |
21 |
0 |
0 |
T245 |
2 |
1 |
0 |
0 |
T246 |
13 |
12 |
0 |
0 |
T247 |
12 |
11 |
0 |
0 |
T248 |
23 |
22 |
0 |
0 |
Cond Coverage for Instance : tb.dut.u_padring.gen_dio_pads[8].gen_mux_spi_device_sd2.u_mux_dio_oe.gen_generic.u_impl_generic
| Total | Covered | Percent |
Conditions | 3 | 3 | 100.00 |
Logical | 3 | 3 | 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 | T4,T5,T6 |
0 | 1 | Unreachable | |
1 | 0 | Unreachable | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T92,T94,T23 |
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 | T4,T5,T6 |
1 | 1 | Unreachable | |
Assert Coverage for Instance : tb.dut.u_padring.gen_dio_pads[8].gen_mux_spi_device_sd2.u_mux_dio_oe.gen_generic.u_impl_generic
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
selKnown0 |
0 |
0 |
0 |
0 |
selKnown1 |
123 |
111 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
123 |
111 |
0 |
0 |
T23 |
10 |
9 |
0 |
0 |
T24 |
11 |
10 |
0 |
0 |
T25 |
9 |
8 |
0 |
0 |
T112 |
20 |
19 |
0 |
0 |
T243 |
10 |
9 |
0 |
0 |
T244 |
18 |
17 |
0 |
0 |
T245 |
3 |
2 |
0 |
0 |
T246 |
10 |
9 |
0 |
0 |
T247 |
13 |
12 |
0 |
0 |
T248 |
17 |
16 |
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 | T21,T58,T22 |
0 | 1 | Covered | T21,T58,T22 |
1 | 0 | Not Covered | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T4,T5,T6 |
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 | T21,T58,T22 |
1 | 1 | Covered | T21,T58,T22 |
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 |
573 |
509 |
0 |
0 |
T1 |
2 |
1 |
0 |
0 |
T21 |
2 |
1 |
0 |
0 |
T22 |
2 |
1 |
0 |
0 |
T37 |
1 |
0 |
0 |
0 |
T38 |
8 |
7 |
0 |
0 |
T41 |
1 |
0 |
0 |
0 |
T42 |
1 |
0 |
0 |
0 |
T58 |
25 |
24 |
0 |
0 |
T98 |
4 |
3 |
0 |
0 |
T109 |
0 |
32 |
0 |
0 |
T156 |
24 |
23 |
0 |
0 |
T160 |
0 |
32 |
0 |
0 |
T239 |
0 |
83 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1476 |
563 |
0 |
0 |
T4 |
2 |
1 |
0 |
0 |
T5 |
1 |
0 |
0 |
0 |
T6 |
2 |
1 |
0 |
0 |
T18 |
4 |
3 |
0 |
0 |
T19 |
1 |
0 |
0 |
0 |
T21 |
0 |
1 |
0 |
0 |
T48 |
0 |
1 |
0 |
0 |
T61 |
0 |
1 |
0 |
0 |
T62 |
2 |
1 |
0 |
0 |
T67 |
1 |
0 |
0 |
0 |
T68 |
1 |
0 |
0 |
0 |
T69 |
8 |
7 |
0 |
0 |
T72 |
1 |
0 |
0 |
0 |
T241 |
0 |
1 |
0 |
0 |
T242 |
0 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_padring.gen_dio_pads[9].gen_mux_spi_device_sd3.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[9].gen_mux_spi_device_sd3.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 | T4,T5,T6 |
0 | 1 | Covered | T95,T96,T97 |
1 | 0 | Unreachable | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T94,T23,T24 |
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 | T4,T5,T6 |
1 | 1 | Covered | T95,T96,T97 |
Assert Coverage for Instance : tb.dut.u_padring.gen_dio_pads[9].gen_mux_spi_device_sd3.u_mux_dio_out.gen_generic.u_impl_generic
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
selKnown0 |
19016 |
18997 |
0 |
0 |
selKnown1 |
120 |
109 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
19016 |
18997 |
0 |
0 |
T23 |
6 |
5 |
0 |
0 |
T95 |
4447 |
4446 |
0 |
0 |
T96 |
1619 |
1618 |
0 |
0 |
T97 |
1681 |
1680 |
0 |
0 |
T113 |
128 |
127 |
0 |
0 |
T114 |
143 |
142 |
0 |
0 |
T115 |
138 |
137 |
0 |
0 |
T180 |
2085 |
2084 |
0 |
0 |
T202 |
7073 |
7072 |
0 |
0 |
T240 |
1600 |
1599 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
120 |
109 |
0 |
0 |
T23 |
11 |
10 |
0 |
0 |
T24 |
5 |
4 |
0 |
0 |
T25 |
9 |
8 |
0 |
0 |
T112 |
18 |
17 |
0 |
0 |
T243 |
11 |
10 |
0 |
0 |
T244 |
13 |
12 |
0 |
0 |
T245 |
8 |
7 |
0 |
0 |
T246 |
8 |
7 |
0 |
0 |
T247 |
18 |
17 |
0 |
0 |
T248 |
18 |
17 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_padring.gen_dio_pads[9].gen_mux_spi_device_sd3.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[9].gen_mux_spi_device_sd3.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 | T4,T5,T6 |
0 | 1 | Covered | T95,T96,T92 |
1 | 0 | Unreachable | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T94,T23,T24 |
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 | T4,T5,T6 |
1 | 1 | Covered | T95,T96,T92 |
Assert Coverage for Instance : tb.dut.u_padring.gen_dio_pads[9].gen_mux_spi_device_sd3.u_mux_dio_oe.gen_generic.u_impl_generic
Assertion Details
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
316 |
296 |
0 |
0 |
T23 |
0 |
1 |
0 |
0 |
T24 |
0 |
4 |
0 |
0 |
T25 |
0 |
4 |
0 |
0 |
T92 |
1 |
0 |
0 |
0 |
T95 |
16 |
15 |
0 |
0 |
T96 |
75 |
74 |
0 |
0 |
T97 |
74 |
73 |
0 |
0 |
T112 |
0 |
4 |
0 |
0 |
T113 |
1 |
0 |
0 |
0 |
T114 |
1 |
0 |
0 |
0 |
T115 |
1 |
0 |
0 |
0 |
T180 |
75 |
74 |
0 |
0 |
T202 |
16 |
15 |
0 |
0 |
T240 |
16 |
15 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
109 |
98 |
0 |
0 |
T23 |
9 |
8 |
0 |
0 |
T24 |
6 |
5 |
0 |
0 |
T25 |
8 |
7 |
0 |
0 |
T112 |
13 |
12 |
0 |
0 |
T243 |
11 |
10 |
0 |
0 |
T244 |
13 |
12 |
0 |
0 |
T245 |
10 |
9 |
0 |
0 |
T246 |
5 |
4 |
0 |
0 |
T247 |
14 |
13 |
0 |
0 |
T248 |
19 |
18 |
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 | T21,T22,T1 |
0 | 1 | Covered | T113,T114,T94 |
1 | 0 | Unreachable | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T92,T93,T94 |
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 | T21,T22,T1 |
1 | 1 | Covered | T113,T114,T94 |
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
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
192 |
172 |
0 |
0 |
T23 |
17 |
16 |
0 |
0 |
T24 |
21 |
20 |
0 |
0 |
T25 |
13 |
12 |
0 |
0 |
T112 |
18 |
17 |
0 |
0 |
T243 |
13 |
12 |
0 |
0 |
T244 |
33 |
32 |
0 |
0 |
T245 |
12 |
11 |
0 |
0 |
T246 |
18 |
17 |
0 |
0 |
T247 |
15 |
14 |
0 |
0 |
T248 |
22 |
21 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
54 |
33 |
0 |
0 |
T23 |
0 |
3 |
0 |
0 |
T24 |
0 |
3 |
0 |
0 |
T25 |
0 |
3 |
0 |
0 |
T92 |
2 |
1 |
0 |
0 |
T93 |
2 |
1 |
0 |
0 |
T94 |
2 |
1 |
0 |
0 |
T101 |
1 |
0 |
0 |
0 |
T103 |
1 |
0 |
0 |
0 |
T107 |
1 |
0 |
0 |
0 |
T108 |
1 |
0 |
0 |
0 |
T112 |
0 |
3 |
0 |
0 |
T151 |
1 |
0 |
0 |
0 |
T157 |
1 |
0 |
0 |
0 |
T158 |
1 |
0 |
0 |
0 |
T243 |
0 |
3 |
0 |
0 |
T244 |
0 |
3 |
0 |
0 |
T245 |
0 |
3 |
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 | T21,T22,T1 |
0 | 1 | Covered | T113,T114,T94 |
1 | 0 | Unreachable | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T92,T93,T94 |
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 | T21,T22,T1 |
1 | 1 | Covered | T113,T114,T94 |
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
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
192 |
172 |
0 |
0 |
T23 |
17 |
16 |
0 |
0 |
T24 |
20 |
19 |
0 |
0 |
T25 |
12 |
11 |
0 |
0 |
T112 |
17 |
16 |
0 |
0 |
T243 |
13 |
12 |
0 |
0 |
T244 |
36 |
35 |
0 |
0 |
T245 |
12 |
11 |
0 |
0 |
T246 |
17 |
16 |
0 |
0 |
T247 |
16 |
15 |
0 |
0 |
T248 |
22 |
21 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
54 |
33 |
0 |
0 |
T23 |
0 |
3 |
0 |
0 |
T24 |
0 |
3 |
0 |
0 |
T25 |
0 |
3 |
0 |
0 |
T92 |
2 |
1 |
0 |
0 |
T93 |
2 |
1 |
0 |
0 |
T94 |
2 |
1 |
0 |
0 |
T101 |
1 |
0 |
0 |
0 |
T103 |
1 |
0 |
0 |
0 |
T107 |
1 |
0 |
0 |
0 |
T108 |
1 |
0 |
0 |
0 |
T112 |
0 |
3 |
0 |
0 |
T151 |
1 |
0 |
0 |
0 |
T157 |
1 |
0 |
0 |
0 |
T158 |
1 |
0 |
0 |
0 |
T243 |
0 |
3 |
0 |
0 |
T244 |
0 |
3 |
0 |
0 |
T245 |
0 |
3 |
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 | T21,T22,T1 |
0 | 1 | Covered | T95,T96,T92 |
1 | 0 | Unreachable | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T92,T93,T94 |
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 | T21,T22,T1 |
1 | 1 | Covered | T95,T96,T92 |
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
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
188 |
161 |
0 |
0 |
T23 |
18 |
17 |
0 |
0 |
T24 |
12 |
11 |
0 |
0 |
T25 |
16 |
15 |
0 |
0 |
T112 |
15 |
14 |
0 |
0 |
T243 |
20 |
19 |
0 |
0 |
T244 |
22 |
21 |
0 |
0 |
T245 |
13 |
12 |
0 |
0 |
T246 |
18 |
17 |
0 |
0 |
T247 |
12 |
11 |
0 |
0 |
T248 |
25 |
24 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
24 |
3 |
0 |
0 |
T92 |
2 |
1 |
0 |
0 |
T93 |
2 |
1 |
0 |
0 |
T94 |
2 |
1 |
0 |
0 |
T101 |
1 |
0 |
0 |
0 |
T103 |
1 |
0 |
0 |
0 |
T107 |
1 |
0 |
0 |
0 |
T108 |
1 |
0 |
0 |
0 |
T151 |
1 |
0 |
0 |
0 |
T157 |
1 |
0 |
0 |
0 |
T158 |
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 | T21,T22,T1 |
0 | 1 | Covered | T95,T96,T92 |
1 | 0 | Unreachable | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T92,T93,T94 |
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 | T21,T22,T1 |
1 | 1 | Covered | T95,T96,T92 |
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
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
192 |
165 |
0 |
0 |
T23 |
20 |
19 |
0 |
0 |
T24 |
11 |
10 |
0 |
0 |
T25 |
17 |
16 |
0 |
0 |
T112 |
15 |
14 |
0 |
0 |
T243 |
21 |
20 |
0 |
0 |
T244 |
21 |
20 |
0 |
0 |
T245 |
13 |
12 |
0 |
0 |
T246 |
19 |
18 |
0 |
0 |
T247 |
12 |
11 |
0 |
0 |
T248 |
26 |
25 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
24 |
3 |
0 |
0 |
T92 |
2 |
1 |
0 |
0 |
T93 |
2 |
1 |
0 |
0 |
T94 |
2 |
1 |
0 |
0 |
T101 |
1 |
0 |
0 |
0 |
T103 |
1 |
0 |
0 |
0 |
T107 |
1 |
0 |
0 |
0 |
T108 |
1 |
0 |
0 |
0 |
T151 |
1 |
0 |
0 |
0 |
T157 |
1 |
0 |
0 |
0 |
T158 |
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 | T21,T22,T1 |
0 | 1 | Covered | T93,T23,T24 |
1 | 0 | Unreachable | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T92,T93,T94 |
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 | T21,T22,T1 |
1 | 1 | Covered | T93,T23,T24 |
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
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
215 |
198 |
0 |
0 |
T23 |
8 |
7 |
0 |
0 |
T24 |
23 |
22 |
0 |
0 |
T25 |
28 |
27 |
0 |
0 |
T112 |
12 |
11 |
0 |
0 |
T243 |
15 |
14 |
0 |
0 |
T244 |
34 |
33 |
0 |
0 |
T245 |
12 |
11 |
0 |
0 |
T246 |
23 |
22 |
0 |
0 |
T247 |
25 |
24 |
0 |
0 |
T248 |
28 |
27 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
24 |
3 |
0 |
0 |
T92 |
2 |
1 |
0 |
0 |
T93 |
2 |
1 |
0 |
0 |
T94 |
2 |
1 |
0 |
0 |
T101 |
1 |
0 |
0 |
0 |
T103 |
1 |
0 |
0 |
0 |
T107 |
1 |
0 |
0 |
0 |
T108 |
1 |
0 |
0 |
0 |
T151 |
1 |
0 |
0 |
0 |
T157 |
1 |
0 |
0 |
0 |
T158 |
1 |
0 |
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 | T21,T22,T1 |
0 | 1 | Covered | T93,T23,T24 |
1 | 0 | Unreachable | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T92,T93,T94 |
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 | T21,T22,T1 |
1 | 1 | Covered | T93,T23,T24 |
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
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
211 |
194 |
0 |
0 |
T23 |
7 |
6 |
0 |
0 |
T24 |
21 |
20 |
0 |
0 |
T25 |
28 |
27 |
0 |
0 |
T112 |
12 |
11 |
0 |
0 |
T243 |
15 |
14 |
0 |
0 |
T244 |
36 |
35 |
0 |
0 |
T245 |
13 |
12 |
0 |
0 |
T246 |
22 |
21 |
0 |
0 |
T247 |
23 |
22 |
0 |
0 |
T248 |
27 |
26 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
24 |
3 |
0 |
0 |
T92 |
2 |
1 |
0 |
0 |
T93 |
2 |
1 |
0 |
0 |
T94 |
2 |
1 |
0 |
0 |
T101 |
1 |
0 |
0 |
0 |
T103 |
1 |
0 |
0 |
0 |
T107 |
1 |
0 |
0 |
0 |
T108 |
1 |
0 |
0 |
0 |
T151 |
1 |
0 |
0 |
0 |
T157 |
1 |
0 |
0 |
0 |
T158 |
1 |
0 |
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 | T21,T22,T104 |
0 | 1 | Covered | T104,T95,T96 |
1 | 0 | Unreachable | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T95,T96,T93 |
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 | T21,T22,T104 |
1 | 1 | Covered | T104,T95,T96 |
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 |
293 |
253 |
0 |
0 |
selKnown1 |
12387 |
12360 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
293 |
253 |
0 |
0 |
T1 |
1 |
0 |
0 |
0 |
T23 |
0 |
4 |
0 |
0 |
T92 |
1 |
0 |
0 |
0 |
T93 |
1 |
0 |
0 |
0 |
T95 |
1 |
0 |
0 |
0 |
T96 |
1 |
0 |
0 |
0 |
T97 |
1 |
0 |
0 |
0 |
T104 |
2 |
1 |
0 |
0 |
T105 |
2 |
1 |
0 |
0 |
T240 |
1 |
0 |
0 |
0 |
T249 |
34 |
33 |
0 |
0 |
T250 |
0 |
28 |
0 |
0 |
T251 |
0 |
30 |
0 |
0 |
T252 |
0 |
1 |
0 |
0 |
T253 |
0 |
1 |
0 |
0 |
T254 |
0 |
1 |
0 |
0 |
T255 |
0 |
1 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
12387 |
12360 |
0 |
0 |
T1 |
1 |
0 |
0 |
0 |
T23 |
0 |
7 |
0 |
0 |
T93 |
1 |
0 |
0 |
0 |
T95 |
4387 |
4386 |
0 |
0 |
T96 |
1175 |
1174 |
0 |
0 |
T97 |
1223 |
1222 |
0 |
0 |
T113 |
122 |
121 |
0 |
0 |
T114 |
137 |
136 |
0 |
0 |
T115 |
0 |
132 |
0 |
0 |
T152 |
1 |
0 |
0 |
0 |
T180 |
0 |
1324 |
0 |
0 |
T200 |
1 |
0 |
0 |
0 |
T202 |
0 |
2262 |
0 |
0 |
T240 |
1528 |
1527 |
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 | T21,T22,T104 |
0 | 1 | Covered | T104,T95,T96 |
1 | 0 | Unreachable | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T95,T96,T93 |
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 | T21,T22,T104 |
1 | 1 | Covered | T104,T95,T96 |
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 |
296 |
256 |
0 |
0 |
selKnown1 |
12387 |
12360 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
296 |
256 |
0 |
0 |
T1 |
1 |
0 |
0 |
0 |
T23 |
0 |
4 |
0 |
0 |
T92 |
1 |
0 |
0 |
0 |
T93 |
1 |
0 |
0 |
0 |
T95 |
1 |
0 |
0 |
0 |
T96 |
1 |
0 |
0 |
0 |
T97 |
1 |
0 |
0 |
0 |
T104 |
2 |
1 |
0 |
0 |
T105 |
2 |
1 |
0 |
0 |
T240 |
1 |
0 |
0 |
0 |
T249 |
34 |
33 |
0 |
0 |
T250 |
0 |
28 |
0 |
0 |
T251 |
0 |
30 |
0 |
0 |
T252 |
0 |
1 |
0 |
0 |
T253 |
0 |
1 |
0 |
0 |
T254 |
0 |
1 |
0 |
0 |
T255 |
0 |
1 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
12387 |
12360 |
0 |
0 |
T1 |
1 |
0 |
0 |
0 |
T23 |
0 |
8 |
0 |
0 |
T93 |
1 |
0 |
0 |
0 |
T95 |
4387 |
4386 |
0 |
0 |
T96 |
1175 |
1174 |
0 |
0 |
T97 |
1223 |
1222 |
0 |
0 |
T113 |
122 |
121 |
0 |
0 |
T114 |
137 |
136 |
0 |
0 |
T115 |
0 |
132 |
0 |
0 |
T152 |
1 |
0 |
0 |
0 |
T180 |
0 |
1324 |
0 |
0 |
T200 |
1 |
0 |
0 |
0 |
T202 |
0 |
2262 |
0 |
0 |
T240 |
1528 |
1527 |
0 |
0 |