Synopses & Reviews
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.
Table of Contents
Chapter 1: Introduction
Chapter 2: Background
Chapter 3: Hardware Modeling
Chapter 4: Architectural Synthesis
Chapter 5: Scheduling Algorithms
Chapter 6: Resource Sharing and Binding
Chapter 7: Two-Level Combinational Logic Optimization
Chapter 8: Multiple-Level Combinational Logic Optimization
Chapter 9: Sequential Logic Optimization
Chapter 10: Cell-library Binding
Chapter 11: State-of-the-art and Future Trends