RTL OptimizA: From Control Data Flow Graph to Logic Circuit. - Yang Wu; Ian Dorrington (Synthesis for Control Dominated Circuits, 1992)