Assertion: multiplexer's output | /r/HasProperty | = mux_select_lines
Facets:
Source sentences:
text: divisor # Determine the corresponding output indexOutput = MUX_SELECT_LINES for j ,