Assertion: latch's input | /r/HasProperty | the output
Facets:
Source sentences:
text: When the enable or clock is low (logic0), the D input for the last enable high will be the output.