本书是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做系统设计》等。 薛宏熙清华大学计算机系教授。1962年毕业于清华大学自动控制系，毕业后在清华大学任教至今，其中1985年至1986年作为访问学者在加拿大多伦多大学进修。研究方向为数字系统设计自动化，包括模拟、逻辑综合、高层次综合、形式验证、软硬件协同设计、系统芯片设计工具研究等。出版著作有： 《数字系统计算机辅助设计》、《数字系统设计自动化》。译著有《VHDL简明教程》、《用VHDL设计电子线路》、《用SpecC做系统设计》、《数字逻辑与VHDL设计》等。 苏明博士，加拿大渥太华Synopsys公司高级工程师。1988年、1990年、1993年先后获得清华大学计算机系工学学士、硕士和博士学位。之后，先后为清华大学计算机系讲师，美国加州大学圣迭戈分校访问学者。研究方向为电路系统设计自动化，包括高层次综合、系统设计环境研究与开发、时序优化与压缩、自动布图及优化等。出版著作有《数字系统设计自动化》。作者简介数字系统设计自动化吴为民博士，清华大学计算机系副研究员。1989年获吉...