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 | T1,T4,T5 |
0 | 1 | Covered | T1,T4,T5 |
1 | 0 | Covered | T1,T4,T5 |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T4,T5 |
1 | 0 | Covered | T1,T4,T5 |
1 | 1 | Covered | T1,T4,T5 |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T4,T5 |
1 | 0 | Covered | T1,T4,T5 |
1 | 1 | Covered | T1,T4,T5 |
Assert Coverage for Module :
prim_generic_clock_mux2
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
selKnown0 |
657662905 |
657660490 |
0 |
0 |
selKnown1 |
1583519595 |
1583517180 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
657662905 |
657660490 |
0 |
0 |
T1 |
2017917 |
2017917 |
0 |
0 |
T2 |
738435 |
738432 |
0 |
0 |
T4 |
5785 |
5782 |
0 |
0 |
T5 |
13969 |
13966 |
0 |
0 |
T16 |
3643 |
3640 |
0 |
0 |
T17 |
5061 |
5058 |
0 |
0 |
T18 |
18593 |
18590 |
0 |
0 |
T19 |
6260 |
6257 |
0 |
0 |
T20 |
15587 |
15584 |
0 |
0 |
T21 |
3872 |
3869 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1583519595 |
1583517180 |
0 |
0 |
T1 |
484524 |
484524 |
0 |
0 |
T2 |
1773777 |
1773774 |
0 |
0 |
T4 |
12954 |
12951 |
0 |
0 |
T5 |
29943 |
29940 |
0 |
0 |
T16 |
8817 |
8814 |
0 |
0 |
T17 |
11520 |
11517 |
0 |
0 |
T18 |
44781 |
44778 |
0 |
0 |
T19 |
15225 |
15222 |
0 |
0 |
T20 |
37731 |
37728 |
0 |
0 |
T21 |
9408 |
9405 |
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 | T1,T4,T5 |
0 | 1 | Covered | T1,T4,T5 |
1 | 0 | Unreachable | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T4,T5 |
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 | T1,T4,T5 |
1 | 1 | Covered | T1,T4,T5 |
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 |
263218881 |
263218076 |
0 |
0 |
selKnown1 |
527839865 |
527839060 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
263218881 |
263218076 |
0 |
0 |
T1 |
807368 |
807368 |
0 |
0 |
T2 |
295379 |
295378 |
0 |
0 |
T4 |
2444 |
2443 |
0 |
0 |
T5 |
5999 |
5998 |
0 |
0 |
T16 |
1457 |
1456 |
0 |
0 |
T17 |
2107 |
2106 |
0 |
0 |
T18 |
7437 |
7436 |
0 |
0 |
T19 |
2504 |
2503 |
0 |
0 |
T20 |
6235 |
6234 |
0 |
0 |
T21 |
1549 |
1548 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
527839865 |
527839060 |
0 |
0 |
T1 |
161508 |
161508 |
0 |
0 |
T2 |
591259 |
591258 |
0 |
0 |
T4 |
4318 |
4317 |
0 |
0 |
T5 |
9981 |
9980 |
0 |
0 |
T16 |
2939 |
2938 |
0 |
0 |
T17 |
3840 |
3839 |
0 |
0 |
T18 |
14927 |
14926 |
0 |
0 |
T19 |
5075 |
5074 |
0 |
0 |
T20 |
12577 |
12576 |
0 |
0 |
T21 |
3136 |
3135 |
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 | T1,T4,T5 |
0 | 1 | Covered | T1,T4,T5 |
1 | 0 | Covered | T1,T4,T5 |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T4,T5 |
1 | 0 | Covered | T1,T4,T5 |
1 | 1 | Covered | T1,T4,T5 |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T4,T5 |
1 | 0 | Covered | T1,T4,T5 |
1 | 1 | Covered | T1,T4,T5 |
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 |
262835149 |
262834344 |
0 |
0 |
selKnown1 |
527839865 |
527839060 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
262835149 |
262834344 |
0 |
0 |
T1 |
806867 |
806867 |
0 |
0 |
T2 |
295366 |
295365 |
0 |
0 |
T4 |
2120 |
2119 |
0 |
0 |
T5 |
4971 |
4970 |
0 |
0 |
T16 |
1457 |
1456 |
0 |
0 |
T17 |
1901 |
1900 |
0 |
0 |
T18 |
7437 |
7436 |
0 |
0 |
T19 |
2504 |
2503 |
0 |
0 |
T20 |
6235 |
6234 |
0 |
0 |
T21 |
1549 |
1548 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
527839865 |
527839060 |
0 |
0 |
T1 |
161508 |
161508 |
0 |
0 |
T2 |
591259 |
591258 |
0 |
0 |
T4 |
4318 |
4317 |
0 |
0 |
T5 |
9981 |
9980 |
0 |
0 |
T16 |
2939 |
2938 |
0 |
0 |
T17 |
3840 |
3839 |
0 |
0 |
T18 |
14927 |
14926 |
0 |
0 |
T19 |
5075 |
5074 |
0 |
0 |
T20 |
12577 |
12576 |
0 |
0 |
T21 |
3136 |
3135 |
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 | T1,T4,T5 |
0 | 1 | Covered | T1,T4,T5 |
1 | 0 | Unreachable | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T4,T5 |
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 | T1,T4,T5 |
1 | 1 | Covered | T1,T4,T5 |
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 |
131608875 |
131608070 |
0 |
0 |
selKnown1 |
527839865 |
527839060 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
131608875 |
131608070 |
0 |
0 |
T1 |
403682 |
403682 |
0 |
0 |
T2 |
147690 |
147689 |
0 |
0 |
T4 |
1221 |
1220 |
0 |
0 |
T5 |
2999 |
2998 |
0 |
0 |
T16 |
729 |
728 |
0 |
0 |
T17 |
1053 |
1052 |
0 |
0 |
T18 |
3719 |
3718 |
0 |
0 |
T19 |
1252 |
1251 |
0 |
0 |
T20 |
3117 |
3116 |
0 |
0 |
T21 |
774 |
773 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
527839865 |
527839060 |
0 |
0 |
T1 |
161508 |
161508 |
0 |
0 |
T2 |
591259 |
591258 |
0 |
0 |
T4 |
4318 |
4317 |
0 |
0 |
T5 |
9981 |
9980 |
0 |
0 |
T16 |
2939 |
2938 |
0 |
0 |
T17 |
3840 |
3839 |
0 |
0 |
T18 |
14927 |
14926 |
0 |
0 |
T19 |
5075 |
5074 |
0 |
0 |
T20 |
12577 |
12576 |
0 |
0 |
T21 |
3136 |
3135 |
0 |
0 |