Assertion: flop's d | /r/HasProperty | changes
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).