Line Coverage for Module : 
prim_generic_ram_2p
 | Line No. | Total | Covered | Percent | 
| TOTAL |  | 21 | 21 | 100.00 | 
| CONT_ASSIGN | 49 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 60 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 60 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 60 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 60 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 61 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 61 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 61 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 61 | 1 | 1 | 100.00 | 
| ALWAYS | 76 | 6 | 6 | 100.00 | 
| ALWAYS | 91 | 6 | 6 | 100.00 | 
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_generic_ram_2p_0/rtl/prim_generic_ram_2p.sv' or '../src/lowrisc_prim_generic_ram_2p_0/rtl/prim_generic_ram_2p.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements |  | 
| 49 | 
1 | 
1 | 
| 60 | 
4 | 
4 | 
| 61 | 
4 | 
4 | 
| 76 | 
1 | 
1 | 
| 77 | 
1 | 
1 | 
| 78 | 
1 | 
1 | 
| 79 | 
1 | 
1 | 
| 80 | 
1 | 
1 | 
 | 
 | 
 | 
==>  MISSING_ELSE | 
| 85 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 91 | 
1 | 
1 | 
| 92 | 
1 | 
1 | 
| 93 | 
1 | 
1 | 
| 94 | 
1 | 
1 | 
| 95 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 100 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
Branch Coverage for Module : 
prim_generic_ram_2p
 | Line No. | Total | Covered | Percent | 
| Branches | 
 | 
6 | 
6 | 
100.00 | 
| IF | 
76 | 
3 | 
3 | 
100.00 | 
| IF | 
91 | 
3 | 
3 | 
100.00 | 
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_generic_ram_2p_0/rtl/prim_generic_ram_2p.sv' or '../src/lowrisc_prim_generic_ram_2p_0/rtl/prim_generic_ram_2p.sv was not found/opened, so annotated branch coverage report could not be generated.
	LineNo.	Expression
-1-:	76	if (a_req_i)
-2-:	77	if (a_write_i)
Branches:
| -1- | -2- | Status | Tests | 
| 1 | 
1 | 
Covered | 
T2,T3,T5 | 
| 1 | 
0 | 
Covered | 
T5,T7,T11 | 
| 0 | 
- | 
Covered | 
T1,T2,T3 | 
	LineNo.	Expression
-1-:	91	if (b_req_i)
-2-:	92	if (b_write_i)
Branches:
| -1- | -2- | Status | Tests | 
| 1 | 
1 | 
Covered | 
T5,T7,T11 | 
| 1 | 
0 | 
Covered | 
T2,T3,T5 | 
| 0 | 
- | 
Covered | 
T2,T3,T5 | 
Assert Coverage for Module : 
prim_generic_ram_2p
Assertion Details
gen_wmask[0].MaskCheckPortA_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
459245691 | 
2040431 | 
0 | 
0 | 
| T2 | 
21559 | 
832 | 
0 | 
0 | 
| T3 | 
39416 | 
832 | 
0 | 
0 | 
| T4 | 
4093 | 
0 | 
0 | 
0 | 
| T5 | 
916060 | 
1755 | 
0 | 
0 | 
| T6 | 
648946 | 
832 | 
0 | 
0 | 
| T7 | 
481287 | 
11116 | 
0 | 
0 | 
| T8 | 
419502 | 
832 | 
0 | 
0 | 
| T9 | 
809 | 
0 | 
0 | 
0 | 
| T10 | 
195664 | 
0 | 
0 | 
0 | 
| T11 | 
4795 | 
16 | 
0 | 
0 | 
| T12 | 
0 | 
9984 | 
0 | 
0 | 
| T13 | 
0 | 
832 | 
0 | 
0 | 
| T14 | 
0 | 
832 | 
0 | 
0 | 
gen_wmask[0].MaskCheckPortB_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
143408095 | 
1166156 | 
0 | 
0 | 
| T5 | 
112799 | 
2458 | 
0 | 
0 | 
| T6 | 
92160 | 
0 | 
0 | 
0 | 
| T7 | 
946944 | 
3985 | 
0 | 
0 | 
| T8 | 
52112 | 
0 | 
0 | 
0 | 
| T10 | 
25455 | 
0 | 
0 | 
0 | 
| T11 | 
2325 | 
107 | 
0 | 
0 | 
| T12 | 
714554 | 
1203 | 
0 | 
0 | 
| T13 | 
17176 | 
0 | 
0 | 
0 | 
| T14 | 
4112 | 
0 | 
0 | 
0 | 
| T15 | 
1843 | 
0 | 
0 | 
0 | 
| T26 | 
0 | 
7609 | 
0 | 
0 | 
| T28 | 
0 | 
156 | 
0 | 
0 | 
| T29 | 
0 | 
17012 | 
0 | 
0 | 
| T37 | 
0 | 
4157 | 
0 | 
0 | 
| T38 | 
0 | 
1927 | 
0 | 
0 | 
| T46 | 
0 | 
1028 | 
0 | 
0 | 
gen_wmask[1].MaskCheckPortA_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
459245691 | 
2040431 | 
0 | 
0 | 
| T2 | 
21559 | 
832 | 
0 | 
0 | 
| T3 | 
39416 | 
832 | 
0 | 
0 | 
| T4 | 
4093 | 
0 | 
0 | 
0 | 
| T5 | 
916060 | 
1755 | 
0 | 
0 | 
| T6 | 
648946 | 
832 | 
0 | 
0 | 
| T7 | 
481287 | 
11116 | 
0 | 
0 | 
| T8 | 
419502 | 
832 | 
0 | 
0 | 
| T9 | 
809 | 
0 | 
0 | 
0 | 
| T10 | 
195664 | 
0 | 
0 | 
0 | 
| T11 | 
4795 | 
16 | 
0 | 
0 | 
| T12 | 
0 | 
9984 | 
0 | 
0 | 
| T13 | 
0 | 
832 | 
0 | 
0 | 
| T14 | 
0 | 
832 | 
0 | 
0 | 
gen_wmask[1].MaskCheckPortB_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
143408095 | 
1166156 | 
0 | 
0 | 
| T5 | 
112799 | 
2458 | 
0 | 
0 | 
| T6 | 
92160 | 
0 | 
0 | 
0 | 
| T7 | 
946944 | 
3985 | 
0 | 
0 | 
| T8 | 
52112 | 
0 | 
0 | 
0 | 
| T10 | 
25455 | 
0 | 
0 | 
0 | 
| T11 | 
2325 | 
107 | 
0 | 
0 | 
| T12 | 
714554 | 
1203 | 
0 | 
0 | 
| T13 | 
17176 | 
0 | 
0 | 
0 | 
| T14 | 
4112 | 
0 | 
0 | 
0 | 
| T15 | 
1843 | 
0 | 
0 | 
0 | 
| T26 | 
0 | 
7609 | 
0 | 
0 | 
| T28 | 
0 | 
156 | 
0 | 
0 | 
| T29 | 
0 | 
17012 | 
0 | 
0 | 
| T37 | 
0 | 
4157 | 
0 | 
0 | 
| T38 | 
0 | 
1927 | 
0 | 
0 | 
| T46 | 
0 | 
1028 | 
0 | 
0 | 
gen_wmask[2].MaskCheckPortA_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
459245691 | 
2040431 | 
0 | 
0 | 
| T2 | 
21559 | 
832 | 
0 | 
0 | 
| T3 | 
39416 | 
832 | 
0 | 
0 | 
| T4 | 
4093 | 
0 | 
0 | 
0 | 
| T5 | 
916060 | 
1755 | 
0 | 
0 | 
| T6 | 
648946 | 
832 | 
0 | 
0 | 
| T7 | 
481287 | 
11116 | 
0 | 
0 | 
| T8 | 
419502 | 
832 | 
0 | 
0 | 
| T9 | 
809 | 
0 | 
0 | 
0 | 
| T10 | 
195664 | 
0 | 
0 | 
0 | 
| T11 | 
4795 | 
16 | 
0 | 
0 | 
| T12 | 
0 | 
9984 | 
0 | 
0 | 
| T13 | 
0 | 
832 | 
0 | 
0 | 
| T14 | 
0 | 
832 | 
0 | 
0 | 
gen_wmask[2].MaskCheckPortB_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
143408095 | 
1166156 | 
0 | 
0 | 
| T5 | 
112799 | 
2458 | 
0 | 
0 | 
| T6 | 
92160 | 
0 | 
0 | 
0 | 
| T7 | 
946944 | 
3985 | 
0 | 
0 | 
| T8 | 
52112 | 
0 | 
0 | 
0 | 
| T10 | 
25455 | 
0 | 
0 | 
0 | 
| T11 | 
2325 | 
107 | 
0 | 
0 | 
| T12 | 
714554 | 
1203 | 
0 | 
0 | 
| T13 | 
17176 | 
0 | 
0 | 
0 | 
| T14 | 
4112 | 
0 | 
0 | 
0 | 
| T15 | 
1843 | 
0 | 
0 | 
0 | 
| T26 | 
0 | 
7609 | 
0 | 
0 | 
| T28 | 
0 | 
156 | 
0 | 
0 | 
| T29 | 
0 | 
17012 | 
0 | 
0 | 
| T37 | 
0 | 
4157 | 
0 | 
0 | 
| T38 | 
0 | 
1927 | 
0 | 
0 | 
| T46 | 
0 | 
1028 | 
0 | 
0 | 
gen_wmask[3].MaskCheckPortA_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
459245691 | 
2040431 | 
0 | 
0 | 
| T2 | 
21559 | 
832 | 
0 | 
0 | 
| T3 | 
39416 | 
832 | 
0 | 
0 | 
| T4 | 
4093 | 
0 | 
0 | 
0 | 
| T5 | 
916060 | 
1755 | 
0 | 
0 | 
| T6 | 
648946 | 
832 | 
0 | 
0 | 
| T7 | 
481287 | 
11116 | 
0 | 
0 | 
| T8 | 
419502 | 
832 | 
0 | 
0 | 
| T9 | 
809 | 
0 | 
0 | 
0 | 
| T10 | 
195664 | 
0 | 
0 | 
0 | 
| T11 | 
4795 | 
16 | 
0 | 
0 | 
| T12 | 
0 | 
9984 | 
0 | 
0 | 
| T13 | 
0 | 
832 | 
0 | 
0 | 
| T14 | 
0 | 
832 | 
0 | 
0 | 
gen_wmask[3].MaskCheckPortB_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
143408095 | 
1166156 | 
0 | 
0 | 
| T5 | 
112799 | 
2458 | 
0 | 
0 | 
| T6 | 
92160 | 
0 | 
0 | 
0 | 
| T7 | 
946944 | 
3985 | 
0 | 
0 | 
| T8 | 
52112 | 
0 | 
0 | 
0 | 
| T10 | 
25455 | 
0 | 
0 | 
0 | 
| T11 | 
2325 | 
107 | 
0 | 
0 | 
| T12 | 
714554 | 
1203 | 
0 | 
0 | 
| T13 | 
17176 | 
0 | 
0 | 
0 | 
| T14 | 
4112 | 
0 | 
0 | 
0 | 
| T15 | 
1843 | 
0 | 
0 | 
0 | 
| T26 | 
0 | 
7609 | 
0 | 
0 | 
| T28 | 
0 | 
156 | 
0 | 
0 | 
| T29 | 
0 | 
17012 | 
0 | 
0 | 
| T37 | 
0 | 
4157 | 
0 | 
0 | 
| T38 | 
0 | 
1927 | 
0 | 
0 | 
| T46 | 
0 | 
1028 | 
0 | 
0 |