Assertion: flop's output | /r/HasProperty | set
Facets:
Source sentences:
text: The output of the flip flop is set or reset at the negative edge of the clock pulse.
text: This would allow the output to be set and reset within the scan without being updated.