计算机科学与技术学科研究生系列教材：数字系统设计自动化（中文版）

　　第1章 概论
　　1.1 电子设计自动化技术发展的回顾
　　1.2 数字系统自动设计的流程
　　1.3 从EDA的角度观察VLS
　　1.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 进程71
　　2.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 交通灯控制器
　　第3章 模拟验证
　　第4章 逻辑综合
　　第5章 高层次综合
　　第6章 形式验证
　　第7章 测试与可测性设计
　　第8章 面向深亚微米工艺的EDA技术
　　第9章 用EDA工具设计集成电路
　　附录A VHDL预定义环境
　　附录B 英汉名词对照表

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

　　本书是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 Ⅱ的使用方法。