The MUX Instruction

Name:

MUX $X,$Y,$Z

Specification:
v($X) ← (v($Y) ∧ v(rM)) ∨ (v($Z) ∧v(rM))

Timing:

MUX: υ

Description:

(Bitwise Multiplex) This instruction combines two bit pattern using the Multiplex-Mask-Registers rM. The bits in the result are taken from $Y, when the corresponding bit in rM is 1 and from $Z if the bit in rM is 0.