Synthesis and Optimization of Digital Circuits (McGraw-Hill Series in Electrical & Computer Engineering)