本书是为高等学校计算机、电子工程等有关专业的研究生和高年级学生编写的教科书,着重介绍数字系统设计自动化各个领域的基础理论和最新发展。
本书共九章,第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Ⅱ的使用方法。