Synthesis and Optimization of Digital Circuits Topics covered include hardware modeling, compilation techniques for hardware models, high-level synthesis, logic synthesis, and library mapping algorithms..This new graduate textbook in computer eng