Mano, M: Digital Design, International Version

Preface i x1 Digital Systems and Binary Numbers 11.1 Digital Systems 11.2 Binary Numbers 31.3 Number-Base Conversions 61.4 Octal and Hexadecimal Numbers 81.5 Complements of Numbers 101.6 Signed Binary Numbers 141.7 Binary Codes 181.8 Binary Storage and Registers 271.9 Binary Logic 302 Boolean Algebra and Logic Gates 382.1 Introduction 382.2 Basic Definitions 382.3 Axiomatic Definition of Boolean Algebra 402.4 Basic Theorems and Properties of Boolean Algebra 432.5 Boolean Functions 462.6 Canonical and Standard Forms 512.7 Other Logic Operations 582.8 Digital Logic Gates 602.9 Integrated Circuits 663 Gate-Level Minimization 733.1 Introduction 733.2 The Map Method 733.3 Four-Variable K-Map 803.4 Product-of-Sums Simplification 843.5 Don't-Care Conditions 883.6 NAND and NOR Implementation 903.7 Other Two-Level Implementations 973.8 Exclusive-OR Function 1033.9 Hardware Description Language 1084 Combinational Logic 1254.1 Introduction 1254.2 Combinational Circuits 1254.3 Analysis Procedure 1264.4 Design Procedure 1294.5 Binary Adder-Subtractor 1334.6 Decimal Adder 1444.7 Binary Multiplier 1464.8 Magnitude Comparator 1484.9 Decoders 1504.10 Encoders 1554.11 Multiplexers 1584.12 HDL Models of Combinational Circuits 1645 Synchronous Sequential Logic 1905.1 Introduction 1905.2 Sequential Circuits 1905.3 Storage Elements: Latches 1935.4 Storage Elements: Flip-Flops 1965.5 Analysis of Clocked Sequential Circuits 2045.6 Synthesizable HDL Models of Sequential Circuits 2175.7 State Reduction and Assignment 2315.8 Design Procedure 2366 Registers and Counters 2556.1 Registers 2556.2 Shift Registers 2586.3 Ripple Counters 2666.4 Synchronous Counters 2716.5 Other Counters 2786.6 HDL for Registers and Counters 2837 Memory and Programmable Logic 2997.1 Introduction 2997.2 Random-Access Memory 3007.3 Memory Decoding 3077.4 Error Detection and Correction 3127.5 Read-Only Memory 3157.6 Programmable Logic Array 3217.7 Programmable Array Logic 3257.8 Sequential Programmable Devices 3298