数字设计：原理与实践（英文版 第5版）

图书标准信息

• 作者 [美]约翰·F. 韦克利
• 出版社 机械工业出版社
• 出版时间 2018-06
• 版次 1
• ISBN 9787111599418
• 定价 139.00元
• 装帧 其他
• 开本 16开
• 纸张 胶版纸
• 页数 866页
• 字数 350千字

【内容简介】

本书是数字设计领域的经典教材，是作者牢固的理论功底、严谨的学术风范与丰富的实践经验的完美融合。原理方面涵盖高级（HDL）、低级（电子电路）以及“广泛中间级”（门电路、触发器和一些较高级的数字设计构件）的多层次基础知识，更加方便不同专业的教学内容选取；实践方面专注于Verilog一种实现语言，强调基于FPGA的设计，并且添加了更多应用实例。

【作者简介】

约翰·F. 韦克利（John F. Wakerly） 于斯坦福大学获得电子工程博士学位。他目前是思科系统公司广域网业务部主管工程项目的副总裁，还是斯坦福大学的兼职教授。他在数字设计、微型计算机体系结构、计算机可靠性等方面出版了50多部著作，并在电信与网络领域拥有13项专利。

【目录】

Contents

1 INTRODUCTION 1

1.1 About Digital Design1

1.2Analog versus Digital3

1.3Analog Signals7

1.4Digital Logic Signals7

1.5Logic Circuits and Gates9

1.6Software Aspects of Digital Design13

1.7Integrated Circuits16

1.8Logic Families and CMOS19

1.9CMOS Logic Circuits20

1.10Programmable Devices25

1.11Application-Specific ICs27

1.12Printed-Circuit Boards28

1.13Digital-Design Levels29

1.14The Name of the Game33

1.15Going Forward34

Drill Problems34

2 NUMBER SYSTEMS AND CODES 35

2.1Positional Number Systems36

2.2Binary, Octal, and Hexadecimal Numbers37

2.3Binary-Decimal Conversions39

2.4Addition and Subtraction of Binary Numbers42

2.5Representation of Negative Numbers44

2.5.1Signed-Magnitude Representation

2.5.2Complement Number Systems

2.5.3Two’s-Complement Representation

2.5.4Ones’-Complement Representation

2.5.5Excess Representations

2.6Two’s-Complement Addition and Subtraction48

2.6.1Addition Rules

2.6.2A Graphical View

2.6.3Overflow

2.6.4Subtraction Rules

2.6.5Two’s-Complement and Unsigned Binary Numbers

2.7Ones’-Complement Addition and Subtraction52

2.8Binary Multiplication54

2.9Binary Division56

2.10Binary Codes for Decimal Numbers57

2.11Gray Code602.12Character Codes62

2.13Codes for Actions, Conditions, and States64

2.14n-Cubes and Distance66

2.15Codes for Detecting and Correcting Errors67

2.15.1Error-Detecting Codes

2.15.2Error-Correcting and Multiple-Error-Detecting Codes

2.15.3Hamming Codes

2.15.4CRC Codes

2.15.5Two-Dimensional Codes

2.15.6Checksum Codes

2.15.7m-out-of-n Codes

2.16Codes for Transmitting and Storing Serial Data78

2.16.1Parallel and Serial Data

2.16.2Serial Line CodesReferences82

Drill Problems83

Exercises85

3SWITCHING ALGEBRA AND COMBINATIONAL LOGIC89

3.1Switching Algebra91

3.1.1Axioms

3.1.2Single-Variable Theorems

3.1.3Two- and Three-Variable Theorems

3.1.4n-Variable Theorems

3.1.5Duality

3.1.6Standard Representations of Logic Functions

3.2Combinational-Circuit Analysis104

3.3Combinational-Circuit Synthesis110

3.3.1Circuit Descriptions and Designs

3.3.2Circuit Manipulations

3.3.3Combinational-Circuit Minimization

3.3.4Karnaugh Maps

3.4Timing Hazards122

3.4.1Static Hazards

3.4.2Finding Static Hazards Using Maps

3.4.3Dynamic Hazards

3.4.4Designing Hazard-Free CircuitsReferences126

Drill Problems128Exercises129

4DIGITAL DESIGN PRACTICES133

4.1Documentation Standards133

4.1.1Block Diagrams

4.1.2Gate Symbols

4.1.3Signal Names and Active Levels

4.1.4Active Levels for Pins

4.1.5Constant Logic Signals

4.1.6Bubble-to-Bubble Logic Design

4.1.7Signal Naming in HDL Models

4.1.8Drawing Layout

4.1.9Buses

4.1.10Additional Schematic Information

4.2Circuit Timing154

4.2.1Timing Diagrams

4.2.2Propagation Delay

4.2.3Timing Specifications

4.2.4Sample Timing Specifications

4.2.5Timing Analysis Tools

4.3HDL-Based Digital Design165

4.3.1HDL History

4.3.2Why HDLs?

4.3.3EDA Tool Suites for HDLs

4.3.4HDL-Based Design FlowReferences172

Drill Problems

174Exercises176

5VERILOG HARDWARE DESCRIPTION LANGUAGE177

5.1Verilog Models and Modules179

5.2Logic System, Nets, Variables, and Constants184

5.3Vectors and Operators189

5.4Arrays193

5.5Logical Operators and Expressions194

5.6Compiler Directives197

5.7Structural Models198

5.8Dataflow Models203

5.9Behavioral Models (Procedural Code)205

5.9.1Always Statements and Blocks

5.9.2Procedural Statements

5.9.3Inferred Latches

5.9.4Assignment Statements

5.9.5begin-end Blocks

5.9.6if and if-else Statements

5.9.7case Statements

5.9.8Looping Statements

5.10Functions and Tasks220

5.11The Time Dimension224

5.12Simulation225

5.13Test Benches226

5.14Verilog Features for Sequential Logic Design232

5.15Synthesis232

References233

Drill Problems234

Exercises235

6BASIC COMBINATIONAL LOGICELEMENTS237

6.1Read-Only Memories (ROMs)240

6.1.1ROMs and Truth Tables

6.1.2Using ROMs for Arbitrary Combinational Logic Functions

6.1.3FPGA Lookup Tables (LUTs)

6.2Combinational PLDs246

6.2.1Programmable Logic Arrays

6.2.2Programmable Array Logic Devices

6.3Decoding and Selecti