一种基于Virtex5器件的位流文件解析方法及定时刷新方法技术

一种基于Virtex5器件的位流文件解析方法及定时刷新方法，其中解析方法步骤如下：(1)对Virtex5型至少8个系列的器件进行底层架构分析，确定每个系列器件的资源类型；(2)对每个系列器件的位流文件帧结构进行分析，确定每帧的bit数以及包含的资源类型、大小、位置，计算位流文件的总bit数；(3)根据步骤(1)、(2)的结果，通过ISE生成Virtex5型对应系列器件的位流文件，根据生成的位流文件的总bit数与步骤(2)中计算的总bit数进行比较，判断步骤(1)(2)的分析是否准确，若准确执行步骤(4)，否则重新从步骤(1)开始分析；(4)针对每个系列的器件，根据位流文件的总bit数构建以资源类型长度为未知数的多元方程，得到一个多元方程组，求解该方程组，得到资源类型的大小。

【技术实现步骤摘要】
一种基于Virtex5器件的位流文件解析方法及定时刷新方法
本专利技术属于刷新重构技术。
技术介绍
空间辐射环境会导致SRAM型FPGA发生单粒子翻转问题，其严重性将可能引起系统程序的“异常”、“紊乱”或者“死机”等故障，降低星上数字处理设备的可靠性，目前星上FPGA的加固主要依靠定时刷新，而刷新的核心是对位流文件中BRAM资源的抽取，通过抽取对配置文件重新组帧，按照一定的配置时序从而实现刷新，器件厂商已不再提供Virtex5以上器件的相关资料。文献“一种面向航天应用的高可靠FPGA设计架构研究”，该文在分析以往SRAM型FPGA系统设计的不足后提出了一种采用三模冗余架构(TMR)并对FPGA配置区域进行刷新重载的解决方案，采用马尔可夫模型对该设计方案进行了可靠性评估和仿真。“基于SRAM型FPGA的容错性设计”，该文介绍了一种基于Xilinx公司Vertix-II系列FPGA的容错性设计，该设计深入研究了动态刷新(Scrubbing)原理，利用反熔丝型FPGA作为控制器实现了对SRAM型FPGA的配置数据进行ms级的周期刷新，并对2种FPGA加入了三模冗余(triplemodula本文档来自技高网...

【技术保护点】
一种基于Virtex5器件的位流文件解析方法，其特征在于步骤如下：(1)对Virtex5型至少8个系列的器件进行底层架构分析，确定每个系列器件的资源类型；(2)对每个系列器件的位流文件帧结构进行分析，确定每帧的bit数以及包含的资源类型、大小、位置，计算位流文件的总bit数；(3)根据步骤(1)、(2)的结果，通过ISE生成Virtex5型对应系列器件的位流文件，根据生成的位流文件的总bit数与步骤(2)中计算的总bit数进行比较，判断步骤(1)(2)的分析是否准确，若准确执行步骤(4)，否则重新从步骤(1)开始分析；(4)针对每个系列的器件，根据位流文件的总bit数构建以资源类型长度为未知数...

【技术特征摘要】
1.一种基于Virtex5器件的位流文件解析方法，其特征在于步骤如下：(1)对Virtex5型至少8个系列的器件进行底层架构分析，确定每个系列器件的资源类型；(2)对每个系列器件的位流文件帧结构进行分析，确定每帧的bit数以及包含的资源类型、大小、位置，计算位流文件的总bit数；(3)根据步骤(1)、(2)的结果，通过ISE生成Virtex5型对应系列器件的位流文件，根据生成的位流文件的总bit数与步骤(2)中计算的总bit数进行比较，判断步骤(1)(2)的分析是否准确，若准确执行步骤(4)，否则重新从步骤(1)开始分析；(4)针对每个系列的器件，根据位流文件的总bit数构建以资源类型长度为未知数的多元方程，得到一个多元方程组，求解该方程组，得到资源类型的大小。2.根据权利要求1所述的方法，其特征在于：资源类型包括逻辑资源CLB、数字处理单元DSP，逻辑互联资源INT、IO资源IOB，时钟管理单元CMT；时钟资源CLK，RAM资源BRAM；高速接口资源GT。3.根据权利要求2所述的方法，其特征在于：多元方程的表达形式如下：a*(A1*Xclb+A2*Xdsp+A3*Xint+A4*Xiob+A5*Xcmt+A6*Xclk+A7*Xbram+A8*Xgt)＝B式中，Xclb、Xdsp、Xint、Xiob、Xcmt、Xclk、Xbram、Xgt分别为资源类型的大小；A1—A8表示同一系列器件资源类型的列数、a表示器件行数、B表示对应系列器件位流文件的总bit数。4.根据权利要求3所述的方法，其特征在于：A1—A8根据FPGAEDIT中的版图信息确定。5....

【专利技术属性】
技术研发人员：朱启，赖晓玲，巨艇，王建，张国霞，
申请(专利权)人：西安空间无线电技术研究所，
类型：发明
国别省市：陕西,61