Title: Logic Synthesis for Compositional Microprogram Control Units