Assertion: flop's value | /r/HasProperty | new
Facets:
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.
text: A very short time passes from point B to point C , which is the time needed to actually make the flop remember the new value.