Assertion: flop's input | /r/HasProperty | applied with reset
Facets:
value: as high pulse
type: MANNER
Source sentences:
text: This state is stable and stays there until the next clock and input is applied with RESET as HIGH pulse.
text: This state is stable and stays there until the next clock and input is applied with RESET as HIGH pulse.