Una técnica de programación en el que el significado de un campo en un microinstruction es dependiente del valor de otro campo en el microinstruction.