| 摘要 | 第1-7页 |
| ABSTRACT | 第7-12页 |
| 缩略语对照表 | 第12-16页 |
| 第一章 绪论 | 第16-20页 |
| ·MCU芯片验证方法研究的的背景及意义 | 第16-17页 |
| ·国内外关于SoC验证方法的发展 | 第17-18页 |
| ·论文的主要内容及成果 | 第18-20页 |
| 第二章 当前SoC验证技术和验证流程介绍 | 第20-28页 |
| ·SoC验证技术 | 第20-23页 |
| ·FPGA的SoC原型验证 | 第20页 |
| ·SoC仿真验证 | 第20-21页 |
| ·形式化方法验证 | 第21-23页 |
| ·静态时序分析验证 | 第23页 |
| ·SoC验证层次 | 第23-24页 |
| ·SoC验证流程 | 第24-27页 |
| ·本章小结 | 第27-28页 |
| 第三章 ARM Cortex M0+核心和AMBA总线接口功能分析 | 第28-36页 |
| ·ARM Cortex M0+核心 | 第28-29页 |
| ·ARM Cortex M0+处理器介绍 | 第28页 |
| ·ARM Cortex M0+处理器结构 | 第28-29页 |
| ·ARM Cortex M0+处理器的优势 | 第29页 |
| ·AMBA总线接 | 第29-34页 |
| ·AHB-Lite总线 | 第30-33页 |
| ·APB总线 | 第33-34页 |
| ·本章小结 | 第34-36页 |
| 第四章 低功耗MCU设计中的验证平台设计 | 第36-58页 |
| ·MCU芯片系统级验证结构及特点 | 第36-37页 |
| ·AHB总线协议解码模块设计 | 第37-38页 |
| ·总线解码模块的作用 | 第37页 |
| ·AHB解码模块的设计 | 第37-38页 |
| ·CAPI交互验证技术 | 第38-42页 |
| ·CAPI技术设计 | 第38页 |
| ·CAPI指令执行设计 | 第38-40页 |
| ·CAPI反馈流程设计 | 第40页 |
| ·CAPI常用的宏定义和函数设计 | 第40-42页 |
| ·SoC验证运用CAPI实现控制设计及原理分析 | 第42-45页 |
| ·测试案例中CAPI控制运用 | 第42-43页 |
| ·验证平台上CAPI控制函数设计 | 第43-45页 |
| ·SoC验证运用CAPI实现交互通信设计及原理分析 | 第45-56页 |
| ·CAPI交互通信中的设计实例 | 第45-47页 |
| ·运用CAPI函数完成请求控制设计 | 第47-48页 |
| ·验证平台中邮箱函数准备数据设计 | 第48-50页 |
| ·DUT获得数据的过程设计 | 第50-54页 |
| ·反馈数据通道设计 | 第54-55页 |
| ·反馈数据查询提取设计 | 第55-56页 |
| ·本章小结 | 第56-58页 |
| 第五章 SPI通信模块的功能验证 | 第58-82页 |
| ·SPI模块介绍及工作原理 | 第58-62页 |
| ·SPI模块设计结构及特性 | 第58-59页 |
| ·SPI对外信号线介绍 | 第59-60页 |
| ·SPI模块中的寄存器功能设计 | 第60-62页 |
| ·MCU验证平台中SPI验证模块与CAPI的结合设计 | 第62-66页 |
| ·MCU中SPI验证测试案例的设计及结果分析 | 第66-80页 |
| ·SPI寄存器读写测试案例设计 | 第66-67页 |
| ·SPI模块主机发送测试案例设计 | 第67-72页 |
| ·SPI模块从机发送测试案例设计 | 第72页 |
| ·SPI最大波特率传输测试案例设计 | 第72-74页 |
| ·SPI模块中断响应测试案例设计 | 第74-77页 |
| ·SPI通过DMA发送接收测试案例设计 | 第77-78页 |
| ·SPI模块在等待模式唤醒SoC测试案例设计 | 第78-79页 |
| ·SPI模块在停止模式等待SoC唤醒测试案例设计 | 第79-80页 |
| ·本章小结 | 第80-82页 |
| 第六章 总结与展望 | 第82-84页 |
| 参考文献 | 第84-86页 |
| 致谢 | 第86-88页 |
| 作者简介 | 第88-89页 |
