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,T4 |
0 | 1 | Covered | T5,T6,T4 |
1 | 0 | Covered | T25,T26,T27 |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T4 |
1 | 0 | Covered | T25,T26,T27 |
1 | 1 | Covered | T25,T26,T27 |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T25,T26,T27 |
1 | 0 | Covered | T5,T6,T4 |
1 | 1 | Covered | T5,T6,T4 |
Assert Coverage for Module :
prim_generic_clock_mux2
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
selKnown0 |
556388824 |
556386409 |
0 |
0 |
selKnown1 |
1340512044 |
1340509629 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
556388824 |
556386409 |
0 |
0 |
T1 |
1165873 |
1165873 |
0 |
0 |
T2 |
656855 |
656855 |
0 |
0 |
T4 |
74275 |
74272 |
0 |
0 |
T5 |
161420 |
161417 |
0 |
0 |
T6 |
119125 |
119122 |
0 |
0 |
T16 |
12442 |
12439 |
0 |
0 |
T24 |
1790 |
1787 |
0 |
0 |
T25 |
5224 |
5221 |
0 |
0 |
T26 |
18058 |
18055 |
0 |
0 |
T27 |
7817 |
7814 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1340512044 |
1340509629 |
0 |
0 |
T1 |
2795607 |
2795607 |
0 |
0 |
T2 |
1576440 |
1576437 |
0 |
0 |
T4 |
355446 |
355443 |
0 |
0 |
T5 |
387726 |
387723 |
0 |
0 |
T6 |
286014 |
286011 |
0 |
0 |
T16 |
28068 |
28065 |
0 |
0 |
T24 |
4656 |
4653 |
0 |
0 |
T25 |
12612 |
12609 |
0 |
0 |
T26 |
39417 |
39414 |
0 |
0 |
T27 |
17874 |
17871 |
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,T4 |
0 | 1 | Covered | T5,T6,T4 |
1 | 0 | Unreachable | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T4 |
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,T4 |
1 | 1 | Covered | T5,T6,T4 |
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 |
222662241 |
222661436 |
0 |
0 |
selKnown1 |
446837348 |
446836543 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
222662241 |
222661436 |
0 |
0 |
T1 |
466684 |
466684 |
0 |
0 |
T2 |
262760 |
262760 |
0 |
0 |
T4 |
29710 |
29709 |
0 |
0 |
T5 |
64568 |
64567 |
0 |
0 |
T6 |
47650 |
47649 |
0 |
0 |
T16 |
5198 |
5197 |
0 |
0 |
T24 |
716 |
715 |
0 |
0 |
T25 |
2094 |
2093 |
0 |
0 |
T26 |
7705 |
7704 |
0 |
0 |
T27 |
3234 |
3233 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
446837348 |
446836543 |
0 |
0 |
T1 |
931869 |
931869 |
0 |
0 |
T2 |
525480 |
525479 |
0 |
0 |
T4 |
118482 |
118481 |
0 |
0 |
T5 |
129242 |
129241 |
0 |
0 |
T6 |
95338 |
95337 |
0 |
0 |
T16 |
9356 |
9355 |
0 |
0 |
T24 |
1552 |
1551 |
0 |
0 |
T25 |
4204 |
4203 |
0 |
0 |
T26 |
13139 |
13138 |
0 |
0 |
T27 |
5958 |
5957 |
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,T4 |
0 | 1 | Covered | T5,T6,T4 |
1 | 0 | Covered | T25,T26,T27 |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T4 |
1 | 0 | Covered | T25,T26,T27 |
1 | 1 | Covered | T25,T26,T27 |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T25,T26,T27 |
1 | 0 | Covered | T5,T6,T4 |
1 | 1 | Covered | T5,T6,T4 |
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 |
222396080 |
222395275 |
0 |
0 |
selKnown1 |
446837348 |
446836543 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
222396080 |
222395275 |
0 |
0 |
T1 |
465848 |
465848 |
0 |
0 |
T2 |
262715 |
262715 |
0 |
0 |
T4 |
29710 |
29709 |
0 |
0 |
T5 |
64568 |
64567 |
0 |
0 |
T6 |
47650 |
47649 |
0 |
0 |
T16 |
4645 |
4644 |
0 |
0 |
T24 |
716 |
715 |
0 |
0 |
T25 |
2083 |
2082 |
0 |
0 |
T26 |
6502 |
6501 |
0 |
0 |
T27 |
2967 |
2966 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
446837348 |
446836543 |
0 |
0 |
T1 |
931869 |
931869 |
0 |
0 |
T2 |
525480 |
525479 |
0 |
0 |
T4 |
118482 |
118481 |
0 |
0 |
T5 |
129242 |
129241 |
0 |
0 |
T6 |
95338 |
95337 |
0 |
0 |
T16 |
9356 |
9355 |
0 |
0 |
T24 |
1552 |
1551 |
0 |
0 |
T25 |
4204 |
4203 |
0 |
0 |
T26 |
13139 |
13138 |
0 |
0 |
T27 |
5958 |
5957 |
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,T4 |
0 | 1 | Covered | T5,T6,T4 |
1 | 0 | Unreachable | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T4 |
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,T4 |
1 | 1 | Covered | T5,T6,T4 |
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 |
111330503 |
111329698 |
0 |
0 |
selKnown1 |
446837348 |
446836543 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
111330503 |
111329698 |
0 |
0 |
T1 |
233341 |
233341 |
0 |
0 |
T2 |
131380 |
131380 |
0 |
0 |
T4 |
14855 |
14854 |
0 |
0 |
T5 |
32284 |
32283 |
0 |
0 |
T6 |
23825 |
23824 |
0 |
0 |
T16 |
2599 |
2598 |
0 |
0 |
T24 |
358 |
357 |
0 |
0 |
T25 |
1047 |
1046 |
0 |
0 |
T26 |
3851 |
3850 |
0 |
0 |
T27 |
1616 |
1615 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
446837348 |
446836543 |
0 |
0 |
T1 |
931869 |
931869 |
0 |
0 |
T2 |
525480 |
525479 |
0 |
0 |
T4 |
118482 |
118481 |
0 |
0 |
T5 |
129242 |
129241 |
0 |
0 |
T6 |
95338 |
95337 |
0 |
0 |
T16 |
9356 |
9355 |
0 |
0 |
T24 |
1552 |
1551 |
0 |
0 |
T25 |
4204 |
4203 |
0 |
0 |
T26 |
13139 |
13138 |
0 |
0 |
T27 |
5958 |
5957 |
0 |
0 |