Synthesis and optimization of digital circuits - De Micheli, Giovanni (McGraw-Hill, 1994)