Assertion: flop's value | /r/HasProperty | updated at the instant
Facets:
Source sentences:
text: At the instant that this input value switches from 0 to 1 (the rising edge), the value will be updated according to the other inputs on the west edge.