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

图书标准信息

• 作者 边计年 著
• 出版社 清华大学出版社
• 出版时间 2005-07
• 版次 2
• ISBN 9787302107590
• 定价 49.00元
• 装帧 平装
• 开本 16开
• 纸张 其他
• 页数 563页

【内容简介】

　　本书是1996年出版的《数字系统设计自动化》一书的第2版，是为高等学校计算机、电子工程等有关专业的研究生和高年级学生编写的教科书，着重介绍关于数字系统的电子设计自动化（ElectronicDesignAutomation，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的角度观察VLS
1.3.1VLSI的分类
1.3.2芯片布图模式
1.3.3可编程逻辑器件
1.4EDA的主要领域
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.2VHDL的基本结构
2.2.1VHDL模块模型
2.2.2对象及其数据类型
2.2.3表达式
2.2.4子程序——过程与函数
2.2.5程序包与设计库
2.3VHDL层次化结构模型
2.3.1实体声明
2.3.2元件例化
2.3.3配置指定
2.4VHDL的顺序行为描述
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.5VHDL的并行行为描述
2.5.1并行信号赋值语句
2.5.2并行断言语句
2.5.3并行过程调用语句
2.5.4决断信号
2.6VHDL行为模型的执行过程
2.6.1事项处理与事件
2.6.2信号赋值中的延迟处理
2.6.3模拟时钟与模拟周期
2.6.4实例
2.7VHDL的复合并行语句
2.7.1block语句
2.7.2生成语句
2.8大型电路设计举例
2.8.1交通灯控制器
第3章模拟验证
第4章逻辑综合
第5章高层次综合
第6章形式验证
第7章测试与可测性设计
第8章面向深亚微米工艺的EDA技术
第9章用EDA工具设计集成电路
附录AVHDL预定义环境
附录B英汉名词对照表