集成电路EDA技术：集成电路系统设计、验证与测试

　　第1部分  介绍
　　第1章  引言
　　  1.1  集成电路电子设计自动化简介
　　  1.2  系统级设计
　　  1.3  微体系结构设计
　　  1.4  逻辑验证
　　  1.5  测试
　　  1.6  RTL到GDSII，综合、布局和布线
　　  1.7  模拟和混合信号设计
　　  1.8  物理验证
　　  1.9  工艺计算机辅助设计
　　  参考文献
　　第2章  IC设计流程和EDA
　　  2.1  绪论
　　  2.2  验证
　　  2.3  实  现
　　  2.4  可制造性设计
　　  参考文献
　　第2部分  系统级设计
　　第3章  系统级设计中的工具和方法
　　  3.1  绪论
　　  3.2  视频应用的特点
　　  3.3  其他应用领域
　　  3.4  平台级的特点
　　  3.5  基于模型的设计中计算和工具的模型
　　  3.6  仿真
　　  3.7  软、硬件的协同综合
　　  3.8  总结
　　  参考文献
　　第4章  系统级定义和建模语言
　　  4.1  绪论
　　  4.2  特定领域语言和方法的调研
　　  4.3  异构平台及方法学
　　  4.4  总结
　　  参考文献
　　第5章  SOC基于模块的设计和IP集成
　　  5.1  IP复用和基于模块设计的经济性问题
　　  5.2  标准总线接口
　　  5.3  基于声明验证的使用
　　  5.4  IP配置器和生成器的使用
　　  5.5  设计集成和验证的挑战
　　  5.6  SPIRIT XML数据手册提案
　　  5.7  总结
　　  参考文献
　　第6章  多处理器的片上系统设计的性能评估方法
　　  6.1  绪论
　　  6.2  对于系统设计流程中性能评估的介绍
　　  6.3  MPSoC性能评估
　　  6.4  总结
　　  参考文献
　　第7章  系统级电源管理
　　   7.1  绪论
　　  7.2  动态电源管理
　　  7.3  电池监控动态电源管理
　　  7.4  软件级动态电源管理
　　  7.5  总结
　　  参考文献
　　第8章  处理器建模和设计工具
　　  8.1  绪论
　　  8.2  使用ADL进行处理器建模
　　  8.3  ADL驱动方法
　　  8.4  总结
　　  参考文献
　　第9章  嵌入式软件建模和设计
　　  9.0  摘要
　　  9.1  绪论
　　  9.2  同步模型和异步模型
　　  9.3  同步模型
　　  9.4  异步模型
　　  9.5  嵌入式软件模型的研究
　　  9.6  总结
　　  参考文献
　　第10章  利用性能指标为IC设计选择微处理器内核
　　  10.1  绪论
　　  10.2  作为基准点测试平台的ISS
　　  10.3  理想与实际处理器基准的比较
　　  10.4  标准基准类型
　　  10.5  以往的性能级别MIPS、MOPS和MFLOPS
　　  10.6  经典的处理器基准（早期）
　　  10.7  现代处理器性能基准
　　  10.8  可配置性处理器和处理器内核基准的未来
　　  10.9  总结
　　  参考文献
　　第11章  并行高层次综合：一种高层次综合的代码转换方法
　　  11.1  绪论
　　  11.2  技术发展水平的背景及调研
　　  11.3  并行HLS
　　  11.4  SPARK PHLS框架
　　  11.5  总结
　　  参考文献
　　第3部分  微体系结构设计
　　第4部分  逻辑验证
　　第5部分  测试

　　    《集成电路EDA技术：集成电路系统设计、验证与测试》内容涵盖了IC设计过程和EDA，系统级设计方法与工具，系统级规范与建模语言，SoC的IP设计，MPSoC设计的性能验证方法，处理器建模与设计工具，嵌入式软件建模与设计，设计与验证语言，数字仿真，并详细分析了基于声明的验证，DFT，而且专门探讨了ATPG，以及模拟和混合信号测试等，《集成电路EDA技术：集成电路系统设计、验证与测试》还为IC测试提供了方便而全面的参考。
　　    《集成电路EDA技术：集成电路系统设计、验证与测试》可作为从事电子科学与技术、微电子学与固体电子学以及集成电路工程的技术人员和科研人员即以高等院校师生的常备参考书。