Assertion: flip flop | /r/HasProperty | taken over new value
Facets:
value: with the last clock pulse
type: OTHER
Source sentences:
text: This is a very useful property, because the enable signal is typically generated by other logic, and is likely to change exactly after another flip-flop has taken over a new value with the last clock pulse.