Assertion: register's input | /r/HasProperty | high
Facets:
Source sentences:
text: whenever the Enable line is high, otherwise the output is whatever the D input was when the Enable input was last high.