Logic Synthesis for Compositional Microprogram Control Units - Barkalov, Alexander. (Lecture Notes in Electrical Engineering,, 2008)