Assertion: latch's output | /r/CapableOf | change at the clock edge
Facets:
Source sentences:
text: The output can only change at the clock edge, and if the input changes at other times, the output will be unaffected.