Assertion: dram's data | /r/HasProperty | written into the memory array
Facets:
Source sentences:
text: For a pipelined write, the write command can be immediately followed by another command without waiting for the data to be written into the memory array.