数字设计：英文版

　　进入21世纪，尤其随着我国加入WTO，信息产业的国际竞争将更加激烈。我国信息产业虽然在20世纪末取得了迅猛发展，但与发达国家相比，甚至与印度、爱尔兰等国家相比，还有很大差距。国家信息化的发展速度和信息产业的国际竞争能力，最终都将取决于信息科学技术人才的质量和数量。引进国外信息科学和技术优秀教材，在有条件的学校推动开展英语授课或双语教学，是教育部为加快培养大批高质量的信息技术人才采取的一项重要举措。为此，教育部要求由高等教育出版社首先开展信息科学和技术教材的引进试点工作。同时提出了两点要求，一是要高水平，二是要低价格。在高等教育出版社和信息科学技术引进教材专家组的努力下，经过比较短的时间，第一批引进的20多种教材已经陆续出版。这套教材出版后受到了广泛的好评，其中有不少是世界信息科学技术领域著名专家、教授的经典之作和反映信息科学技术最新进展的优秀作品，代表了目前世界信息科学技术教育的一流水平，而且价格也是最优惠的，与国内同类自编教材相当。这项教材引进工作是在教育部高等教育司和高教社的共同组织下，由国内信息科学技术领域的专家、教授广泛参与，在对大量国外教材进行多次遴选的基础上，参考了国内和国外著名大学相关专业的课程设置进行系统引进的。其中，John Wiley公司出版的贝尔实验室信息科学研究中心副总裁Silberchatz教授的经典著作《操作系统概念》，是我们经过反复谈判，做了很多努力才得以引进的。William Stallings先生曾编写了在美国深受欢迎的信息科学技术系列教材，其中有多种教材获得过美国教材和学术著作者协会颁发的计算机科学与工程教材奖，这批引进教材中就有他的两本著作。留美中国学者Jiawei Han先生的《数据挖掘》是该领域中具有里程碑意义的著作。由达特茅斯学院刀Thomas Cormen和麻省理工学院、哥伦比亚大学的几位学者共同编著的经典著作《算法导论》，在经历了11年的锤炼之后于2001年出版了第二版。目前任教于美国Massachusetts大学的James Kurose教授，曾在美国三所高校先后10次获得杰出教师或杰出教学奖，由他主编的《计算机网络》出版后，以其体系新颖、内容先进而倍受欢迎。在努力降低引进教材售价方面，高等教育出版社做了大量和细致的工作。这套引进的教材体现了权威性、系统性、先进性和经济性等特点。教育部也希望国内和国外的出版商积极参与此项工作，共同促进中国信息技术教育和信息产业的发展。我们在与外商的谈判工作中，不仅要坚定不移地引进国外最优秀的教材，而且还要千方百计地将版权转让费降下来，要让引进教材的价格与国内自编教材相当，让广大教师和学生负担得起。中国的教育市场巨大，外国出版公司和国内出版社要通过扩大发行数量取得效益。在引进教材的同时，我们还应做好消化吸收，注意学习国外先进的教学思想和教学方法，提高自编教材的水平，使我们的教学和教材在内容体系上，在理论与实践的结合上，在培养学生的动手能力上能有较大的突破和创新。

暂缺《数字设计：英文版》作者简介

PREFACE                  
 1  BINARY SYSTEMS                  
 1-1 Digital Systems                  
 1-2 Binary Numbers                  
 1-3 Number Base Conversions                  
 1-4 Octal and Hexadecimal Numbers                  
 1-5 Complements                  
 1-6 Signed Binary Numbers                  
 1-7 Binary Codes                  
 1-8 Binary Storage and Registers                  
 1-9 Binary Logic                  
 2   BOOLEAN ALCEBRA AND LOCIC CATES                  
 2-1 Basic Definitions                  
 2-2 Axiomatic Definition of Boolean Algebra                  
 2-3 Basic Theorems and Properties                  
 of Boolean Algebra                  
 2-4 Boolean Functions                  
 2-5 Canonical and Standard Forms                  
 2-6 Other Logic Operations                  
 2-7 Digital Logic Cates                  
 2-8 integrated Circuits                  
 3 CATE-LEVEL MINIMIZATION                  
 3-1  The Map Method                  
 3-2  Four-Variable Map                  
 3-3  Five-Variable Map                  
 3-4 Product of Sums Simplification                  
 3-5  Don't-Care Conditions                  
 3-6  NAND and NOR Implementation                  
 3-7  Other Two-Level Implementations                  
 3-8  Exclusive-OR Function                  
 3-9  Hardware Description Language (HDL)                  
 4 COMBINATIONAL LOCIC                  
 4-1  Combinational Circuits                  
 4-2  Analysis Procedure                  
 4-3  Design Procedure                  
 4-4  Binary Adder-Subtractor                  
 4-5  Decimal Adder                  
 4-6  Binary Multiplier                  
 4-7  Magnitude Comparator                  
 4-8  Decoders                  
 4-9  Encoders                  
 4-10 Multiplexers                  
 4-11 HDL For Combinational Circuits                  
 5 SYNCHRONOUS SEQUENTIAL LOCIC                  
 5-1  Sequential Circuits                  
 5-2  Latches                  
 5-3  Flip-Flops                  
 5-4  Analysis of Clocked Sequential Circuits                  
 5-5  HDL For Sequential Circuits                  
 5-6  State Reduction and Assignment                  
 5-7  Design Procedure                  
 6 RECISTERS AND COUNTERS                  
 6-1  Registers                  
 6-2  Shift Registers                  
 6-3  Ripple Counters                  
 6-4  Synchronous Counters                  
 6-5  Other Counters                  
 6-6  HDL for Registers and Counters                  
 7 MEMORY AND PROCRAMMABLE LOGIC                  
 7-1  Introduction                  
 7-2  Random-Access Memory                  
 7-3  Memory Decoding                  
 7-4  Error Detection and Correction                  
 7-5  Read-Only Memory                  
 7-6  Programmable Logic Array                  
 7-7  Programmable Array Logic                  
 7-8  Sequential Programmable Devices                  
 8 RECISTER TRANSFER LEVEL                  
 8-1  Register Transfer Level (RTL) Notation                  
 8-2  Register Transfer Level in HDL                  
 8-3  Algorithmic State Machines (ASM)                  
 8-4  Design Example                  
 8-5  HDL Description of Design Example                  
 8-6  Binary Multiplier                  
 8-7  Control Logic                  
 8-8  HDL Description of Binary Multiplier                  
 8-9  Design With Muitiplexers                  
 9 ASYNCHRONOUS SEQUENTlAL LOCIC                  
 9-1  Introduction                  
 9-2  Anaiysis Procedure                  
 9-3  Circuits With Latches                  
 9-4  Design Procedure                  
 9-5  Reduction of State and Flow Tables                  
 9-6  Race-Free State Assignment                  
 9-7  Hazards                  
 9-8  Design Exampie                  
 10 DICITAL INTECRATED CIRCUITS                  
 10-1  Introduction                  
 10-2  Special Characteristics                  
 10-3  Bipolar-Transistor Characteristics                  
 10-4  RTL and DTL Circuits                  
 10-5  Transistor-Transistor Logic (TTL)                  
 10-6  Emitter-Coupled Logic (ECL)                  
 10-7  Metal-Oxide Semiconductor (MOS)                  
 10-8  Complementary MOS (CMOS)                  
 10-9  CMOS Transmission Cate Circuits                  
 10-10 Switch-Lever Modeling With HDL                  
 11  LABORATORY EXPERIMENTS                  
 11-0 Introduction to Experiments                  
 11-1 Binary and Decimal Numbers                  
 11-2 Digital Logic Gates                  
 11-3 Simplification of Boolean Functions                  
 11-4 Combinational Circuits                  
 11-5 Code Conveners                  
 11-6 Design with Multiplexers                  
 11-7 Adders and Subtractors                  
 11-8 Flip-flops                  
 11-9 Sequential Circuits                  
 11-10 Counters                  
 11-11 Shift Registers                  
 11-12 Serial Addition                  
 11-13 Memory Unit                  
 11-14 Lamp Handball                  
 11-15 Clock-Pulse Cenerator                  
 11-16 Parallel Adder and Accumulator                  
 11-17 Binary Multiplier                  
 11-18 Asynchronous Sequential Circuits                  
 11-19 Verilog HDL Simulation Experiments                  
 12 STANDARD CRAPHIC SYMBOLS                  
 12-1 Rectangular-Shape Symbols                  
 12-2 Qualifying Symbols                  
 12-3 Dependency Notation                  
 12-4 Symbols For Combinational Elements                  
 12-5 Symbols For Flip-Flops                  
 12-6 Symbols For Registers                  
 12-7 Symbols For Counters                  
 12-8 Symbol For RAM                  
 ANSWERS TO SELECTED PROBLEMS                  
 INDEX