一种fpga单粒子软错误影响评估方法
【专利摘要】本发明公开了一种FPGA单粒子软错误影响评估方法，能够针对未采取防护措施的SRAM型FPGA的具体配置，综合考虑SRAM型FPGA的设计结构和资源占用量，获得了FPGA内部单元单粒子软错误故障的传递概率，并分析得到单粒子软错误对SRAM型FPGA的整体影响，使得卫星电子产品设计师能够掌握单粒子软错误对SRAM型FPGA的整体影响，有利于指导SRAM型FPGA的抗单粒子软错误设计。
【专利说明】-种FPGA单粒子软错误影响评估方法
【技术领域】
[0001] 本发明涉及集成电路抗辐射加固设计领域，尤其涉及一种基于故障模式的单粒子 软错误对SRAM型FPGA整体影响的评估方法。
【背景技术】
[0002] SRAM型FPGA以其高集成度、丰富的逻辑资源、动态可配置等特点，已被越来越多 地应用在高性能航天设备上，如作为信号处理的关键器件。然而，由于空间轨道上存在大 量高能带电粒子，如质子和重离子等，高能带电粒子与SRAM型FPGA相互作用，引起电路逻 辑翻转、瞬态脉冲干扰和功能中断等单粒子软错误。所谓单粒子软错误，顾名思义就是单 个高能粒子的作用未造成器件或电路的物理损伤，所引起的故障可以通过重新加载、刷新、 复位重写等措施予以恢复的单粒子效应类型，具体包括单粒子翻转（Single Event Upset, SEU)、单粒子瞬态（Single Event Transient，SET)和单粒子功能中断（Single Event Function Interruption, SEFI)〇
[0003] 目前，国内外对逻辑器件已经建立了传统的单粒子软错误表征分析方法，如 σ -LET曲线法和在轨单粒子软错误率法。σ -LET曲线法是采用不同LET值的高能质子或重 离子辐照器件，在一定的高能粒子注量（Np)下获得SRAM型FPGA某一区域"位"的翻转次数 Nseu。然后可以通过Nsw与单位面积上入射粒子总数Np之比获得该区域的翻转截面 〇 _。对 应不同的LET值，可以获得不同的翻转截面，从而获得了表征FPGA该区域单粒子软错误敏 感性的σ -LET曲线。该方法认为SRAM型FPGA内全部是由于物理位组成的，而物理位在半 导体物理中是有特殊定义的，一般是指有4个或6个晶体管构成的信息存储基本单元，对应 于SRAM型FPGA内部的可配置逻辑单元。但FPGA内其他的功能单元如上电复位（Power-On Reset，P0R)、开关矩阵、输入输出模块（IOB)等物理位的概念并不明显。采用〇-LET曲线 法来分析，存在着物理概念的混淆。
[0004] 在轨单粒子软错误率，如常用的在轨翻转率，虽然可以表征器件或电路在特 定环境下单粒子软错误的影响，但是该方法必须结合具体的空间辐射环境，如专利 CN101887088B公开的"一种卫星用器件单粒子效应指标的评估方法"，采用RDM的方法表征 星用器件抗单粒子翻转水平，其中使用了在轨空间环境数据来预示器件的在轨翻转率。同 一电路，环境不同其在轨单粒子软错误率会产生较大差异。该方法未能直接反映单粒子软 错误对SRAM型FPGA自身的影响。因此，采用传统的σ-LET曲线法和在轨单粒子软错误率 方法表征单粒子软错误对SRAM型FPGA的影响各具有其局限性。
【发明内容】
[0005] 有鉴于此，本发明提供了一种基于故障模式的SRAM型FPGA单粒子软错误影响评 估方法，可以从整体上定量评估单粒子软错误对未采取防护措施的SRAM型FPGA的影响，指 导星用SRAM型FPGA的抗单粒子软错误设计。
[0006] 为了解决上述技术问题，本发明是这样实现的：
[0007] 本发明的一种FPGA单粒子软错误影响评估方法，包括如下步骤：
[0008] 步骤1、确定FPGA中用户所使用的内部单元；
[0009] 步骤2、确定每个所述内部单元的单粒子软错误故障，并确认每个内部单元的单粒 子软错误故障所属的故障模式：单粒子翻转故障模式或者单粒子功能中断故障模式；将故 障模式属于单粒子功能中断故障模式的所有内部单元作为一个内部单元处理；基于各内部 单元的故障之间的逻辑关系，建立单粒子软错误故障模式树；
[0010] 步骤3、计算单粒子软错误故障模式树中的各层输入节点的单粒子软错误故障传 递概率，具体为：
[0011] S1、针对单粒子软错误故障模式树中第i层中属于同一个输出节点的所有输入节 点，先判断各输入节点的故障模式，当属于单粒子功能中断故障模式，该输入节点的单粒子 软错误故障传递概率 P()ut_in为1，当属于单粒子翻转故障模式时，该输入节点的单粒子软错 误故障传递概率为JX B X Pin ;
[0012] 其中，J表示该输入节点的输入分布率，B表示对应输出节点的可能故障数量与输 入节点的可能故障数量之比；P in表示该输入节点所代表内部单元的逻辑位数量与所有输 入节点逻辑位总数的比值；
[0013] S2、确定单粒子软错误故障模式树中第i层的输入节点的单粒子软错误故障概率 Ein;针对属于同一个输出节点的所有输入节点，获得各输入节点的单粒子软错误故障传递 概率Po^ in与单粒子软错误故障概率Ein乘积Ptjut^inXE in，将各输入节点对应的乘积求和，得 到对应的输出节点的单粒子软错误故障概率；其中，i = 1，2. ..，L，L为单粒子软错误故障 模式树的层数；
[0014] S3、将第i层的输出节点作为第i+Ι层的输入节点，采用步骤Sl和S2的方法，依 次类推，直至得到单粒子软错误故障模式树最顶层的输出节点的单粒子软错误故障概率；
[0015] 步骤4、根据步骤3获得的单粒子软错误故障模式树最顶层的输出节点的单粒子 软错误故障概率对SRAM型FPGA单粒子软错误的整体影响进行评估。
[0016] 所述步骤3中，计算对应输出节点的可能故障数量与输入节点的可能故障数量之 比B的方法为：
[0017] 首先判断属于同一输出节点的各个输入节点的逻辑关系，其中所述逻辑关系包 括：表征输出节点在所有输入节点同时出现故障情况下才出现故障的逻辑"与"关系和表征 输出节点在其中一个输入节点出现故障情况下即出现故障的逻辑"或"关系；根据确认的输 入节点间的逻辑关系，罗列各输入节点的所有可能出现的故障状态的集合，以及输出节点 对应输出的故障状态；得到集合中当前输入节点处在故障状态的数量M，以及输出节点处 于故障状态的数量N，则得到当前输入节点对应输出节点的可能故障数量与其自身可能故 障数量之比5 = f。
[0018] 所述步骤3中，通过仿真分析方法或者单粒子辐照试验获得单粒子软错误故障模 式树中最底层中单粒子软错误故障概率。
[0019] 所述步骤3中，当采用单粒子辐照试验获得单粒子软错误故障概率时，选择具有 不同LET值的重离子辐照各个内部单元，获得各LET值的重离子辐照下内部单元输出管脚 在单位时间内的错误数与入射粒子通量之比，即得到单粒子软错误故障概率。
[0020] 本发明具有如下有益效果：
[0021] 本发明的方法能够针对未采取防护措施的SRAM型FPGA的具体配置，综合考虑 SRAM型FPGA的设计结构和资源占用量，获得了 FPGA内部单元单粒子软错误故障的传递概 率，并分析得到单粒子软错误对SRAM型FPGA的整体影响，使得卫星电子产品设计师能够掌 握单粒子软错误对SRAM型FPGA的整体影响，有利于指导SRAM型FPGA的抗单粒子软错误 设计。
【专利附图】
【附图说明】
[0022] 图1是XiIinx SRAM型FPGA的内部结构示意图。
[0023] 图2是本发明实施例所提供的基于SRAM型FPGA故障模式的单粒子软错误影响 分析流程图。
[0024] 图3是故障树中的逻辑关系图。
[0025] 图4是本发明实施例SRAM型FPGA故障模式树。
[0026] 图5是本发明实施例分析获得的SRAM型FPGA单粒子软错误的整体影响分析结 果。
[0027] 其中，1-可配置逻辑单元（CLB)，2-输入输出模块（IOB) 3-开关矩阵（SM)，4-互连 线。
【具体实施方式】
[0028] 下面结合附图并举实施例，对本发明进行详细描述。
[0029] 本发明的一种基于故障模式的SRAM型FPGA单粒子软错误整体影响评估方法，如 图2所示，包括如下步骤：
[0030] Sl :确定SRAM型FPGA中用户所使用的内部单元：
[0031] SRAM型FPGA的结构主要由可编程布线资源和逻辑资源组成。由下载到芯片内 部SRAM单元中的配置位流决定这些资源的配置，从而实现不同的设计功能。同时，SRAM型 FPGA内部结构也存在着其他功能单元，如Ι0Β、时钟管理单元（DCM)、开关矩阵等。因此，一 个配置完整的SRAM型FPGA使用的典型内部单元有可配置逻辑单元、互连线、开关矩阵和 IOB 等。
[0032] S2 :分析SRAM型FPGA单粒子软错误故障模式，建立单粒子软错误故障模式树：
[0033] SRAM型FPGA单粒子软错误的故障一般归为两类：一类是由用户存储器、配置存 储器、触发器发生单粒子翻转引起的故障，简称为单粒子翻转故障模式，也称配置位翻转故 障。另一类是由配置状态机、上电复位状态机、输入输出模块等发生单粒子瞬态脉冲效应和 单粒子功能中断效应引起的故障，简称为单粒子功能中断故障模式。
[0034] 单粒子翻转故障模式（配置位翻转）主要指配置比特流中配置信息的改变，即配 置信息由"〇->1"或"1->〇"。它主要发生于配置存储器、用户存储器和触发器。在配置存储 器中，配置位发生SEU并不能直接导致用户逻辑的输出错误，它往往通过配置位影响用户 逻辑的描述方式，进而产生错误输出。主要表现形式有：查找表故障、可配置控制位故障、开 关矩阵和可编程互连点故障、缓冲器故障和多路切换器故障等。
[0035] FPGA中的POR、JTAG配置接口、SelectMAP配置接口等其他功能型模块，受高通量 的高能粒子轰击后会产生单粒子功能中断，即SEFI。POR中的SEFI将会使FPGA器件内部 的存储单元复位，造成用户逻辑电路状态的丢失，从而使FPGA丧失功能。SelectMP接口 是FPGA并行配置接口，如果发生SEFI，外部控制器将不能通过该接口获得正确的数据，还 有可能造成配置状态机中控制寄存器的错误，进而无法写入数据。JTAG配置接口发生SEFI 时，用户无法通过JTAG接口对FPGA配置存储器进行读写。
[0036] 根据上述分析，可以建立具有一定电路功能的SRAM型FPGA的故障模式树。一般 来说，SRAM型FPGA整体故障有输出数据错误和功能异常等形式。以输出数据错误为例进 行分析，以此为顶事件，借助故障树分析方法（Fault Tree Analysis, FTA)，可以知道所有 可能导致输出数据错误是配置位的故障，具体包括配置存储器、用户存储器和触发器中内 容的错误。
[0037] S3 :计算SRAM型FPGA内部单元单粒子软错误故障传递概率：
[0038] 对于一定的电路单元，如图3所示。有一个输入节点IN，一个输出节点0UT，并且 输入节点故障到输出节点故障间的故障传递概率为P wt,in。那么，输出节点OUT的错误概率 为：
[0039] Eout = PoutjinXEin (1)
[0040] 其中，Ein为输入节点发生故障的概率。单粒子功能中断类型的故障错误对应于此 类模型，且单粒子功能中断一旦发生就会导致系统出现功能错误，可以认为故障传递概率 Pout, in = 1。
[0041] 对于具有多种单元故障模式的单粒子效应故障模式树来说，故障传递之间的关系 包括逻辑"与"和逻辑"或"模型。逻辑"与"表示其中任意输入正常，则系统功能正常，只有 当所有输入均发生故障时，输出才出现故障。而逻辑"或"则是所有输入均正常，系统才会 功能正常，只有一个输入故障，则输出即出现故障。对于图3中的二输入的逻辑"与"模型， 其中INl和IN2为两个输入节点，OUT为输出节点，P tjuwnl和Pwt_in2分别为输入节点INl和 IN2的故障传递概率。则该逻辑"与"模型输出节点的故障概率为：
[0042] Eout = P0Ut-inlXEinl+P0Ut_ in2XEin2 (2)；
[0043] 因此，SRAM型FPGA的第j个输出OUTj，对应于η个输入INI，IN2, IN3，…，INn， 则OUTj的故障概率为：
【权利要求】
1. 一种FPGA单粒子软错误影响评估方法，其特征在于，包括如下步骤： 步骤1、确定FPGA中用户所使用的内部单元； 步骤2、确定每个所述内部单元的单粒子软错误故障，并确认每个内部单元的单粒子软 错误故障所属的故障模式：单粒子翻转故障模式或者单粒子功能中断故障模式；将故障模 式属于单粒子功能中断故障模式的所有内部单元作为一个内部单元处理；基于各内部单元 的故障之间的逻辑关系，建立单粒子软错误故障模式树； 步骤3、计算单粒子软错误故障模式树中的各层输入节点的单粒子软错误故障传递概 率，具体为： 51、 针对单粒子软错误故障模式树中第i层中属于同一个输出节点的所有输入节点， 先判断各输入节点的故障模式，当属于单粒子功能中断故障模式，该输入节点的单粒子软 错误故障传递概率Ptjut^in为1，当属于单粒子翻转故障模式时，该输入节点的单粒子软错误 故障传递概率为JXBXPin ; 其中，J表示该输入节点的输入分布率，B表示对应输出节点的可能故障数量与输入节 点的可能故障数量之比；Pin表示该输入节点所代表内部单元的逻辑位数量与所有输入节 点逻辑位总数的比值； 52、 确定单粒子软错误故障模式树中第i层的输入节点的单粒子软错误故障概率Ein ; 针对属于同一个输出节点的所有输入节点，获得各输入节点的单粒子软错误故障传递概率 Potin与单粒子软错误故障概率Ein乘积，将各输入节点对应的乘积求和，得到对 应的输出节点的单粒子软错误故障概率；其中，i= 1，2. ..，L，L为单粒子软错误故障模式 树的层数； 53、 将第i层的输出节点作为第i+Ι层的输入节点，采用步骤Sl和S2的方法，依次类 推，直至得到单粒子软错误故障模式树最顶层的输出节点的单粒子软错误故障概率； 步骤4、根据步骤3获得的单粒子软错误故障模式树最顶层的输出节点的单粒子软错 误故障概率对SRAM型FPGA单粒子软错误的整体影响进行评估。
2. 如权利要求1所述的一种FPGA单粒子软错误影响评估方法，其特征在于，所述步骤 3中，计算对应输出节点的可能故障数量与输入节点的可能故障数量之比B的方法为： 首先判断属于同一输出节点的各个输入节点的逻辑关系，其中所述逻辑关系包括：表 征输出节点在所有输入节点同时出现故障情况下才出现故障的逻辑"与"关系和表征输出 节点在其中一个输入节点出现故障情况下即出现故障的逻辑"或"关系；根据确认的输入节 点间的逻辑关系，罗列各输入节点的所有可能出现的故障状态的集合，以及输出节点对应 输出的故障状态；得到集合中当前输入节点处在故障状态的数量M，以及输出节点处于故 障状态的数量N，则得到当前输入节点对应输出节点的可能故障数量与其自身可能故障数 M 量之比5 = ^。 N
3. 如权利要求1或2所述的一种FPGA单粒子软错误影响评估方法，其特征在于，所述 步骤3中，通过仿真分析方法或者单粒子辐照试验获得单粒子软错误故障模式树中最底层 中单粒子软错误故障概率。
4. 如权利要求3所述的一种FPGA单粒子软错误影响评估方法，其特征在于，所述步骤 3中，当采用单粒子辐照试验获得单粒子软错误故障概率时，选择具有不同LET值的重离子 辐照各个内部单元，获得各LET值的重离子辐照下内部单元输出管脚在单位时间内的错误 数与入射粒子通量之比，即得到单粒子软错误故障概率。
【文档编号】G06F11/26GK104461808SQ201410636120
【公开日】2015年3月25日 申请日期:2014年11月6日 优先权日:2014年11月6日
【发明者】郑玉展, 蔡震波, 张庆祥, 赵小宇 申请人:北京空间飞行器总体设计部