| 摘要 | 第1-5页 |
| ABSTRACT | 第5-9页 |
| 1 绪论 | 第9-16页 |
| ·SoPC 仿真验证技术概述 | 第9-11页 |
| ·光纤通道的应用和前景 | 第11页 |
| ·国内外研究现状 | 第11-14页 |
| ·Xilinx Fibre Channel | 第12-13页 |
| ·MorethanIP Fibre Channel | 第13-14页 |
| ·本文研究目的、意义和组织结构 | 第14-16页 |
| 2 光纤通道控制器开发验证环境和流程 | 第16-22页 |
| ·开发验证环境 | 第16-17页 |
| ·系统设计和仿真流程 | 第17-20页 |
| ·FPGA 设计和仿真流程 | 第17-19页 |
| ·SoPC 设计和仿真流程 | 第19-20页 |
| ·本章小结 | 第20-22页 |
| 3 光纤通道控制器的设计概要 | 第22-28页 |
| ·光纤通道协议 | 第22-24页 |
| ·光纤通道控制器硬件系统设计原理 | 第24-25页 |
| ·光纤通道控制器IP 核的设计 | 第25-27页 |
| ·本章小结 | 第27-28页 |
| 4 光纤通道控制器验证平台设计及实现 | 第28-52页 |
| ·功能模块级验证 | 第28-38页 |
| ·帧校验模块的仿真验证 | 第29-30页 |
| ·状态机的仿真验证 | 第30-36页 |
| ·Stratix GX 收发器的仿真验证 | 第36-38页 |
| ·FC IP Core 验证 | 第38-46页 |
| ·自定义IP 核的验证 | 第39-41页 |
| ·等价性检验 | 第41-44页 |
| ·验证效果的评估 | 第44-46页 |
| ·系统级软硬件协同验证 | 第46-47页 |
| ·静态时序分析 | 第47-50页 |
| ·本章小结 | 第50-52页 |
| 5 仿真验证平台的激励和检测机制 | 第52-62页 |
| ·结构化 Testbench | 第52-54页 |
| ·基于断言的检测技术 | 第54-56页 |
| ·Verilog PLI 接口协同仿真 | 第56-59页 |
| ·多时钟域的仿真测试 | 第59-60页 |
| ·时钟抽象和信号同步 | 第60-61页 |
| ·本章小结 | 第61-62页 |
| 6 全文总结及展望 | 第62-64页 |
| 致谢 | 第64-65页 |
| 参考文献 | 第65-67页 |