RTL Controller Synthesis. - ChiLai Huang; Joseph Lis; Michael Quayle; Saurin Shroff (Synthesis for Control Dominated Circuits, 1992)