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,T7 |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Covered | T5,T6,T23 |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Covered | T5,T6,T23 |
1 | 1 | Covered | T5,T6,T23 |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T23 |
1 | 0 | Covered | T5,T6,T7 |
1 | 1 | Covered | T5,T6,T7 |
Assert Coverage for Module :
prim_generic_clock_mux2
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
selKnown0 |
524271634 |
524269219 |
0 |
0 |
selKnown1 |
1262630898 |
1262628483 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
524271634 |
524269219 |
0 |
0 |
T4 |
94810 |
94807 |
0 |
0 |
T5 |
12470 |
12467 |
0 |
0 |
T6 |
2573 |
2570 |
0 |
0 |
T7 |
3318 |
3315 |
0 |
0 |
T22 |
2447 |
2444 |
0 |
0 |
T23 |
14646 |
14643 |
0 |
0 |
T24 |
1664 |
1661 |
0 |
0 |
T25 |
38880 |
38877 |
0 |
0 |
T26 |
3915 |
3912 |
0 |
0 |
T27 |
4275 |
4272 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1262630898 |
1262628483 |
0 |
0 |
T4 |
400386 |
400383 |
0 |
0 |
T5 |
28170 |
28167 |
0 |
0 |
T6 |
6021 |
6018 |
0 |
0 |
T7 |
8160 |
8157 |
0 |
0 |
T22 |
6111 |
6108 |
0 |
0 |
T23 |
32064 |
32061 |
0 |
0 |
T24 |
4245 |
4242 |
0 |
0 |
T25 |
93591 |
93588 |
0 |
0 |
T26 |
9633 |
9630 |
0 |
0 |
T27 |
10665 |
10662 |
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,T7 |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Unreachable | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,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 | T5,T6,T7 |
1 | 1 | Covered | T5,T6,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 |
209898848 |
209898043 |
0 |
0 |
selKnown1 |
420876966 |
420876161 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
209898848 |
209898043 |
0 |
0 |
T4 |
37924 |
37923 |
0 |
0 |
T5 |
5206 |
5205 |
0 |
0 |
T6 |
1056 |
1055 |
0 |
0 |
T7 |
1327 |
1326 |
0 |
0 |
T22 |
979 |
978 |
0 |
0 |
T23 |
6214 |
6213 |
0 |
0 |
T24 |
678 |
677 |
0 |
0 |
T25 |
15552 |
15551 |
0 |
0 |
T26 |
1566 |
1565 |
0 |
0 |
T27 |
1710 |
1709 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
420876966 |
420876161 |
0 |
0 |
T4 |
133462 |
133461 |
0 |
0 |
T5 |
9390 |
9389 |
0 |
0 |
T6 |
2007 |
2006 |
0 |
0 |
T7 |
2720 |
2719 |
0 |
0 |
T22 |
2037 |
2036 |
0 |
0 |
T23 |
10688 |
10687 |
0 |
0 |
T24 |
1415 |
1414 |
0 |
0 |
T25 |
31197 |
31196 |
0 |
0 |
T26 |
3211 |
3210 |
0 |
0 |
T27 |
3555 |
3554 |
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,T7 |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Covered | T5,T6,T23 |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Covered | T5,T6,T23 |
1 | 1 | Covered | T5,T6,T23 |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,T23 |
1 | 0 | Covered | T5,T6,T7 |
1 | 1 | Covered | T5,T6,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 |
209423976 |
209423171 |
0 |
0 |
selKnown1 |
420876966 |
420876161 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
209423976 |
209423171 |
0 |
0 |
T4 |
37924 |
37923 |
0 |
0 |
T5 |
4662 |
4661 |
0 |
0 |
T6 |
991 |
990 |
0 |
0 |
T7 |
1327 |
1326 |
0 |
0 |
T22 |
979 |
978 |
0 |
0 |
T23 |
5325 |
5324 |
0 |
0 |
T24 |
647 |
646 |
0 |
0 |
T25 |
15552 |
15551 |
0 |
0 |
T26 |
1566 |
1565 |
0 |
0 |
T27 |
1710 |
1709 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
420876966 |
420876161 |
0 |
0 |
T4 |
133462 |
133461 |
0 |
0 |
T5 |
9390 |
9389 |
0 |
0 |
T6 |
2007 |
2006 |
0 |
0 |
T7 |
2720 |
2719 |
0 |
0 |
T22 |
2037 |
2036 |
0 |
0 |
T23 |
10688 |
10687 |
0 |
0 |
T24 |
1415 |
1414 |
0 |
0 |
T25 |
31197 |
31196 |
0 |
0 |
T26 |
3211 |
3210 |
0 |
0 |
T27 |
3555 |
3554 |
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,T7 |
0 | 1 | Covered | T5,T6,T7 |
1 | 0 | Unreachable | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T5,T6,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 | T5,T6,T7 |
1 | 1 | Covered | T5,T6,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 |
104948810 |
104948005 |
0 |
0 |
selKnown1 |
420876966 |
420876161 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
104948810 |
104948005 |
0 |
0 |
T4 |
18962 |
18961 |
0 |
0 |
T5 |
2602 |
2601 |
0 |
0 |
T6 |
526 |
525 |
0 |
0 |
T7 |
664 |
663 |
0 |
0 |
T22 |
489 |
488 |
0 |
0 |
T23 |
3107 |
3106 |
0 |
0 |
T24 |
339 |
338 |
0 |
0 |
T25 |
7776 |
7775 |
0 |
0 |
T26 |
783 |
782 |
0 |
0 |
T27 |
855 |
854 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
420876966 |
420876161 |
0 |
0 |
T4 |
133462 |
133461 |
0 |
0 |
T5 |
9390 |
9389 |
0 |
0 |
T6 |
2007 |
2006 |
0 |
0 |
T7 |
2720 |
2719 |
0 |
0 |
T22 |
2037 |
2036 |
0 |
0 |
T23 |
10688 |
10687 |
0 |
0 |
T24 |
1415 |
1414 |
0 |
0 |
T25 |
31197 |
31196 |
0 |
0 |
T26 |
3211 |
3210 |
0 |
0 |
T27 |
3555 |
3554 |
0 |
0 |