If I have a (address 32 bits wide) for a dual port RAM, what verification strategies are used to verify the entire memory space? Of course, we heavily rely on randomization of the address. But that does not ensure ALL address locations are verified.
What verification strategies are adopted to ensure all address locations of a large memory is thoroughly verified?