| 摘要 | 第5-6页 |
| ABSTRACT | 第6-7页 |
| 缩略语对照表 | 第11-14页 |
| 第一章 绪论 | 第14-20页 |
| 1.1 研究背景 | 第14-16页 |
| 1.2 国内外验证现状和验证方法学发展史 | 第16-18页 |
| 1.3 研究内容与章节安排 | 第18-20页 |
| 第二章 VMM验证方法学和功能验证 | 第20-36页 |
| 2.1 VMM验证方法学 | 第20-24页 |
| 2.1.1 基于System Verilog的验证方法学 | 第20-21页 |
| 2.1.2 VMM提供的标准库 | 第21-22页 |
| 2.1.3 VMM标准验证环境基础架构 | 第22-24页 |
| 2.2 常用验证技术分类 | 第24页 |
| 2.3 动态验证技术 | 第24-27页 |
| 2.3.1 基于事件的验证 | 第24-25页 |
| 2.3.2 基于周期的验证 | 第25-26页 |
| 2.3.3 基于事务的验证 | 第26-27页 |
| 2.4 静态验证技术 | 第27-29页 |
| 2.4.1 静态代码检查 | 第27页 |
| 2.4.2 时序验证技术 | 第27-28页 |
| 2.4.3 形式验证 | 第28-29页 |
| 2.5 功能验证 | 第29-34页 |
| 2.5.1 功能验证概述 | 第30页 |
| 2.5.2 定向测试 | 第30-31页 |
| 2.5.3 可约束随机测试 | 第31-32页 |
| 2.5.4 断言验证技术 | 第32-33页 |
| 2.5.5 覆盖率驱动的验证 | 第33-34页 |
| 2.6 本章小结 | 第34-36页 |
| 第三章 LLC芯片设计功能研究 | 第36-52页 |
| 3.1 L2 Cache芯片的功能研究 | 第37-38页 |
| 3.2 L2 Cache芯片总体结构 | 第38-41页 |
| 3.3 L2 Cache主要功能模块研究 | 第41-49页 |
| 3.3.1 RCQ模块 | 第41-42页 |
| 3.3.2 LUQ模块 | 第42-49页 |
| 3.4 本章小结 | 第49-52页 |
| 第四章 四核十六线程验证平台的整体设计 | 第52-74页 |
| 4.1 平台开发流程 | 第52-53页 |
| 4.2 功能点分析 | 第53页 |
| 4.3 功能覆盖率建模 | 第53-55页 |
| 4.4 验证平台整体设计图 | 第55-56页 |
| 4.5 平台搭建过程 | 第56-64页 |
| 4.5.1 平台初始化配置 | 第56-58页 |
| 4.5.2 Transaction的设计 | 第58页 |
| 4.5.3 环境类(Environment)的设计 | 第58-60页 |
| 4.5.4 发生器(Generator)类的设计 | 第60页 |
| 4.5.5 驱动器类(Driver)的设计 | 第60-61页 |
| 4.5.6 监视器类(Monitor)的设计 | 第61-62页 |
| 4.5.7 记分板类(Scoreboard)的设计 | 第62-63页 |
| 4.5.8 参考模型类(Reference Model)的设计 | 第63-64页 |
| 4.6 验证平台综合仿真 | 第64页 |
| 4.7 验证结果分析 | 第64-69页 |
| 4.7.1 代码覆盖率报告分析 | 第65-67页 |
| 4.7.2 功能覆盖率报告分析 | 第67-69页 |
| 4.8 平台优化 | 第69-70页 |
| 4.9 Bug统计 | 第70-71页 |
| 4.10 可重用性研究 | 第71-72页 |
| 4.11 本章小结 | 第72-74页 |
| 第五章 总结与展望 | 第74-76页 |
| 5.1 总结 | 第74-75页 |
| 5.2 展望 | 第75-76页 |
| 参考文献 | 第76-78页 |
| 致谢 | 第78-80页 |
| 作者简介 | 第80-81页 |
