本书是为高等学校计算机、电子工程等有关专业的研究生和高年级学生编写的教科书，着重介绍数字系统设计自动化各个领域的基础理论和最新发展。

本书共九章，第2章在介绍硬件描述语言VHDL的同时，对Verillog也作了简要的介绍。第3章中在介绍传统的逻辑模拟和VHDL模拟算法之外,还介绍了为提供模拟测试基准而最新出现的硬件验证语言Jada，目的是给读者提供新的概念。在综合技术方面保留了逻辑模拟和高层模拟的基本理论和算法，此外还增加了时延驱动综合的内容，介绍了如何在综合和再综合过程中考虑互连线引起的延迟，并简要介绍了软硬件协同设计的内容，单独作为第8章。形式验证部分是发展最快的领域之一，一些技术如基于BDD的等价性验证和符号模型检验已经得到实际应用，这一部分内容基本是重写的。最后，为了使读者掌握使用工具的方法，在最后一章中介绍了EDA工具MAX+pIusll，介绍其基本使用方法，以及常见电路实用的可综合描述方法。

本书是1996年出版的《数字系统设计自动化》一书的第2版，是为高等学校计算机、电子工程等有关专业的研究生和高年级学生编写的教科书，着重介绍关于数字系统的电子设计自动化(ElectronicDesign Automation，EDA)各个领域的基础理论和最新发展。第2版在第1版的基础上对大部分内容做了更新，力求反映最新发展。本书力求做到深入浅出而又不失严密性，其中包含作者多年来教学科研工作的成果。本书既为EDA工具的开发者提供理论基础，也为使用EDA工具的设计者提供必要的专业知识。  本书共分9章，第1章介绍EDA的各个领域概貌；第2章介绍硬件描述语言，着重介绍VHDL，并简要介绍Verilog；第3章介绍逻辑模拟和VHDI。模拟技术，以及最新出现的硬件验证语言；第4章介绍组合电路和时序电路的逻辑综合技术；第5章介绍高层次综合技术；第6章介绍等价性验证和模型检验的形式验证方法；第7章简要介绍故障诊断和测试码生成的基本技术；第8章介绍EDA领域的最新发展；第9章介绍。EDA工具MAX+plusⅡ的使用方法。