Sequential Logic and Verilog HDL Fundamentals: 1st Edition (Hardback) book cover

Sequential Logic and Verilog HDL Fundamentals

1st Edition

By Joseph Cavanagh

CRC Press

846 pages | 822 B/W Illus.

Purchasing Options:$ = USD
Hardback: 9781498738224
pub: 2015-10-28
SAVE ~$37.00
eBook (VitalSource) : 9781315214139
pub: 2017-12-19
from $111.00

FREE Standard Shipping!


Sequential Logic and Verilog HDL Fundamentals discusses the analysis and synthesis of synchronous and asynchronous sequential machines. These machines are implemented using Verilog Hardware Description Language (HDL), in accordance with the Institute of Electrical and Electronics Engineers (IEEE) Standard: 1364-1995.

The book concentrates on sequential logic design with a focus on the design of various Verilog HDL projects.Emphasis is placed on structured and rigorous design principles that can be applied to practical applications. Each step of the analysis and synthesis procedures is clearly delineated. Each method that is presented is expounded in sufficient detail with accompanying examples. Many analysis and synthesis examples use mixed-logic symbols incorporating both positive- and negative-input logic gates for NAND (not AND) and NOR (not OR) logic, while other examples utilize only positive-input logic gates. The use of mixed logic parallels the use of these symbols in the industry.

The bookis intended to be a tutorial, and as such, is comprehensive and self-contained. All designs are carried through to completion—nothing is left unfinished or partially designed. Each chapter contains numerous problems of varying complexity to be designed by the reader using Verilog HDL design techniques. The Verilog HDL designs include the design module, the test bench module that tests the design for correct functionality, the outputs obtained from the test bench, and the waveforms obtained from the test bench.

Sequential Logic and Verilog HDL Fundamentals presents Verilog HDL with numerous design examples to help the reader thoroughly understand this popular hardware description language. The book is designed for practicing electrical engineers, computer engineers, and computer scientists; for graduate students in electrical engineering, computer engineering, and computer science; and for senior-level undergraduate students.


"… thorough coverage of counter design. … [a] good introductory text for Verilog."

—Parag K. Lala, Texas A&M University-Texarkana, USA

"For the reader looking to succeed with understanding both the foundation of the principles of sequential logic along with the ability to apply these principles using Verilog HDL, this text is a guarantee to achieve those goals."

—Geri Lamble, Santa Clara University, California, USA

Table of Contents

Introduction to Verilog HDL

Built-In Primitives

User-Defined Primitives

Dataflow Modeling

Behavioral Modeling

Structural Modeling


Synthesis of Synchronous Sequential Machines 1 Using Verilog HDL

Synchronous Registers

Synchronous Counters

Moore Machines

Mealy Machines

Moore–Mealy Equivalence

Output Glitches


Synthesis of Synchronous Sequential Machines 2 Using Verilog HDL

Multiplexers for δ Next-State Logic

Decoders for λ Output Logic

Programmable Logic Devices

Iterative Networks

Error Detection in Synchronous Sequential Machines


Synthesis of Asynchronous Sequential Machines Using Verilog HDL


Synthesis Examples


Synthesis of Pulse-Mode Asynchronous Sequential Machines Using Verilog HDL


Synthesis Examples


Appendix A: Event Queue

Appendix B: Verilog Project Procedure

Appendix C: Answers to Select Problems

About the Author

Joseph Cavanagh is an adjunct professor in the Computer Engineering Department at Santa Clara University, California, USA. He is the author of several textbooks, including Computer Arithmetic and Verilog HDL Fundamentals (2009), Digital Design and Verilog HDL Fundamentals (2008), Verilog HDL: Digital Design and Modeling (2007), and Sequential Logic: Analysis and Synthesis (2006), as well as a novel, The Computer Conspiracy.

Subject Categories

BISAC Subject Codes/Headings:
COMPUTERS / Computer Engineering
TECHNOLOGY & ENGINEERING / Electronics / Circuits / General