| 摘要 | 第1-5页 |
| ABSTRACT | 第5-10页 |
| 第一章 绪论 | 第10-20页 |
| ·课题背景及意义 | 第10-11页 |
| ·使用可编程器件的核电站安全重要I&C 系统的验证技术 | 第11-15页 |
| ·语法验证 | 第12-13页 |
| ·共因故障验证法 | 第13页 |
| ·防御设计验证法 | 第13页 |
| ·测试覆盖率验证法 | 第13-14页 |
| ·断言验证法 | 第14-15页 |
| ·核电站安全重要I&C 系统的可靠性分析方法 | 第15-19页 |
| ·Markov 模型 | 第16-17页 |
| ·动态流程图方法 | 第17页 |
| ·贝叶斯方法 | 第17-18页 |
| ·其他几种可靠性建模方法 | 第18-19页 |
| ·论文的主要内容与章节安排 | 第19-20页 |
| 第二章 处理器模件的硬件设计与验证分析 | 第20-32页 |
| ·处理器模件的硬件设计 | 第20-23页 |
| ·电源电路的设计 | 第21页 |
| ·复位电路的设计 | 第21-22页 |
| ·处理器模件的FPGA 电路设计 | 第22-23页 |
| ·前端总线的时序分析 | 第23-29页 |
| ·事务信息包A 和B 的结构 | 第23-24页 |
| ·事务段的时序分析 | 第24-29页 |
| ·系统验证环境的构成 | 第29-31页 |
| ·本章小结 | 第31-32页 |
| 第三章 前端总线接口的设计 | 第32-41页 |
| ·FSB 接口模块的功能设计 | 第32-33页 |
| ·处理器模件的存储器地址空间划分 | 第33页 |
| ·FSB 接口的读写事务状态机设计 | 第33-40页 |
| ·状态机 | 第33-34页 |
| ·接口的状态机设计思想 | 第34-36页 |
| ·读事务状态机的设计 | 第36-38页 |
| ·写事务状态机的设计 | 第38-40页 |
| ·本章小结 | 第40-41页 |
| 第四章 前端总线接口的验证 | 第41-57页 |
| ·前端总线接口的测试平台设计 | 第41-42页 |
| ·测试用例的选取及仿真结果 | 第42-48页 |
| ·共因故障验证 | 第48-51页 |
| ·防御设计验证 | 第51-52页 |
| ·断言验证 | 第52-53页 |
| ·测试覆盖率验证 | 第53-55页 |
| ·仿真脚本的编写 | 第55页 |
| ·本章小结 | 第55-57页 |
| 第五章 基于Markov 模型的前端总线接口的可靠性分析 | 第57-64页 |
| ·FPGA 的故障模式 | 第57-58页 |
| ·前端总线FPGA 的Markov 模型 | 第58-62页 |
| ·稳态可用度数学模型 | 第59-60页 |
| ·平均无故障时间数学模型 | 第60-62页 |
| ·计算结果分析 | 第62-63页 |
| ·本章小结 | 第63-64页 |
| 第六章结束语 | 第64-66页 |
| ·总结 | 第64页 |
| ·展望 | 第64-66页 |
| 参考文献 | 第66-69页 |
| 致谢 | 第69-70页 |
| 攻读硕士学位期间已发表或录用的论文 | 第70-72页 |