Assertion: multiplexer's output | /r/HasProperty | given
Facets:
Source sentences:
text: The outputs of the demultiplexer are given to the multiple registers where the data is stored.