Bitstream decoding and SEU-induced failure analysis in SRAM-based FPGAs

来源 :Science China(Information Sciences) | 被引量 : 0次 | 上传用户:anan52ok
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Reconfigurable SRAM-based FPGAs are highly susceptible to radiation induced single-event upsets (SEUs) in space applications.The bit flip in FPGAs configuration memory may alter user circuit permanently without proper bitstream reparation,which is a completely different phenomenon from upsets in traditional memory devices.It is important to find the relationship between a programmable resource and corresponding control bit in order to understand the impact of this effect.In this paper,a method is proposed to decode the bitstream of FPGAs from Xilinx Corporation,and then an analysis program is developed to parse the netlist of a specific design to get the configuration state of occupied programmable logic and routings.After that,an SEU propagation rule is established according to the resource type to identify critical logic nodes and paths,which could destroy the circuit topological structure.The decoded relationship is stored in a database.The database is queried to get the sensitive bits of a specific design.The result can be used to represent the vulnerability of the system and predict the on orbit system failure rate.The analysis tool was validated through fault injection and accelerator irradiation experiment. Reconfigurable SRAM-based FPGAs are highly susceptible to radiation induced single-event upsets (SEUs) in space applications. The bit flip in FPGAs configuration memory may alter user circuit permanently without proper bitstream reparation, which is a completely different phenomenon from upsets in traditional memory devices. It is important to find the relationship between a programmable resource and corresponding control bit in order to understand the impact of this effect. This paper, a method is proposed to decode the bitstream of FPGAs from Xilinx Corporation, and then an analysis program is developed to parse the netlist of a specific design to get the configuration state of occupied programmable logic and routings. After that, an SEU propagation rule is established according to the resource type to identify critical logic nodes and paths, which could destroy the circuit topological structure. The decoded relationship is stored in a database. database is queried to get the sensitive b its of a specific design. the result can be used to represent the vulnerability of the system and predict the on orbit system failure rate. The analysis tool was validated through fault injection and accelerator irradiation experiment.
其他文献
汽车仪表范围在扩大,出现了倾斜计、高度计、报速计、提示关灯蜂鸣器等报警用的仪表和装置。有机械式的,有电于式的,分别用结构图或原理图示出。 The scope of automotive i
修理企业已广泛应用硬质粉末合金焊补磨损的零件,然而,用这种方法修复的零件,机械加工困难。特别是磨削熔剂层下堆焊的汽车发动机曲轴轴颈,就更困难。这些轴颈,由于硬度高,
建德县根据山区特点,积极做好防汛工作,保证一次降雨二百公厘不成灾,水利工程不出险。为了充分发挥工程效益,各级书记挂帅,加强领导,从县到生产队,层层建立了防汛组织。做到
目前我国水利建设已进入了一个巩固和提高的新时期。而水利基本建设如何结合当前形势,并具体贯彻中央关于农业生产和水利建设的各项方针政策是当前的一个新问题;也是急需解
江苏是机电灌排发展较早的省份之一,从1908年开始,先后在无锡、常州等地发展了少量的机电灌排,但速度非常缓慢,到1949年解放时,总共只有设备6.04万马力。解放后,特别是1958
本文阐述了国内外在汽车上采用塑料制品的现状与发展,并提出用它代替金属材料对实现汽车轻量化、安全化、舒适性与节能的重要性。此外还介绍了塑料制品在汽车上的应用部位及
1 引  言氯喹 (chloroquine) ,其化学名称为 4 (4′ 二乙胺基 1′ 甲基丁胺基 ) 7 氯喹啉 ,是一种高效、速效被全世界广泛使用的临床治疗和预防疟疾药物 ,口服后经肠道吸收 ,直接作
用新型的具恒温环境的反应热量计 ,以 2 mol/L HCl为量热溶剂 ,分别测定了 Dy Cl3·6H2 O (s) +3Gly(s) (Gly代表甘氨酸 )和配合物 Dy(Gly) 3Cl3· 3H2 O(s)在 2 mol/L HCl溶
河南省人民委员会最近召开了抗旱防汛会议。采取边开、边议、边做的办法,分析了当前形势、水情规律和抗旱防汛的能力,要求全省人民从最坏情况出发,向最好方向努力,一手抓抗
我们在修筑水庫溢洪道时,采取了“一条龙”爆破法。这个溢洪道的長度是二百三十米,口寬十二米,底寬四米。根据設計要求开挖尺寸,經过反复研究,决定六米远設一炮,用黄色炸藥