Assertion: flop's state | /r/HasProperty | set at positive edge of the clock
Facets:
Source sentences:
text: The state of the output of the flip flop is set or reset depending upon the state of the input at positive edge of the clock.