Assertion: flop's input | /r/HasProperty | stable
Facets:
Source sentences:
text: If a flip-flop's output is used to calculate its input, it behooves us to have orderly behavior: to prevent the flip-flop's state from changing until the output (and hence the input) is stable.
text: One way is to violate the input setup and hold times, to make a transition when the flip-flop expects the input to be stable.