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,T1,T6 |
0 | 1 | Covered | T5,T1,T6 |
1 | 0 | Covered | T5,T1,T6 |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T1,T6 |
1 | 0 | Covered | T5,T1,T6 |
1 | 1 | Covered | T5,T1,T6 |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T1,T6 |
1 | 0 | Covered | T5,T1,T6 |
1 | 1 | Covered | T5,T1,T6 |
Assert Coverage for Module :
prim_generic_clock_mux2
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
selKnown0 |
584202064 |
584199649 |
0 |
0 |
selKnown1 |
1407176637 |
1407174222 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
584202064 |
584199649 |
0 |
0 |
T1 |
2154118 |
2154118 |
0 |
0 |
T2 |
1010121 |
1010120 |
0 |
0 |
T3 |
1021308 |
1021307 |
0 |
0 |
T4 |
66783 |
66780 |
0 |
0 |
T5 |
377400 |
377397 |
0 |
0 |
T6 |
3158 |
3155 |
0 |
0 |
T7 |
2196455 |
2196452 |
0 |
0 |
T14 |
10465 |
10462 |
0 |
0 |
T15 |
4227 |
4224 |
0 |
0 |
T16 |
8328 |
8325 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1407176637 |
1407174222 |
0 |
0 |
T1 |
517011 |
517011 |
0 |
0 |
T2 |
866040 |
866040 |
0 |
0 |
T3 |
880995 |
880992 |
0 |
0 |
T4 |
277209 |
277206 |
0 |
0 |
T5 |
901644 |
901641 |
0 |
0 |
T6 |
7680 |
7677 |
0 |
0 |
T7 |
528726 |
528726 |
0 |
0 |
T14 |
25395 |
25392 |
0 |
0 |
T15 |
10464 |
10461 |
0 |
0 |
T16 |
19281 |
19278 |
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,T1,T6 |
0 | 1 | Covered | T5,T1,T6 |
1 | 0 | Unreachable | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T1,T6 |
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,T1,T6 |
1 | 1 | Covered | T5,T1,T6 |
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 |
233811823 |
233811018 |
0 |
0 |
selKnown1 |
469058879 |
469058074 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
233811823 |
233811018 |
0 |
0 |
T1 |
862091 |
862091 |
0 |
0 |
T2 |
144327 |
144327 |
0 |
0 |
T3 |
145914 |
145914 |
0 |
0 |
T4 |
26714 |
26713 |
0 |
0 |
T5 |
151544 |
151543 |
0 |
0 |
T6 |
1283 |
1282 |
0 |
0 |
T7 |
878831 |
878830 |
0 |
0 |
T14 |
4186 |
4185 |
0 |
0 |
T15 |
1691 |
1690 |
0 |
0 |
T16 |
3446 |
3445 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
469058879 |
469058074 |
0 |
0 |
T1 |
172337 |
172337 |
0 |
0 |
T2 |
288680 |
288680 |
0 |
0 |
T3 |
293665 |
293664 |
0 |
0 |
T4 |
92403 |
92402 |
0 |
0 |
T5 |
300548 |
300547 |
0 |
0 |
T6 |
2560 |
2559 |
0 |
0 |
T7 |
176242 |
176242 |
0 |
0 |
T14 |
8465 |
8464 |
0 |
0 |
T15 |
3488 |
3487 |
0 |
0 |
T16 |
6427 |
6426 |
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,T1,T6 |
0 | 1 | Covered | T5,T1,T6 |
1 | 0 | Covered | T5,T1,T6 |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T1,T6 |
1 | 0 | Covered | T5,T1,T6 |
1 | 1 | Covered | T5,T1,T6 |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T1,T6 |
1 | 0 | Covered | T5,T1,T6 |
1 | 1 | Covered | T5,T1,T6 |
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 |
233484935 |
233484130 |
0 |
0 |
selKnown1 |
469058879 |
469058074 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
233484935 |
233484130 |
0 |
0 |
T1 |
860983 |
860983 |
0 |
0 |
T2 |
144162 |
144162 |
0 |
0 |
T3 |
145830 |
145830 |
0 |
0 |
T4 |
26714 |
26713 |
0 |
0 |
T5 |
150085 |
150084 |
0 |
0 |
T6 |
1233 |
1232 |
0 |
0 |
T7 |
878213 |
878212 |
0 |
0 |
T14 |
4186 |
4185 |
0 |
0 |
T15 |
1691 |
1690 |
0 |
0 |
T16 |
3160 |
3159 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
469058879 |
469058074 |
0 |
0 |
T1 |
172337 |
172337 |
0 |
0 |
T2 |
288680 |
288680 |
0 |
0 |
T3 |
293665 |
293664 |
0 |
0 |
T4 |
92403 |
92402 |
0 |
0 |
T5 |
300548 |
300547 |
0 |
0 |
T6 |
2560 |
2559 |
0 |
0 |
T7 |
176242 |
176242 |
0 |
0 |
T14 |
8465 |
8464 |
0 |
0 |
T15 |
3488 |
3487 |
0 |
0 |
T16 |
6427 |
6426 |
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,T1,T6 |
0 | 1 | Covered | T5,T1,T6 |
1 | 0 | Unreachable | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T1,T6 |
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,T1,T6 |
1 | 1 | Covered | T5,T1,T6 |
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 |
116905306 |
116904501 |
0 |
0 |
selKnown1 |
469058879 |
469058074 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
116905306 |
116904501 |
0 |
0 |
T1 |
431044 |
431044 |
0 |
0 |
T2 |
721632 |
721631 |
0 |
0 |
T3 |
729564 |
729563 |
0 |
0 |
T4 |
13355 |
13354 |
0 |
0 |
T5 |
75771 |
75770 |
0 |
0 |
T6 |
642 |
641 |
0 |
0 |
T7 |
439411 |
439410 |
0 |
0 |
T14 |
2093 |
2092 |
0 |
0 |
T15 |
845 |
844 |
0 |
0 |
T16 |
1722 |
1721 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
469058879 |
469058074 |
0 |
0 |
T1 |
172337 |
172337 |
0 |
0 |
T2 |
288680 |
288680 |
0 |
0 |
T3 |
293665 |
293664 |
0 |
0 |
T4 |
92403 |
92402 |
0 |
0 |
T5 |
300548 |
300547 |
0 |
0 |
T6 |
2560 |
2559 |
0 |
0 |
T7 |
176242 |
176242 |
0 |
0 |
T14 |
8465 |
8464 |
0 |
0 |
T15 |
3488 |
3487 |
0 |
0 |
T16 |
6427 |
6426 |
0 |
0 |