Une technique de microprogrammation dans lequel microoperations différentes peuvent être codées identiquement dans le même champ d'un microinstruction, et celle qui est exécutée dépend de la valeur dans un autre domaine interne ou externe à le microinstruction.