High-level VLSI synthesis - Camposano, Raul (Kluwer Academic Publishers, 1991)