Αποστολή με SMS: Logic Synthesis for Compositional Microprogram Control Units