Giovanni De Micheli
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 circuits: 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.