| 致谢 | 第4-5页 |
| 摘要 | 第5-6页 |
| Abstract | 第6页 |
| 第一章 绪论 | 第12-20页 |
| 1.1 课题的研究背景及意义 | 第12-13页 |
| 1.2 验证技术总述 | 第13-16页 |
| 1.2.1 静态验证 | 第14-15页 |
| 1.2.2 仿真验证 | 第15-16页 |
| 1.2.3 FPGA验证 | 第16页 |
| 1.3 遗传算法在仿真验证中的应用 | 第16-19页 |
| 1.3.1 仿真验证的不同驱动 | 第16-18页 |
| 1.3.2 覆盖率驱动与遗传算法 | 第18-19页 |
| 1.4 课题内容及安排 | 第19-20页 |
| 1.4.1 课题主要内容 | 第19页 |
| 1.4.2 论文组织结构 | 第19-20页 |
| 第二章 覆盖率驱动的仿真验证系统 | 第20-28页 |
| 2.1 覆盖率驱动的仿真验证流程 | 第20-21页 |
| 2.2 SystemVerilog和VMM验证方法学 | 第21-23页 |
| 2.2.1 SystemVerilog简介 | 第21-22页 |
| 2.2.2 VMM验证方法学 | 第22-23页 |
| 2.3 覆盖率驱动类型 | 第23-25页 |
| 2.3.1 代码覆盖率驱动 | 第24页 |
| 2.3.2 功能覆盖率驱动 | 第24-25页 |
| 2.3.3 断言和功能覆盖率驱动 | 第25页 |
| 2.4 覆盖率驱动的随机向量生成技术 | 第25-28页 |
| 2.4.1 随机向量生成技术 | 第25-26页 |
| 2.4.2 覆盖率驱动与随机向量生成技术 | 第26-28页 |
| 第三章 基于简单遗传算法的覆盖率仿真验证 | 第28-40页 |
| 3.1 基于SGA的仿真验证思想 | 第28-31页 |
| 3.1.1 SGA算法简介 | 第28-29页 |
| 3.1.2 SGA嵌入仿真验证的方法 | 第29-30页 |
| 3.1.3 验证流程设计 | 第30-31页 |
| 3.2 编码方式和适应度函数设计 | 第31-34页 |
| 3.2.1 编码方式 | 第31-32页 |
| 3.2.2 适应度函数 | 第32-34页 |
| 3.3 遗传策略比较 | 第34-37页 |
| 3.3.1 选择策略 | 第34页 |
| 3.3.2 交叉策略 | 第34-35页 |
| 3.3.3 变异策略 | 第35-37页 |
| 3.4 SGA在验证环境中的实现 | 第37页 |
| 3.5 SGA实验结果与分析 | 第37-39页 |
| 3.5.1 个体保留代数 | 第37-38页 |
| 3.5.2 不同交叉策略下的仿真时间 | 第38-39页 |
| 3.5.3 不同变异策略下的仿真时间 | 第39页 |
| 3.6 本章小结 | 第39-40页 |
| 第四章 遗传算法中的精英策略在仿真验证中的应用 | 第40-51页 |
| 4.1 简单遗传算法的缺陷 | 第40-41页 |
| 4.1.1 海明悬崖 | 第40-41页 |
| 4.1.2 早熟现象 | 第41页 |
| 4.2 遗传算法中的精英个体研究 | 第41-42页 |
| 4.3 精英策略设计 | 第42-45页 |
| 4.3.1 生物界的精英策略提取 | 第42-43页 |
| 4.3.2 精英保留 | 第43页 |
| 4.3.3 精英交叉 | 第43-44页 |
| 4.3.4 适用于仿真验证的精英策略设计 | 第44-45页 |
| 4.4 精英向量集构建 | 第45-46页 |
| 4.4.1 精英向量集的思想 | 第45页 |
| 4.4.2 精英向量集的元素 | 第45-46页 |
| 4.4.3 精英向量集的结构 | 第46页 |
| 4.5 自适应的精英交叉概率函数设计 | 第46-47页 |
| 4.6 EGA嵌入仿真验证的方法 | 第47-49页 |
| 4.7 EGA实验结果与分析 | 第49-50页 |
| 4.7.1 不同精英向量集下的仿真时间 | 第49页 |
| 4.7.2 不同精英交叉概率下的仿真时间 | 第49-50页 |
| 4.8 本章小节 | 第50-51页 |
| 第五章 互相关函数硬件加速器的仿真验证 | 第51-61页 |
| 5.1 互相关函数硬件加速器简介 | 第51-53页 |
| 5.2 软件验证 | 第53-56页 |
| 5.2.1 Matlab与遗传算法 | 第53-54页 |
| 5.2.2 交叉概率和变异概率设置 | 第54页 |
| 5.2.3 遗传策略选择 | 第54页 |
| 5.2.4 实验结果与分析 | 第54-56页 |
| 5.3 硬件验证 | 第56-59页 |
| 5.3.1 场景层设计 | 第56-57页 |
| 5.3.2 功能层设计 | 第57-58页 |
| 5.3.3 指令层设计 | 第58页 |
| 5.3.4 实验结果与分析 | 第58-59页 |
| 5.4 本章小结 | 第59-61页 |
| 第六章 总结与展望 | 第61-63页 |
| 参考文献 | 第63-66页 |
| 作者简介 | 第66页 |