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,T6,T4 |
0 | 1 | Covered | T1,T6,T4 |
1 | 0 | Covered | T1,T17,T18 |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T6,T4 |
1 | 0 | Covered | T1,T17,T18 |
1 | 1 | Covered | T1,T17,T18 |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T17,T18 |
1 | 0 | Covered | T1,T6,T4 |
1 | 1 | Covered | T1,T6,T4 |
Assert Coverage for Module :
prim_generic_clock_mux2
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
selKnown0 |
545238757 |
545236342 |
0 |
0 |
selKnown1 |
1313950332 |
1313947917 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
545238757 |
545236342 |
0 |
0 |
T1 |
291436 |
291433 |
0 |
0 |
T2 |
2194137 |
2194134 |
0 |
0 |
T4 |
107946 |
107943 |
0 |
0 |
T5 |
25692 |
25689 |
0 |
0 |
T6 |
7753 |
7750 |
0 |
0 |
T17 |
7828 |
7825 |
0 |
0 |
T18 |
5081 |
5078 |
0 |
0 |
T19 |
4271 |
4268 |
0 |
0 |
T20 |
8755 |
8752 |
0 |
0 |
T21 |
58579 |
58576 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1313950332 |
1313947917 |
0 |
0 |
T1 |
701109 |
701106 |
0 |
0 |
T2 |
527694 |
527694 |
0 |
0 |
T4 |
406077 |
406074 |
0 |
0 |
T5 |
98058 |
98055 |
0 |
0 |
T6 |
19011 |
19008 |
0 |
0 |
T17 |
18141 |
18138 |
0 |
0 |
T18 |
11904 |
11901 |
0 |
0 |
T19 |
9915 |
9912 |
0 |
0 |
T20 |
21333 |
21330 |
0 |
0 |
T21 |
268971 |
268968 |
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,T6,T4 |
0 | 1 | Covered | T1,T6,T4 |
1 | 0 | Unreachable | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T6,T4 |
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,T6,T4 |
1 | 1 | Covered | T1,T6,T4 |
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 |
218212595 |
218211790 |
0 |
0 |
selKnown1 |
437983444 |
437982639 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
218212595 |
218211790 |
0 |
0 |
T1 |
116589 |
116588 |
0 |
0 |
T2 |
878261 |
878260 |
0 |
0 |
T4 |
43178 |
43177 |
0 |
0 |
T5 |
10277 |
10276 |
0 |
0 |
T6 |
3101 |
3100 |
0 |
0 |
T17 |
3217 |
3216 |
0 |
0 |
T18 |
2077 |
2076 |
0 |
0 |
T19 |
1755 |
1754 |
0 |
0 |
T20 |
3502 |
3501 |
0 |
0 |
T21 |
23431 |
23430 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
437983444 |
437982639 |
0 |
0 |
T1 |
233703 |
233702 |
0 |
0 |
T2 |
175898 |
175898 |
0 |
0 |
T4 |
135359 |
135358 |
0 |
0 |
T5 |
32686 |
32685 |
0 |
0 |
T6 |
6337 |
6336 |
0 |
0 |
T17 |
6047 |
6046 |
0 |
0 |
T18 |
3968 |
3967 |
0 |
0 |
T19 |
3305 |
3304 |
0 |
0 |
T20 |
7111 |
7110 |
0 |
0 |
T21 |
89657 |
89656 |
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,T6,T4 |
0 | 1 | Covered | T1,T6,T4 |
1 | 0 | Covered | T1,T17,T18 |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T6,T4 |
1 | 0 | Covered | T1,T17,T18 |
1 | 1 | Covered | T1,T17,T18 |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T17,T18 |
1 | 0 | Covered | T1,T6,T4 |
1 | 1 | Covered | T1,T6,T4 |
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 |
217920566 |
217919761 |
0 |
0 |
selKnown1 |
437983444 |
437982639 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
217920566 |
217919761 |
0 |
0 |
T1 |
116553 |
116552 |
0 |
0 |
T2 |
876751 |
876750 |
0 |
0 |
T4 |
43178 |
43177 |
0 |
0 |
T5 |
10277 |
10276 |
0 |
0 |
T6 |
3101 |
3100 |
0 |
0 |
T17 |
3004 |
3003 |
0 |
0 |
T18 |
1965 |
1964 |
0 |
0 |
T19 |
1640 |
1639 |
0 |
0 |
T20 |
3502 |
3501 |
0 |
0 |
T21 |
23431 |
23430 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
437983444 |
437982639 |
0 |
0 |
T1 |
233703 |
233702 |
0 |
0 |
T2 |
175898 |
175898 |
0 |
0 |
T4 |
135359 |
135358 |
0 |
0 |
T5 |
32686 |
32685 |
0 |
0 |
T6 |
6337 |
6336 |
0 |
0 |
T17 |
6047 |
6046 |
0 |
0 |
T18 |
3968 |
3967 |
0 |
0 |
T19 |
3305 |
3304 |
0 |
0 |
T20 |
7111 |
7110 |
0 |
0 |
T21 |
89657 |
89656 |
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,T6,T4 |
0 | 1 | Covered | T1,T6,T4 |
1 | 0 | Unreachable | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T6,T4 |
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,T6,T4 |
1 | 1 | Covered | T1,T6,T4 |
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 |
109105596 |
109104791 |
0 |
0 |
selKnown1 |
437983444 |
437982639 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
109105596 |
109104791 |
0 |
0 |
T1 |
58294 |
58293 |
0 |
0 |
T2 |
439125 |
439124 |
0 |
0 |
T4 |
21590 |
21589 |
0 |
0 |
T5 |
5138 |
5137 |
0 |
0 |
T6 |
1551 |
1550 |
0 |
0 |
T17 |
1607 |
1606 |
0 |
0 |
T18 |
1039 |
1038 |
0 |
0 |
T19 |
876 |
875 |
0 |
0 |
T20 |
1751 |
1750 |
0 |
0 |
T21 |
11717 |
11716 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
437983444 |
437982639 |
0 |
0 |
T1 |
233703 |
233702 |
0 |
0 |
T2 |
175898 |
175898 |
0 |
0 |
T4 |
135359 |
135358 |
0 |
0 |
T5 |
32686 |
32685 |
0 |
0 |
T6 |
6337 |
6336 |
0 |
0 |
T17 |
6047 |
6046 |
0 |
0 |
T18 |
3968 |
3967 |
0 |
0 |
T19 |
3305 |
3304 |
0 |
0 |
T20 |
7111 |
7110 |
0 |
0 |
T21 |
89657 |
89656 |
0 |
0 |