Titarenko, Larysa: Logic Synthesis for Compositional Microprogram Control Units