Assertion: flop's output | /r/CapableOf | change synchronous input - ie
Facets:
value: at the presence of clock edge
type: OTHER
Source sentences:
text: D is a synchronous input - ie the output changes only at the presence of clock edge (in this example a rising clock edge).