手机基带处理器系统控制单元的设计与验证
| 摘要 | 第1-6页 |
| ABSTRACT | 第6-11页 |
| 缩略语对照表 | 第11-15页 |
| 第一章 绪论 | 第15-23页 |
| ·SOC的研究背景和意义 | 第15-19页 |
| ·SOC的复位管理机制 | 第16-18页 |
| ·SOC设计和验证的研究背景 | 第18-19页 |
| ·SOC功能验证的发展现状及前景 | 第19-20页 |
| ·功能验证的发展现状 | 第19-20页 |
| ·功能验证的发展前景 | 第20页 |
| ·章节介绍 | 第20-23页 |
| 第二章 系统控制单元的设计 | 第23-39页 |
| ·系统控制单元的设计思想 | 第23-24页 |
| ·复位模块 | 第24-29页 |
| ·复位类型 | 第24-25页 |
| ·复位方式 | 第25-28页 |
| ·复位管理 | 第28-29页 |
| ·E-fuse模块 | 第29-32页 |
| ·E-fuse的工作原理 | 第29-31页 |
| ·E-fuse类型 | 第31-32页 |
| ·启动模块 | 第32-34页 |
| ·启动模块的工作原理 | 第32-33页 |
| ·启动类型 | 第33-34页 |
| ·看门狗模块 | 第34-35页 |
| ·看门狗的工作原理 | 第34页 |
| ·看门狗计数器 | 第34-35页 |
| ·中断模块 | 第35-37页 |
| ·中断的工作原理 | 第35-36页 |
| ·SCU的中断处理 | 第36-37页 |
| ·本章小结 | 第37-39页 |
| 第三章 系统控制单元的验证 | 第39-63页 |
| ·功能验证的原理 | 第39-41页 |
| ·系统控制单元的验证类型 | 第41页 |
| ·模块级验证 | 第41页 |
| ·系统级验证 | 第41页 |
| ·系统控制单元的验证规范和目标 | 第41-42页 |
| ·系统控制单元的验证规范 | 第41-42页 |
| ·系统控制单元的验证目标 | 第42页 |
| ·基于动态仿真的功能验证 | 第42-47页 |
| ·仿真的验证策略 | 第43-44页 |
| ·测试平台的架构 | 第44-45页 |
| ·测试实例的工作机制 | 第45-47页 |
| ·基于断言的形式验证 | 第47-62页 |
| ·模块级验证的重要意义 | 第47-48页 |
| ·基于断言的形式验证的工作原理 | 第48-50页 |
| ·基于断言的形式验证的设计思想 | 第50-51页 |
| ·基于断言的形式验证的实现 | 第51-62页 |
| ·本章小结 | 第62-63页 |
| 第四章 系统控制单元的验证结果 | 第63-77页 |
| ·复位模块的验证结果 | 第65-66页 |
| ·E-fuse模块的验证结果 | 第66-68页 |
| ·启动模块的验证结果 | 第68-69页 |
| ·看门狗模块的验证结果 | 第69-73页 |
| ·中断模块的验证结果 | 第73-74页 |
| ·覆盖率结果及分析 | 第74-75页 |
| ·本章小结 | 第75-77页 |
| 第五章 总结与展望 | 第77-79页 |
| 参考文献 | 第79-81页 |
| 致谢 | 第81-83页 |
| 作者简介 | 第83-84页 |
