Logic Synthesis for Compositional Microprogram Control Units - Barkalov, Alexander; Titarenko, Larysa; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008)
Keywords: Logic design -- Mathematics