Logic Synthesis for Compositional Microprogram Control Units