基于Xilinx型FPGA系统单粒子效应评估方法研究

doi:10.12263/DZXB.20211362

电子学报 ›› 2022, Vol. 50 ›› Issue (11): 2716-2721.DOI: 10.12263/DZXB.20211362

基于Xilinx型FPGA系统单粒子效应评估方法研究

王鹏¹^,², 邹彬²^,³, 刘金枝¹^,², 周丹阳¹^,²

^1.中国民航大学安全科学与工程学院, 天津 300300
^2.中国民航大学民航航空器适航审定技术重点实验室, 天津 300300
^3.中国民航大学电子信息与自动化学院, 天津 300300

收稿日期:2021-10-09 修回日期:2022-03-06 出版日期:2022-11-25
- 作者简介:
- 王　鹏男，1982年8月出生于新疆.现为中国民航大学工信部-民航局适航审定技术与管理研究中心副主任、博士生导师.主持和承担C919等各类型号攻关等横向课题近20项，发表论文40余篇，出版专著3部，译著1部，获批和申请专利授权10项.E-mail: pwang_cauc@163.com
  邹　彬（通讯作者）女，1997年4月出生于山东省威海市.现为中国民航大学研究生.主要研究方向为机载电子设备硬件设计.E-mail: bzou_2015@163.com
  刘金枝女，1988年9月出生于河北省沧州市.现为中国民航大学讲师.主要研究方向为航电设备适航.E-mail: ljzhebut@126.com
  周丹阳女，1997年3月出生于河南省洛阳市.现为中国民航大学研究生.主要研究方向为机载电子设备硬件设计.E-mail: geekzdy@163.com
- 基金资助:
- 中央高校基本科研业务费项目 (3122019168)

Study on Single Event Effect Evaluation Method Based on Xilinx FPGA System

WANG Peng¹^,², ZOU Bin²^,³, LIU Jin-zhi¹^,², ZHOU Dan-yang¹^,²

^1.School of Safety Science and Engineering，Civil Aviation University of China，Tianjin 300300，China
^2.Key Laboratory of Aircraft Airworthiness Certification Technology，Civil Aviation University of China，Tianjin 300300，China
^3.School of Electronic Information and Automation，Civil Aviation University of China，Tianjin 300300，China

Received:2021-10-09 Revised:2022-03-06 Online:2022-11-25 Published:2022-11-19

摘要/Abstract

摘要：

Virtex-5系列芯片没有官方提供的专用软错误缓解（Soft Error Mitigation，SEM）IP核，需自行设计故障注入系统.本文选用XC5VFX130T型现场可编程门阵列（Field Programmable Gate Array，FPGA）芯片利用单帧部分重构功能达到等同于SEM IP故障注入效果，实现对FPGA电路系统的抗单粒子翻转能力评估测试.利用逐位注入故障模式对XC5VFX130T型FPGA的配置位逐个注入故障，获得待评估电路的敏感配置位信息；对待测电路进行三模冗余防护加固，利用累积故障注入模式连续随机注入模拟单粒子辐照试验环境，得到待评估电路的功能中断截面，进而实现对基于XC5VFX130T型FPGA系统的抗单粒子翻转加固效果的评估.研究表明，基准电路（移位寄存器链等）评估得到的功能中断截面与实际辐照试验中的功能中断截面曲线变化一致，为机载电子的单粒子效应适航评估提供了支持.

关键词: FPGA（Field Programmable Gate Array）, 部分重构, 单粒子翻转, 逐位注入, 三模冗余, 累积故障注入, 功能中断截面

Abstract:

The Virtex-5 series chips do not have an official soft error mitigation(SEM) IP core, so they need to design their own fault injection system.The XC5VFX130T field programmable gate array(FPGA) chip is selected to achieve the effect equivalent to SEM IP fault injection with the single-frame partial reconstruction function, and the single-event upset resistance of FPGA circuit system is evaluated and tested.The configuration bits of XC5VFX130T FPGA are injected one by one in bitwise injection fault mode to obtain the sensitive configuration bit information of the circuit to be evaluated.The test circuit was reinforced with three-mode redundancy protection, and the cumulative fault injection mode was used to simulate the single-particle irradiation test environment. The functional interruption section of the circuit to be evaluated was obtained, and then the anti-single-event upset reinforcement effect of XC5VFX130T FPGA system was evaluated.The study shows that the function interruption cross section of reference circuit such as shift register chain is consistent with the change of function interruption cross section curve of actual irradiation test, which provides support for the airworthiness evaluation of airborne electron with single event effect.

Key words: FPGA(Field Programmable Gate Array), partial reconstruction, single event upset, bit by bit injection, triple modular redundancy, cumulative fault injection, functional interruption cross section

中图分类号:

TN406

王鹏, 邹彬, 刘金枝, 周丹阳. 基于Xilinx型FPGA系统单粒子效应评估方法研究[J]. 电子学报, 2022, 50(11): 2716-2721.

WANG Peng, ZOU Bin, LIU Jin-zhi, ZHOU Dan-yang. Study on Single Event Effect Evaluation Method Based on Xilinx FPGA System[J]. Acta Electronica Sinica, 2022, 50(11): 2716-2721.

图/表 12

参考文献 24

1	ALDERIGHI M, MANCINI M, et al. A fault injection tool for SRAM-based FPGAs[C]//ANGELO S. 9th IEEE On-Line Testing Symposium. Kos: IEEE, 2016: 129-133.
2	方金木. 航天应用FPGA可靠性设计技术研究[D]. 西安: 西安电子科技大学, 2014.
3	王鹏, 芦浩, 刘金枝, 薛茜男, 金志威. 基于协同进化的航空高度单粒子翻转故障生成方法研究[J]. 现代电子技术, 2019, 42(16): 112-116, 121.
4	张伟. 脉冲激光模拟半导体分立器件单粒子效应的实验研究[D]. 哈尔滨: 哈尔滨工业大学, 2013.
5	GIL P J, BLANC S. A fault hypothesis study on the TTP/C using VHDL-based and pin-level fault injection techniques[C]//BLANC S. 17th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems. Vancouver: IEEE, 2003: 63-79.
6	ARLAT J, COSTES A, CROUZET Y, et al. Fault injection and dependability evaluation of fault-tolerant systems[J]. Computers IEEE Transactions on, 1993, 42(8): 913-923.
7	BALDINII A, BENSO A, PRINETTO P. "Bond": An agents-based fault injector for windows NT[C]//CHIUSANO S. Proceedings IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems. Yamanashi, Japan: IEEE, 2003: 111-123.
8	杨道宁. SRAM型FPGA单粒子效应故障注入测试方法关键技术研究[D]. 长沙: 国防科学技术大学, 2013.
9	王梦茹, 周珊, 薛盼盼, 孔璐, 王金波. 基于SEM IP和部分重配置的SRAM型FPGA单粒子故障注入[J]. 微电子学与计算机, 2021, 38(08): 8-12.
10	陈志辉, 章淳, 王颖, 王伶俐. 一种FPGA抗辐射工艺映射方法研究[J]. 电子学报, 2011, 39(11): 2507-2512.
	CHEN Zhi-hui, ZHANG Chun, WANG Ying, WANG Ling-li. An FPGA robust technology mapping method[J]. Acta Electronica Sinica, 2011, 39(11): 2507-2512. (in Chinese)
11	王晶, 荣金叶, 周继芹, 于航, 申娇, 张伟功. 软硬件协同设计的SEU故障注入技术研究[J].电子学报, 2018, 46(10): 2534-2538.
	WANG Jing, RONG Jin‑ye, ZHOU Ji‑qin, YU Hang, SHEN Jiao, ZHANG Wei‑gong. The research on softwarehardware co‑designed SEU fault‑injection technology[J].Acta Electronica Sinica, 2018, 46(10): 2534‑2538. (in Chinese)
12	JENN E, ARLAT J, RIMEN M, et al. Fault injection into VHDL models: the MEFISTO tool[C]//KARLSSON J. Proceedings of IEEE 24th International Symposium on Fault-Tolerant Computing. Austin, Texas: IEEE, 1994: 66-75.
13	Xilinx发布65nm Virtex-5系列FPGA[J]. 电子产品世界, 2006, 12: 61-62.
14	高丽丽. 基于Xilinx V5的SAR-GMTI若干关键技术的实现[D]. 西安: 西安电子科技大学, 2012.
15	张皓, 裴玉奎. SRAM型FPGA中SEM IP核的验证与自动注错方法[J]. 半导体技术, 2017, 42(03): 223-228, 240.
16	JOHNSON E, CAFFERY M, GRAHAM P, et al. Accelerator validation of an FPGA SEU simulator[J]. IEEE Transactions on Nuclear Science, 2015, 50(6): 2147-2157.
17	Xilinx, Inc. Virtex-5 FPGA configuration user guide[EB/OL].(2020-07-28)[2021-9-07]..
18	支天, 杨海钢, 蔡刚, 秋小强, 李天文, 王新刚. 嵌入式存储器空间单粒子效应失效率评估方法研究[J]. 电子与信息学报, 2014, 36(12): 3035-3041.
19	吴圣陶. SRAM型FPGA单粒子翻转效应的故障注入系统研究[D]. 西安: 西安电子科技大学, 2011: 7-8.
20	宋凝芳, 秦姣梅, 潘雄, 江云天. SRAM型FPGA单粒子效应逐位翻转故障注入方法[J]. 北京航空航天大学学报, 2012, 38(10): 1285-1289.
21	BENTOUTOU Y. A real time EDAC system for applications onboard earth observation small satellites[J]. IEEE Transactions on Aerospace and Electronic Systems, 2012, 48(1): 648-657.
22	ZHANG R, XIAO L, LI J, et al. A fault injection platform supporting both SEU and multiple SEUs for SRAM-Based FPGA[J]. IEEE Transactions on Device and Materials Reliability, 2018, 18(4): 599-605.
23	黄建国, 韩建伟, 林云龙, 黄治, 路秀琴, 张新, 符长波. 一种SEU实验数据的处理方法[J]. 空间科学学报, 2002, 22(03): 268-274.
24	MURTHY D N P, BULMER M, ECCLESTON J A. Weibull model selection for reliability modeling[J]. Reliability Engineering& System Safety, 2004, 86(3): 257-267.

CFG_OUT	1111000100	进入配置总线进行回读
CFG_IN	1111000101	进入配置总线进行配置
JPROGRAM	1111001011	与PROGRAM指令作用相同

CFG_OUT	1111000100	进入配置总线进行回读
CFG_IN	1111000101	进入配置总线进行配置
JPROGRAM	1111001011	与PROGRAM指令作用相同

LET值(MeV·cm²/mg)	4.06,9.01,21.8,42,97
Fluence(ion/cm²)	10000000
Flux(ion/(s·cm²))	100
SEU Type	Single,Ajacent Column

LET值(MeV·cm²/mg)	4.06,9.01,21.8,42,97
Fluence(ion/cm²)	10000000
Flux(ion/(s·cm²))	100
SEU Type	Single,Ajacent Column

LET/(MeV·cm²/mg)	单比特功能中断截面
LET/(MeV·cm²/mg)	16×512移位寄存器	TMR16×512移位寄存器
4.06	0.000273	0.00018
9.01	0.001563	0.000345
21.8	0.00191	0.001312
42	0.002948	0.001637
97	0.011062	0.006562

基于Xilinx型FPGA系统单粒子效应评估方法研究

Study on Single Event Effect Evaluation Method Based on Xilinx FPGA System

RichHTML

PDF

可视化

摘要/Abstract

引用本文

使用本文

图/表 12

参考文献 24

相关文章 9

编辑推荐

Metrics

LET (MeV·cm²/mg)	翻转截面/(cm²/bit)
LET (MeV·cm²/mg)	普通	TILL	SEM	DICE	ST
13.4	3.870E-08	0.000E+00	6.800E-09	4.300E-09	4.660E-09
22.5	4.710E-08	0.000E+00	1.570E-08	1.570E-08	1.420E-08
37.3	5.030E-08	0.000E+00	2.560E-08	2.270E-08	2.400E-08
42.0	5.050E-08	2.125E-09	2.630E-08	2.300E-08	3.000E-08
75.4	5.080E-08	1.813E-08	3.060E-08	2.420E-08	4.160E-08

[1]	黄正峰, 潘尚杰, 曹剑飞, 宋钛, 欧阳一鸣, 梁华国, 倪天明, 鲁迎春. 32nm CMOS工艺三点翻转自恢复锁存器设计[J]. 电子学报, 2021, 49(2): 394-400.
[2]	王晶, 荣金叶, 周继芹, 于航, 申娇, 张伟功. 软硬件协同设计的SEU故障注入技术研究[J]. 电子学报, 2018, 46(10): 2534-2538.
[3]	王晶, 申娇, 丁利华, 杨星, 邱柯妮, 张伟功. 基于周期粒度的级间寄存器备份机制[J]. 电子学报, 2018, 46(10): 2486-2494.
[4]	吴珊, 周学功, 王伶俐. 基于SRAM型FPGA单粒子效应的故障传播模型[J]. 电子学报, 2017, 45(8): 1976-1984.
[5]	徐建军;谭庆平;熊磊;叶俊. 一种针对软错误的程序可靠性定量分析方法[J]. 电子学报, 2011, 39(3): 675-679.
[6]	陈志辉;章淳;王颖;王伶俐. 一种FPGA抗辐射工艺映射方法研究[J]. 电子学报, 2011, 39(11): 2507-2512.
[7]	姚睿;王友仁;于盛林;陈则王. 具有在线修复能力的强容错三模冗余系统设计及实验研究[J]. 电子学报, 2010, 38(1): 177-183.
[8]	王峰;周学海;陈艾;罗赛. 基于部分重构技术的加密算法实现研究[J]. 电子学报, 2007, 35(5): 959-963.
[9]	王宇舟, 金声震. 空间太阳望远镜的图象预处理系统研制[J]. 电子学报, 2005, 33(7): 1291-1294.

LET/(MeV·cm²/mg)	相邻列双比特功能中断截面
LET/(MeV·cm²/mg)	16×512移位寄存器	TMR16×512移位寄存器
4.06	0.000686	0.000354
9.01	0.001864	0.000753
21.8	0.002355	0.001479
42	0.006959	0.004679
97	0.008258	0.008071

LET/(MeV·cm²/mg)	相邻列双比特功能中断截面
LET/(MeV·cm²/mg)	16×512移位寄存器	TMR16×512移位寄存器
4.06	0.000686	0.000354
9.01	0.001864	0.000753
21.8	0.002355	0.001479
42	0.006959	0.004679
97	0.008258	0.008071