Michael Ciletti is Professor Emeritus in the Department of Electrical and Computer Engineering at the University of Colorado, Colorado Springs. His areas of interest include  Modeling, synthesis and verification of digital systems with hardware description languages, system-level design languages, and embedded systems with FPGAs.


 

1 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 Datapath Controllers


8 Programmable Logic and Storage Devices


9 Algorithms and Architectures for Digital Processors


10 Architectures for Arithmetic Processors


11 Postsynthesis Design Tasks

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 nonsynthesizable 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 exercises