覆盖率驱动的交换芯片验证方法研究
| 摘要 | 第5-7页 |
| ABSTRACT | 第7-8页 |
| 符号对照表 | 第12-13页 |
| 缩略语对照表 | 第13-17页 |
| 第一章 绪论 | 第17-23页 |
| 1.1 课题背景及研究的目的和意义 | 第17-18页 |
| 1.2 国内外研究现状分析 | 第18-21页 |
| 1.2.1 验证语言研究现状 | 第18-19页 |
| 1.2.2 验证方法研究现状 | 第19-20页 |
| 1.2.3 覆盖率验证技术的发展 | 第20-21页 |
| 1.3 课题研究的主要内容 | 第21-22页 |
| 1.4 论文的组织结构 | 第22-23页 |
| 第二章 覆盖率驱动的随机验证方法研究 | 第23-35页 |
| 2.1 随机验证 | 第23-27页 |
| 2.1.1 随机测试与定向测试 | 第23-24页 |
| 2.1.2 带约束的随机测试 | 第24-25页 |
| 2.1.3 基于UVM的随机方法学 | 第25-27页 |
| 2.2 覆盖率驱动的随机验证 | 第27-33页 |
| 2.2.1 代码覆盖率 | 第27-29页 |
| 2.2.2 功能覆盖率 | 第29-30页 |
| 2.2.3 断言覆盖率 | 第30-31页 |
| 2.2.4 验证完备性 | 第31-32页 |
| 2.2.5 验证漏洞率 | 第32-33页 |
| 2.3 本章小结 | 第33-35页 |
| 第三章 通信端口架构和验证策略 | 第35-49页 |
| 3.1 光纤通道交换机 | 第35-37页 |
| 3.2 通信端口功能分析 | 第37-40页 |
| 3.2.1 体系架构 | 第37-38页 |
| 3.2.2 功能介绍 | 第38-40页 |
| 3.3 覆盖率驱动的验证策略 | 第40-47页 |
| 3.3.1 模块验证重点 | 第40-41页 |
| 3.3.2 验证平台规划 | 第41-43页 |
| 3.3.3 覆盖率建模分析 | 第43-45页 |
| 3.3.4 激励产生方案 | 第45-46页 |
| 3.3.5 结果检查机制 | 第46-47页 |
| 3.4 本章小结 | 第47-49页 |
| 第四章 覆盖率驱动的验证环境实现 | 第49-67页 |
| 4.1 验证平台概述 | 第49-52页 |
| 4.1.1 基于事务级验证 | 第49-50页 |
| 4.1.2 UVM平台构建 | 第50-52页 |
| 4.2 验证平台组件设计 | 第52-65页 |
| 4.2.1 事务序列设计 | 第52-53页 |
| 4.2.2 驱动器设计 | 第53-55页 |
| 4.2.3 监视器设计 | 第55-57页 |
| 4.2.4 代理设计 | 第57-58页 |
| 4.2.5 参考模型设计 | 第58-59页 |
| 4.2.6 记分板设计 | 第59-60页 |
| 4.2.7 验证平台的集成 | 第60-61页 |
| 4.2.8 创建验证用例 | 第61-63页 |
| 4.2.9 覆盖率数据收集 | 第63-65页 |
| 4.3 本章小结 | 第65-67页 |
| 第五章 验证结果分析与讨论 | 第67-77页 |
| 5.1 随机测试仿真 | 第67-70页 |
| 5.1.1 测试仿真波形 | 第67-68页 |
| 5.1.2 测试仿真日志 | 第68-70页 |
| 5.2 覆盖率统计结果分析 | 第70-75页 |
| 5.2.1 代码覆盖率报告 | 第70-72页 |
| 5.2.2 功能覆盖率报告 | 第72-75页 |
| 5.3 本章小结 | 第75-77页 |
| 第六章 总结与展望 | 第77-79页 |
| 6.1 总结 | 第77-78页 |
| 6.2 展望 | 第78-79页 |
| 参考文献 | 第79-81页 |
| 致谢 | 第81-83页 |
| 作者简介 | 第83-84页 |
