Data path synthesis from a microcontroller instruction set specification in microsyn. - H.-G. Haeck; F. Krohm; Yiannos Manoli (Microprocessing and Microprogramming, 1991)