Una técnica de programación en el que microoperations diferentes pueden codificarse idénticamente en el mismo campo de un microinstruction, y que se ejecuta depende el valor de otro campo interno o externo a la microinstruction.