一种基于配置码流的FPGA故障注入复合模型制造技术

一种基于配置码流的FPGA故障注入复合模型，包括空间遍历模型、环境重建模型、定点精确模型、资源导向模型和多位翻转模型，各模型针对不同的研究目的和不同的电路设计，在FPGA的配置码流层面上获取相应目标配置位的地址信息，并据此对FPGA电路执行单粒子翻转故障注入。本发明专利技术的复合模型可以从整体、从局部、从不同研究目的、从不同电路类型多个角度评估FPGA电路对单粒子翻转效应的敏感度，克服了现有故障注入模型应用范围和应用情境的单一性，同时有针对性的对部分配置位而不总是对全部配置位进行单粒子翻转故障注入，大大提高了执行效率。

【技术实现步骤摘要】
一种基于配置码流的FPGA故障注入复合模型
本专利技术涉及FPGA单粒子翻转故障注入，特别是一种基于配置码流的FPGA故障注入复合模型，属于FPGA可靠性测试领域。
技术介绍
空间应用的FPGA电路易受辐射环境中单粒子翻转效应影响，导致SRAM存储单元的数据损坏，电路功能由此改变。单粒子翻转效应由空间中的高能带电粒子撞击FPGA的SRAM单元产生，机理较为复杂，而表征在配置码流上，仅表现为配置位逻辑状态的翻转。由于带电粒子入射位置、粒子能量、器件工艺、电路设计的差异，单粒子翻转效应通常有配置位的一位翻转和多位翻转两种形式，目前随着工艺进步，器件敏感性增大，多位翻转发生的概率越来越高。在地面上进行单粒子翻转故障注入是评估FPGA可靠性的有效手段。利用重离子源或质子源对FPGA做辐照实验对空间辐射环境的还原度高、数据可靠，但成本高昂、可控性差，因此，通常采用另一种方法，即建立一个基于FPGA配置码流、借助动态可重构特性来人为翻转配置位的故障注入系统。现有的基于配置码流的单粒子翻转故障注入系统常采用对全部配置空间逐位翻转的模型，能够得到较为全面的敏感位的分布信息，实现对器件整体单粒子敏感程度的评估。但也存在下列问题：(1)由于器件规模不断扩大，逐位翻转效率低的缺点逐渐暴露出来；(2)逐位翻转获得无差别的码流故障位的信息，对SEU敏感度的评估作用不大，随着FPGA片上资源更加多样化，对可靠性的要求更高，需要通过多种故障翻转方式研究FPGA单粒子翻转效应，从而为SEU敏感度评估提供更详细的数据；(3)器件特征尺寸缩小，敏感性增大，导致多位翻转存在的可能性不容忽视，现有的故障注入模型不能一次实现多位翻转；(4)单一的故障注入模型不适用于当前多研究目的、多类型电路设计的FPGA单粒子翻转效应敏感度的研究。
技术实现思路
本专利技术的技术解决问题是：克服现有技术的不足，提供一种基于配置码流的FPGA故障注入复合模型，具备多种故障翻转方式，工作效率高，可以从整体、从局部、从不同研究目的、从不同电路类型多个角度评估FPGA电路对单粒子翻转效应的敏感度，克服了现有模型应用范围和应用情境的单一性。本专利技术的技术解决方案是：一种基于配置码流的FPGA故障注入复合模型，包括空间遍历模型、环境重建模型、定点精确模型、资源导向模型和多位翻转模型；空间遍历模型：对用户选定空间内的全部配置位进行逐位翻转，所述用户选定空间为目标FPGA器件的整个配置存储空间或使用区域布局约束之后确定的目标电路模块占用的部分配置存储空间；环境重建模型：生成伪随机数，作为配置存储器中的地址，将该地址对应的配置位进行随机翻转；定点精确模型：对用户感兴趣的电路结构对应的配置位进行翻转；资源导向模型：选择一种或几种类型的数据帧进行所有配置位的翻转，所述数据帧为与可编程资源关联的配置数据帧；多位翻转模型：对物理相邻的n个配置位同时进行翻转，n为大于1的自然数。通过配置位在配置存储器中的帧地址和位偏移来寻址配置位。所述环境重建模型采用线性反馈移位寄存器的方式生成伪随机数，作为配置存储器中的地址，具体方法如下：(3.1)设置伪随机数的位宽；(3.2)选定一个生成多项式；(3.3)当线性反馈移位寄存器开始循环时，每个时钟周期生成一个伪随机数，将该伪随机数转换成帧地址和位偏移的数据组合格式，据此得到配置位的地址。所述定点精确模型的实现方法为：(4.1)分析电路设计的XDL文件，获取用户感兴趣的电路结构占据的可编程资源在器件物理结构上的位置坐标；(4.2)解析配置码流文件，找到步骤(4.1)获得的位置坐标与配置码流在配置存储器中地址的映射关系，获取该位置坐标对应的配置位，对其进行翻转。所述资源导向模型的实现方法为：(5.1)资源导向模型将可编程资源的每一列资源以配置数据帧为基本单位细分，分成布线访问帧、接口访问帧、功能访问帧三种类型；(5.2)针对每一列资源，选择一种或几种类型的数据帧进行所有配置位的翻转。本专利技术与现有技术相比的有益效果是：(1)空间遍历模型对于大规模的电路设计，可以遍历部分配置存储空间，对于小规模的电路设计，可以遍历整个配置存储空间，使用方式灵活，评估的是区域的整体单粒子敏感程度。(2)环境重建模型在一定程度上还原真实空间辐射环境，随机式翻转可用于产品的抽样检测，测试产品抗单粒子翻转效应的能力。(3)定点精确模型对特定位置的若干配置位进行单粒子翻转故障注入，满足了用户的特殊研究目的，使研究更加深入，提高了故障注入的针对性。(4)资源导向模型对可编程资源按照特定的规则进行划分，在此基础上的故障注入可以单独获取不同类型配置数据帧的单粒子翻转效应敏感度，是一种局部的单粒子敏感度，同样提高了故障注入的针对性。(5)多位翻转模型采用n比特掩膜，能够一次实现多位翻转，扩大了单粒子翻转故障注入的研究范围，提高了研究的广度。(6)故障注入系统可以选择本专利技术复合模型中的一个或多个进行故障注入，选中复合模型中的任何模型，都是根据需求对配置码流的选择性故障注入，与传统对目标不加以区分的大面积的故障注入相比，显著提高了系统工作的效率。同时选择几个模型，可以实现多种故障翻转方式，为SEU敏感度评估提供更详细的数据。附图说明图1是本专利技术基于码流的FPGA故障注入复合模型示意图；图2是应用本专利技术复合模型的单粒子翻转故障注入系统的工作流程示意图。具体实施方式如图1所示，本专利技术提出的一种基于配置码流的FPGA故障注入复合模型包括空间遍历模型1、环境重建模型2、定点精确模型3、资源导向模型4和多位翻转模型5。各模型的功能如下：(1)空间遍历模型：根据用户需求和电路规模，可选择整个配置存储空间1或部分配置存储空间7(用户选定空间)作为单粒子翻转故障注入的目标，一旦空间大小确定，空间中可访问的配置位被逐位翻转；全部空间的配置位的帧地址和位偏移一般从0开始，帧地址初始为00000000(十六进制)，位偏移初始为0，遍历范围与器件型号有关；部分空间的配置位的起始地址是由用户指定的。(2)空间辐射环境的不确定性使得FPGA单粒子翻转效应的发生是不可预测和不可再现的，环境重建模型采用基于线性反馈移位寄存器的伪随机数生成方法生成目标配置位的地址，将该地址对应的配置位进行随机翻转，以此来还原辐射环境的不确定性。环境重建模型生成目标配置位地址的方法如下：首先设置伪随机数的位宽，再选定一个生成多项式，当移位寄存器开始循环时，每个时钟周期生成一个伪随机数，将该伪随机数转换成帧地址和位偏移的数据组合格式，据此得到目标配置位的地址。(3)定点精确模型：首先分析电路设计的XDL文件，该文件指明电路设计中典型电路结构与可编程资源的映射关系，用户选取少量的、感兴趣的电路结构作为故障注入的目标，可直接获取该电路结构占据的可编程资源在器件物理结构上的位置坐标；再解析配置码流文件，找到可编程资源的物理位置与配置码流在配置存储空间中的地址的映射关系，获取确定位置的可编程资源对应的配置位，因此该配置位是用户指定的有确切含义的配置位，对该配置位进行翻转。(4)资源导向模型：FPGA的可编程片上资源有IOB、CLB、BRAM、DSP、GTP等，在器件物理结构的每一行内部，以上资源以列为单位排列，而在每列资源内部，以配置数据帧为基本单位还可本文档来自技高网...

【技术保护点】
一种基于配置码流的FPGA故障注入复合模型，其特征在于：包括空间遍历模型、环境重建模型、定点精确模型、资源导向模型和多位翻转模型；空间遍历模型：对用户选定空间内的全部配置位进行逐位翻转，所述用户选定空间为目标FPGA器件的整个配置存储空间或使用区域布局约束之后确定的目标电路模块占用的部分配置存储空间；环境重建模型：生成伪随机数，作为配置存储器中的地址，将该地址对应的配置位进行随机翻转；定点精确模型：对用户感兴趣的电路结构对应的配置位进行翻转；资源导向模型：选择一种或几种类型的数据帧进行所有配置位的翻转，所述数据帧为与可编程资源关联的配置数据帧；多位翻转模型：对物理相邻的n个配置位同时进行翻转，n为大于1的自然数。

【技术特征摘要】
1.一种基于配置码流的FPGA故障注入复合模型，其特征在于：包括空间遍历模型、环境重建模型、定点精确模型、资源导向模型和多位翻转模型；空间遍历模型：对用户选定空间内的全部配置位进行逐位翻转，所述用户选定空间为目标FPGA器件的整个配置存储空间或使用区域布局约束之后确定的目标电路模块占用的部分配置存储空间；环境重建模型：生成伪随机数，作为配置存储器中的地址，将该地址对应的配置位进行随机翻转；定点精确模型：对用户感兴趣的电路结构对应的配置位进行翻转；资源导向模型：选择一种或几种类型的数据帧进行所有配置位的翻转，所述数据帧为与可编程资源关联的配置数据帧；多位翻转模型：对物理相邻的n个配置位同时进行翻转，n为大于1的自然数。2.根据权利要求1所述的一种基于配置码流的FPGA故障注入复合模型，其特征在于：通过配置位在配置存储器中的帧地址和位偏移来寻址配置位。3.根据权利要求2所述的一种基于配置码流的FPGA故障注入复合模型，其特征在于：所述环境重建模型采用线性反馈移位寄存器的方式生成伪随机数，作...

【专利技术属性】
技术研发人员：于婷婷，陈雷，周婧，王硕，李学武，
申请(专利权)人：北京时代民芯科技有限公司，北京微电子技术研究所，
类型：发明
国别省市：北京,11