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 | 5 | 55.56 | 
| Logical | 9 | 5 | 55.56 | 
| 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,T2,T3 | 
| 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | Not Covered |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | Not Covered |  | 
| 1 | 1 | Not Covered |  | 
 LINE       17
 SUB-EXPRESSION (((~sel_i)) & clk0_i)
                 -----1----   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Not Covered |  | 
| 1 | 0 | Covered | T1,T2,T3 | 
| 1 | 1 | Covered | T1,T2,T3 | 
Toggle Coverage for Module : 
prim_generic_clock_mux2
 | Total | Covered | Percent | 
| Totals | 
4 | 
3 | 
75.00  | 
| Total Bits | 
8 | 
6 | 
75.00  | 
| Total Bits 0->1 | 
4 | 
3 | 
75.00  | 
| Total Bits 1->0 | 
4 | 
3 | 
75.00  | 
 |  |  |  | 
| Ports | 
4 | 
3 | 
75.00  | 
| Port Bits | 
8 | 
6 | 
75.00  | 
| Port Bits 0->1 | 
4 | 
3 | 
75.00  | 
| Port Bits 1->0 | 
4 | 
3 | 
75.00  | 
Port Details
| Name | Toggle | Toggle 1->0 | Tests | Toggle 0->1 | Tests | Direction | 
| clk0_i | 
Yes | 
Yes | 
T1,T4,T5 | 
Yes | 
T1,T4,T5 | 
INPUT | 
| clk1_i | 
Yes | 
Yes | 
T1,T4,T5 | 
Yes | 
T1,T4,T5 | 
INPUT | 
| sel_i | 
No | 
No | 
 | 
No | 
 | 
INPUT | 
| clk_o | 
Yes | 
Yes | 
T1,T4,T5 | 
Yes | 
T1,T4,T5 | 
OUTPUT | 
Assert Coverage for Module : 
prim_generic_clock_mux2
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete | 
| 
selKnown0 | 
94783217 | 
94781575 | 
0 | 
0 | 
| 
selKnown1 | 
109562853 | 
109561211 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
94783217 | 
94781575 | 
0 | 
0 | 
| T1 | 
16215 | 
16213 | 
0 | 
0 | 
| T2 | 
102 | 
100 | 
0 | 
0 | 
| T3 | 
5 | 
3 | 
0 | 
0 | 
| T4 | 
44060 | 
44058 | 
0 | 
0 | 
| T5 | 
241015 | 
241013 | 
0 | 
0 | 
| T6 | 
0 | 
46351 | 
0 | 
0 | 
| T8 | 
162707 | 
162705 | 
0 | 
0 | 
| T9 | 
5 | 
3 | 
0 | 
0 | 
| T10 | 
2 | 
0 | 
0 | 
0 | 
| T11 | 
2 | 
0 | 
0 | 
0 | 
| T12 | 
2 | 
0 | 
0 | 
0 | 
| T14 | 
0 | 
719071 | 
0 | 
0 | 
| T18 | 
0 | 
12 | 
0 | 
0 | 
| T19 | 
0 | 
9963 | 
0 | 
0 | 
| T20 | 
0 | 
8 | 
0 | 
0 | 
| T24 | 
0 | 
62 | 
0 | 
0 | 
| T25 | 
0 | 
7164 | 
0 | 
0 | 
| T26 | 
0 | 
69820 | 
0 | 
0 | 
| T27 | 
0 | 
379410 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
109562853 | 
109561211 | 
0 | 
0 | 
| T1 | 
20650 | 
20649 | 
0 | 
0 | 
| T2 | 
91953 | 
91952 | 
0 | 
0 | 
| T3 | 
2178 | 
2177 | 
0 | 
0 | 
| T4 | 
37429 | 
37427 | 
0 | 
0 | 
| T5 | 
178802 | 
178800 | 
0 | 
0 | 
| T6 | 
0 | 
2 | 
0 | 
0 | 
| T7 | 
0 | 
4 | 
0 | 
0 | 
| T8 | 
201544 | 
201542 | 
0 | 
0 | 
| T9 | 
2380 | 
2379 | 
0 | 
0 | 
| T10 | 
796 | 
795 | 
0 | 
0 | 
| T11 | 
1738 | 
1736 | 
0 | 
0 | 
| T12 | 
1909 | 
1907 | 
0 | 
0 | 
| T18 | 
1 | 
0 | 
0 | 
0 | 
| T19 | 
1 | 
0 | 
0 | 
0 | 
| T20 | 
1 | 
0 | 
0 | 
0 | 
| T22 | 
1 | 
0 | 
0 | 
0 | 
| T24 | 
1 | 
0 | 
0 | 
0 | 
| T28 | 
0 | 
1 | 
0 | 
0 | 
| T29 | 
0 | 
2 | 
0 | 
0 | 
| T30 | 
0 | 
4 | 
0 | 
0 | 
| T31 | 
0 | 
1 | 
0 | 
0 | 
| T32 | 
0 | 
1 | 
0 | 
0 | 
| T33 | 
0 | 
1 | 
0 | 
0 | 
| T34 | 
0 | 
4 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_prim_clock_mux2.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_prim_clock_mux2.gen_generic.u_impl_generic
 | Total | Covered | Percent | 
| Conditions | 9 | 5 | 55.56 | 
| Logical | 9 | 5 | 55.56 | 
| 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,T4,T5 | 
| 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | Not Covered |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | Not Covered |  | 
| 1 | 1 | Not Covered |  | 
 LINE       17
 SUB-EXPRESSION (((~sel_i)) & clk0_i)
                 -----1----   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Not Covered |  | 
| 1 | 0 | Covered | T1,T4,T5 | 
| 1 | 1 | Covered | T1,T2,T3 | 
Assert Coverage for Instance : tb.dut.u_prim_clock_mux2.gen_generic.u_impl_generic
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete | 
| 
selKnown0 | 
94722632 | 
94721811 | 
0 | 
0 | 
| 
selKnown1 | 
109561920 | 
109561099 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
94722632 | 
94721811 | 
0 | 
0 | 
| T1 | 
16210 | 
16209 | 
0 | 
0 | 
| T2 | 
1 | 
0 | 
0 | 
0 | 
| T3 | 
1 | 
0 | 
0 | 
0 | 
| T4 | 
44059 | 
44058 | 
0 | 
0 | 
| T5 | 
240923 | 
240922 | 
0 | 
0 | 
| T6 | 
0 | 
46351 | 
0 | 
0 | 
| T8 | 
162650 | 
162649 | 
0 | 
0 | 
| T9 | 
1 | 
0 | 
0 | 
0 | 
| T10 | 
1 | 
0 | 
0 | 
0 | 
| T11 | 
1 | 
0 | 
0 | 
0 | 
| T12 | 
1 | 
0 | 
0 | 
0 | 
| T14 | 
0 | 
719071 | 
0 | 
0 | 
| T19 | 
0 | 
9962 | 
0 | 
0 | 
| T25 | 
0 | 
7164 | 
0 | 
0 | 
| T26 | 
0 | 
69820 | 
0 | 
0 | 
| T27 | 
0 | 
379410 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
109561920 | 
109561099 | 
0 | 
0 | 
| T1 | 
20650 | 
20649 | 
0 | 
0 | 
| T2 | 
91953 | 
91952 | 
0 | 
0 | 
| T3 | 
2178 | 
2177 | 
0 | 
0 | 
| T4 | 
37426 | 
37425 | 
0 | 
0 | 
| T5 | 
178801 | 
178800 | 
0 | 
0 | 
| T8 | 
201543 | 
201542 | 
0 | 
0 | 
| T9 | 
2380 | 
2379 | 
0 | 
0 | 
| T10 | 
796 | 
795 | 
0 | 
0 | 
| T11 | 
1737 | 
1736 | 
0 | 
0 | 
| T12 | 
1908 | 
1907 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_prim_rst_n_mux2.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_prim_rst_n_mux2.gen_generic.u_impl_generic
 | Total | Covered | Percent | 
| Conditions | 9 | 5 | 55.56 | 
| Logical | 9 | 5 | 55.56 | 
| 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,T2,T3 | 
| 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | Not Covered |  | 
 LINE       17
 SUB-EXPRESSION (sel_i & clk1_i)
                 --1--   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | Not Covered |  | 
| 1 | 1 | Not Covered |  | 
 LINE       17
 SUB-EXPRESSION (((~sel_i)) & clk0_i)
                 -----1----   ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Not Covered |  | 
| 1 | 0 | Covered | T1,T2,T3 | 
| 1 | 1 | Covered | T1,T2,T3 | 
Assert Coverage for Instance : tb.dut.u_prim_rst_n_mux2.gen_generic.u_impl_generic
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete | 
| 
selKnown0 | 
60585 | 
59764 | 
0 | 
0 | 
| 
selKnown1 | 
933 | 
112 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
60585 | 
59764 | 
0 | 
0 | 
| T1 | 
5 | 
4 | 
0 | 
0 | 
| T2 | 
101 | 
100 | 
0 | 
0 | 
| T3 | 
4 | 
3 | 
0 | 
0 | 
| T4 | 
1 | 
0 | 
0 | 
0 | 
| T5 | 
92 | 
91 | 
0 | 
0 | 
| T8 | 
57 | 
56 | 
0 | 
0 | 
| T9 | 
4 | 
3 | 
0 | 
0 | 
| T10 | 
1 | 
0 | 
0 | 
0 | 
| T11 | 
1 | 
0 | 
0 | 
0 | 
| T12 | 
1 | 
0 | 
0 | 
0 | 
| T18 | 
0 | 
12 | 
0 | 
0 | 
| T19 | 
0 | 
1 | 
0 | 
0 | 
| T20 | 
0 | 
8 | 
0 | 
0 | 
| T24 | 
0 | 
62 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
933 | 
112 | 
0 | 
0 | 
| T4 | 
3 | 
2 | 
0 | 
0 | 
| T5 | 
1 | 
0 | 
0 | 
0 | 
| T6 | 
0 | 
2 | 
0 | 
0 | 
| T7 | 
0 | 
4 | 
0 | 
0 | 
| T8 | 
1 | 
0 | 
0 | 
0 | 
| T11 | 
1 | 
0 | 
0 | 
0 | 
| T12 | 
1 | 
0 | 
0 | 
0 | 
| T18 | 
1 | 
0 | 
0 | 
0 | 
| T19 | 
1 | 
0 | 
0 | 
0 | 
| T20 | 
1 | 
0 | 
0 | 
0 | 
| T22 | 
1 | 
0 | 
0 | 
0 | 
| T24 | 
1 | 
0 | 
0 | 
0 | 
| T28 | 
0 | 
1 | 
0 | 
0 | 
| T29 | 
0 | 
2 | 
0 | 
0 | 
| T30 | 
0 | 
4 | 
0 | 
0 | 
| T31 | 
0 | 
1 | 
0 | 
0 | 
| T32 | 
0 | 
1 | 
0 | 
0 | 
| T33 | 
0 | 
1 | 
0 | 
0 | 
| T34 | 
0 | 
4 | 
0 | 
0 |