High-Level VLSI Synthesis - Camposano, Raul; Wolf, Wayne (Springer US, 1991)