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,T5,T4 |
0 | 1 | Covered | T1,T5,T4 |
1 | 0 | Covered | T1,T5,T17 |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T5,T4 |
1 | 0 | Covered | T1,T5,T17 |
1 | 1 | Covered | T1,T5,T17 |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T5,T17 |
1 | 0 | Covered | T1,T5,T4 |
1 | 1 | Covered | T1,T5,T4 |
Assert Coverage for Module :
prim_generic_clock_mux2
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
selKnown0 |
578971769 |
578969357 |
0 |
0 |
selKnown1 |
1395084000 |
1395081588 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
578971769 |
578969357 |
0 |
0 |
T1 |
1100945 |
1100942 |
0 |
0 |
T4 |
175308 |
175305 |
0 |
0 |
T5 |
3028 |
3025 |
0 |
0 |
T15 |
27213 |
27210 |
0 |
0 |
T16 |
4190 |
4187 |
0 |
0 |
T17 |
2516 |
2513 |
0 |
0 |
T18 |
5383 |
5380 |
0 |
0 |
T19 |
2524 |
2521 |
0 |
0 |
T20 |
5960 |
5957 |
0 |
0 |
T21 |
1629 |
1626 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1395084000 |
1395081588 |
0 |
0 |
T1 |
2644071 |
2644068 |
0 |
0 |
T4 |
420978 |
420975 |
0 |
0 |
T5 |
6960 |
6957 |
0 |
0 |
T15 |
90354 |
90351 |
0 |
0 |
T16 |
10419 |
10416 |
0 |
0 |
T17 |
6126 |
6123 |
0 |
0 |
T18 |
13035 |
13032 |
0 |
0 |
T19 |
5919 |
5916 |
0 |
0 |
T20 |
14709 |
14706 |
0 |
0 |
T21 |
4044 |
4041 |
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,T5,T4 |
0 | 1 | Covered | T1,T5,T4 |
1 | 0 | Unreachable | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T5,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,T5,T4 |
1 | 1 | Covered | T1,T5,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 |
231704379 |
231703575 |
0 |
0 |
selKnown1 |
465028000 |
465027196 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
231704379 |
231703575 |
0 |
0 |
T1 |
440432 |
440431 |
0 |
0 |
T4 |
70123 |
70122 |
0 |
0 |
T5 |
1269 |
1268 |
0 |
0 |
T15 |
10887 |
10886 |
0 |
0 |
T16 |
1676 |
1675 |
0 |
0 |
T17 |
1010 |
1009 |
0 |
0 |
T18 |
2153 |
2152 |
0 |
0 |
T19 |
1052 |
1051 |
0 |
0 |
T20 |
2384 |
2383 |
0 |
0 |
T21 |
659 |
658 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
465028000 |
465027196 |
0 |
0 |
T1 |
881357 |
881356 |
0 |
0 |
T4 |
140326 |
140325 |
0 |
0 |
T5 |
2320 |
2319 |
0 |
0 |
T15 |
30118 |
30117 |
0 |
0 |
T16 |
3473 |
3472 |
0 |
0 |
T17 |
2042 |
2041 |
0 |
0 |
T18 |
4345 |
4344 |
0 |
0 |
T19 |
1973 |
1972 |
0 |
0 |
T20 |
4903 |
4902 |
0 |
0 |
T21 |
1348 |
1347 |
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,T5,T4 |
0 | 1 | Covered | T1,T5,T4 |
1 | 0 | Covered | T1,T5,T17 |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T5,T4 |
1 | 0 | Covered | T1,T5,T17 |
1 | 1 | Covered | T1,T5,T17 |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T5,T17 |
1 | 0 | Covered | T1,T5,T4 |
1 | 1 | Covered | T1,T5,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 |
231415817 |
231415013 |
0 |
0 |
selKnown1 |
465028000 |
465027196 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
231415817 |
231415013 |
0 |
0 |
T1 |
440298 |
440297 |
0 |
0 |
T4 |
70123 |
70122 |
0 |
0 |
T5 |
1127 |
1126 |
0 |
0 |
T15 |
10887 |
10886 |
0 |
0 |
T16 |
1676 |
1675 |
0 |
0 |
T17 |
1002 |
1001 |
0 |
0 |
T18 |
2153 |
2152 |
0 |
0 |
T19 |
947 |
946 |
0 |
0 |
T20 |
2384 |
2383 |
0 |
0 |
T21 |
641 |
640 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
465028000 |
465027196 |
0 |
0 |
T1 |
881357 |
881356 |
0 |
0 |
T4 |
140326 |
140325 |
0 |
0 |
T5 |
2320 |
2319 |
0 |
0 |
T15 |
30118 |
30117 |
0 |
0 |
T16 |
3473 |
3472 |
0 |
0 |
T17 |
2042 |
2041 |
0 |
0 |
T18 |
4345 |
4344 |
0 |
0 |
T19 |
1973 |
1972 |
0 |
0 |
T20 |
4903 |
4902 |
0 |
0 |
T21 |
1348 |
1347 |
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,T5,T4 |
0 | 1 | Covered | T1,T5,T4 |
1 | 0 | Unreachable | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T5,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,T5,T4 |
1 | 1 | Covered | T1,T5,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 |
115851573 |
115850769 |
0 |
0 |
selKnown1 |
465028000 |
465027196 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
115851573 |
115850769 |
0 |
0 |
T1 |
220215 |
220214 |
0 |
0 |
T4 |
35062 |
35061 |
0 |
0 |
T5 |
632 |
631 |
0 |
0 |
T15 |
5439 |
5438 |
0 |
0 |
T16 |
838 |
837 |
0 |
0 |
T17 |
504 |
503 |
0 |
0 |
T18 |
1077 |
1076 |
0 |
0 |
T19 |
525 |
524 |
0 |
0 |
T20 |
1192 |
1191 |
0 |
0 |
T21 |
329 |
328 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
465028000 |
465027196 |
0 |
0 |
T1 |
881357 |
881356 |
0 |
0 |
T4 |
140326 |
140325 |
0 |
0 |
T5 |
2320 |
2319 |
0 |
0 |
T15 |
30118 |
30117 |
0 |
0 |
T16 |
3473 |
3472 |
0 |
0 |
T17 |
2042 |
2041 |
0 |
0 |
T18 |
4345 |
4344 |
0 |
0 |
T19 |
1973 |
1972 |
0 |
0 |
T20 |
4903 |
4902 |
0 |
0 |
T21 |
1348 |
1347 |
0 |
0 |