Digital Design: Basic Concepts and Principles

ISBN-13: 9781420061314 / Angielski / Twarda / 2007 / 504 str.

Mohammed A. Karim; Xinghao Chen

Opis

In today's digital design environment, engineers must achieve quick turn-around time with ready accesses to circuit synthesis and simulation applications. This type of productivity relies on the principles and practices of computer aided design (CAD). Digital Design: Basic Concepts and Principles addresses the many challenging issues critical to today's digital design practices such as hazards and logic minimization, finite-state-machine synthesis, cycles and races, and testability theories while providing hands-on experience using one of the industry's most popular design application, Xilinx Web PACK . The authors begin by discussing conventional and unconventional number systems, binary coding theories, and arithmetic as well as logic functions and Boolean algebra. Building upon classic theories of digital systems, the book illustrates the importance of logic minimization using the Karnaugh map technique. It continues by discussing implementation options and examining the pros and cons of each method in addition to an assessment of tradeoffs that often accompany design practices. The book also covers testability, emphasizing that a good digital design must be easy to verify and test with the lowest cost possible. Throughout the text, the authors analyze combinational and sequential logic elements and illustrate the designs of these components in structural, hierarchical, and behavior VHDL descriptions. Coveringfundamentals and best practices, Digital Design: Basic Concepts and Principles provides you with critical knowledge of how each digital component ties together to form a system and develops the skills you need to design and simulate these digital components using modern CAD software.

Spis treści

DATA TYPE AND REPRESENTATIONS
Positional Number Systems
Number System Conversion
Negative Numbers
Binary Arithmetic
Unconventional Number System
Binary Codes
Error Detecting and Correcting Codes
CAD System
BOOLEAN ALGEBRA
Logic Operations
Logic Functions from Truth Tables
Boolean Algebra
MINIMIZATION OF LOGIC FUNCTIONS
Karnaugh Map
Incompletely Specified Functions in K-Map
K-Maps for Product-of-sum Form of Functions
Map-entered Variables
Hazards
Single-output Q-M Tabular Reduction
Multiple-output Q-M Tabular reduction
                             
LOGIC FUNCTION IMPLEMENTATION
Introduction
Functionally Complete Operation Sets
NAND-only and NOR-only Implementations
Function Implementation Using XOR and XNOR Logic
Circuit Implementation Using Gate Arrays
Logic Function Implementation Using Multiplexers
Logic Function Implementation Using Demultiplexers andecoders
Logic Function Implementation Using ROM
Logic Function Implementation Using PLD
Logic Function Implementation Using Threshold Logic
Logic Function Implementation Using Transmission Gates
INTRODUCTION TO VHDL
VHDL Programming Environment
Structural VHDL
Functional VHDL
Behavioral VHDL
Hierarchical VHDL
Logic Circuit Synthesis with Xilinx WebPACK ISE Project Navigator
Simulation of Timing Characteristics
Logic Circuit Implementation with FPGA Device
DESIGN OF MODULAR COMBINATORIAL COMPONENTS
Introduction
Special-purpose Decoders and Encoders
Code Converters
Error-detecting and Error-correcting Circuits
Binary Arithmetic
Binary Subtraction
High-Speed Addition
BCD Arithmetic
Comparators
Combinatorial Circuit Design Using VHDL
Arithmetic Logic Unit
ALU Design Using VHDL
SEQUENTIAL LOGIC ELEMENTS
Latches
Set-Reset Flip-Flop
JK Flip-Flop
Master-Slave Flip-Flop
Edge-Triggered Flip-Flop
Delay and Trigger Flip-Flop
Monostable Flip-Flop
Design of Sequential Elements Using VHDL
Sequential Circuits
SYNCHRONOUS SEQUENTIAL CIRCUITS
Formalism
Mealy and Moore Models
Analysis of Sequential Circuits
Equivalent States
Incompletely Specified Sequential Circuits
State Assignments
Design Algorithm
Synchronous Sequential Circuit Implementation Using VHDL
MODULAR SEQUENTIAL COMPONENTS
Synchronous Counters
Registers
Shift Registers as Counters
Counter and Register Applications
RTL
Registers and Counters Using VHDL
SEQUENTIAL ARITHMETIC
Serial Adder/Subtracter
Serial-Parallel Multiplication
Fast Multiplication
Implementation of Sequential Arithmetic in VHDL
ASYNCHRONOUS SEQUENTIAL CIRCUITS
Pulse Mode Circuits
Fundamental Mode Circuits
Cycles, Races, and Hazards
Fundamental Mode Outputs
INTRODUCTION TO TESTABILITY
Controllability and Observability
Deterministic Testability versus Random Testability
Test of Integrated Circuits
Fault Models
Test Sets and Test Generation
Topology-based Testability Analysis
Simulation-based Testability Analysis
Fault Analysis and Fault-based Testability Analysis
Testability Matrices
Design-for-Testability

O autorze

Karim, Mohammad; Chen, Xinghao