Text this: High-level VLSI synthesis / edited by Raul Camposano and Wayne Wolf.