基于VMM的光纤通道验证平台研究
| 摘要 | 第5-6页 |
| ABSTRACT | 第6页 |
| 第一章 绪论 | 第10-13页 |
| 1.1 选题依据及研究意义 | 第10-11页 |
| 1.2 国内外研究现状和发展态势 | 第11页 |
| 1.3 课题内容及论文结构 | 第11-13页 |
| 第二章 VMM验证方法学 | 第13-24页 |
| 2.1 SystemVerilog简介 | 第13-19页 |
| 2.1.1 受约束的随机激励 | 第13-14页 |
| 2.1.2 可重复利用性 | 第14页 |
| 2.1.3 接口（interface） | 第14-15页 |
| 2.1.4 特定的内部连接机制 | 第15-16页 |
| 2.1.5 测试案例和功能覆盖率 | 第16-18页 |
| 2.1.6 与软件语言的接 | 第18页 |
| 2.1.7 断言(SVA) | 第18-19页 |
| 2.2 VMM验证方法学 | 第19-22页 |
| 2.2.1 VMM验证方法学架构 | 第19-21页 |
| 2.2.2 VMM验证方法学的不同阶段 | 第21-22页 |
| 2.3 VMM标准库介绍 | 第22-23页 |
| 2.4 本章小结 | 第23-24页 |
| 第三章 光纤通道点对点的实现及验证环境的整体设计 | 第24-43页 |
| 3.1 FC模块点对点整体设计方案 | 第24-27页 |
| 3.1.1 FC模块架构设计 | 第24-25页 |
| 3.1.2 FC发送端数据流 | 第25-26页 |
| 3.1.3 FC接收端数据流 | 第26-27页 |
| 3.2 接收通道 | 第27-32页 |
| 3.2.1 有序集检测 | 第27-29页 |
| 3.2.2 帧接收控制逻辑 | 第29-32页 |
| 3.3 发送通道 | 第32-36页 |
| 3.3.1 帧发送引擎 | 第32-35页 |
| 3.3.2 CRC检验 | 第35页 |
| 3.3.3 发送状态机 | 第35-36页 |
| 3.4 端口状态机 | 第36-40页 |
| 3.5 流量控制 | 第40-42页 |
| 3.7 本章小结 | 第42-43页 |
| 第四章 光纤通道验证环境总体及模块设计 | 第43-61页 |
| 4.1 FC光纤通道验证环境的整体设计 | 第43-44页 |
| 4.2 数据类的设计 | 第44-46页 |
| 4.3 接口的设计 | 第46-48页 |
| 4.4 配置类的设计 | 第48-49页 |
| 4.5 发生器的设计 | 第49-51页 |
| 4.6 驱动器的设计 | 第51-54页 |
| 4.6.1 驱动器的运行 | 第51-53页 |
| 4.6.2 发送函数 | 第53-54页 |
| 4.7 监视器的设计 | 第54-57页 |
| 4.7.1 监视器的运行 | 第54-55页 |
| 4.7.2 解析函数 | 第55-56页 |
| 4.7.3 接收帧数据函数 | 第56-57页 |
| 4.8 回调的设计 | 第57-58页 |
| 4.9 记分板的设计 | 第58-59页 |
| 4.10 环境类的设计 | 第59-60页 |
| 4.11 本章小结 | 第60-61页 |
| 第五章 测试案例及结果分析 | 第61-73页 |
| 5.1 验证工具介绍 | 第61页 |
| 5.2 测试案例程序以及顶层模块 | 第61-64页 |
| 5.3 验证的运行 | 第64-66页 |
| 5.4 VCS运行结果及分析 | 第66-72页 |
| 5.4.1 配置 | 第66页 |
| 5.4.2 帧信息的生成 | 第66-67页 |
| 5.4.3 发生器的建立及帧数据的生成 | 第67-68页 |
| 5.4.4 驱动器的运行状态 | 第68-70页 |
| 5.4.5 监视器的接收 | 第70-71页 |
| 5.4.6 记分板的对比 | 第71页 |
| 5.4.7 wrap_up及总结 | 第71-72页 |
| 5.4.8 代码覆盖率 | 第72页 |
| 5.5 本章小结 | 第72-73页 |
| 第六章 总结与展望 | 第73-75页 |
| 6.1 论文总结 | 第73页 |
| 6.2 不足与改进 | 第73-75页 |
| 致谢 | 第75-76页 |
| 参考文献 | 第76-78页 |
| 攻硕期间研究成果 | 第78-79页 |
