For registers the built in sequences will compare the read value from DUT against the mirrored value in RAL register if we call register.read().
But for memories, it has single value(no desired/mirrored values). when we call memory.read(), it will read the data from DUT. but it is not comparing against the values in RAL memory. then how can we know that RAL memory is in sync with DUT memory ?
And do we have any exclusive methods to read only memory contents in RAL and not DUT ?(just like peek() does DUT read only)