In reply to Subbi Reddy:
- Crossing 2 coverpoints with 4 bins each is 4x4=16 bins. The number of values represented by each bins does not matter.
- Functional coverage of a 4MB memory by dynamic simulation with covergroups is not practical. Memories are IP that are (hopefully) verified independently. You only need to verify connectivity to the memory block. You can do that exhaustively with formal verification, or you could try dynamically with patterns of walking ones and zeros.