一种基于FPGA低功耗容错状态机设计方法.docVIP

一种基于FPGA的低功耗容错状态机设计方法 　　摘要:针对FPGA在航空航天领域应用面临的可靠性和功耗问题,提出了一种适于FPGA实现的低功耗、容错有限状态机设计方法。该方法与传统FPGA中实现状态机占用布线资源、查找表、寄存器等资源的思想不同,它将状态机映射到FPGA内嵌块RAM,同时采用两块RAM构成双模冗余结构,通过比较两块RAM输出数据的一致性确定RAM中数据出错的情况,并结合奇偶校验进行检错与纠错。实验结果表明与经典的三模冗余方法相比该方法有更低的功耗和更高的可靠性,并能对一位错误实现在线纠错。 　　关键词:低功耗;有限状态机;容错;现场可编程门阵列 　　中图分类号: TP368;TN873文献标识码:A文章编号:1004-731X (2006) xx-xxxx-x 　　A FPGA-Based Design Method of Low Power fault-tolerance 　　finite state machine 　　LI Lie-wen ,GUI Wei-hua , HU Xiao-long 　　( School of Information Science and Engineering,Central South University,Changsha 410075,China) 　　Abstract: Considering the reliability and power consumption problems of FPGA in aviation and spaceflight application field, a new design method of low power and fault-tolerance finite state machine suitable for FPGA was presented. Different from traditional occupying routing resources, looking up tables and registers, the method was realized by mapping finite-state machines into embedded blocks RAM of FPGA and employing two RAM blocks to compose the duple-redundancy structure to confirm data errors in RAM through comparing consistency of two blocks RAM output data and combining with parity check for error detection and correction. The experimental results show that the method has the advantages of lower power, higher reliability, and achieving an error on-line error correction compared with the traditional triple-redundancy method. 　　Key words:low power;finite state machine;fault-tolerance;Field Programmable Gate Array(FPGA) 　　 　　 　　现场可编程门阵列(FPGA) 以其高性能、可重构、设计周期短等优势,被认为是在航空航天领域的重要器件。由于空间辐射,基于SRAM 的FPGA 在空间环境工作时,极易受到单粒子翻转 (Single Event Upset,SEU)的影响。SEU是由于带电重粒子轰击集成电路时造成瞬时充放电而导致存储单元的逻辑状态翻转[1],它能改变FPGA内部寄存器、块RAM、查找表(Look-Up-Table,LUT)、配制存储块的内容,可能引起计算结果错误、程序执行序列错误, 甚至使系统崩溃。此外,在宇宙空间的高真空环境,由于没有空气来散发电子系统产生的热量,整个环境对系统的散热非常不利,电子系统散热只能用其它方式来解决,这就势必对系统功耗指标提出严格的要求。因此,可靠性和功耗问题已经成为FPGA在航空航天领域应用首要考虑和解决问题。 　　有限状态机(finite state machine ,FSM)是数字系统设计中的重要组成部分、是FPGA中实现高效率高可靠性逻辑控制的重要途径,有限状态机可靠性直接关系到整个系统的稳定,国内外许多研究机构针对FP