In microprogramming, the process of converting a microprogram into a functionally equivalent microprogram that is faster or shorter than the original.