Synthesis of pipelined data paths. - Y-H. Choi (Comput. Aided Des., 1992)