Assertion: flop's input | /r/HasProperty | inactive
Facets:
value: after the clock event
type: TEMPORAL
value: at logic
type: OTHER
Source sentences:
text: Recovery time is the minimum amount of time the asynchronous set or reset input should be inactive before the clock event, so that the data is reliably sampled by the clock.
text: Note that for this basic form of the synchronous counter to work, the PR and CLR inputs must also be all at logic 1, (their inactive state) as shown in Fig.
text: Removal time is the minimum amount of time the asynchronous set or reset input should be inactive after the clock event, so that the data is reliably sampled by the clock.