发表于2024-10-31
数字系统设计自动化 2024 pdf epub mobi 电子书
图书标签: 硬件
本书是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 Ⅱ的使用方法。
数字系统设计自动化 2024 pdf epub mobi 电子书