Assertion: flop's state | /r/HasProperty | reached at this condition
Facets:
Source sentences:
text: The set state is reached at this condition and since the clock pulse is 1, information from S and R is allowed to reach output.