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 | T4,T1,T5 |
0 | 1 | Covered | T4,T1,T5 |
1 | 0 | Covered | T1,T5,T18 |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T4,T1,T5 |
1 | 0 | Covered | T1,T5,T18 |
1 | 1 | Covered | T1,T5,T18 |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T5,T18 |
1 | 0 | Covered | T4,T1,T5 |
1 | 1 | Covered | T4,T1,T5 |
Assert Coverage for Module :
prim_generic_clock_mux2
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
selKnown0 |
684988866 |
684986451 |
0 |
0 |
selKnown1 |
1646007585 |
1646005170 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
684988866 |
684986451 |
0 |
0 |
T1 |
566130 |
566127 |
0 |
0 |
T2 |
2268610 |
2268609 |
0 |
0 |
T3 |
1571422 |
1571422 |
0 |
0 |
T4 |
47523 |
47520 |
0 |
0 |
T5 |
2243 |
2240 |
0 |
0 |
T16 |
1737 |
1734 |
0 |
0 |
T17 |
4353 |
4350 |
0 |
0 |
T18 |
2164 |
2161 |
0 |
0 |
T19 |
6380 |
6377 |
0 |
0 |
T20 |
10172 |
10169 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
1646007585 |
1646005170 |
0 |
0 |
T1 |
1359276 |
1359273 |
0 |
0 |
T2 |
544527 |
544527 |
0 |
0 |
T3 |
377040 |
377040 |
0 |
0 |
T4 |
231000 |
230997 |
0 |
0 |
T5 |
5694 |
5691 |
0 |
0 |
T16 |
4407 |
4404 |
0 |
0 |
T17 |
10563 |
10560 |
0 |
0 |
T18 |
5103 |
5100 |
0 |
0 |
T19 |
15426 |
15423 |
0 |
0 |
T20 |
24567 |
24564 |
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 | T4,T1,T5 |
0 | 1 | Covered | T4,T1,T5 |
1 | 0 | Unreachable | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T4,T1,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 | T4,T1,T5 |
1 | 1 | Covered | T4,T1,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 |
274454922 |
274454117 |
0 |
0 |
selKnown1 |
548669195 |
548668390 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
274454922 |
274454117 |
0 |
0 |
T1 |
226484 |
226483 |
0 |
0 |
T2 |
907754 |
907754 |
0 |
0 |
T3 |
628691 |
628691 |
0 |
0 |
T4 |
19010 |
19009 |
0 |
0 |
T5 |
908 |
907 |
0 |
0 |
T16 |
695 |
694 |
0 |
0 |
T17 |
1741 |
1740 |
0 |
0 |
T18 |
894 |
893 |
0 |
0 |
T19 |
2552 |
2551 |
0 |
0 |
T20 |
4069 |
4068 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
548669195 |
548668390 |
0 |
0 |
T1 |
453092 |
453091 |
0 |
0 |
T2 |
181509 |
181509 |
0 |
0 |
T3 |
125680 |
125680 |
0 |
0 |
T4 |
77000 |
76999 |
0 |
0 |
T5 |
1898 |
1897 |
0 |
0 |
T16 |
1469 |
1468 |
0 |
0 |
T17 |
3521 |
3520 |
0 |
0 |
T18 |
1701 |
1700 |
0 |
0 |
T19 |
5142 |
5141 |
0 |
0 |
T20 |
8189 |
8188 |
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 | T4,T1,T5 |
0 | 1 | Covered | T4,T1,T5 |
1 | 0 | Covered | T1,T5,T18 |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T4,T1,T5 |
1 | 0 | Covered | T1,T5,T18 |
1 | 1 | Covered | T1,T5,T18 |
LINE 17
SUB-EXPRESSION (((~sel_i)) & clk0_i)
-----1---- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T5,T18 |
1 | 0 | Covered | T4,T1,T5 |
1 | 1 | Covered | T4,T1,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 |
273307144 |
273306339 |
0 |
0 |
selKnown1 |
548669195 |
548668390 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
273307144 |
273306339 |
0 |
0 |
T1 |
226405 |
226404 |
0 |
0 |
T2 |
906979 |
906979 |
0 |
0 |
T3 |
628386 |
628386 |
0 |
0 |
T4 |
19010 |
19009 |
0 |
0 |
T5 |
882 |
881 |
0 |
0 |
T16 |
695 |
694 |
0 |
0 |
T17 |
1741 |
1740 |
0 |
0 |
T18 |
824 |
823 |
0 |
0 |
T19 |
2552 |
2551 |
0 |
0 |
T20 |
4069 |
4068 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
548669195 |
548668390 |
0 |
0 |
T1 |
453092 |
453091 |
0 |
0 |
T2 |
181509 |
181509 |
0 |
0 |
T3 |
125680 |
125680 |
0 |
0 |
T4 |
77000 |
76999 |
0 |
0 |
T5 |
1898 |
1897 |
0 |
0 |
T16 |
1469 |
1468 |
0 |
0 |
T17 |
3521 |
3520 |
0 |
0 |
T18 |
1701 |
1700 |
0 |
0 |
T19 |
5142 |
5141 |
0 |
0 |
T20 |
8189 |
8188 |
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 | T4,T1,T5 |
0 | 1 | Covered | T4,T1,T5 |
1 | 0 | Unreachable | |
LINE 17
SUB-EXPRESSION (sel_i & clk1_i)
--1-- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T4,T1,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 | T4,T1,T5 |
1 | 1 | Covered | T4,T1,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 |
137226800 |
137225995 |
0 |
0 |
selKnown1 |
548669195 |
548668390 |
0 |
0 |
selKnown0
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
137226800 |
137225995 |
0 |
0 |
T1 |
113241 |
113240 |
0 |
0 |
T2 |
453877 |
453876 |
0 |
0 |
T3 |
314345 |
314345 |
0 |
0 |
T4 |
9503 |
9502 |
0 |
0 |
T5 |
453 |
452 |
0 |
0 |
T16 |
347 |
346 |
0 |
0 |
T17 |
871 |
870 |
0 |
0 |
T18 |
446 |
445 |
0 |
0 |
T19 |
1276 |
1275 |
0 |
0 |
T20 |
2034 |
2033 |
0 |
0 |
selKnown1
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
548669195 |
548668390 |
0 |
0 |
T1 |
453092 |
453091 |
0 |
0 |
T2 |
181509 |
181509 |
0 |
0 |
T3 |
125680 |
125680 |
0 |
0 |
T4 |
77000 |
76999 |
0 |
0 |
T5 |
1898 |
1897 |
0 |
0 |
T16 |
1469 |
1468 |
0 |
0 |
T17 |
3521 |
3520 |
0 |
0 |
T18 |
1701 |
1700 |
0 |
0 |
T19 |
5142 |
5141 |
0 |
0 |
T20 |
8189 |
8188 |
0 |
0 |