特色：
本书特点： ·本书是为高等学校计算机、电子工程等有关专业的研究生和高年级学生编写的教科书，着重介绍数字系统设计自动化各个领域的基础理论和*新发展。 ·本书的宗旨是：兼顾基本理论基础和*新发展技术，力求达到二者的平衡。对第1版中基本理论的内容大部分保留，同时有代表性地介绍*新的发展趋势和带有理论意义的一些内容。
本书是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 Ⅱ的使用方法。