Books by Joseph (Santa Clara University Cavanagh

This self-contained tutorial comprehensively discusses the analysis and synthesis of both 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 first introduces Verilog HDL and then uses it to design synchronous sequential machines and alternative synchronous sequential machines. Next, the text describes the synthesis of asynchronous sequential machines using Verilog HDL, and provides synthesis examples of pulse-mode asynchronous sequential machines using Verilog HDL.

Designed as a tutorial, this book explains how to write programs in the X86 language, the C programming language, and the X86 assembly language modules embedded in a C program. It presents the general computer architecture of the X86 microprocessor, individual addressing modes, stack operations, procedures, arrays, macros, and input/output operations. The book also details the most commonly used X86 assembly language instructions. A wealth of program design examples¿including the complete assembly language code and actual outputs¿help you grasp the concepts more easily.

Emphasizing structured and rigorous design principles that can be applied to practical applications, this book offers an analysis and synthesis of synchronous and asynchronous sequential machines. It reviews the analysis of combinatorial logic, defines sequential machines, and discusses methods for synthesizing synchronous sequential machines.

Verilog Hardware Description Language (HDL) is the state-of-the-art method for designing digital and computer systems. This book details the steps needed to master computer arithmetic for fixed-point, decimal, and floating-point number representations for all primary operations. It is suitable for electrical and computer engineers.

Covers the design of a plethora of combinational and sequential logic circuits using conventional logic design and Verilog HDL. This book presents number systems and number representations along with various binary codes. It covers various topics such as functional decomposition and iterative networks.

Offering a firm foundation in the design of digital systems using Verilog HDL, this book presents the Verilog language together with a wide variety of examples. It describes the different modeling constructs supported by Verilog with numerous examples designed in each chapter.