Assertion: ram's data | /r/HasProperty | written driven
Facets:
value: during the same rising clock edge
type: TEMPORAL
value: to the dq lines
type: OTHER
Source sentences:
text: A write command is accompanied by the data to be written driven on to the DQ lines during the same rising clock edge.