Synthesis and optimization of digital circuits - De Micheli Giovanni (Electronics and VLSI Circuits, 1994)