基于SRAM型FPGA单粒子效应的故障传播模型

doi:10.3969/j.issn.0372-2112.2017.08.024

电子学报 ›› 2017, Vol. 45 ›› Issue (8): 1976-1984.DOI: 10.3969/j.issn.0372-2112.2017.08.024

基于SRAM型FPGA单粒子效应的故障传播模型

吴珊, 周学功, 王伶俐

复旦大学专用集成电路与系统国家重点实验室, 上海 201203

收稿日期:2016-03-31 修回日期:2016-06-27 出版日期:2017-08-25
- 通讯作者:
- 周学功
- 作者简介:
- 吴珊,女,硕士研究生,主要研究方向为FPGA布线、位流、SEU故障传播.E-mail:yvette53@163.com;王伶俐,男,教授,主要研究方向为集成电路与EDA算法设计、可重构计算与量子计算.E-mail:llwang@fudan.edu.cn
- 基金资助:
- 国家自然科学基金 (No.61131001）

SRAM-Based FPGA SEU Fault Propagation Model

WU Shan, ZHOU Xue-gong, WANG Ling-li

State Key Laboratory of ASIC and System, Fudan University, Shanghai 201203, China

Received:2016-03-31 Revised:2016-06-27 Online:2017-08-25 Published:2017-08-25
- Supported by:
- National Natural Science Foundation of China (No.61131001)

摘要/Abstract

摘要： SRAM型FPGA在辐射环境中易受到单粒子翻转的影响，造成电路功能失效.本文基于图论和元胞自动机模型，提出了一种针对SRAM型FPGA单粒子效应的电路故障传播模型.本文将单粒子翻转分为单位翻转和多位翻转来研究，因为多位翻转模型还涉及到了冲突处理的问题.本文主要改进了耦合度的计算方式，通过计算FPGA布局布线中的相关配置位，从而使得仿真的电路故障传播模型更接近于实际电路码点翻转的结果，与以往只计算LUT相关配置位的方法比较，平均优化程度为19.89%.最后阐述了本模型在故障防御方面的一些应用，如找出最易导致故障扩散的元胞.

关键词: 现场可编程门阵列, 单粒子翻转, 单位翻转, 多位翻转, 电路故障传播模型

Abstract: SRAM-based FPGA (Field Programmable Gate Array) could be affected by SEU (Single Event Upset) in radiation environment,causing circuit function failures.This paper proposes an SEU-induced fault propagation model for FPGAs based on the graph theory and the cellular automata.In addition,this paper divides SEU effect into two parts:SBU (Single-Bit Upset) and MBU (Multi-Bit Upset) because MBU has an extra problem about conflict management.The core part of this model is the computing method of the coupling degree which is based upon relative bits from FPGA placement and routing results to make the model more accurate.After validation between fault propagation model and fault injection experiment,this fault propagation model is 19.89% more relative to fault injection experiment than the fault propagation model only counting relative bits in LUT (Look Up Table).Finally,this paper analyses an application about this model to find cells most easily leading to fault diffusion.

Key words: field programmable gate array (FPGA), single event upset (SEU), single-bit upset (SBU), multi-bit upset (MBU), fault propagation model

中图分类号:

TN47

吴珊, 周学功, 王伶俐. 基于SRAM型FPGA单粒子效应的故障传播模型[J]. 电子学报, 2017, 45(8): 1976-1984.

WU Shan, ZHOU Xue-gong, WANG Ling-li . SRAM-Based FPGA SEU Fault Propagation Model[J]. Acta Electronica Sinica, 2017, 45(8): 1976-1984.

参考文献

[1] W Wu,N Seifert.MBU-Calc:A compact model for Multi-Bit Upset (MBU) SER estimation[A].IEEE International on Reliability Physics Symposium (IRPS)[C].Monterey,CA:2015.SE.2.1-SE.2.6.
[2] C Frenkel,J D Legat,D Bol.A Partial Reconfiguration-based scheme to mitigate Multiple-Bit Upsets for FPGAs in low-cost space applications[A].10th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC)[C].Bremen:2015.1-7.
[3] M Ebrahimi,M B Tahoori.Stepped parity:A low-cost multiple bit upset detection technique[A].IEEE International on Test Conference (ITC)[C].Anaheim,CA:2015.1-8.
[4] W Wei,K Namba,Y B Kim,F Lombardi.A novel scheme for tolerating Single Event/Multiple Bit Upsets (SE/MBU) in non-volatile memories[J].IEEE Transactions on Computers,2016,65(3):781-790.
[5] 郭红霞,罗尹虹,姚志斌,等.亚微米特征工艺尺寸静态随机存储器单粒子效应实验研究[J].原子能科学技术,2010,44(12):1498-1504. Guo Hongxia,Luo Yinhong,Yao Zhibin et al.Experimental research of SEU and SEL in high density SRAMs with sub-micron feature sizes[J].Atomic Energy Science and Technology,2010,44(12):1498-1504.(in Chinese)
[6] 吴军强,梁军.基于图论的故障诊断技术及其发展[J].机电工程,2003,05:188-190. Wu Junqiang,Liang Jun.Technology and development of fault diagnosis based on graph theory[J].Mechanical & Electrical Engineering Magazine,2003,05:188-190.(in Chinese)
[7] Yuan,Haibin,J Li,Q Wang.Research on directed fault propagation graph model and optimization[A].9th International Conference on Electronic Measurement & Instruments[C].Beijing:2009.241-245.
[8] Yuan Haibin.Development of simulation model based on directed fault propagation graph[A].International Conference on Computer Application and System Modeling (ICCASM)[C].Taiyuan:2010.686-690.
[9] F Yang,D Xiao,S L Shah.Signed directed graph-based hierarchical modelling and fault propagation analysis for large-scale systems[J].IET Control Theory & Applications,2013,7(4):537-550.
[10] Yan Xiaobo,Wang Yichen,Li Jianxing.Signal-component fault propagation model for embedded software[A].First International Conference on Reliability Systems Engineering (ICRSE)[C].Beijing:2015.1-8.
[11] M Halbach,R Hoffmann.Implementing cellular automata in FPGA logic[A].18th International on Parallel and Distributed Processing Symposium[C].Santa Fe,New Mexico:2004.258-262.
[12] S Murtaza,A G Hoekstra,P M A Sloot.Performance modeling of 2D cellular automata on FPGA[A].International Conference on Field Programmable Logic and Applications (FPL)[C].Amsterdam:2007.74-78.
[13] 吴继梅.基于元胞自动机的电路故障传播建模与应用研究[D].上海:东华大学,2008. Wu Jimei.Modeling and application of circuit fault propagation based on cellular automata[D].Shanghai:Donghua University,2008.(in Chinese)
[14] 何伟.SRAM型FPGA单粒子故障传播特性与测试方法研究[D].长沙:国防科学技术大学,2011. He Wei.Characteristic and testing methodology of SEE soft error propagation in SRAM-based FPGA[D].Changsha:National University of Defense Technology,2011.(in Chinese)
[15] Yan Xiaobo,Wang Yichen,Zhu Anzhi,Wang Yikun.A fault propagation model for embedded software[A].IEEE International Conference on Software Quality,Reliability and Security-Companion (QRS-C)[C].Vancouver,BC:2015.72-79.
[16] Y Wang,Hao Shi,Limin Jia,Shuai Lin,Lei Guo.Multi paths fault propagation model for network modeled system[A].11th World Congress on Intelligent Control and Automation (WCICA)[C].Shenyang:2014.5915-5920.
[17] 李果,高建民,高智勇,姜洪权.基于小世界网络的复杂系统故障传播模型[J].西安交通大学学报,2007,03:334-338. Li Guo,Gao Jianmin,Gao Zhiyong,Jiang Hongquan.Failure propagation model of complex system based on small world net[J].Journal of Xi'an Jiaotong University,2007,03:334-338.(in Chinese)
[18] Jianmin Gao,Guo Li,Zhiyong Gao.Fault propagation analysis for complex system based on small-world network model[A].RAMS on Reliability and Maintainability Symposium[C].Las Vegas,NV:2008.359-364.
[19] M M Ibrahim,K Asami,M Cho.Evaluation of SRAM based FPGA performance by simulating SEU through fault injection[A].6th International Conference on Recent Advances in Space Technologies (RAST)[C].Istanbul:2013.649-654.
[20] 刘智斌,王伶俐,周学功,等.基于动态局部重配置的FPGA抗辐射模拟[J].计算机工程,2010,36(14):218-220,226. Liu Zhibin,Wang Lingli,Zhou Xuegong et al.Radioresistance emulation of FPGA based on dynamic partial reconfiguration[J].Computer Engineering,2010,36(14):218-220,226.(in Chinese)
[21] K Ma,L Wang,X Zhou,S X D Tan,J Tong.General switch box modeling and optimization for FPGA routing architectures[A].International Conference on Field-Programmable Technology (FPT)[C].Beijing,2010.320-323.
[22] 江峻.FDP FPGA芯片可编程逻辑单元建模与故障测试[D].上海:复旦大学,2010.
[23] 复旦大学.FPGA/SOPC后端编译软件[简称:FDE软件] V1.0[CP/CD].著作权登记号:2013SR067117.

基于SRAM型FPGA单粒子效应的故障传播模型

SRAM-Based FPGA SEU Fault Propagation Model

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

[1]	黄赟, 张帆, 郭威, 陈立, 羊光. 一种基于数据标准差的卷积神经网络量化方法[J]. 电子学报, 2023, 51(3): 639-647.
[2]	唐维伟, 钟胜, 卢金仪, 颜露新, 谭富中, 邹旭, 徐文辉. 基于FPGA的Skynet网络结构优化及高时效实现[J]. 电子学报, 2023, 51(2): 314-323.
[3]	田春生, 陈雷, 王源, 王硕, 周婧, 张瑶伟, 庞永江, 周冲, 马筱婧, 杜忠, 薛钰. 面向FPGA的布局与布线技术研究综述[J]. 电子学报, 2022, 50(5): 1243-1254.
[4]	王鹏, 邹彬, 刘金枝, 周丹阳. 基于Xilinx型FPGA系统单粒子效应评估方法研究[J]. 电子学报, 2022, 50(11): 2716-2721.
[5]	黄正峰, 潘尚杰, 曹剑飞, 宋钛, 欧阳一鸣, 梁华国, 倪天明, 鲁迎春. 32nm CMOS工艺三点翻转自恢复锁存器设计[J]. 电子学报, 2021, 49(2): 394-400.
[6]	罗阳锦, 张升伟, 陆浩. 高光谱微波辐射计宽带高速数字系统设计[J]. 电子学报, 2021, 49(2): 380-386.
[7]	曹保锋, 郑毅, 李鹏, 张雪芹, 李欣, 李小强, 胡淼. 微弱电磁脉冲信号低失真度实时检测的FPGA实现[J]. 电子学报, 2019, 47(8): 1797-1802.
[8]	闵富红, 金秋森. 双忆阻Shinriki振荡器的超级多稳态和反单调性分析[J]. 电子学报, 2019, 47(11): 2263-2270.
[9]	王今雨, 伍卫国, 秦朝楠, 赵东方, 聂世强. UPRFloor:一种动态可重构FPGA建模方法与布局策略[J]. 电子学报, 2018, 46(12): 2862-2869.
[10]	王晶, 荣金叶, 周继芹, 于航, 申娇, 张伟功. 软硬件协同设计的SEU故障注入技术研究[J]. 电子学报, 2018, 46(10): 2534-2538.
[11]	王晶, 申娇, 丁利华, 杨星, 邱柯妮, 张伟功. 基于周期粒度的级间寄存器备份机制[J]. 电子学报, 2018, 46(10): 2486-2494.
[12]	赵雯, 郭晓强, 陈伟, 罗尹虹, 王汉宁. 纳米SRAM寄生双极晶体管效应的仿真研究[J]. 电子学报, 2018, 46(10): 2495-2503.
[13]	李冰, 周岑军, 陈帅, 吉建华. 用于SRAM PUFs的伪随机数发生器的FPGA实现[J]. 电子学报, 2017, 45(9): 2106-2112.
[14]	史方显, 曾立, 陈昱, 王淼, 占丰. 改进型高速高精度CORDIC算法及其在DDFS中的应用[J]. 电子学报, 2017, 45(2): 446-451.
[15]	张朝柱, 韩吉南, 燕慧智. 高速高精度固定角度旋转CORDIC算法的设计与实现[J]. 电子学报, 2016, 44(2): 485-490.