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 | 9 | 100.00 |
Logical | 9 | 9 | 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 | T6,T5,T1 |
0 | 1 | Covered | T6,T5,T1 |
1 | 0 | Covered | T20,T23,T2 |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T6,T5,T1 |
1 | 0 | Covered | T20,T23,T2 |
1 | 1 | Covered | T20,T23,T2 |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T20,T23,T2 |
1 | 0 | Covered | T6,T5,T1 |
1 | 1 | Covered | T6,T5,T1 |
Assert Coverage for Module :
prim_generic_clock_mux2
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
selKnown0 |
556916395 |
556913980 |
0 |
0 |
selKnown1 |
1341618342 |
1341615927 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
556916395 |
556913980 |
0 |
0 |
T1 |
110370 |
110367 |
0 |
0 |
T5 |
23967 |
23964 |
0 |
0 |
T6 |
3035 |
3032 |
0 |
0 |
T16 |
13774 |
13771 |
0 |
0 |
T17 |
4355 |
4352 |
0 |
0 |
T18 |
1790 |
1787 |
0 |
0 |
T19 |
2662 |
2659 |
0 |
0 |
T20 |
2932 |
2929 |
0 |
0 |
T21 |
1312 |
1309 |
0 |
0 |
T22 |
5760 |
5757 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1341618342 |
1341615927 |
0 |
0 |
T1 |
265086 |
265083 |
0 |
0 |
T5 |
57756 |
57753 |
0 |
0 |
T6 |
7482 |
7479 |
0 |
0 |
T16 |
47880 |
47877 |
0 |
0 |
T17 |
10569 |
10566 |
0 |
0 |
T18 |
4572 |
4569 |
0 |
0 |
T19 |
6711 |
6708 |
0 |
0 |
T20 |
6990 |
6987 |
0 |
0 |
T21 |
3222 |
3219 |
0 |
0 |
T22 |
13938 |
13935 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_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.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.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 | T6,T5,T1 |
0 | 1 | Covered | T6,T5,T1 |
1 | 0 | Unreachable | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T6,T5,T1 |
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 | T6,T5,T1 |
1 | 1 | Covered | T6,T5,T1 |
Assert Coverage for Instance : tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
selKnown0 |
222886692 |
222885887 |
0 |
0 |
selKnown1 |
447206114 |
447205309 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
222886692 |
222885887 |
0 |
0 |
T1 |
44148 |
44147 |
0 |
0 |
T5 |
9587 |
9586 |
0 |
0 |
T6 |
1214 |
1213 |
0 |
0 |
T16 |
5509 |
5508 |
0 |
0 |
T17 |
1742 |
1741 |
0 |
0 |
T18 |
716 |
715 |
0 |
0 |
T19 |
1065 |
1064 |
0 |
0 |
T20 |
1219 |
1218 |
0 |
0 |
T21 |
525 |
524 |
0 |
0 |
T22 |
2304 |
2303 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
447206114 |
447205309 |
0 |
0 |
T1 |
88362 |
88361 |
0 |
0 |
T5 |
19252 |
19251 |
0 |
0 |
T6 |
2494 |
2493 |
0 |
0 |
T16 |
15960 |
15959 |
0 |
0 |
T17 |
3523 |
3522 |
0 |
0 |
T18 |
1524 |
1523 |
0 |
0 |
T19 |
2237 |
2236 |
0 |
0 |
T20 |
2330 |
2329 |
0 |
0 |
T21 |
1074 |
1073 |
0 |
0 |
T22 |
4646 |
4645 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.gen_div2.u_step_down_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.u_no_scan_io_div2_div.gen_generic.u_impl_generic.gen_div2.u_step_down_mux.gen_generic.u_impl_generic
| Total | Covered | Percent |
Conditions | 9 | 9 | 100.00 |
Logical | 9 | 9 | 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 | T6,T5,T1 |
0 | 1 | Covered | T6,T5,T1 |
1 | 0 | Covered | T20,T23,T2 |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T6,T5,T1 |
1 | 0 | Covered | T20,T23,T2 |
1 | 1 | Covered | T20,T23,T2 |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T20,T23,T2 |
1 | 0 | Covered | T6,T5,T1 |
1 | 1 | Covered | T6,T5,T1 |
Assert Coverage for Instance : tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.gen_div2.u_step_down_mux.gen_generic.u_impl_generic
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
selKnown0 |
222586969 |
222586164 |
0 |
0 |
selKnown1 |
447206114 |
447205309 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
222586969 |
222586164 |
0 |
0 |
T1 |
44148 |
44147 |
0 |
0 |
T5 |
9587 |
9586 |
0 |
0 |
T6 |
1214 |
1213 |
0 |
0 |
T16 |
5509 |
5508 |
0 |
0 |
T17 |
1742 |
1741 |
0 |
0 |
T18 |
716 |
715 |
0 |
0 |
T19 |
1065 |
1064 |
0 |
0 |
T20 |
1105 |
1104 |
0 |
0 |
T21 |
525 |
524 |
0 |
0 |
T22 |
2304 |
2303 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
447206114 |
447205309 |
0 |
0 |
T1 |
88362 |
88361 |
0 |
0 |
T5 |
19252 |
19251 |
0 |
0 |
T6 |
2494 |
2493 |
0 |
0 |
T16 |
15960 |
15959 |
0 |
0 |
T17 |
3523 |
3522 |
0 |
0 |
T18 |
1524 |
1523 |
0 |
0 |
T19 |
2237 |
2236 |
0 |
0 |
T20 |
2330 |
2329 |
0 |
0 |
T21 |
1074 |
1073 |
0 |
0 |
T22 |
4646 |
4645 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_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.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.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 | T6,T5,T1 |
0 | 1 | Covered | T6,T5,T1 |
1 | 0 | Unreachable | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T6,T5,T1 |
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 | T6,T5,T1 |
1 | 1 | Covered | T6,T5,T1 |
Assert Coverage for Instance : tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
selKnown0 |
111442734 |
111441929 |
0 |
0 |
selKnown1 |
447206114 |
447205309 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
111442734 |
111441929 |
0 |
0 |
T1 |
22074 |
22073 |
0 |
0 |
T5 |
4793 |
4792 |
0 |
0 |
T6 |
607 |
606 |
0 |
0 |
T16 |
2756 |
2755 |
0 |
0 |
T17 |
871 |
870 |
0 |
0 |
T18 |
358 |
357 |
0 |
0 |
T19 |
532 |
531 |
0 |
0 |
T20 |
608 |
607 |
0 |
0 |
T21 |
262 |
261 |
0 |
0 |
T22 |
1152 |
1151 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
447206114 |
447205309 |
0 |
0 |
T1 |
88362 |
88361 |
0 |
0 |
T5 |
19252 |
19251 |
0 |
0 |
T6 |
2494 |
2493 |
0 |
0 |
T16 |
15960 |
15959 |
0 |
0 |
T17 |
3523 |
3522 |
0 |
0 |
T18 |
1524 |
1523 |
0 |
0 |
T19 |
2237 |
2236 |
0 |
0 |
T20 |
2330 |
2329 |
0 |
0 |
T21 |
1074 |
1073 |
0 |
0 |
T22 |
4646 |
4645 |
0 |
0 |