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 | T7,T5,T8 |
0 | 1 | Covered | T7,T5,T8 |
1 | 0 | Covered | T7,T5,T26 |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T7,T5,T8 |
1 | 0 | Covered | T7,T5,T26 |
1 | 1 | Covered | T7,T5,T26 |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T7,T5,T26 |
1 | 0 | Covered | T7,T5,T8 |
1 | 1 | Covered | T7,T5,T8 |
Assert Coverage for Module :
prim_generic_clock_mux2
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
selKnown0 |
661760638 |
661758223 |
0 |
0 |
selKnown1 |
1577197314 |
1577194899 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
661760638 |
661758223 |
0 |
0 |
T5 |
215155 |
215152 |
0 |
0 |
T6 |
128415 |
128412 |
0 |
0 |
T7 |
12293 |
12290 |
0 |
0 |
T8 |
3038 |
3035 |
0 |
0 |
T26 |
2125 |
2122 |
0 |
0 |
T27 |
4815 |
4812 |
0 |
0 |
T28 |
2290 |
2287 |
0 |
0 |
T29 |
5613 |
5610 |
0 |
0 |
T30 |
1668 |
1665 |
0 |
0 |
T31 |
6439 |
6436 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1577197314 |
1577194899 |
0 |
0 |
T5 |
516609 |
516606 |
0 |
0 |
T6 |
308394 |
308391 |
0 |
0 |
T7 |
27219 |
27216 |
0 |
0 |
T8 |
7488 |
7485 |
0 |
0 |
T26 |
5235 |
5232 |
0 |
0 |
T27 |
11628 |
11625 |
0 |
0 |
T28 |
5898 |
5895 |
0 |
0 |
T29 |
13791 |
13788 |
0 |
0 |
T30 |
4200 |
4197 |
0 |
0 |
T31 |
14250 |
14247 |
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 | T7,T5,T8 |
0 | 1 | Covered | T7,T5,T8 |
1 | 0 | Unreachable | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T7,T5,T8 |
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 | T7,T5,T8 |
1 | 1 | Covered | T7,T5,T8 |
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 |
266651037 |
266650232 |
0 |
0 |
selKnown1 |
525732438 |
525731633 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
266651037 |
266650232 |
0 |
0 |
T5 |
86135 |
86134 |
0 |
0 |
T6 |
51366 |
51365 |
0 |
0 |
T7 |
5208 |
5207 |
0 |
0 |
T8 |
1215 |
1214 |
0 |
0 |
T26 |
876 |
875 |
0 |
0 |
T27 |
1926 |
1925 |
0 |
0 |
T28 |
916 |
915 |
0 |
0 |
T29 |
2245 |
2244 |
0 |
0 |
T30 |
667 |
666 |
0 |
0 |
T31 |
2750 |
2749 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
525732438 |
525731633 |
0 |
0 |
T5 |
172203 |
172202 |
0 |
0 |
T6 |
102798 |
102797 |
0 |
0 |
T7 |
9073 |
9072 |
0 |
0 |
T8 |
2496 |
2495 |
0 |
0 |
T26 |
1745 |
1744 |
0 |
0 |
T27 |
3876 |
3875 |
0 |
0 |
T28 |
1966 |
1965 |
0 |
0 |
T29 |
4597 |
4596 |
0 |
0 |
T30 |
1400 |
1399 |
0 |
0 |
T31 |
4750 |
4749 |
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 | T7,T5,T8 |
0 | 1 | Covered | T7,T5,T8 |
1 | 0 | Covered | T7,T5,T26 |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T7,T5,T8 |
1 | 0 | Covered | T7,T5,T26 |
1 | 1 | Covered | T7,T5,T26 |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T7,T5,T26 |
1 | 0 | Covered | T7,T5,T8 |
1 | 1 | Covered | T7,T5,T8 |
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 |
261784765 |
261783960 |
0 |
0 |
selKnown1 |
525732438 |
525731633 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
261784765 |
261783960 |
0 |
0 |
T5 |
85953 |
85952 |
0 |
0 |
T6 |
51366 |
51365 |
0 |
0 |
T7 |
4483 |
4482 |
0 |
0 |
T8 |
1215 |
1214 |
0 |
0 |
T26 |
812 |
811 |
0 |
0 |
T27 |
1926 |
1925 |
0 |
0 |
T28 |
916 |
915 |
0 |
0 |
T29 |
2245 |
2244 |
0 |
0 |
T30 |
667 |
666 |
0 |
0 |
T31 |
2315 |
2314 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
525732438 |
525731633 |
0 |
0 |
T5 |
172203 |
172202 |
0 |
0 |
T6 |
102798 |
102797 |
0 |
0 |
T7 |
9073 |
9072 |
0 |
0 |
T8 |
2496 |
2495 |
0 |
0 |
T26 |
1745 |
1744 |
0 |
0 |
T27 |
3876 |
3875 |
0 |
0 |
T28 |
1966 |
1965 |
0 |
0 |
T29 |
4597 |
4596 |
0 |
0 |
T30 |
1400 |
1399 |
0 |
0 |
T31 |
4750 |
4749 |
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 | T7,T5,T8 |
0 | 1 | Covered | T7,T5,T8 |
1 | 0 | Unreachable | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T7,T5,T8 |
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 | T7,T5,T8 |
1 | 1 | Covered | T7,T5,T8 |
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 |
133324836 |
133324031 |
0 |
0 |
selKnown1 |
525732438 |
525731633 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
133324836 |
133324031 |
0 |
0 |
T5 |
43067 |
43066 |
0 |
0 |
T6 |
25683 |
25682 |
0 |
0 |
T7 |
2602 |
2601 |
0 |
0 |
T8 |
608 |
607 |
0 |
0 |
T26 |
437 |
436 |
0 |
0 |
T27 |
963 |
962 |
0 |
0 |
T28 |
458 |
457 |
0 |
0 |
T29 |
1123 |
1122 |
0 |
0 |
T30 |
334 |
333 |
0 |
0 |
T31 |
1374 |
1373 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
525732438 |
525731633 |
0 |
0 |
T5 |
172203 |
172202 |
0 |
0 |
T6 |
102798 |
102797 |
0 |
0 |
T7 |
9073 |
9072 |
0 |
0 |
T8 |
2496 |
2495 |
0 |
0 |
T26 |
1745 |
1744 |
0 |
0 |
T27 |
3876 |
3875 |
0 |
0 |
T28 |
1966 |
1965 |
0 |
0 |
T29 |
4597 |
4596 |
0 |
0 |
T30 |
1400 |
1399 |
0 |
0 |
T31 |
4750 |
4749 |
0 |
0 |