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 | T5,T4,T1 |
0 | 1 | Covered | T5,T4,T1 |
1 | 0 | Covered | T5,T1,T16 |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T4,T1 |
1 | 0 | Covered | T5,T1,T16 |
1 | 1 | Covered | T5,T1,T16 |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T1,T16 |
1 | 0 | Covered | T5,T4,T1 |
1 | 1 | Covered | T5,T4,T1 |
Assert Coverage for Module :
prim_generic_clock_mux2
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
selKnown0 |
666057312 |
666054900 |
0 |
0 |
selKnown1 |
1603988628 |
1603986216 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
666057312 |
666054900 |
0 |
0 |
T1 |
582894 |
582894 |
0 |
0 |
T2 |
1023875 |
1023875 |
0 |
0 |
T4 |
10282 |
10279 |
0 |
0 |
T5 |
8211 |
8208 |
0 |
0 |
T14 |
1632 |
1629 |
0 |
0 |
T15 |
5140 |
5137 |
0 |
0 |
T16 |
3208 |
3205 |
0 |
0 |
T17 |
2110 |
2107 |
0 |
0 |
T18 |
2628 |
2625 |
0 |
0 |
T19 |
1970 |
1967 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1603988628 |
1603986216 |
0 |
0 |
T1 |
1403967 |
1403967 |
0 |
0 |
T2 |
2456898 |
2456898 |
0 |
0 |
T4 |
24789 |
24786 |
0 |
0 |
T5 |
14262 |
14259 |
0 |
0 |
T14 |
4236 |
4233 |
0 |
0 |
T15 |
12573 |
12570 |
0 |
0 |
T16 |
7242 |
7239 |
0 |
0 |
T17 |
5265 |
5262 |
0 |
0 |
T18 |
6504 |
6501 |
0 |
0 |
T19 |
4842 |
4839 |
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 | T5,T4,T1 |
0 | 1 | Covered | T5,T4,T1 |
1 | 0 | Unreachable | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T4,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 | T5,T4,T1 |
1 | 1 | Covered | T5,T4,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 |
266546921 |
266546117 |
0 |
0 |
selKnown1 |
534662876 |
534662072 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
266546921 |
266546117 |
0 |
0 |
T1 |
233209 |
233209 |
0 |
0 |
T2 |
409609 |
409609 |
0 |
0 |
T4 |
4113 |
4112 |
0 |
0 |
T5 |
3902 |
3901 |
0 |
0 |
T14 |
653 |
652 |
0 |
0 |
T15 |
2056 |
2055 |
0 |
0 |
T16 |
1356 |
1355 |
0 |
0 |
T17 |
859 |
858 |
0 |
0 |
T18 |
1051 |
1050 |
0 |
0 |
T19 |
788 |
787 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
534662876 |
534662072 |
0 |
0 |
T1 |
467989 |
467989 |
0 |
0 |
T2 |
818966 |
818966 |
0 |
0 |
T4 |
8263 |
8262 |
0 |
0 |
T5 |
4754 |
4753 |
0 |
0 |
T14 |
1412 |
1411 |
0 |
0 |
T15 |
4191 |
4190 |
0 |
0 |
T16 |
2414 |
2413 |
0 |
0 |
T17 |
1755 |
1754 |
0 |
0 |
T18 |
2168 |
2167 |
0 |
0 |
T19 |
1614 |
1613 |
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 | T5,T4,T1 |
0 | 1 | Covered | T5,T4,T1 |
1 | 0 | Covered | T5,T1,T16 |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T4,T1 |
1 | 0 | Covered | T5,T1,T16 |
1 | 1 | Covered | T5,T1,T16 |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T1,T16 |
1 | 0 | Covered | T5,T4,T1 |
1 | 1 | Covered | T5,T4,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 |
266237550 |
266236746 |
0 |
0 |
selKnown1 |
534662876 |
534662072 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
266237550 |
266236746 |
0 |
0 |
T1 |
233082 |
233082 |
0 |
0 |
T2 |
409462 |
409462 |
0 |
0 |
T4 |
4113 |
4112 |
0 |
0 |
T5 |
2358 |
2357 |
0 |
0 |
T14 |
653 |
652 |
0 |
0 |
T15 |
2056 |
2055 |
0 |
0 |
T16 |
1174 |
1173 |
0 |
0 |
T17 |
824 |
823 |
0 |
0 |
T18 |
1051 |
1050 |
0 |
0 |
T19 |
788 |
787 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
534662876 |
534662072 |
0 |
0 |
T1 |
467989 |
467989 |
0 |
0 |
T2 |
818966 |
818966 |
0 |
0 |
T4 |
8263 |
8262 |
0 |
0 |
T5 |
4754 |
4753 |
0 |
0 |
T14 |
1412 |
1411 |
0 |
0 |
T15 |
4191 |
4190 |
0 |
0 |
T16 |
2414 |
2413 |
0 |
0 |
T17 |
1755 |
1754 |
0 |
0 |
T18 |
2168 |
2167 |
0 |
0 |
T19 |
1614 |
1613 |
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 | T5,T4,T1 |
0 | 1 | Covered | T5,T4,T1 |
1 | 0 | Unreachable | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T4,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 | T5,T4,T1 |
1 | 1 | Covered | T5,T4,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 |
133272841 |
133272037 |
0 |
0 |
selKnown1 |
534662876 |
534662072 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
133272841 |
133272037 |
0 |
0 |
T1 |
116603 |
116603 |
0 |
0 |
T2 |
204804 |
204804 |
0 |
0 |
T4 |
2056 |
2055 |
0 |
0 |
T5 |
1951 |
1950 |
0 |
0 |
T14 |
326 |
325 |
0 |
0 |
T15 |
1028 |
1027 |
0 |
0 |
T16 |
678 |
677 |
0 |
0 |
T17 |
427 |
426 |
0 |
0 |
T18 |
526 |
525 |
0 |
0 |
T19 |
394 |
393 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
534662876 |
534662072 |
0 |
0 |
T1 |
467989 |
467989 |
0 |
0 |
T2 |
818966 |
818966 |
0 |
0 |
T4 |
8263 |
8262 |
0 |
0 |
T5 |
4754 |
4753 |
0 |
0 |
T14 |
1412 |
1411 |
0 |
0 |
T15 |
4191 |
4190 |
0 |
0 |
T16 |
2414 |
2413 |
0 |
0 |
T17 |
1755 |
1754 |
0 |
0 |
T18 |
2168 |
2167 |
0 |
0 |
T19 |
1614 |
1613 |
0 |
0 |