| mux | (inputs,control),output |
The control input may be either a set of n width-1 inputs or a single width-n bus. If the inputs and outputs are all the same width, there must be one output and 2**n inputs. In this case, the MUX is replicated for each bit in the output. If the inputs and outputs are not all the same width, then the output must be width 1, there must be only one input, and that must be a bus of width 2**n.