| 摘要 | 第1-6页 |
| ABSTRACT | 第6-12页 |
| 第一章 绪论 | 第12-18页 |
| ·SoC 验证相关背景 | 第12页 |
| ·SoC 设计面临的验证挑战 | 第12-17页 |
| ·验证速度问题 | 第13-15页 |
| ·软硬件协同验证问题 | 第15-17页 |
| ·本文的章节组织 | 第17-18页 |
| 第二章 混合建模方法的软硬件协同验证环境总体设计思想 | 第18-44页 |
| ·已经出现的多种软硬件协同验证手段 | 第18-23页 |
| ·CPU 建模方式 | 第19-21页 |
| ·主机代码方式 | 第19页 |
| ·ISS 方式 | 第19-20页 |
| ·实际微处理器芯片的方式 | 第20-21页 |
| ·SoC 中 IP 的建模方式 | 第21-23页 |
| ·事务级 | 第21-23页 |
| ·仿效 | 第23页 |
| ·基于混合建模方法的 SoC 协同验证方法设计思想 | 第23-27页 |
| ·设计验证流程 | 第24-25页 |
| ·混合建模的协同验证原理 | 第25-27页 |
| ·ARMulator 接口 | 第26页 |
| ·事务级接口 | 第26页 |
| ·仿效的实现和接口 | 第26-27页 |
| ·验证环境的具体实现架构 | 第27-41页 |
| ·ARM 软件集成开发环境与 ARMulator | 第28-30页 |
| ·SystemC 事务级模型 | 第30-32页 |
| ·BFM | 第32-35页 |
| ·BFM 的功能 | 第32-34页 |
| ·AHB 总线的 BFM | 第34-35页 |
| ·仿效模型 | 第35-36页 |
| ·软硬接口 SCE-MI | 第36-40页 |
| ·SCE-MI 协议背景 | 第36页 |
| ·SCE-MI 功能及接口 | 第36页 |
| ·SCE-MI 总体功能描述 | 第36-37页 |
| ·SCE-MI 的三类使用者 | 第37-38页 |
| ·SCE-MI 中事务器与受控时钟的概念 | 第38-39页 |
| ·SCE-MI 使用流程 | 第39-40页 |
| ·SCE-MI 宏单元 | 第40页 |
| ·总结 | 第40-41页 |
| ·验证流程及本验证环境的优点 | 第41-43页 |
| ·SoC 功能验证最敏感的验证速度问题 | 第41页 |
| ·软硬件协同验证能力 | 第41-42页 |
| ·全系统验证 | 第42页 |
| ·合理的验证流程 | 第42-43页 |
| ·验证环境系统总体设计思想总结 | 第43-44页 |
| 第三章 SCE-MI 协议实现相关设计 | 第44-57页 |
| ·Linker 软件 | 第44-48页 |
| ·协议要求 | 第44-45页 |
| ·具体实现方案 | 第45-48页 |
| ·Linker 的底层函数 | 第45-47页 |
| ·Linker 的处理流程 | 第47-48页 |
| ·时钟和时钟控制模块的实现 | 第48-54页 |
| ·协议要求 | 第48页 |
| ·时钟控制模块的具体实现 | 第48-54页 |
| ·设计难点——门控时钟的实现 | 第49页 |
| ·时钟控制模块的输入输出 | 第49-50页 |
| ·时钟控制模块的内部控制逻辑 | 第50-51页 |
| ·时钟控制模块的仿真结果 | 第51-54页 |
| ·SCE-MI 软件方动态链接库 | 第54-56页 |
| ·动态链接库简介 | 第54-55页 |
| ·动态链接库的编译 | 第55-56页 |
| ·小结 | 第56-57页 |
| 第四章 BFM 和 ISS 接口相关设计 | 第57-73页 |
| ·BFM 设计 | 第57-66页 |
| ·AHB 总线简介 | 第57-60页 |
| ·BFM 功能说明 | 第60-61页 |
| ·BFM 输入输出端口 | 第61-62页 |
| ·BFM 内部逻辑设计 | 第62-65页 |
| ·状态机 1 | 第62-63页 |
| ·状态机 2 | 第63-64页 |
| ·状态机 3 | 第64-65页 |
| ·BFM 仿真结果 | 第65-66页 |
| ·ARMulator 接口设计 | 第66-72页 |
| ·ARMulator 与 RTL 模型的同步策略 | 第67-68页 |
| ·与 ARMulator 通信部分的实现 | 第68-71页 |
| ·ARMulator 组成 | 第68-69页 |
| ·编写用户自定义的外设模块 | 第69-71页 |
| ·配置 ARMulator | 第71页 |
| ·与 SCE-MI 的接口 | 第71-72页 |
| ·小结 | 第72-73页 |
| 第五章 协同验证环境下 AC3 音频解码 SoC 的验证 | 第73-85页 |
| ·AC3 解码系统介绍 | 第73-76页 |
| ·AC3 音频格式介绍 | 第73页 |
| ·AC3 解码系统架构 | 第73-74页 |
| ·AC3 解码 IP | 第74-76页 |
| ·DAC | 第76页 |
| ·AC3 系统在协同验证环境下的建模及验证 | 第76-81页 |
| ·AC3 系统验证目标 | 第76-77页 |
| ·具体验证环境的建立 | 第77-81页 |
| ·软件建模过程 | 第77-80页 |
| ·硬件建模过程 | 第80-81页 |
| ·验证结果及分析 | 第81-85页 |
| ·验证结果 | 第81-83页 |
| ·结果分析 | 第83-85页 |
| 第六章 结论 | 第85-87页 |
| 致谢 | 第87-88页 |
| 参考文献 | 第88-90页 |
| 攻硕期间取得的成果 | 第90-91页 |
