基于配置比特流的FPGA容错技术的研究
| 学位论文数据集 | 第1-5页 |
| 摘要 | 第5-7页 |
| ABSTRACT | 第7-15页 |
| 第一章 绪论 | 第15-23页 |
| ·研究背景及意义 | 第15-16页 |
| ·国内外研究现状 | 第16-21页 |
| ·国外FPGA容错技术研究现状 | 第17-19页 |
| ·国内FPGA容错技术研究现状 | 第19-21页 |
| ·课题研究的主要内容及大纲 | 第21-23页 |
| 第二章 FPGA故障类型及容错技术概述 | 第23-37页 |
| ·辐射效应 | 第23-24页 |
| ·SRAM型FPGA内部结构 | 第24-27页 |
| ·FPGA常见故障类型 | 第27-29页 |
| ·FPGA容错技术 | 第29-33页 |
| ·基于制造工艺的技术 | 第30页 |
| ·基于冗余的技术 | 第30-31页 |
| ·基于配置比特流的技术 | 第31-33页 |
| ·开发环境介绍 | 第33-37页 |
| ·硬件开发平台 | 第33-34页 |
| ·软件开发平台 | 第34-37页 |
| 第三章 基于回读验证的内部刷新容错方法 | 第37-51页 |
| ·Virtex-Ⅱ Pro FPGA配置原理 | 第37-42页 |
| ·配置内存 | 第37-39页 |
| ·配置比特流 | 第39-40页 |
| ·配置控制逻辑 | 第40-42页 |
| ·基于回读验证的故障检测、定位阶段 | 第42-48页 |
| ·位流回读 | 第42-46页 |
| ·位流比较 | 第46-48页 |
| ·基于内部刷新的故障修复阶段 | 第48-50页 |
| ·读取配置帧 | 第48-49页 |
| ·重载配置帧 | 第49-50页 |
| ·与其它刷新方法的比较 | 第50-51页 |
| 第四章 容错系统的设计、实现与验证 | 第51-91页 |
| ·容错硬件系统的设计 | 第51-55页 |
| ·硬件平台创建过程 | 第51-53页 |
| ·硬件系统整体结构 | 第53页 |
| ·主要硬件模块功能说明 | 第53-55页 |
| ·容错软件系统的设计 | 第55-78页 |
| ·软件平台的建立 | 第55-56页 |
| ·软件系统整体流程 | 第56-57页 |
| ·位流回读功能模块 | 第57-64页 |
| ·比对检错功能模块 | 第64-72页 |
| ·配置刷新功能模块 | 第72-78页 |
| ·容错系统的实现 | 第78-81页 |
| ·添加EDK嵌入式系统到ISE工程 | 第79-80页 |
| ·综合、实现、生成配置文件 | 第80-81页 |
| ·容错系统的验证 | 第81-91页 |
| ·基于ICAP的故障注入 | 第82页 |
| ·验证实例 | 第82页 |
| ·验证流程 | 第82-89页 |
| ·验证结果 | 第89-91页 |
| 第五章 总结与展望 | 第91-93页 |
| ·总结 | 第91页 |
| ·未来研究方向 | 第91-93页 |
| 参考文献 | 第93-97页 |
| 附录：实验结果记录 | 第97-101页 |
| 致谢 | 第101-103页 |
| 研究成果及发表的学术论文 | 第103-105页 |
| 作者及导师简介 | 第105-106页 |
| 附表 | 第106-107页 |
