CN107817439A - 一种基于sram型fpga敏感因子的功能失效时间评估方法 - Google Patents
一种基于sram型fpga敏感因子的功能失效时间评估方法 Download PDFInfo
- Publication number
- CN107817439A CN107817439A CN201610819610.3A CN201610819610A CN107817439A CN 107817439 A CN107817439 A CN 107817439A CN 201610819610 A CN201610819610 A CN 201610819610A CN 107817439 A CN107817439 A CN 107817439A
- Authority
- CN
- China
- Prior art keywords
- fpga
- functional
- circuit
- configuration
- failure
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Classifications
-
- G—PHYSICS
- G01—MEASURING; TESTING
- G01R—MEASURING ELECTRIC VARIABLES; MEASURING MAGNETIC VARIABLES
- G01R31/00—Arrangements for testing electric properties; Arrangements for locating electric faults; Arrangements for electrical testing characterised by what is being tested not provided for elsewhere
- G01R31/28—Testing of electronic circuits, e.g. by signal tracer
- G01R31/317—Testing of digital circuits
- G01R31/3181—Functional testing
- G01R31/3185—Reconfiguring for testing, e.g. LSSD, partitioning
- G01R31/318516—Test of programmable logic devices [PLDs]
- G01R31/318519—Test of field programmable gate arrays [FPGA]
Landscapes
- Engineering & Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Design And Manufacture Of Integrated Circuits (AREA)
Abstract
一种基于SRAM型FPGA敏感因子的功能失效时间评估方法,该方法有四大步骤:步骤一:对SRAM型FPGA的配置网表文件进行解析,采用SelectMAP配置方法,利用可重构技术设计一套遍历式单粒子故障注入方法;步骤二:对FPGA进行功能电路配置,并对搭载有具体功能电路的FPGA实施遍历式故障注入试验;步骤三:收集敏感位数据,利用敏感位数据验证三模冗余设计的效率,并计算功能电路的敏感因子;步骤四:利用敏感因子计算功能电路的功能失效时间。本发明能够对搭载有功能电路的FPGA进行功能失效时间评估,计算功能电路时间参数,提高预测精度和运算效率,为单粒子加固提供数据上的支持,具有较好的可行性和推广价值。
Description
技术领域
本发明提供一种SRAM型FPGA的功能失效时间评估方法,它涉及到FPGA故障注入试验及加固容错措施,属于FPGA防护容错技术领域。
背景技术
FPGA具有高性能、可重构的特点,广泛运用于航空机载电子设备中,而静态随机存取存储器(SRAM)对大气中子引发的单粒子效应天生敏感。带有复杂存储结构微电子器件的飞行器在自然环境中会遭遇大气中子,这些高能中子作用于核心指令控制单元和关键数据存储单元上,在存储单元上产生软错误或硬故障,最终引起系统故障。航电系统的安全性要求很高,辐射效应引发的故障会大幅的降低航电系统的安全等级。
随着工业技术迅速发展,SRAM型FPGA在工艺方面也发生了改变,工作频率的上升、特征尺寸的减小都使得单粒子效应表现形式越来越复杂。在大气中子环境下,SRAM型FPGA器件工作频率的上升、特征尺寸的减小使得大辐射效应潜在的危害越来越大,器件在抗辐射效应危害方面的能力不断下降。从上世纪80年代开始,SRAM存储器每一位的单粒子翻转截面变化都不大,但SRAM器件的集成度从以前的几十K发展到了如今的几个G,这样计算每个器件的翻转率将比原来大了几万倍。对于工作在地面附近和高纬度航空高度的集成度密集的航空器,大气中子辐射效应是诱发器件发生软错误最主要的原因,引起了人们的广泛关注。
研究器件在辐射效应环境下的工作状态,采用辐射效应故障测试方法是最有效的一种方法。目前主要的辐射效应测试研究方法有卫星搭载实验、高能粒子辐照实验、单粒子故障注入试验。单粒子故障注入试验是一种模拟实验,将单粒子效应产生的软故障注入到器件中,该方法要与器件在真实环境中的故障发生时空分布特性相一致,并且对动态注入的并发性有一定的要求。单粒子故障注入的主要研究内容主要是尽可能的模拟单粒子翻转发生的真实情况,以及故障注入配置所限制的动态并发注入技术问题和实验方法的推广应用。目前利用各种微处理器器件作为实验控制中枢的故障注入技术已经十分普遍了,这种实验系统通过故障注入软件可以很快地对被测件执行故障注入试验。美国很多大学已开发出一系列的故障注入工具,CMU大学开发的FIAT,Illinois大学开发的FINE工具,MSU大学的DOCTOR、Texas大学的FERRARI,另外葡萄牙Coimbra大学开发的Xception等等都是一些成熟的故障注入工具软件。国内方面对故障注入工具软件的开发也开展了相关工作,哈尔滨工业大学的杨孝宗教授也进行故障注入技术研究,并将研究成果用于容错计算。
SRAM型FPGA中单粒子辐射加固措施分为两大类,冗余设计技术和故障修复技术,而故障修复技术最有效的是定时刷新技术,冗余技术中最有效的方法是三模冗余(TMR)。作为一种容错技术,三模冗余能对单个模块进行冗余,屏蔽单个模块失效对整个系统功能造成的影响;定时刷新是一种纠错技术,刷新后可以消除受单粒子影响的故障,避免故障在器件中累积传播。但是实际上纠错是发生在出错以后,无法避免单粒子辐射效应引起的故障。防护与纠错相互互补,理论上在同时使用三模冗余及定时刷新时,可以基本消除单粒子辐射效应对FPGA系统功能的影响。
本发明利用遍历式单粒子故障注入方法,对搭载有功能电路的FPGA进行功能失效时间评估,提高了预测精度和运算效率,具有较好的可行性和推广价值。计算功能电路时间参数,为单粒子加固提供数据上的支持。
发明内容
本发明的目的是提供一种基于SRAM型FPGA敏感因子的功能失效时间评估方法,能够更加快捷、准确地进行搭载有具体功能电路的FPGA功能失效时间进行评估,为FPGA使用中的防护加固提供支持,验证三模冗余设计的效率,计算定时刷新技术中的刷新周期。
该方法的技术流程如附图1所示,具体步骤如下:
步骤一:对SRAM型FPGA的配置网表文件进行解析,采用SelectMAP配置方法,利用可重构技术设计一套遍历式单粒子故障注入方法;
步骤二:对FPGA进行功能电路配置,并对搭载有具体功能电路的FPGA实施遍历式故障注入试验;
步骤三:收集敏感位数据,利用敏感位数据验证三模冗余设计的效率,并计算功能电路的敏感因子;
步骤四:利用敏感因子计算功能电路的功能失效时间。
其中,步骤一所述的“对SRAM型FPGA的配置网表文件进行解析”,其具体实现过程如下:
在FPGA配置过程中,通过布局布线会得到网表文件(.ncd),该文件包含了电路结构设计的相关配置信息。该文件有FPGA的物理配置信息,对进一步分析FPGA资源及其配置位与单粒子翻转失效的关系有很大帮助,因此对该网表文件进行解析是有必要的。
Ncd文件是由0-1组成的二进制格式,需要通过xdl工具,将其转换为易于解读的文本格式,xdl格式与ncd格式的信息量是相同的,但是xdl格式简单,易于解析,不用对照相关文档就能通过名称直观的理解各符号的意义。
通过xdl工具转换后,得到xdl文件,xdl文件由两个语言模块构成,分别为Instance与Net。一个Instance语言模块描述一个CLB或IOB中的SLICE的相关设置信息,一个Instance语言由三部分组成,第一部分是instance“name”“type”,定义一个SLICE的状态,“name”为SLICE命名,“type”表明SLICE类型,例如IOB时“type”处就是“IOB”;第二部分是placed“tile”“site”,“tile”描述了该SLICE在FPGA中排列坐标的位置,“site”指定了SLICE的具体位置;第三部分是cfg“string”,“string”描述SLICE内部控制资源配置位的使用情况。Instance语言模块的应用例子如下:
inst"C0""IOB",
placed RIOIS_X35Y1P107,
cfg"DRIVEATTRBOX::12DRIVE_0MA::#OFF GTSATTRBOX::#OFFIBUF_DELAY_VALUE::#OFF……";
该SLICE类型是IOB SLICE,命名为C0;所处的位置在第35行 第1列,对应P107引脚;cfg字符串描述了该SLICE中内部控制位的使用情况,#OFF表示该控制位并没有被使用。
Net描述了连线资源的使用情况,一个Net语言模块至少要有一个input输入端、多个可编程开关及一个outpin输出端。Net也可以分为三个部分,第一部分是net“name”“type”,“name”与“type”分别是名称与连线类型,“type”为”power”时表示电源线,“ground”表示地线,”wire”或者为空时,都是一般连接线;第二部分是outpin“name”“pin”,inpin“name”“pin”,该部分定义了输入输出的端口;第三部分是pip“tile”“wire0“”dir“”wire1“,描述了连线与连线之间之间通过PIP互连的状态。Net语言模块的应用例子如下:
net"C0_OBUF",
outpin"S_OBUF"Y,
inpin"C0"O1,
pip CLB_X34Y1S2END5->E2BEG3,
pip CLB_X34Y3Y2->S2BEG5,
pip RIOIS_X35Y1E2MID3->IOIS_G3_B1,
该Net的名称为C0_OBUF,输出端是S_OBUF,输入端是C0,通过三个PIP完成这部分的连线。
通过对网表文件语法的解析,对FPGA的配置过程进行了深入的了解,也明确了FPGA中各个配置位单元的功能。
其中,步骤一所述的“利用可重构技术设计一套遍历式单粒子故障注入方法”其具体实现过程如下:
通过修改配置文件中的单帧数据完成对配置位的位翻转,用SelectMAP配置模式将修改后的内容刷新到运行中的FPGA上,完成动态部分重构,实现配置存储器的人为逻辑翻转。向两块FPGA施加测试向量,并对比FPGA的功能输出结果,以此来判断配置位的翻转是否引起了FPGA系统功能失效。故障注入可以理解为一种人为的加速失效过程,用来检测SRAM型FPGA执行某种功能的稳定性。
故障注入方案如附图2所示,需要使用到三块FPGA,作为控制及对比的主控FPGA,需要进行测试的待测FPGA以及用于对比输出结果的对比FPGA。主控FPGA是控制实验流程的中枢,负责待测FPGA与对比FPGA的部分重构、测试向量输入、结果比较与上位机软件通信;对比FPGA作为待测FPGA的对比,提供正确的逻辑功能输出;待测FPGA作为测试平台,负责运行故障注入后的电路设计,输出故障注入后的逻辑功能状态。
实验流程如附图3所示。首先由ISE软件生成的配置文件分别下载至FPGA对应PROM中,上电后通过从串模式配置至相应的FPGA中,主控FPGA通过SelectMAP模式配置待测FPGA。从第一帧第一位开始进行一次故障注入试验,之后以遍历式的思想,对后面的每一个存储位进行故障注入试验。配置文件涉及到的每一个配置位都可以在SRAM中定位,因此遍历的对配置位进行翻转,相当于将SRAM存储单元中的存储位都进行了翻转。主控FPGA执行对两个FPGA器件的部分重构,将修改后的配置文件以SelectMAP配置模式载入FPGA,完成故障注入。注入完成后,主控FPGA开始在两个器件上施加测试向量,一定时钟周期后读取两器件的输出结果,对比并判断是否发生了FPGA系统功能失效,并统计次数发送到上位机。每次故障注入结束后,复位待测FPGA和对比FPGA的运行状态,防止运行状态对后续故障注入结果造成干扰。循环以上步骤,直至遍历完成所有配置存储器位,输出结果。
其中,步骤三所述的“计算功能电路的敏感因子”其具体实现过程如下:
一般在对FPGA进行单粒子性能测试时,最直接的方法是采用高能粒子辐照,因此对FPGA的抗单粒子翻转能力的定量可以从高能粒子辐照的相关测试参数分析。
在一般辐照试验中,定量评价是使用单粒子翻转截面来评价器件对单粒子效应的敏感程度:
式中,F为垂直入射时单位面积上入射粒子总数,单位是cm-2;N为单粒子翻转事件数;σs为器件单位面积受到单一粒子碰撞一系列连锁现象后,引发单粒子翻转的概率,是FPGA固有的属性。
考虑具体配置电路,引入一个动态参量,称为动态翻转截面σd:
式中,E是高能粒子辐照实验中FPGA发生系统功能失效的次数,F是入射粒子在单位面积上的通量。配置有功能电路的FPGA在运行时,可以使用动态翻转截面来评估器件的失效率。相对的,将σs称为静态翻转截面。
回到失效链,该失效链是建立在已经发生位翻转的前提下,我们把这个前提事件称为事件A,将FPGA发生功能失效称为事件B,前提事件A受FPGA固有属性的影响,只有当A发生了,才会有可能发生事件B,事件B受到具体配置功能电路属性的影响。
引入一个敏感因子γ来描述单粒子翻转对FPGA使用功能造成的影响,将动态翻转截面与静态翻转截面的比例来作为FPGA具体使用中发生事件A后出现事件B的度量。
式中,Nc为故障注入试验的总次数;Ns为发生功能失效的次数,也就是敏感位。敏感因子γ的意义为引起功能失效的单粒子翻转数和总单粒子翻转数的比例。
其中,步骤四所述的“利用敏感因子计算功能电路的功能失效时间”,其具体实现过程如下:
在配置完FPGA后的实际使用中,只有当功能电路发生了功能错误后,才能判断该FPGA中发生了配置位单粒子翻转,然而这并不能反应出FPGA中的真实单粒子翻转情况。为了解决这一情况,基于敏感位提出一种评估平均功能失效时间的方法。
配置完成后的FPGA具有一定的功能,当电路功能无法正确执行时,认为FPGA发生了功能失效。在只考虑单粒子翻转时,单粒子翻转失效链解释了SRAM存储单元逻辑翻转引发功能失效的具体过程。针对具体功能电路,FPGA所表现出来的功能失效时间及类型是不同的,故障注入试验结果得到的敏感位可以将不同功能电路的功能失效时间相互转换。遍历式的故障注入可以排除非关键配置位的干扰,使得功能失效时间的转换更准确。
通过故障注入试验得到特定功能电路i在某A型号FPGA的敏感位是λi,其中i=1,2,…,N,代表N个电路分别配置在同一个型号的FPGA上。假设该FPGA与电路配置相关的总配置位数量为λ,那么该FPGA的单粒子翻转间隔时间tA可以表示为:
其中ti为功能电路i在实际使用中单粒子翻转的平均失效间隔时间,值得注意的是,该方法的基本假设是任意功能电路是配置在同一电路上。
得到FPGA实际单粒子翻转情况后,可分析电路j,其中j≠i,也就是当FPGA本身的单粒子翻转间隔时间已知时,可通过任意电路j的敏感位λj推算电路j的平均失效间隔时间FFTj:
由此可以计算出任意电路配置完成后,FPGA的功能失效时间,该时间参数对于定时刷新技术的参数设计有重要的参考价值。
附图说明
附图1为本发明所述方法流程图
附图2为故障注入方案功能框图
附图3为故障注入试验流程图
附图4为SelectMAP配置时序
附图5为ISCAS85电路资源占用及敏感位
附图6为ISCAS85电路TMR设计前后敏感位对比
具体实施方式
下面结合附图和实例1对本发明作进一步的详细说明。
本发明是一种基于SRAM型FPGA敏感因子的功能失效时间评估方法,本实例选取XLINX XCV300系列作为硬件基础,ISCAS85基准电路作为研究对象,具体方法实施流程如附图1所示,通过以下步骤实现:
步骤一:对SRAM型FPGA的配置网表文件进行解析,采用SelectMAP配置方法,利用可重构技术设计一套遍历式单粒子故障注入方法。
实现部分重构技术的关键与FPGA的配置模式有关,对于Xilinx的FPGA,常用配置模式有5种,分别是主串模式,从串模式,主SelectMAP模式,从SelectMAP模式和边界扫描模式,一般来说,部分重构技术可以通过SelectMAP模式和边界扫描模式来实现,本文的故障注入使用SelectMAP模式。
SelectMAP配置模式是最快速的配置方法,每个时钟周期可读写8位数据,SelectMAP配置模式通过FPGA芯片中一个8位双向数据总线结构执行回读及配置。实现部分重构技术的方法对于故障注入试验十分重要,是故障注入方案的核心技术,这里对SelectMAP配置相关的引脚做介绍。
与SelectMAP配置相关的引脚有CCLK,RDWR_B,D[0:7],CS_B,BUSY,M[2:0],PROG_B,INIT_B,DONE。
CCLK为时钟信号,在主模式下CCLK是输出信号,从内部产生时钟,在从模式下是输入信号,由外部信号驱动时钟。
RDWR_B控制SelectMAP配置的读写状态,低电平时写入数据总线,高电平读出到数据总线,CCLK上升沿时有效。
D[0:7]是双向数据接口,由RDWR_B控制读写状态,当片选信号CS_B有效时,可以进行读写功能,当CS_B无效时,为高阻态信号。
CS_B是片选信号,决定双向数据接口的使能状态,低电平时使能数据总线,高电平时数据总线被异步中断,变为高阻态。
BUSY是一个三态输出信号,在配置器件表示总线状态,当BUSY为高电平时,数据总线当前值被忽略,只有在下一个CCLK上升沿且BUSY为低电平,才能重新载入数据;同样在回读时,BUSY也表示回读是否有效。当CS_B为1时,BUSY为高阻态。
M[2:0]用来选定配置模式,主SelectMAP模式的M[2:0]是011。
PROG_B是异步复位信号,低电平时复位整个芯片。
INIT_B在M[2:0]采样前设置为0可以延迟配置过程;M[2:0]采样后,INIT_B表示器件CRC校验是否出现错误,是一个输出信号,当INIT_B为1时,无CRC错误。
DONE表示配置完成状态,当信号为1时,配置完成。
SelectMAP配置时序如附图4所示。
首先PROG_B信号设置为0进行复位,之后INIT_B变为1,表明CRC无错误。当CS_B与RDWR_B设置为0时,第一个字节在CCLK上升沿写入总线。当BUSY信号为1时表示总线忙,必须等到BUSY变为低电平切CCLK上升时才能重新写入数据。SelectMAP配置模式的数据宽度为8位,每一个时钟周期写入一个字节。值得注意的是,RDWR_B与CS_B可在INIT_B变为1之前或之后任意设置,但是只有在INIT_B变为1时SelectMAP接口才有效。如果CS_B在设置时RDWR_B发生跳变,SelectMAP接口将被中断。通过SelectMAP配置可以实现FPGA的部分重构,并对FPGA进行故障注入试验
步骤二:对FPGA进行功能电路配置,并对搭载有具体功能电路的FPGA实施遍历式故障注入试验。
ISCAS85是门级网表电路,主要由逻辑门构成,在FPGA上对10个组合电路进行配置和分析,并统计其在配置后的所用资源。
表1ISCAS85测试电路配置与资源信息
从表中可以看出,ISCAS电路的功能都不同,逻辑门数量由少至多,C2670、C5315、C7552占用的IO口资源较多。
本发明采用BL-TMRTool进行三模冗余加固,由于NGC是封闭文件格式,这里需要使用EDA软件提供的设计综合工具生成EDF格式的网表文件,BL-TMRTool加固过程中所有步骤均使用默认选项。至此可以完成ISCAS85电路的三模冗余设计。
步骤三:收集敏感位数据,利用敏感位数据验证三模冗余设计的效率,并计算功能电路的敏感因子。
在XLINX的xcv300上配置ISCAS85电路,按步骤在上位机软件操作并进行故障注入,单次遍历注入故障1595328次,每个测试电路完成故障注入试验时间为9~12小时,结果如附图5所示。
该结果对于FPGA配置电路的单粒子翻转影响有以下结论:
(1)FPGA发生单粒子失效是由于配置存储器中SRAM关键单元发生单粒子翻转后,对应的配置电路的相关资源发生错误,映射到用户逻辑层引起逻辑错误,最终导致电路输出结果错误,即单粒子翻转失效链过程。
(2)FPGA中配置存储器位中并非使用到了所有存储单元,用户操作功能电路设计值用到了很少的配置位,而其他没有被涉及的单元发生了逻辑翻转也不会引起FPGA功能失效。
(3)在FPGA配置存储器中,敏感位的数量与FPGA内部的资源使用情况相关,资源使用得越多,敏感位越多。
(4)特定FPGA功能电路的故障注入试验数据可以为功能电路的使用和加固提供支持,为定时刷新技术的时间参数设计提供参考。结果结合FPGA在大气中子环境下的翻转时间,可得出FPGA设计失效时间,例如,假设该FPGA在某飞行任务中单粒子翻转时间为3小时,那么C6288电路在该环境下的设计失效平均周期为3/0.047512≈63.14小时。那么在此环境下配置有C6288电路的FPGA在进行加固设计时,若需要涉及到定时刷新技术,可以以105.24小时作为定时刷新时间的参考。
对完成进行三模冗余设计的ISCAS85电路,配置并进行实验。得到结果如附图6所示。
该结果有以下结论:
(1)对原电路进行三模冗余设计后,所占用资源相比未进行三模冗余设计的电路资源占用率增加,占用率为原电路的三倍以上。
(2)进行三模冗余设计后,导致电路输出错误的配置位数量大大减少,平均减少了70%以上。
(3)敏感位的分布不只是与逻辑配置位相关,还有大量外围配置位与其他功能配置位会影响电路功能,这些配置位大部分都是在三模冗余设计的过程中带入的新敏感位,例如TMR中的表决器功能配置位。
遍历式故障注入将故障注入到了配置存储器的每一个可配置位,是一种从FPGA底层SRAM单元进行故障注入的方法,这种方法的优点在于准确性高,能正确的反应出配置位逻辑翻转对系统功能的影响。将故障注入试验结果与元胞自动机模型仿真结果对比,对于C6288电路,模型仿真结果得到的敏感因子为9.9729%,故障注入试验结果敏感因子是4.7512%,也就是说模型仿真结果得到的敏感位要比故障注入得到的多,这些多出来的敏感位与电路配置相关,但是逻辑翻转并不会引起系统的功能失效。
从实验结果对比来看,可以将配置存储器的可配置位分为三种:第一种配置位是敏感位,只要配置位的逻辑发生翻转,会引起FPGA的功能失效;第二种配置位是与电路配置相关的配置位,在物理上与电路配置有一定的联系,但是翻转时不会引起功能失效,例如LUT中不会被查找到的存储单元;第三种配置位与电路配置没有关系,翻转时也不会引起电路功能失效。
故障注入试验验证了单粒子翻转失效链过程,将FPGA大气中子辐射效应危害转换到具体功能电路的研究,当单粒子翻转发生在SRAM敏感单元时,引起电路模块错误,最终导致FPGA功能失效。当FPGA资源利用率高的时候,敏感位也会随着大幅增加,电路功能越复杂,敏感位就越多。
实验结果为单粒子效应加固措施提供的很大的参考。单粒子效应加固措施最主要的是三模冗余与定时刷新技术,故障注入试验可以直观的验证三模冗余设计后的效果,可以从实验结果中看出敏感位大幅的减小。另外,定时刷新技术的定时刷新时间参数也与FPGA功能电路的评估功能失效时间紧密相关,基于敏感位将不同功能电路的时间参数相互转换,可以很大程度上提高定时刷新技术的效率。
步骤四:利用敏感因子计算功能电路的功能失效时间。
设本文故障实验中配置为C432电路的FPGA在大气环境下实际使用中,168小时的使用过程中共检测出了λC432次故障翻转,那么可根据实验结果将数据代入式子得到XCV300型号FPGA在该大气环境下单粒子翻转的间隔时间tXCV300为:
tXCV300=68796.0687λC432 (6)
若此FPGA由于任务需要重新配置为C6288电路,此时可根据故障注入试验结果直接计算配置该功能电路的FPGA在该大气环境下运行时,受单粒子翻转影响平均FFTC6288时间会发生一次功能故障:
FFTC6288=3268.6388λC432 (7)
为了减小C6288在实用过程的单粒子翻转的功能故障次数,对其进行了三模冗余设计,设计完成后进行故障注入试验,从实验结果可知敏感位为14520位,由此求出三模冗余后受单粒子翻转影响平均FFTC6288_TMR时间会发生一次功能故障:
FFTC6288_TMR=626.1527λC432 (8)
将FFTC6288与FFTC6288_TMR对比发现,三模冗余设计后,C6288功能电路单粒子翻转的平均故障时间增加了5.22倍,单粒子防护能力大幅提升。
通过以上步骤获得的结果可对FPGA的功能实际使用提供参考,这些信息对具有中断处理要求的FPGA功能电路的设计与使用具有重要的参考作用,同时为功能电路的加固设计提供数据支撑,平均功能失效时间可以作为定时刷新技术的时间参数设计的参考,具有重要价值。
Claims (4)
1.一种基于SRAM型FPGA敏感因子的功能失效时间评估方法,其特征在于:该方法具体步骤如下:
步骤一:对SRAM型FPGA的配置网表文件进行解析,采用SelectMAP配置方法,利用可重构技术设计一套遍历式单粒子故障注入方法;
步骤二:对FPGA进行功能电路配置,并对搭载有具体功能电路的FPGA实施遍历式故障注入试验;
步骤三:收集敏感位数据,利用敏感位数据验证三模冗余设计的效率,并计算功能电路的敏感因子;
步骤四:利用敏感因子计算功能电路的功能失效时间。
2.根据权利要求1所述的一种基于SRAM型FPGA敏感因子的功能失效时间评估方法,其特征在于:步骤一所述的“利用可重构技术设计一套遍历式单粒子故障注入方法”,其具体实现过程如下:
通过修改配置文件中的单帧数据完成对配置位的位翻转,用SelectMAP配置模式将修改后的内容刷新到运行中的FPGA上,完成动态部分重构,实现配置存储器的人为逻辑翻转。向两块FPGA施加测试向量,并对比FPGA的功能输出结果,以此来判断配置位的翻转是否引起了FPGA系统功能失效。故障注入可以理解为一种人为的加速失效过程,用来检测SRAM型FPGA执行某种功能的稳定性。
3.根据权利要求1所述的一种基于SRAM型FPGA敏感因子的功能失效时间评估方法,其特征在于:步骤三所述的“计算功能电路的敏感因子”,其具体实现过程如下:
一般在对FPGA进行单粒子性能测试时,最直接的方法是采用高能粒子辐照,因此对FPGA的抗单粒子翻转能力的定量可以从高能粒子辐照的相关测试参数分析。
在一般辐照试验中,定量评价是使用单粒子翻转截面来评价器件对单粒子效应的敏感程度:
<mrow>
<msub>
<mi>&sigma;</mi>
<mi>s</mi>
</msub>
<mo>=</mo>
<mfrac>
<mi>N</mi>
<mi>F</mi>
</mfrac>
<mo>-</mo>
<mo>-</mo>
<mo>-</mo>
<mrow>
<mo>(</mo>
<mn>1</mn>
<mo>)</mo>
</mrow>
</mrow>
式中,F为垂直入射时单位面积上入射粒子总数,单位是cm-2;N为单粒子翻转事件数;σs为器件单位面积受到单一粒子碰撞一系列连锁现象后,引发单粒子翻转的概率,是FPGA固有的属性。
考虑具体配置电路,引入一个动态参量,称为动态翻转截面σd:
<mrow>
<msub>
<mi>&sigma;</mi>
<mi>d</mi>
</msub>
<mo>=</mo>
<mfrac>
<mi>E</mi>
<mi>F</mi>
</mfrac>
<mo>-</mo>
<mo>-</mo>
<mo>-</mo>
<mrow>
<mo>(</mo>
<mn>2</mn>
<mo>)</mo>
</mrow>
</mrow>
式中,E是高能粒子辐照实验中FPGA发生系统功能失效的次数,F是入射粒子在单位面积上的通量。配置有功能电路的FPGA在运行时,可以使用动态翻转截面来评估器件的失效率。相对的,将σs称为静态翻转截面。
回到失效链,该失效链是建立在已经发生位翻转的前提下,我们把这个前提事件称为事件A,将FPGA发生功能失效称为事件B,前提事件A受FPGA固有属性的影响,只有当A发生了,才会有可能发生事件B,事件B受到具体配置功能电路属性的影响。
引入一个敏感因子γ来描述单粒子翻转对FPGA使用功能造成的影响,将动态翻转截面与静态翻转截面的比例来作为FPGA具体使用中发生事件A后出现事件B的度量。
<mrow>
<mi>&gamma;</mi>
<mo>=</mo>
<mfrac>
<msub>
<mi>&sigma;</mi>
<mi>d</mi>
</msub>
<msub>
<mi>&sigma;</mi>
<mi>s</mi>
</msub>
</mfrac>
<mo>=</mo>
<mfrac>
<mi>E</mi>
<mi>N</mi>
</mfrac>
<mo>=</mo>
<mfrac>
<msub>
<mi>N</mi>
<mi>s</mi>
</msub>
<msub>
<mi>N</mi>
<mi>c</mi>
</msub>
</mfrac>
<mo>-</mo>
<mo>-</mo>
<mo>-</mo>
<mrow>
<mo>(</mo>
<mn>3</mn>
<mo>)</mo>
</mrow>
</mrow>
式中,Nc为故障注入试验的总次数;Ns为发生功能失效的次数,也就是敏感位。敏感因子γ的意义为引起功能失效的单粒子翻转数和总单粒子翻转数的比例。
4.根据权利要求1所述的一种基于SRAM型FPGA敏感因子的功能失效时间评估方法,其特征在于:步骤四所述的“利用敏感因子计算功能电路的功能失效时间”,其具体实现过程如下:
在配置完FPGA后的实际使用中,只有当功能电路发生了功能错误后,才能判断该FPGA中发生了配置位单粒子翻转,然而这并不能反应出FPGA中的真实单粒子翻转情况。为了解决这一情况,基于敏感位提出一种评估平均功能失效时间的方法。
配置完成后的FPGA具有一定的功能,当电路功能无法正确执行时,认为FPGA发生了功能失效。在只考虑单粒子翻转时,单粒子翻转失效链解释了SRAM存储单元逻辑翻转引发功能失效的具体过程。针对具体功能电路,FPGA所表现出来的功能失效时间及类型是不同的,故障注入试验结果得到的敏感位可以将不同功能电路的功能失效时间相互转换。遍历式的故障注入可以排除非关键配置位的干扰,使得功能失效时间的转换更准确。
通过故障注入试验得到特定功能电路i在某A型号FPGA的敏感位是λi,其中i=1,2,...,N,代表N个电路分别配置在同一个型号的FPGA上。假设该FPGA与电路配置相关的总配置位数量为λ,那么该FPGA的单粒子翻转间隔时间tA可以表示为:
<mrow>
<msub>
<mi>t</mi>
<mi>A</mi>
</msub>
<mo>=</mo>
<mfrac>
<mrow>
<msub>
<mi>&lambda;t</mi>
<mi>i</mi>
</msub>
</mrow>
<msub>
<mi>&lambda;</mi>
<mi>i</mi>
</msub>
</mfrac>
<mo>-</mo>
<mo>-</mo>
<mo>-</mo>
<mrow>
<mo>(</mo>
<mn>4</mn>
<mo>)</mo>
</mrow>
</mrow>
其中ti为功能电路i在实际使用中单粒子翻转的平均失效间隔时间,值得注意的是,该方法的基本假设是任意功能电路是配置在同一电路上。
得到FPGA实际单粒子翻转情况后,可分析电路j,其中j≠i,也就是当FPGA本身的单粒子翻转间隔时间已知时,可通过任意电路j的敏感位λj推算电路j的平均失效间隔时间FFTj:
<mrow>
<msub>
<mi>FFT</mi>
<mi>j</mi>
</msub>
<mo>=</mo>
<mfrac>
<msub>
<mi>&lambda;</mi>
<mi>j</mi>
</msub>
<mi>&lambda;</mi>
</mfrac>
<msub>
<mi>t</mi>
<mi>A</mi>
</msub>
<mo>=</mo>
<mfrac>
<mrow>
<msub>
<mi>&lambda;</mi>
<mi>j</mi>
</msub>
<msub>
<mi>t</mi>
<mi>i</mi>
</msub>
</mrow>
<msub>
<mi>&lambda;</mi>
<mi>i</mi>
</msub>
</mfrac>
<mo>-</mo>
<mo>-</mo>
<mo>-</mo>
<mrow>
<mo>(</mo>
<mn>5</mn>
<mo>)</mo>
</mrow>
</mrow>
由此可以计算出任意电路配置完成后,FPGA的功能失效时间,该时间参数对于定时刷新技术的参数设计有重要的参考价值。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201610819610.3A CN107817439A (zh) | 2016-09-13 | 2016-09-13 | 一种基于sram型fpga敏感因子的功能失效时间评估方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201610819610.3A CN107817439A (zh) | 2016-09-13 | 2016-09-13 | 一种基于sram型fpga敏感因子的功能失效时间评估方法 |
Publications (1)
Publication Number | Publication Date |
---|---|
CN107817439A true CN107817439A (zh) | 2018-03-20 |
Family
ID=61600617
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201610819610.3A Pending CN107817439A (zh) | 2016-09-13 | 2016-09-13 | 一种基于sram型fpga敏感因子的功能失效时间评估方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN107817439A (zh) |
Cited By (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN109634797A (zh) * | 2018-12-18 | 2019-04-16 | 上海交通大学 | 一种用寄存器屏蔽窗口分析寄存器架构敏感因子的方法 |
CN110209547A (zh) * | 2019-05-05 | 2019-09-06 | 北京空间飞行器总体设计部 | 一种sram型fpga单粒子翻转加固定时刷新频率确定方法及系统 |
CN111737935A (zh) * | 2020-06-30 | 2020-10-02 | 中国电子产品可靠性与环境试验研究所((工业和信息化部电子第五研究所)(中国赛宝实验室)) | 功率器件失效率评估方法、计算机设备以及存储介质 |
CN112328396A (zh) * | 2020-11-09 | 2021-02-05 | 西安电子科技大学 | 基于任务等级的动态自适应sopc容错方法 |
CN113018698A (zh) * | 2021-02-26 | 2021-06-25 | 上海联影医疗科技股份有限公司 | 单粒子翻转修复方法、装置、放疗系统、电子设备及介质 |
CN113848455A (zh) * | 2021-09-24 | 2021-12-28 | 成都华微电子科技有限公司 | Fpga内部互联线延时测试方法 |
CN117436401A (zh) * | 2023-12-19 | 2024-01-23 | 英诺达(成都)电子科技有限公司 | 电源状态表的数据处理方法、装置、设备及存储介质 |
Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN103198868A (zh) * | 2013-04-16 | 2013-07-10 | 西北核技术研究所 | 一种用于单粒子翻转的故障模拟系统及分析方法 |
CN105548866A (zh) * | 2015-12-08 | 2016-05-04 | 中国科学院电子学研究所 | 一种基于辐照试验环境模拟的sram型fpga测试方法 |
-
2016
- 2016-09-13 CN CN201610819610.3A patent/CN107817439A/zh active Pending
Patent Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN103198868A (zh) * | 2013-04-16 | 2013-07-10 | 西北核技术研究所 | 一种用于单粒子翻转的故障模拟系统及分析方法 |
CN105548866A (zh) * | 2015-12-08 | 2016-05-04 | 中国科学院电子学研究所 | 一种基于辐照试验环境模拟的sram型fpga测试方法 |
Non-Patent Citations (1)
Title |
---|
王忠明: "SRAM型FPGA的单粒子效应评估技术研究", 《中国博士学位论文全文数据库 信息科技辑》 * |
Cited By (11)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN109634797A (zh) * | 2018-12-18 | 2019-04-16 | 上海交通大学 | 一种用寄存器屏蔽窗口分析寄存器架构敏感因子的方法 |
CN110209547A (zh) * | 2019-05-05 | 2019-09-06 | 北京空间飞行器总体设计部 | 一种sram型fpga单粒子翻转加固定时刷新频率确定方法及系统 |
CN110209547B (zh) * | 2019-05-05 | 2023-06-16 | 北京空间飞行器总体设计部 | 一种sram型fpga单粒子翻转加固定时刷新频率确定方法及系统 |
CN111737935A (zh) * | 2020-06-30 | 2020-10-02 | 中国电子产品可靠性与环境试验研究所((工业和信息化部电子第五研究所)(中国赛宝实验室)) | 功率器件失效率评估方法、计算机设备以及存储介质 |
CN111737935B (zh) * | 2020-06-30 | 2023-09-29 | 中国电子产品可靠性与环境试验研究所((工业和信息化部电子第五研究所)(中国赛宝实验室)) | 功率器件失效率评估方法、计算机设备以及存储介质 |
CN112328396A (zh) * | 2020-11-09 | 2021-02-05 | 西安电子科技大学 | 基于任务等级的动态自适应sopc容错方法 |
CN112328396B (zh) * | 2020-11-09 | 2022-10-21 | 西安电子科技大学 | 基于任务等级的动态自适应sopc容错方法 |
CN113018698A (zh) * | 2021-02-26 | 2021-06-25 | 上海联影医疗科技股份有限公司 | 单粒子翻转修复方法、装置、放疗系统、电子设备及介质 |
CN113848455A (zh) * | 2021-09-24 | 2021-12-28 | 成都华微电子科技有限公司 | Fpga内部互联线延时测试方法 |
CN117436401A (zh) * | 2023-12-19 | 2024-01-23 | 英诺达(成都)电子科技有限公司 | 电源状态表的数据处理方法、装置、设备及存储介质 |
CN117436401B (zh) * | 2023-12-19 | 2024-03-12 | 英诺达(成都)电子科技有限公司 | 电源状态表的数据处理方法、装置、设备及存储介质 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN107817439A (zh) | 一种基于sram型fpga敏感因子的功能失效时间评估方法 | |
Entrena et al. | Soft error sensitivity evaluation of microprocessors by multilevel emulation-based fault injection | |
US20150040096A1 (en) | Emulation-based functional qualification | |
Sari et al. | Scrubbing-based SEU mitigation approach for Systems-on-Programmable-Chips | |
US8732632B1 (en) | Method and apparatus for automated extraction of a design for test boundary model from embedded IP cores for hierarchical and three-dimensional interconnect test | |
JPH0773066A (ja) | メモリ回路構成法および装置 | |
Bernardeschi et al. | Accurate simulation of SEUs in the configuration memory of SRAM-based FPGAs | |
Serrano et al. | A methodology to emulate single event upsets in flip-flops using FPGAs through partial reconfiguration and instrumentation | |
US6910194B2 (en) | Systems and methods for timing a linear data path element during signal-timing verification of an integrated circuit design | |
Sari et al. | A soft error vulnerability analysis framework for Xilinx FPGAs | |
Ruan et al. | A Built-In Self-Test (BIST) system with non-intrusive TPG and ORA for FPGA test and diagnosis | |
Sari et al. | A fault injection platform for the analysis of soft error effects in FPGA soft processors | |
US8868396B1 (en) | Verification and debugging using heterogeneous simulation models | |
Portaluri et al. | A New Domains-based Isolation Design Flow for Reconfigurable SoCs | |
Gosheblagh et al. | Dynamic partial based single event upset (SEU) injection platform on FPGA | |
Wang et al. | Bitstream decoding and SEU-induced failure analysis in SRAM-based FPGAs | |
López-Ongil et al. | Autonomous transient fault emulation on FPGAs for accelerating fault grading | |
Kafka et al. | FPGA-based fault simulator | |
Violante et al. | Analyzing SEU effects is SRAM-based FPGAsb | |
Wang et al. | Analyzing single event upset on Kintex-7 Field-Programmable-Gate-Array with random fault injection method | |
Harward et al. | A fault injection system for measuring soft processor design sensitivity on Virtex-5 FPGAs | |
Lojda et al. | Reliability Indicators for Automatic Design and Analysis of Fault-Tolerant FPGA Systems | |
Cassano | Analysis and test of the effects of single event upsets affecting the configuration memory of SRAM-based FPGAs | |
Zhang et al. | A kind of low-cost non-intrusive autonomous fault emulation system | |
Civera et al. | FPGA-based fault injection techniques for fast evaluation of fault tolerance in VLSI circuits |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
WD01 | Invention patent application deemed withdrawn after publication | ||
WD01 | Invention patent application deemed withdrawn after publication |
Application publication date: 20180320 |