This book builds on the student's background from a first course in logic design and focuses on developing, verifying and synthesizing designs of digital circuits. The Verilog language is introduced in an integrated, but selective manner, only as needed to support design examples (includes appendices for additional language details). It addresses the design of several important circuits used in computer systems, digital signal processing, image processing and other applications.

Contents
1. Provides a brief review of basic principles in combinational and sequential logic
2. Focuses on modern digital design methodology
3. Demonstrates the utility of ASM and ASMD charts for behavioral modeling
4. Clearly distinguishes between synthesizable and non-synthesizable loops 5. Provides several problems with a wide range of difficulty after each chapter
6. Combines a solution manual with an on-line repository of additional worked exercises1 Introduction to Digital Design Methodology
2 Review of Combinational Logic Design
3 Fundamentals of Sequential Logic Design
4 Introduction to Logic Design with Verilog
5 Logic Design with Behavioral Models of Combinational
and Sequential Logic
6 Synthesis of Combinational and Sequential Logic
7 Design and Synthesis of Data path Controllers
8 Programmable Logic and Storage Devices
9 Algorithms and Architectures for Digital Processors
10 Architectures for Arithmetic Processors
11 Postsynthesis Design Tasks