Synthesis and Optimization of Digital Circuits

This new graduate textbook in computer engineering offers a modern, up-to-date look at computer aided design of VLSI circuits at the functional and logic level by addressing an interesting topic in CAD for digital design synthesis of detailed specifications from abstract models. Topics covered include hardware modeling, compilation techniques for hardware models, high-level synthesis, logic synthesis, and library mapping algorithms. Course titles include Digital CAD, Advanced Logic Design or Complements of VLSI Design.