微电子与集成电路设计系列规划教材 SoC设计方法与实现 第3版 作者:郭炜,魏继增,郭筝等编著 出版时间:2017年版丛编项: 微电子与集成电路设计系列规划教材内容简介 本书是普通高等教育十一五”国家级规划教材、普通高等教育精品教材。本书结合SoC设计的整体流程,对SoC设计方法学及如何实现进行了全面介绍。全书共15章,主要内容包括:SoC设计绪论、SoC设计流程、SoC设计与EDA工具、SoC系统结构设计、IP复用的设计方法、RTL代码编写指南、同步电路设计及其与异步信号交互的问题、综合策略与静态时序分析方法、SoC功能验证、可测性设计、低功耗设计、后端设计、SoC中数模混合信号IP的设计与集成、I/O环的设计和芯片封装、课程设计与实验。书中不仅融入了很多来自于工业界的实践经验,还介绍了SoC设计领域的*新成果,可以帮助读者掌握工业化的解决方案,使读者能够及时了解SoC设计方法的*新进展。本书提供中英文电子课件。目录目 录第1章 SoC设计绪论/t11.1 微电子技术概述/t11.1.1 集成电路的发展/t11.1.2 集成电路产业分工/t21.2 SoC概述/t31.2.1 什么是SoC/t31.2.2 SoC的优势/t41.3 SoC设计的发展趋势及面临的挑战/t51.3.1 SoC设计技术的发展与挑战/t51.3.2 SoC设计方法的发展与挑战/t101.3.3 未来的SoC/t12本章参考文献/t12第2章 SoC设计流程/t132.1 软硬件协同设计/t132.1.1 软硬件协同设计方法/t132.2 基于标准单元的SoC设计流程/t152.3 基于FPGA的SoC设计流程/t192.3.1 FPGA的结构/t202.3.2 基于FPGA的设计流程/t23本章参考文献/t27第3章 SoC设计与EDA工具/t283.1 电子系统级设计与工具/t283.2 验证的分类及相关工具/t283.2.1 验证方法的分类/t293.2.2 动态验证及相关工具/t293.2.3 静态验证及相关工具/t303.3 逻辑综合及综合工具/t313.3.1 EDA工具的综合流程/t323.3.2 EDA工具的综合策略/t323.3.3 优化策略/t323.3.4 常用的逻辑综合工具/t333.4 可测性设计与工具/t333.4.1 测试和验证的区别/t333.4.2 常用的可测性设计/t333.5 布局布线与工具/t363.5.1 EDA工具的布局布线流程/t363.5.2 布局布线工具的发展趋势/t363.6 物理验证及参数提取与相关的工具/t363.6.1 物理验证的分类/t373.6.2 参数提取/t373.7 著名EDA公司与工具介绍/t393.8 EDA工具的发展趋势/t40本章参考文献/t41第4章 SoC系统结构设计/t424.1 SoC系统结构设计的总体目标与各个阶段/t424.1.1 功能设计阶段/t434.1.2 应用驱动的系统结构设计阶段/t434.1.3 平台导向的系统结构设计阶段/t434.2 SoC中常用的处理器/t434.2.1 通用处理器/t444.2.2 处理器的选择/t454.3 SoC中常用的总线/t454.3.1 AMBA总线/t464.3.2 CoreConnect总线/t474.3.3 Wishbone总线/t484.3.4 开放核协议/t484.3.5 复杂的片上总线结构/t494.4 SoC中典型的存储器/t504.4.1 存储器分类/t504.4.2 静态随机存储器SRAM/t514.4.3 动态随机存储器DRAM/t524.4.4 闪存Flash/t544.4.5 新型存储器/t544.5 多核SoC的系统结构设计/t574.5.1 可用的并发性/t574.5.2 多核SoC设计中的系统结构选择/t574.5.3 多核SoC的性能评价/t594.5.4 几种典型的多核SoC系统结构/t604.6 SoC中的软件结构/t624.7 电子系统级(ESL)设计/t644.7.1 ESL发展的背景/t644.7.2 ESL设计基本概念/t654.7.3 ESL设计的流程/t664.7.4 ESL设计的特点/t674.7.5 ESL设计的核心――事务级建模/t694.7.6 事务级建模语言简介及设计实例/t784.7.7 ESL设计的挑战/t91本章参考文献/t91第5章 IP复用的设计方法/t925.1 IP的基本概念和IP分类/t925.2 IP设计流程/t945.2.1 设计目标/t945.2.2 设计流程/t945.3 IP的验证/t995.4 IP核的选择/t1005.5 IP市场/t1015.6 IP复用技术面临的挑战/t1035.7 IP标准组织/t1045.8 基于平台的SoC设计方法/t1055.8.1 平台的组成与分类/t1065.8.2 基于平台的SoC设计方法流程与特点/t1065.8.3 基于平台的设计实例/t107本章参考文献/t108第6章 RTL代码编写指南/t1096.1 编写RTL代码之前的准备/t1096.1.1 与团队共同讨论设计中的问题/t1096.1.2 根据芯片架构准备设计说明书/t1096.1.3 总线设计的考虑/t1106.1.4 模块的划分/t1106.1.5 对时钟的处理/t1136.1.6 IP的选择及设计复用的考虑/t1136.1.7 对可测性的考虑/t1146.1.8 对芯片速度的考虑/t1156.1.9 对布线的考虑/t1156.2 可综合RTL代码编写指南/t1156.2.1 可综合RTL代码的编写准则/t1156.2.2 利用综合进行代码质量检查/t1186.3 调用Synopsys DesignWare来优化设计/t119本章参考文献/t120第7章 同步电路设计及其与异步信号交互的问题/t1217.1 同步电路设计/t1217.1.1 同步电路的定义/t1217.1.2 同步电路的时序收敛问题/t1217.1.3 同步电路设计的优点与缺陷/t1227.2 全异步电路设计/t1237.2.1 异步电路设计的基本原理/t1237.2.2 异步电路设计的优点与缺点/t1257.3 异步信号与同步电路交互的问题及其解决方法/t1257.3.1 亚稳态/t1267.3.2 异步控制信号的同步及其RTL实现/t1297.3.3 异步时钟域的数据同步及其RTL实现/t1337.4 SoC设计中的时钟规划策略/t137本章参考文献/t138第8章 综合策略与静态时序分析方法/t1398.1 逻辑综合/t1398.1.1 流程介绍/t1398.1.2 SoC设计中常用的综合策略/t1418.2 物理综合的概念/t1428.2.1 物理综合的产生背景/t1428.2.2 操作模式/t1438.3 实例――用Synopsys的工具Design Compiler (DC)进行逻辑综合/t1448.3.1 指定库文件/t1448.3.2 读入设计/t1458.3.3 定义工作环境/t1458.3.4 设置约束条件/t1468.3.5 设定综合优化策略/t1488.3.6 设计脚本举例/t1488.4 静态时序分析/t1508.4.1 基本概念/t1508.4.2 实例――用Synopsys的工具PrimeTime进行时序分析/t1538.5 统计静态时序分析/t1598.5.1 传统的时序分析的局限/t1608.5.2 统计静态时序分析的概念/t1608.5.3 统计静态时序分析的步骤/t161本章参考文献/t161第9章 SoC功能验证/t1629.1 功能验证概述/t1629.1.1 功能验证的概念/t1629.1.2 SoC功能验证的问题/t1639.1.3 SoC功能验证的发展趋势/t1639.2 功能验证方法与验证规划/t1639.3 系统级功能验证/t1659.3.1 系统级的功能验证/t1659.3.2 软硬件协同验证/t1679.4 仿真验证自动化/t1689.4.1 激励的生成/t1699.4.2 响应的检查/t1709.4.3 覆盖率的检测/t1709.5 基于断言的验证/t1719.5.1 断言语言/t1739.5.2 基于断言的验证/t1749.5.3 断言的其他用途/t1759.6 UVM验证方法学/t176本章参考文献/t179第10章 可测性设计/t18010.1 集成电路测试概述/t18010.1.1 测试的概念和原理/t18010.1.2 测试及测试矢量的分类/t18010.1.3 自动测试设备/t18110.2 故障建模及ATPG原理/t18210.2.1 故障建模的基本概念/t18210.2.2 常见故障模型/t18210.2.3 ATPG基本原理/t18510.2.4 ATPG的工作原理/t18510.2.5 ATPG工具的使用步骤/t18610.3 可测性设计基础/t18610.3.1 可测性的概念/t18610.3.2 可测性设计的优势和不足/t18810.4 扫描测试(SCAN)/t18810.4.1 基于故障模型的可测性/t18810.4.2 扫描测试的基本概念/t18910.4.3 扫描测试原理/t19010.4.4 扫描设计规则/t19210.4.5 扫描测试的可测性设计流程及相关EDA工具/t19310.5 存储器的内建自测/t19410.5.1 存储器测试的必要性/t19410.5.2 存储器测试方法/t19510.5.3 BIST的基本概念/t19610.5.4 存储器的测试算法/t19710.5.5 BIST模块在设计中的集成/t19910.6 边界扫描测试/t20110.6.1 边界扫描测试原理/t20110.6.2 IEEE 1149.1标准/t20110.6.3 边界扫描测试策略和相关工具/t20510.7 其他DFT技术/t20510.7.1 微处理器核的可测性设计/t20510.7.2 Logic BIST/t20710.8 DFT技术在SoC中的应用/t20810.8.1 模块级的DFT技术/t20810.8.2 SoC中的DFT应用/t209本章参考文献/t210第11章 低功耗设计/t21111.1 为什么需要低功耗设计/t21111.2 功耗的类型/t21211.3 低功耗设计方法/t21611.4 低功耗技术/t21711.4.1 静态低功耗技术/t21711.4.2 动态低功耗技术/t21911.4.3 门级优化技术/t22211.4.4 低功耗SoC系统的动态管理/t22511.4.5 低功耗SoC设计技术的综合考虑/t22611.5 低功耗分析和工具/t22611.6 UPF及低功耗设计实现/t22711.6.1 基于UPF的设计流程/t22811.6.2 UPF功耗描述文件举例/t22811.7 低功耗设计趋势/t229本章参考文献/t230第12章 后端设计/t23112.1 时钟树综合/t23112.2 布局规划/t23512.3 布线/t23712.4 ECO技术/t23912.5 功耗分析/t24012.6 信号完整性的考虑/t24112.6.1 信号完整性的挑战/t24112.6.2 压降和电迁移/t24312.6.3 信号完整性问题的预防、分析和修正/t24412.7 物理验证/t24512.8 可制造性设计/面向良品率的设计/t24612.8.1 DFM/DFY的基本概念/t24612.8.2 DFM/DFY方法/t24712.8.3 典型的DFM/DFY问题及解决方法/t24712.8.4 DFM/DFY技术的发展趋势/t25012.9 后端设计技术的发展趋势/t250本章参考文献/t251第13章 SoC中数模混合信号IP的设计与集成/t25213.1 SoC中的数模混合信号IP/t25213.2 数模混合信号 IP的设计流程/t25213.3 基于SoC复用的数模混合信号(AMS)IP包/t25413.4 数模混合信号(AMS)IP的设计及集成要点/t25413.4.1 接口信号/t25413.4.2 模拟与数字部分的整体布局/t25513.4.3 电平转换器的设计/t25513.4.4 电源的布局与规划/t25613.4.5 电源/地线上跳动噪声的消除/t25713.4.6 其他方面的考虑/t25713.5 数模混合IP在SoC设计中存在的问题和挑战/t25813.6 SoC混合集成的新趋势/t258本章参考文献/t261第14章 I/O环的设计和芯片封装/t26214.1 I/O单元介绍/t26214.2 高速I/O的噪声影响/t26214.3 静电保护/t26314.3.1 ESD的模型及相应的测试方法/t26414.3.2 ESD保护电路的设计/t26614.4 I/O环的设计/t26914.4.1 考虑对芯片的尺寸的影响/t26914.4.2 考虑对芯片封装的影响/t27014.4.3 考虑对噪声的影响/t27114.4.4 考虑对芯片ESD的影响/t27114.5 SoC芯片封装/t27114.5.1 微电子封装的功能/t27114.5.2 微电子封装的发展趋势/t27214.5.3 当前的封装技术/t27214.5.4 封装技术发展的驱动力/t274本章参考文献/t275第15章 课程设计/t27615.1 基于ESL设计方法的Motion-JPEG视频解码器设计/t27615.1.1 实验内容/t27615.1.2 实验准备工作/t27715.1.3 SoCLib ESL仿真平台及MJPEG解码流程的介绍/t27915.1.4 实验1 构建基于SoCLib的单核SoC/t28015.1.5 实验2 构建基于SoCLib的MPSoC/t28715.1.6 实验3 系统软件开发――嵌入式操作系统及设备驱动设计/t29315.1.7 实验4 面向MJPEG解码的MPSoC系统优化/t29415.2 实验――基于ARM7TDMI处理器的SoC设计/t29615.2.1 任务目标/t29615.2.2 设计参考/t29615.2.3 建议使用的EDA工具/t29715.2.4 基本SoC设计方案/t29715.2.5 实验要求/t29915.3 项目进度管理/t29915.3.1 项目任务与进度阶段/t29915.3.2 进度的管理/t300本章参考文献/t306附录A Pthread多线程编程接口/t307附录B SoCLib系统支持包/t310 上一篇: 微波集成电路 谢小强,徐跃杭,夏雷编著 2018年版 下一篇: 怎样读懂汽车电路图 刘建民,刘扬主编 2011年版