Assertion: multiplexer's input | /r/HasProperty | the bit vector
Facets:
Source sentences:
text: The first way is to use another multiplexer where the input is the bit vector and the select signal is a counter log2 of the input.