内容简介

本书是1996年出版的《数字系统设计自动化》一书的第2版，是为高等学校计算机、电子工程等有关专业的研究生和高年级学生编写的教科书，着重介绍关于数字系统的电子设计自动化（Electronic Design Automation，EDA）各个领域的基础理论和最新发展。第2版在第1版的基础上对大部分内容做了更新，力求反映最新发展。本书力求做到深入浅出而又不失严密性，其中包含作者多年来教学科研工作的成果。本书既为EDA工具的开发者提供理论基础，也为使用EDA工具的设计者提供必要的专业知识。

本书共分9章，第1章介绍EDA的各个领域概貌； 第2章介绍硬件描述语言，着重介绍VHDL，并简要介绍Verilog； 第3章介绍逻辑模拟和VHDL模拟技术，以及最新出现的硬件验证语言； 第4章介绍组合电路和时序电路的逻辑综合技术； 第5章介绍高层次综合技术； 第6章介绍等价性验证和模型检验的形式验证方法； 第7章简要介绍故障诊断和测试码生成的基本技术； 第8章介绍EDA领域的最新发展； 第9章介绍EDA工具MAX+plus Ⅱ的使用方法。

作者简介

边计年，清华大学计算机系教授，博士生导师。1970年毕业于清华大学自动控制系，毕业后在清华大学任教至今，其中1985年至1986年作为访问学者在日本京都大学进修。研究方向为面向系统芯片(SOC)的系统设计方法学，包括系统描述、软硬件划分与通信综合、与布图结合的高层次综合、系统协同设计与验证等。出版著作有《数字系统计算机辅助设计》、《数字系统设计自动化》、《超大规模集成电路计算机辅助设计技术》等。译著有《用VHDL设计电子线路》、《数字逻辑与VHDL设计》、《嵌入式系统的描述与设计》、《用SpecC做系统设计》等。

目录

第1章 概论

1.1 电子设计自动化技术发展的回顾1.2 数字系统自动设计的流程1.3 从EDA的角度观察VLS1.3.1 VLSI的分类1.3.2 芯片布图模式1.3.3 可编程逻辑器件1.4 EDA的主要领域1.4.1 硬件描述语言1.4.2 模拟验证1.4.3 综合技术1.4.4 数字系统形式验证1.4.5 测试诊断1.4.6 版图设计1.4.7 数据库1.5 集成电路快速发展对设计自动化的挑战与机遇本章小结习题参考文献第2章 硬件描述语言2.1 硬件描述2.1.1 电路模型的描述2.1.2 硬件描述语言2.2 VHDL的基本结构2.2.1 VHDL模块模型2.2.2 对象及其数据类型2.2.3 表达式2.2.4 子程序——过程与函数2.2.5 程序包与设计库2.3 VHDL层次化结构模型2.3.1 实体声明2.3.2 元件例化2.3.3 配置指定2.4 VHDL的顺序行为描述2.4.1 进程712.4.2 顺序信号赋值语句2.4.3 变量赋值语句2.4.4 条件控制语句2.4.5 循环控制语句2.4.6 顺序断言语句2.4.7 顺序过程调用2.4.8 返回语句2.4.9 空语句2.5 VHDL的并行行为描述2.5.1 并行信号赋值语句2.5.2 并行断言语句2.5.3 并行过程调用语句2.5.4 决断信号2.6 VHDL行为模型的执行过程2.6.1 事项处理与事件2.6.2 信号赋值中的延迟处理2.6.3 模拟时钟与模拟周期2.6.4 实例2.7 VHDL的复合并行语句2.7.1 block语句2.7.2 生成语句2.8 大型电路设计举例2.8.1 交通灯控制器

2.8.2用有限自动机描述系统行为103

2.9Verilog语言简介109

2.9.1Verilog基本组成109

2.9.2Verilog结构描述111

2.9.3对象类型与常数112

2.9.4基本行为模型——进程112

2.9.5持续赋值与过程赋值114

2.9.6控制语句115

2.9.7任务与函数116

2.9.8顺序语句块和并行语句块118

2.9.9混合描述举例120