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 | 
T5,T6,T7 | 
Yes | 
T5,T6,T7 | 
INPUT | 
| clk1_i | 
Yes | 
Yes | 
T5,T6,T7 | 
Yes | 
T5,T6,T7 | 
INPUT | 
| sel_i | 
No | 
No | 
 | 
No | 
 | 
INPUT | 
| clk_o | 
Yes | 
Yes | 
T5,T6,T7 | 
Yes | 
T5,T6,T7 | 
OUTPUT | 
Assert Coverage for Module : 
prim_generic_clock_mux2
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete | 
| 
selKnown0 | 
88123471 | 
88121825 | 
0 | 
0 | 
| 
selKnown1 | 
103495337 | 
103493691 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
88123471 | 
88121825 | 
0 | 
0 | 
| T2 | 
89 | 
88 | 
0 | 
0 | 
| T3 | 
59 | 
58 | 
0 | 
0 | 
| T4 | 
57 | 
56 | 
0 | 
0 | 
| T5 | 
73883 | 
73881 | 
0 | 
0 | 
| T6 | 
60366 | 
60364 | 
0 | 
0 | 
| T7 | 
65740 | 
65754 | 
0 | 
0 | 
| T8 | 
0 | 
28013 | 
0 | 
0 | 
| T9 | 
0 | 
45706 | 
0 | 
0 | 
| T10 | 
85 | 
83 | 
0 | 
0 | 
| T11 | 
7 | 
5 | 
0 | 
0 | 
| T12 | 
14 | 
12 | 
0 | 
0 | 
| T13 | 
15 | 
13 | 
0 | 
0 | 
| T14 | 
55 | 
53 | 
0 | 
0 | 
| T15 | 
0 | 
5066 | 
0 | 
0 | 
| T16 | 
0 | 
150856 | 
0 | 
0 | 
| T17 | 
0 | 
629757 | 
0 | 
0 | 
| T18 | 
0 | 
253150 | 
0 | 
0 | 
| T19 | 
0 | 
124418 | 
0 | 
0 | 
| T20 | 
1 | 
0 | 
0 | 
0 | 
| T21 | 
1 | 
0 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
103495337 | 
103493691 | 
0 | 
0 | 
| T1 | 
1263 | 
1262 | 
0 | 
0 | 
| T2 | 
32262 | 
32261 | 
0 | 
0 | 
| T3 | 
23356 | 
23355 | 
0 | 
0 | 
| T4 | 
32633 | 
32632 | 
0 | 
0 | 
| T5 | 
37055 | 
37053 | 
0 | 
0 | 
| T6 | 
49062 | 
49060 | 
0 | 
0 | 
| T7 | 
1 | 
0 | 
0 | 
0 | 
| T8 | 
0 | 
1 | 
0 | 
0 | 
| T9 | 
0 | 
3 | 
0 | 
0 | 
| T10 | 
26432 | 
26430 | 
0 | 
0 | 
| T11 | 
3440 | 
3438 | 
0 | 
0 | 
| T12 | 
3938 | 
3936 | 
0 | 
0 | 
| T13 | 
6662 | 
6660 | 
0 | 
0 | 
| T14 | 
1 | 
0 | 
0 | 
0 | 
| T20 | 
1 | 
0 | 
0 | 
0 | 
| T21 | 
1 | 
0 | 
0 | 
0 | 
| T22 | 
0 | 
5 | 
0 | 
0 | 
| T23 | 
0 | 
2 | 
0 | 
0 | 
| T24 | 
0 | 
1 | 
0 | 
0 | 
| T25 | 
0 | 
1 | 
0 | 
0 | 
| T26 | 
0 | 
1 | 
0 | 
0 | 
| T27 | 
0 | 
6 | 
0 | 
0 | 
| T28 | 
0 | 
2 | 
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 | T5,T6,T7 | 
| 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 | T5,T6,T7 | 
| 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 | 
88066314 | 
88065491 | 
0 | 
0 | 
| 
selKnown1 | 
103494405 | 
103493582 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
88066314 | 
88065491 | 
0 | 
0 | 
| T5 | 
73882 | 
73881 | 
0 | 
0 | 
| T6 | 
60350 | 
60349 | 
0 | 
0 | 
| T7 | 
65740 | 
65739 | 
0 | 
0 | 
| T8 | 
0 | 
28013 | 
0 | 
0 | 
| T9 | 
0 | 
45706 | 
0 | 
0 | 
| T10 | 
1 | 
0 | 
0 | 
0 | 
| T11 | 
1 | 
0 | 
0 | 
0 | 
| T12 | 
1 | 
0 | 
0 | 
0 | 
| T13 | 
1 | 
0 | 
0 | 
0 | 
| T14 | 
1 | 
0 | 
0 | 
0 | 
| T15 | 
0 | 
5066 | 
0 | 
0 | 
| T16 | 
0 | 
150856 | 
0 | 
0 | 
| T17 | 
0 | 
629757 | 
0 | 
0 | 
| T18 | 
0 | 
253150 | 
0 | 
0 | 
| T19 | 
0 | 
124418 | 
0 | 
0 | 
| T20 | 
1 | 
0 | 
0 | 
0 | 
| T21 | 
1 | 
0 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
103494405 | 
103493582 | 
0 | 
0 | 
| T1 | 
1263 | 
1262 | 
0 | 
0 | 
| T2 | 
32262 | 
32261 | 
0 | 
0 | 
| T3 | 
23356 | 
23355 | 
0 | 
0 | 
| T4 | 
32633 | 
32632 | 
0 | 
0 | 
| T5 | 
37049 | 
37048 | 
0 | 
0 | 
| T6 | 
49061 | 
49060 | 
0 | 
0 | 
| T10 | 
26431 | 
26430 | 
0 | 
0 | 
| T11 | 
3439 | 
3438 | 
0 | 
0 | 
| T12 | 
3937 | 
3936 | 
0 | 
0 | 
| T13 | 
6661 | 
6660 | 
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 | 
57157 | 
56334 | 
0 | 
0 | 
| 
selKnown1 | 
932 | 
109 | 
0 | 
0 | 
selKnown0
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
57157 | 
56334 | 
0 | 
0 | 
| T2 | 
89 | 
88 | 
0 | 
0 | 
| T3 | 
59 | 
58 | 
0 | 
0 | 
| T4 | 
57 | 
56 | 
0 | 
0 | 
| T5 | 
1 | 
0 | 
0 | 
0 | 
| T6 | 
16 | 
15 | 
0 | 
0 | 
| T7 | 
0 | 
15 | 
0 | 
0 | 
| T10 | 
84 | 
83 | 
0 | 
0 | 
| T11 | 
6 | 
5 | 
0 | 
0 | 
| T12 | 
13 | 
12 | 
0 | 
0 | 
| T13 | 
14 | 
13 | 
0 | 
0 | 
| T14 | 
54 | 
53 | 
0 | 
0 | 
selKnown1
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
932 | 
109 | 
0 | 
0 | 
| T5 | 
6 | 
5 | 
0 | 
0 | 
| T6 | 
1 | 
0 | 
0 | 
0 | 
| T7 | 
1 | 
0 | 
0 | 
0 | 
| T8 | 
0 | 
1 | 
0 | 
0 | 
| T9 | 
0 | 
3 | 
0 | 
0 | 
| T10 | 
1 | 
0 | 
0 | 
0 | 
| T11 | 
1 | 
0 | 
0 | 
0 | 
| T12 | 
1 | 
0 | 
0 | 
0 | 
| T13 | 
1 | 
0 | 
0 | 
0 | 
| T14 | 
1 | 
0 | 
0 | 
0 | 
| T20 | 
1 | 
0 | 
0 | 
0 | 
| T21 | 
1 | 
0 | 
0 | 
0 | 
| T22 | 
0 | 
5 | 
0 | 
0 | 
| T23 | 
0 | 
2 | 
0 | 
0 | 
| T24 | 
0 | 
1 | 
0 | 
0 | 
| T25 | 
0 | 
1 | 
0 | 
0 | 
| T26 | 
0 | 
1 | 
0 | 
0 | 
| T27 | 
0 | 
6 | 
0 | 
0 | 
| T28 | 
0 | 
2 | 
0 | 
0 |