Memory Verification without RAL

[Thirumalesh]

Hi All,

Let’s assume DUT has memory.
From TB, I am writing to location1, but its going to location2 and vice versa due to the bug in the design.
To solve this problem (address translation issue), we will go ahead with UVM RAL - Backdoor write and backdoor read. Hope my understanding is right.

Now, in my current TB, I do not have provision for UVM backdoor any RAL methods. Then, without UVM RAL, how to detect and solve this problem.

Kindly share your thoughts.

[dave_59]

How to verify if two bits of a 32 bit register are swapped?

Hi, In a 32 bit register if any of the two bits are swapped, Swapped in the sense if we read or write to say 1st bit the value is accessed from 2nd bit and vice versa. How to verify this scenario?

How can we verify a memory whose address location is swapped

lets say we are writing to address location 0x20 but due to bug… 0x20 is mapped to 0x40 so, whenever we try to read and write from 0x20, it will read and write from 0x40 so fetched data will always be right but there exists a bug. How to find it?