Em microprogramação, o processo de converter um microprogram em um microprogram funcionalmente equivalente que é mais rápido ou mais curto do que o original.