Check the consistency of read/write accesses to data memory. When a memory location is read by an instruction, its content must be equal to the last value that was written to it.
The bus access is implementation-specific and must therefore be defined by the CPU wrapper.
Data Memory check
=================
Description
-----------
Check the consistency of read/write accesses to data memory. When a memory location is read by an instruction, its content must be equal to the last value that was written to it.
The bus access is implementation-specific and must therefore be defined by the CPU wrapper.
Data Memory check
Description
Check the consistency of read/write accesses to data memory. When a memory location is read by an instruction, its content must be equal to the last value that was written to it.
The bus access is implementation-specific and must therefore be defined by the CPU wrapper.