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,T7,T8 |
0 | 1 | Covered | T6,T7,T8 |
1 | 0 | Covered | T6,T8,T1 |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T6,T7,T8 |
1 | 0 | Covered | T6,T8,T1 |
1 | 1 | Covered | T6,T8,T1 |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T6,T8,T1 |
1 | 0 | Covered | T6,T7,T8 |
1 | 1 | Covered | T6,T7,T8 |
Assert Coverage for Module :
prim_generic_clock_mux2
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
selKnown0 |
488700737 |
488698328 |
0 |
0 |
selKnown1 |
1178520459 |
1178518050 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
488700737 |
488698328 |
0 |
0 |
T1 |
794726 |
794725 |
0 |
0 |
T4 |
57590 |
57587 |
0 |
0 |
T6 |
12758 |
12755 |
0 |
0 |
T7 |
5202 |
5199 |
0 |
0 |
T8 |
6362 |
6359 |
0 |
0 |
T17 |
1825 |
1822 |
0 |
0 |
T18 |
11285 |
11282 |
0 |
0 |
T19 |
7300 |
7297 |
0 |
0 |
T20 |
4775 |
4772 |
0 |
0 |
T21 |
2700 |
2697 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1178520459 |
1178518050 |
0 |
0 |
T1 |
685602 |
685602 |
0 |
0 |
T4 |
267999 |
267996 |
0 |
0 |
T6 |
30693 |
30690 |
0 |
0 |
T7 |
12723 |
12720 |
0 |
0 |
T8 |
13992 |
13989 |
0 |
0 |
T17 |
4455 |
4452 |
0 |
0 |
T18 |
27405 |
27402 |
0 |
0 |
T19 |
17838 |
17835 |
0 |
0 |
T20 |
11574 |
11571 |
0 |
0 |
T21 |
6681 |
6678 |
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,T7,T8 |
0 | 1 | Covered | T6,T7,T8 |
1 | 0 | Unreachable | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T6,T7,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 | T6,T7,T8 |
1 | 1 | Covered | T6,T7,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 |
195591369 |
195590566 |
0 |
0 |
selKnown1 |
392840153 |
392839350 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
195591369 |
195590566 |
0 |
0 |
T1 |
113540 |
113540 |
0 |
0 |
T4 |
23036 |
23035 |
0 |
0 |
T6 |
5130 |
5129 |
0 |
0 |
T7 |
2081 |
2080 |
0 |
0 |
T8 |
2695 |
2694 |
0 |
0 |
T17 |
730 |
729 |
0 |
0 |
T18 |
4514 |
4513 |
0 |
0 |
T19 |
2920 |
2919 |
0 |
0 |
T20 |
1910 |
1909 |
0 |
0 |
T21 |
1080 |
1079 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
392840153 |
392839350 |
0 |
0 |
T1 |
228534 |
228534 |
0 |
0 |
T4 |
89333 |
89332 |
0 |
0 |
T6 |
10231 |
10230 |
0 |
0 |
T7 |
4241 |
4240 |
0 |
0 |
T8 |
4664 |
4663 |
0 |
0 |
T17 |
1485 |
1484 |
0 |
0 |
T18 |
9135 |
9134 |
0 |
0 |
T19 |
5946 |
5945 |
0 |
0 |
T20 |
3858 |
3857 |
0 |
0 |
T21 |
2227 |
2226 |
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,T7,T8 |
0 | 1 | Covered | T6,T7,T8 |
1 | 0 | Covered | T6,T8,T1 |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T6,T7,T8 |
1 | 0 | Covered | T6,T8,T1 |
1 | 1 | Covered | T6,T8,T1 |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T6,T8,T1 |
1 | 0 | Covered | T6,T7,T8 |
1 | 1 | Covered | T6,T7,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 |
195314235 |
195313432 |
0 |
0 |
selKnown1 |
392840153 |
392839350 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
195314235 |
195313432 |
0 |
0 |
T1 |
113488 |
113488 |
0 |
0 |
T4 |
23036 |
23035 |
0 |
0 |
T6 |
5063 |
5062 |
0 |
0 |
T7 |
2081 |
2080 |
0 |
0 |
T8 |
2320 |
2319 |
0 |
0 |
T17 |
730 |
729 |
0 |
0 |
T18 |
4514 |
4513 |
0 |
0 |
T19 |
2920 |
2919 |
0 |
0 |
T20 |
1910 |
1909 |
0 |
0 |
T21 |
1080 |
1079 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
392840153 |
392839350 |
0 |
0 |
T1 |
228534 |
228534 |
0 |
0 |
T4 |
89333 |
89332 |
0 |
0 |
T6 |
10231 |
10230 |
0 |
0 |
T7 |
4241 |
4240 |
0 |
0 |
T8 |
4664 |
4663 |
0 |
0 |
T17 |
1485 |
1484 |
0 |
0 |
T18 |
9135 |
9134 |
0 |
0 |
T19 |
5946 |
5945 |
0 |
0 |
T20 |
3858 |
3857 |
0 |
0 |
T21 |
2227 |
2226 |
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,T7,T8 |
0 | 1 | Covered | T6,T7,T8 |
1 | 0 | Unreachable | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T6,T7,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 | T6,T7,T8 |
1 | 1 | Covered | T6,T7,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 |
97795133 |
97794330 |
0 |
0 |
selKnown1 |
392840153 |
392839350 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
97795133 |
97794330 |
0 |
0 |
T1 |
567698 |
567697 |
0 |
0 |
T4 |
11518 |
11517 |
0 |
0 |
T6 |
2565 |
2564 |
0 |
0 |
T7 |
1040 |
1039 |
0 |
0 |
T8 |
1347 |
1346 |
0 |
0 |
T17 |
365 |
364 |
0 |
0 |
T18 |
2257 |
2256 |
0 |
0 |
T19 |
1460 |
1459 |
0 |
0 |
T20 |
955 |
954 |
0 |
0 |
T21 |
540 |
539 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
392840153 |
392839350 |
0 |
0 |
T1 |
228534 |
228534 |
0 |
0 |
T4 |
89333 |
89332 |
0 |
0 |
T6 |
10231 |
10230 |
0 |
0 |
T7 |
4241 |
4240 |
0 |
0 |
T8 |
4664 |
4663 |
0 |
0 |
T17 |
1485 |
1484 |
0 |
0 |
T18 |
9135 |
9134 |
0 |
0 |
T19 |
5946 |
5945 |
0 |
0 |
T20 |
3858 |
3857 |
0 |
0 |
T21 |
2227 |
2226 |
0 |
0 |