Assertion: ram's data | /r/HasProperty | supplied as input
Facets:
value: to the sdram
type: TRANSITIVE-OBJECT
Source sentences:
text: Doing this in only two clock cycles requires careful coordination between the time the SDRAM takes to turn off its output on a clock edge and the time the data must be supplied as input to the SDRAM for the write on the following clock edge.