Assertion: dram's data | /r/HasProperty | written to a channel buffer
Facets:
Source sentences:
text: To write, first the data is written to a channel buffer (typically previous initialized using a Prefetch command), then a restore command, with the same parameters as the prefetch command, copies a segment of data from the channel to the sense amplifier array.