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 | T6,T1,T7 |
0 | 1 | Covered | T6,T1,T7 |
1 | 0 | Covered | T6,T1,T7 |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T6,T1,T7 |
1 | 0 | Covered | T6,T1,T7 |
1 | 1 | Covered | T6,T1,T7 |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T6,T1,T7 |
1 | 0 | Covered | T6,T1,T7 |
1 | 1 | Covered | T6,T1,T7 |
Assert Coverage for Module :
prim_generic_clock_mux2
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
selKnown0 |
651078876 |
651076461 |
0 |
0 |
selKnown1 |
1560280722 |
1560278307 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
651078876 |
651076461 |
0 |
0 |
T1 |
723648 |
723647 |
0 |
0 |
T4 |
43720 |
43717 |
0 |
0 |
T6 |
9746 |
9743 |
0 |
0 |
T7 |
2155 |
2152 |
0 |
0 |
T17 |
3139 |
3136 |
0 |
0 |
T18 |
3050 |
3047 |
0 |
0 |
T19 |
27414 |
27411 |
0 |
0 |
T20 |
4463 |
4460 |
0 |
0 |
T21 |
1497 |
1494 |
0 |
0 |
T22 |
4485 |
4482 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1560280722 |
1560278307 |
0 |
0 |
T1 |
622746 |
622746 |
0 |
0 |
T4 |
105165 |
105162 |
0 |
0 |
T6 |
22173 |
22170 |
0 |
0 |
T7 |
5523 |
5520 |
0 |
0 |
T17 |
7164 |
7161 |
0 |
0 |
T18 |
7437 |
7434 |
0 |
0 |
T19 |
61266 |
61263 |
0 |
0 |
T20 |
10743 |
10740 |
0 |
0 |
T21 |
3912 |
3909 |
0 |
0 |
T22 |
10920 |
10917 |
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 | T6,T1,T7 |
0 | 1 | Covered | T6,T1,T7 |
1 | 0 | Unreachable | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T6,T1,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 | T6,T1,T7 |
1 | 1 | Covered | T6,T1,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 |
261294892 |
261294087 |
0 |
0 |
selKnown1 |
520093574 |
520092769 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
261294892 |
261294087 |
0 |
0 |
T1 |
103391 |
103391 |
0 |
0 |
T4 |
17488 |
17487 |
0 |
0 |
T6 |
4042 |
4041 |
0 |
0 |
T7 |
868 |
867 |
0 |
0 |
T17 |
1320 |
1319 |
0 |
0 |
T18 |
1220 |
1219 |
0 |
0 |
T19 |
11482 |
11481 |
0 |
0 |
T20 |
1808 |
1807 |
0 |
0 |
T21 |
599 |
598 |
0 |
0 |
T22 |
1794 |
1793 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
520093574 |
520092769 |
0 |
0 |
T1 |
207582 |
207582 |
0 |
0 |
T4 |
35055 |
35054 |
0 |
0 |
T6 |
7391 |
7390 |
0 |
0 |
T7 |
1841 |
1840 |
0 |
0 |
T17 |
2388 |
2387 |
0 |
0 |
T18 |
2479 |
2478 |
0 |
0 |
T19 |
20422 |
20421 |
0 |
0 |
T20 |
3581 |
3580 |
0 |
0 |
T21 |
1304 |
1303 |
0 |
0 |
T22 |
3640 |
3639 |
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 | T6,T1,T7 |
0 | 1 | Covered | T6,T1,T7 |
1 | 0 | Covered | T6,T1,T7 |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T6,T1,T7 |
1 | 0 | Covered | T6,T1,T7 |
1 | 1 | Covered | T6,T1,T7 |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T6,T1,T7 |
1 | 0 | Covered | T6,T1,T7 |
1 | 1 | Covered | T6,T1,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 |
259137232 |
259136427 |
0 |
0 |
selKnown1 |
520093574 |
520092769 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
259137232 |
259136427 |
0 |
0 |
T1 |
103306 |
103306 |
0 |
0 |
T4 |
17488 |
17487 |
0 |
0 |
T6 |
3683 |
3682 |
0 |
0 |
T7 |
853 |
852 |
0 |
0 |
T17 |
1161 |
1160 |
0 |
0 |
T18 |
1220 |
1219 |
0 |
0 |
T19 |
10192 |
10191 |
0 |
0 |
T20 |
1751 |
1750 |
0 |
0 |
T21 |
599 |
598 |
0 |
0 |
T22 |
1794 |
1793 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
520093574 |
520092769 |
0 |
0 |
T1 |
207582 |
207582 |
0 |
0 |
T4 |
35055 |
35054 |
0 |
0 |
T6 |
7391 |
7390 |
0 |
0 |
T7 |
1841 |
1840 |
0 |
0 |
T17 |
2388 |
2387 |
0 |
0 |
T18 |
2479 |
2478 |
0 |
0 |
T19 |
20422 |
20421 |
0 |
0 |
T20 |
3581 |
3580 |
0 |
0 |
T21 |
1304 |
1303 |
0 |
0 |
T22 |
3640 |
3639 |
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 | T6,T1,T7 |
0 | 1 | Covered | T6,T1,T7 |
1 | 0 | Unreachable | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T6,T1,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 | T6,T1,T7 |
1 | 1 | Covered | T6,T1,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 |
130646752 |
130645947 |
0 |
0 |
selKnown1 |
520093574 |
520092769 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
130646752 |
130645947 |
0 |
0 |
T1 |
516951 |
516950 |
0 |
0 |
T4 |
8744 |
8743 |
0 |
0 |
T6 |
2021 |
2020 |
0 |
0 |
T7 |
434 |
433 |
0 |
0 |
T17 |
658 |
657 |
0 |
0 |
T18 |
610 |
609 |
0 |
0 |
T19 |
5740 |
5739 |
0 |
0 |
T20 |
904 |
903 |
0 |
0 |
T21 |
299 |
298 |
0 |
0 |
T22 |
897 |
896 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
520093574 |
520092769 |
0 |
0 |
T1 |
207582 |
207582 |
0 |
0 |
T4 |
35055 |
35054 |
0 |
0 |
T6 |
7391 |
7390 |
0 |
0 |
T7 |
1841 |
1840 |
0 |
0 |
T17 |
2388 |
2387 |
0 |
0 |
T18 |
2479 |
2478 |
0 |
0 |
T19 |
20422 |
20421 |
0 |
0 |
T20 |
3581 |
3580 |
0 |
0 |
T21 |
1304 |
1303 |
0 |
0 |
T22 |
3640 |
3639 |
0 |
0 |