| 摘要 | 第1-6页 |
| Abstract | 第6-9页 |
| 第1章 绪论 | 第9-16页 |
| ·研究背景及意义 | 第9-11页 |
| ·研究现状及发展趋势 | 第11-14页 |
| ·手工编写验证激励 | 第11-12页 |
| ·基于可满足性求解（SAT）的激励生成技术 | 第12-13页 |
| ·基于二元判定图（BDD）的激励生成技术 | 第13-14页 |
| ·主要研究内容 | 第14页 |
| ·论文组织结构 | 第14-16页 |
| 第2章 基于总线协议的数字系统设计及验证技术 | 第16-32页 |
| ·列车通信网络控制器介绍 | 第16-18页 |
| ·MVB 网络 | 第17页 |
| ·WTB 网络 | 第17-18页 |
| ·基于 Wishbone 总线的 MVB 网卡设计 | 第18-26页 |
| ·Wishbone 总线的选取 | 第18-19页 |
| ·Wishbone 总线连接方式 | 第19-22页 |
| ·基于 Wishbone 总线的 MVB 主卡设计 | 第22-26页 |
| ·基于 PC/104 总线的板级设计 | 第26-29页 |
| ·PC/104 总线的选取 | 第26-27页 |
| ·PC/104 的连接方式 | 第27-28页 |
| ·基于 PC/104 总线的板级设计 | 第28-29页 |
| ·接口协议验证方法 | 第29-31页 |
| ·传统协议验证方法介绍 | 第29-30页 |
| ·传统接口协议验证方法的缺陷 | 第30页 |
| ·面向总线接口协议的验证技术 | 第30-31页 |
| ·本章小结 | 第31-32页 |
| 第3章 基于 NEFSM 的总线接口协议验证方案 | 第32-44页 |
| ·有限状态机 FSM 数学模型 | 第32-34页 |
| ·非确定扩展有限状态机 NEFSM 数学模型 | 第34-35页 |
| ·NEFSM 的实现 | 第35-37页 |
| ·总线协议建模 | 第35-36页 |
| ·验证激励生成步骤 | 第36-37页 |
| ·偏置方法 | 第37-39页 |
| ·字级偏置 | 第38-39页 |
| ·事务级/转移级偏置 | 第39页 |
| ·SystemVerilog 中的断言技术 | 第39-42页 |
| ·NEFSM 编译器与 DPI 编程接口 | 第42-43页 |
| ·DPI 编程接口 | 第42页 |
| ·NEFSM 编译器 | 第42-43页 |
| ·本章小结 | 第43-44页 |
| 第4章 验证平台的搭建及验证结果分析 | 第44-57页 |
| ·VMM 验证方法学 | 第44-49页 |
| ·SystemVerilog 语言 | 第44-46页 |
| ·VMM 类库 | 第46-49页 |
| ·基于 NEFSM 的 VMM 验证平台架构 | 第49-54页 |
| ·VMM 验证架构 | 第50-52页 |
| ·基于 NEFSM 验证平台的改进 | 第52-53页 |
| ·验证平台组件结构 | 第53-54页 |
| ·验证结果分析 | 第54-56页 |
| ·验证软硬件配置 | 第54页 |
| ·验证结果 | 第54-55页 |
| ·技术性能分析 | 第55-56页 |
| ·本章小结 | 第56-57页 |
| 结论 | 第57-59页 |
| 参考文献 | 第59-63页 |
| 攻读硕士学位期间发表的论文及取得的科研成果 | 第63-64页 |
| 致谢 | 第64页 |