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,T6,T7 |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Covered | T5,T6,T21 |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Covered | T5,T6,T21 |
1 | 1 | Covered | T5,T6,T21 |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T21 |
1 | 0 | Covered | T5,T6,T7 |
1 | 1 | Covered | T5,T6,T7 |
Assert Coverage for Module :
prim_generic_clock_mux2
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
selKnown0 |
600836232 |
600833817 |
0 |
0 |
selKnown1 |
1447489545 |
1447487130 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
600836232 |
600833817 |
0 |
0 |
T1 |
268708 |
268705 |
0 |
0 |
T2 |
254373 |
254370 |
0 |
0 |
T4 |
32757 |
32754 |
0 |
0 |
T5 |
4620 |
4617 |
0 |
0 |
T6 |
2142 |
2139 |
0 |
0 |
T7 |
1557 |
1554 |
0 |
0 |
T16 |
3603 |
3600 |
0 |
0 |
T17 |
16677 |
16674 |
0 |
0 |
T18 |
3825 |
3822 |
0 |
0 |
T19 |
52945 |
52942 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1447489545 |
1447487130 |
0 |
0 |
T1 |
645303 |
645300 |
0 |
0 |
T2 |
610734 |
610731 |
0 |
0 |
T4 |
124947 |
124944 |
0 |
0 |
T5 |
11157 |
11154 |
0 |
0 |
T6 |
5175 |
5172 |
0 |
0 |
T7 |
4140 |
4137 |
0 |
0 |
T16 |
8886 |
8883 |
0 |
0 |
T17 |
40344 |
40341 |
0 |
0 |
T18 |
9459 |
9456 |
0 |
0 |
T19 |
222282 |
222279 |
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,T6,T7 |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Unreachable | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
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,T6,T7 |
1 | 1 | Covered | T5,T6,T7 |
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 |
240441259 |
240440454 |
0 |
0 |
selKnown1 |
482496515 |
482495710 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
240441259 |
240440454 |
0 |
0 |
T1 |
107483 |
107482 |
0 |
0 |
T2 |
101749 |
101748 |
0 |
0 |
T4 |
13103 |
13102 |
0 |
0 |
T5 |
1858 |
1857 |
0 |
0 |
T6 |
889 |
888 |
0 |
0 |
T7 |
623 |
622 |
0 |
0 |
T16 |
1441 |
1440 |
0 |
0 |
T17 |
6671 |
6670 |
0 |
0 |
T18 |
1530 |
1529 |
0 |
0 |
T19 |
21178 |
21177 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
482496515 |
482495710 |
0 |
0 |
T1 |
215101 |
215100 |
0 |
0 |
T2 |
203578 |
203577 |
0 |
0 |
T4 |
41649 |
41648 |
0 |
0 |
T5 |
3719 |
3718 |
0 |
0 |
T6 |
1725 |
1724 |
0 |
0 |
T7 |
1380 |
1379 |
0 |
0 |
T16 |
2962 |
2961 |
0 |
0 |
T17 |
13448 |
13447 |
0 |
0 |
T18 |
3153 |
3152 |
0 |
0 |
T19 |
74094 |
74093 |
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,T6,T7 |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Covered | T5,T6,T21 |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Covered | T5,T6,T21 |
1 | 1 | Covered | T5,T6,T21 |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T21 |
1 | 0 | Covered | T5,T6,T7 |
1 | 1 | Covered | T5,T6,T7 |
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 |
240174935 |
240174130 |
0 |
0 |
selKnown1 |
482496515 |
482495710 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
240174935 |
240174130 |
0 |
0 |
T1 |
107483 |
107482 |
0 |
0 |
T2 |
101749 |
101748 |
0 |
0 |
T4 |
13103 |
13102 |
0 |
0 |
T5 |
1833 |
1832 |
0 |
0 |
T6 |
809 |
808 |
0 |
0 |
T7 |
623 |
622 |
0 |
0 |
T16 |
1441 |
1440 |
0 |
0 |
T17 |
6671 |
6670 |
0 |
0 |
T18 |
1530 |
1529 |
0 |
0 |
T19 |
21178 |
21177 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
482496515 |
482495710 |
0 |
0 |
T1 |
215101 |
215100 |
0 |
0 |
T2 |
203578 |
203577 |
0 |
0 |
T4 |
41649 |
41648 |
0 |
0 |
T5 |
3719 |
3718 |
0 |
0 |
T6 |
1725 |
1724 |
0 |
0 |
T7 |
1380 |
1379 |
0 |
0 |
T16 |
2962 |
2961 |
0 |
0 |
T17 |
13448 |
13447 |
0 |
0 |
T18 |
3153 |
3152 |
0 |
0 |
T19 |
74094 |
74093 |
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,T6,T7 |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Unreachable | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
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,T6,T7 |
1 | 1 | Covered | T5,T6,T7 |
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 |
120220038 |
120219233 |
0 |
0 |
selKnown1 |
482496515 |
482495710 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
120220038 |
120219233 |
0 |
0 |
T1 |
53742 |
53741 |
0 |
0 |
T2 |
50875 |
50874 |
0 |
0 |
T4 |
6551 |
6550 |
0 |
0 |
T5 |
929 |
928 |
0 |
0 |
T6 |
444 |
443 |
0 |
0 |
T7 |
311 |
310 |
0 |
0 |
T16 |
721 |
720 |
0 |
0 |
T17 |
3335 |
3334 |
0 |
0 |
T18 |
765 |
764 |
0 |
0 |
T19 |
10589 |
10588 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
482496515 |
482495710 |
0 |
0 |
T1 |
215101 |
215100 |
0 |
0 |
T2 |
203578 |
203577 |
0 |
0 |
T4 |
41649 |
41648 |
0 |
0 |
T5 |
3719 |
3718 |
0 |
0 |
T6 |
1725 |
1724 |
0 |
0 |
T7 |
1380 |
1379 |
0 |
0 |
T16 |
2962 |
2961 |
0 |
0 |
T17 |
13448 |
13447 |
0 |
0 |
T18 |
3153 |
3152 |
0 |
0 |
T19 |
74094 |
74093 |
0 |
0 |