| 致谢 | 第5-7页 |
| 摘要 | 第7-9页 |
| Abstract | 第9-10页 |
| 1. 绪论 | 第16-26页 |
| 1.1 课题背景及意义 | 第16-21页 |
| 1.2 本文研究内容和主要创新点 | 第21-25页 |
| 1.2.1 本文研究内容 | 第22-24页 |
| 1.2.2 本文主要创新点 | 第24-25页 |
| 1.3 本文架构 | 第25-26页 |
| 2. 国内外研究现状 | 第26-42页 |
| 2.1 多核处理器功能验证技术研究现状 | 第26-35页 |
| 2.1.1 形式验证 | 第26-30页 |
| 2.1.2 硬件加速验证 | 第30页 |
| 2.1.3 基于仿真的验证方法 | 第30-33页 |
| 2.1.4 三种功能验证方法总结与比较 | 第33-35页 |
| 2.2 基于遗传算法的覆盖率驱动测试产生器研究现状 | 第35-37页 |
| 2.3 基于聚类算法的测试排序技术研究现状 | 第37-39页 |
| 2.4 多核处理器的参考模型研究现状 | 第39-42页 |
| 3. 基于遗传算法的覆盖率驱动测试产生器 | 第42-60页 |
| 3.1 遗传算法简介 | 第42-43页 |
| 3.2 测试编码方法 | 第43-45页 |
| 3.3 遗传算法的参数确定 | 第45-53页 |
| 3.2.1 适应度函数 | 第47-48页 |
| 3.2.2 测试集合的大小 | 第48-49页 |
| 3.2.3 初始测试集合与终止条件 | 第49页 |
| 3.2.4 选择算子 | 第49-50页 |
| 3.2.5 交叉算子和变异算子 | 第50-53页 |
| 3.4 实验结果及分析 | 第53-59页 |
| 3.3.1 实验设置 | 第53-54页 |
| 3.3.2 基于CK810双核处理器的实验 | 第54-57页 |
| 3.3.3 基于CK810四核处理器的实验 | 第57-59页 |
| 3.5 本章小结 | 第59-60页 |
| 4. 基于k均值算法的测试排序技术研究 | 第60-84页 |
| 4.1 聚类算法 | 第60-62页 |
| 4.2 标准k均值算法简介 | 第62-65页 |
| 4.3 基于k均值算法的测试排序技术简介 | 第65-67页 |
| 4.4 基于预估覆盖率的数据点映射方法 | 第67-69页 |
| 4.5 改进k均值算法 | 第69-74页 |
| 4.6 测试排序技术 | 第74-77页 |
| 4.7 实验结果及分析 | 第77-82页 |
| 4.8 本章小结 | 第82-84页 |
| 5. 高效的对称多核处理器参考模型 | 第84-99页 |
| 5.1 CPU流水线模型 | 第85-86页 |
| 5.2 高速缓存一致性模型 | 第86-89页 |
| 5.3 依赖时序序列 | 第89-91页 |
| 5.4 实验结果及分析 | 第91-97页 |
| 5.4.1 实验平台 | 第91-92页 |
| 5.4.2 仿真速度 | 第92-93页 |
| 5.4.3 准确度分析 | 第93-97页 |
| 5.5 本章小结 | 第97-99页 |
| 6. 总结与展望 | 第99-101页 |
| 6.1 论文总结 | 第99-100页 |
| 6.2 未来工作展望 | 第100-101页 |
| 参考文献 | 第101-116页 |
| 作者简历 | 第116页 |