Assertion: set's value | /r/HasProperty | specified by cpu
Facets:
Source sentences:
text: If the test succeeds, the DPRAM sets memory location A to the value specified by CPU 1.
text: Here, the value being set and the test are fixed and invariant, and the value is updated regardless of the outcome of the test, whereas for the DPRAM test-and-set, the memory is set only when the test succeeds, and the value to set and the test condition are specified by the CPU.