High-level synthesis of VLSI circuits - Yeung, Ping F. (The University of Edinburgh, 1992)