Email Record: Logic Synthesis for Compositional Microprogram Control Units