This 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.