| 致谢 | 第1-7页 |
| 摘要 | 第7-9页 |
| Abstract | 第9-19页 |
| 第1章 绪论 | 第19-29页 |
| ·研究背景与意义 | 第19-22页 |
| ·功能验证技术面临的挑战 | 第22-25页 |
| ·本文研究内容及主要创新点 | 第25-27页 |
| ·本文研究内容 | 第25-26页 |
| ·本文主要创新点 | 第26-27页 |
| ·本文组织架构 | 第27-29页 |
| 第2章 功能验证技术研究现状 | 第29-40页 |
| ·验证技术分类 | 第29-34页 |
| ·基于仿真的验证方法 | 第29-32页 |
| ·静态分析验证方法 | 第32页 |
| ·形式化验证方法 | 第32-33页 |
| ·验证方法对比总结 | 第33-34页 |
| ·基于软件仿真的功能验证方法 | 第34-39页 |
| ·验证平台技术 | 第35-36页 |
| ·验证激励生成技术 | 第36-38页 |
| ·结果检测技术 | 第38页 |
| ·覆盖率技术 | 第38-39页 |
| ·本章小结 | 第39-40页 |
| 第3章 基于虚拟SoC平台的IP交设计验证方法 | 第40-70页 |
| ·概述 | 第40-42页 |
| ·相关研究工作介绍 | 第42-43页 |
| ·基于虚拟SoC平台的IP交设计验证整体流程与方法 | 第43-44页 |
| ·基于正交划分的IP通用AHB总线接口设计 | 第44-48页 |
| ·AHB总线与目标SoC系统架构 | 第45-46页 |
| ·IP通用AHB总线接口设计 | 第46-48页 |
| ·基于SPIRIT标准的IP描述与系统集成 | 第48-53页 |
| ·SPIRIT标准 | 第49-50页 |
| ·基于SPIRIT标准的IP设计描述 | 第50-53页 |
| ·虚拟SoC平台架构 | 第53-59页 |
| ·TLM验证组件集 | 第54-55页 |
| ·VIP验证组件集 | 第55-58页 |
| ·激励任务接口 | 第58-59页 |
| ·IP验证激励正交优化方法及生成流程 | 第59-63页 |
| ·IP验证激励正交优化方法 | 第59-60页 |
| ·IP通信接口验证用例生成流程优化 | 第60-62页 |
| ·IP逻辑功能验证用例生成流程优化 | 第62-63页 |
| ·实验结果与分析 | 第63-68页 |
| ·通用AHB总线接口的配置与实现 | 第63-64页 |
| ·IP验证结果与分析 | 第64-68页 |
| ·基于SPIRIT标准的IP系统集成 | 第68页 |
| ·本章小结 | 第68-70页 |
| 第4章 嵌入式处理器仿真模型设计与系统调用转换方法 | 第70-87页 |
| ·时钟精确的处理器仿真模型设计方法 | 第70-77页 |
| ·CKCore嵌入式处理器 | 第71-73页 |
| ·处理器功能单元建模方法 | 第73-74页 |
| ·基于逆向流水的处理器流水线结构建模方法 | 第74-76页 |
| ·处理器仿真模型与目标仿真程序 | 第76-77页 |
| ·处理器仿真模型中系统调用直通通道转换方法 | 第77-83页 |
| ·系统调用的一般实现过程 | 第77-79页 |
| ·系统调用直通通道转换方法 | 第79-83页 |
| ·SPARK仿真模型中系统调用转换直通通道的实现与结果 | 第83-86页 |
| ·"读(read())"系统调用的转换实现 | 第84-85页 |
| ·部分其他系统调用的转换实现 | 第85-86页 |
| ·本章小结 | 第86-87页 |
| 第5章 嵌入式处理器功能验证平台与仿真流程研究 | 第87-106页 |
| ·传统处理器验证方法学 | 第87-88页 |
| ·新型处理器验证方法 | 第88-89页 |
| ·新型处理器验证平台架构及设计方法 | 第89-98页 |
| ·验证语言选择 | 第90-92页 |
| ·验证用例设计方法 | 第92-94页 |
| ·随机激励生成器与资源库 | 第94页 |
| ·信号层验证子平台与结果检测 | 第94-96页 |
| ·覆盖率分类建模与统计 | 第96-97页 |
| ·基于覆盖率反馈的激励调整策略 | 第97-98页 |
| ·嵌入式处理器功能验证的动态仿真流程方法 | 第98-103页 |
| ·验证平台调度中心与主控流程 | 第99-100页 |
| ·动态仿真流程控制台与流程 | 第100-102页 |
| ·完整验证流程方法 | 第102-103页 |
| ·实验结果与分析 | 第103-105页 |
| ·本章小结 | 第105-106页 |
| 第6章 基于层次化架构的处理器随机激励生成方法 | 第106-122页 |
| ·相关研究工作介绍 | 第106-107页 |
| ·处理器功能空间层次化建模方法与验证资源库 | 第107-113页 |
| ·处理器硬件定制 | 第108-109页 |
| ·场景配置库 | 第109-111页 |
| ·功能操作库 | 第111-113页 |
| ·层次化约束架构与随机激励生成 | 第113-119页 |
| ·场景层约束与场景流生成 | 第114-116页 |
| ·功能层约束与功能流生成 | 第116-118页 |
| ·指令流生成 | 第118-119页 |
| ·实验结果与分析 | 第119-121页 |
| ·激励效率比较 | 第119-121页 |
| ·设计故障发现率比较 | 第121页 |
| ·本章小结 | 第121-122页 |
| 第7章 总结与展望 | 第122-125页 |
| ·论文研究工作总结 | 第122-124页 |
| ·本文局限与未来工作展望 | 第124-125页 |
| 参考文献 | 第125-132页 |
| 附录A IP通用AHB接口从设备接口信号列表 | 第132-133页 |
| 附录B IP通用AHB接口主设备接口信号列表 | 第133-135页 |
| 附录C CKCore指令集及分类 | 第135-136页 |
| 作者简历 | 第136页 |
| 攻读博士学位期间发表/录用的学术论文 | 第136页 |
| 攻读博士学位期间获得授权的国家发明专利 | 第136页 |
