Design Methodologies for VLSI Circuits by Jespers, Paul G.A.