Assertion: flip flop | /r/HasAspect | restrictive time regions
Facets:
value: around the active clock edge
type: LOCATION
Source sentences:
text: Every flip-flop has restrictive time regions around the active clock edge in which input should not change.