| 中文摘要 | 第1-4页 |
| Abstract | 第4-6页 |
| 目录 | 第6-9页 |
| 第一章 绪论 | 第9-17页 |
| ·引言 | 第9-10页 |
| ·论文选题背景及意义 | 第10-12页 |
| ·国内外研究现状 | 第12-13页 |
| ·论文相关研究工作 | 第13-14页 |
| ·论文的内容安排 | 第14-17页 |
| 第二章 SoC软硬件协同设计验证策略及结构框架 | 第17-25页 |
| ·SoC软硬件协同设计验证策略 | 第17-22页 |
| ·软硬件协同设计验证目的 | 第17-18页 |
| ·软硬件协同设计验证方法流程 | 第18-21页 |
| ·软硬件协同设计验证环境 | 第21-22页 |
| ·软硬件协同设计验证整体结构框架 | 第22-24页 |
| ·本章小结 | 第24-25页 |
| 第三章 基于ARM架构SoC的IP/模块级协同验证 | 第25-35页 |
| ·基于ARM的SoC系统架构 | 第25-27页 |
| ·SoC系统设计架构 | 第25-26页 |
| ·ARM处理器及片上AMBA总线 | 第26-27页 |
| ·SoC片上IP资源 | 第27页 |
| ·单IP/模块级验证设计 | 第27-34页 |
| ·基于AVM的IP/模块验证方法 | 第28-29页 |
| ·单IP/模块的验证平台构建 | 第29-30页 |
| ·基于规范生成验证用例 | 第30-31页 |
| ·带约束的随机向量生成 | 第31-32页 |
| ·验证覆盖率及可追溯性机制 | 第32-34页 |
| ·验证结果分析 | 第34页 |
| ·本章小结 | 第34-35页 |
| 第四章 基于ARM的SoC系统原型验证 | 第35-63页 |
| ·原型验证策略 | 第35-38页 |
| ·原型验证的目的及挑战 | 第35-36页 |
| ·原型验证的实施方案 | 第36-37页 |
| ·针对两种不同原型验证方案的对比分析 | 第37-38页 |
| ·基于软件平台的系统虚拟原型验证 | 第38-47页 |
| ·虚拟原型验证流程 | 第39-40页 |
| ·虚拟原型验证环境 | 第40-41页 |
| ·虚拟原型验证过程 | 第41-47页 |
| ·基于FPGA的系统原型验证 | 第47-60页 |
| ·基于FPGA原型验证的目的 | 第47页 |
| ·基于FPGA原型验证的挑战 | 第47-49页 |
| ·基于FPGA原型验证流程 | 第49-50页 |
| ·基于FPGA原型验证环境 | 第50-53页 |
| ·原型验证实施过程 | 第53-60页 |
| ·本章总结 | 第60-63页 |
| 第五章 基于ARM嵌入式操作系统的SoC协同验证 | 第63-83页 |
| ·基于ARM的实时操作系统协同验证 | 第63-64页 |
| ·实时操作系统介绍 | 第63页 |
| ·实时操作系统特点及优势 | 第63-64页 |
| ·基于μC/OS-Ⅱ的协同验证 | 第64-71页 |
| ·μC/OS-Ⅱ系统内核移植条件 | 第64-65页 |
| ·基于ARM处理器的μC/OS-Ⅱ内核移植 | 第65-68页 |
| ·基于μC/OS-Ⅱ内核验证应用程序设计 | 第68-69页 |
| ·基于μC/OS-Ⅱ内核验证结果 | 第69-71页 |
| ·基于μ CLinux的协同验证 | 第71-80页 |
| ·μCLinux系统特点 | 第71页 |
| ·基于μCLinux内核移植框架 | 第71-72页 |
| ·搭建μ CLinux开发环境 | 第72页 |
| ·基于μCLinux BootLoader程序开发 | 第72-75页 |
| ·基于μCLinux内核的编译及移植 | 第75-77页 |
| ·基于μCLinux的验证应用程序开发 | 第77-80页 |
| ·操作系统验证小结 | 第80-83页 |
| 结论 | 第83-85页 |
| 一、研究工作总结 | 第83-84页 |
| 二、问题分析及展望 | 第84-85页 |
| 参考文献 | 第85-91页 |
| 攻读硕士学位期间取得的科研成果 | 第91-93页 |
| 致谢 | 第93页 |