基于FPGA的数字太敏SoC抗SEU加固设计

来源 :哈尔滨工业大学 | 被引量 : 0次 | 上传用户:w3244732447
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着航天技术及集成电路产业的发展,数字式太阳敏感器得到广泛应用,采用So C(System on Chip,片上系统)的方法进行太阳敏感器数据处理电路的实现,体积小、功耗低,符合卫星小型化的趋势。So C中的时序单元极易受到SEU(Single Event Upset,单粒子翻转)的影响导致逻辑翻转,进而引起系统错误,对数字式太阳敏感器(以下简称“数字太敏”)So C进行抗SEU加固设计对保证航天器的正常运行有重要意义。本文完成了数字太敏So C在RTL(Register Transition Level,寄存器传输级)的抗SEU加固设计,并将加固后的设计进行了FPGA(Field-Programmable Gate Array,现场可编程门阵列)实现。首先分析了基于Leon3处理器平台设计的数字太敏So C结构并提取了其中的SEU敏感单元,接下来对不同敏感单元的SEU加固方法进行探讨,根据各敏感单元类型和完成的功能不同,综合考虑速度、开销及加固效果后,确定了针对数字太敏So C的抗SEU加固整体方案。为了减小容错设计对流水线性能的影响并减少开销,对Leon3处理器中的寄存器堆采用分组汉明码加流水线重启的方法加固,对Cache存储体使用CRC(Cyclic Redundancy Check,循环冗余校验)结合强制Cache不命中的方法加固;针对TMR(Triple Modular Redundancy,三模冗余)加固的FSM(Finite-State Machine,有限状态机)在发生两位SEU时失效的问题,并考虑到FSM在设计中的重要地位,对低速设备中的FSM使用One-Hot码加自检测逻辑的方法加固,对高速设备中的FSM使用One-Hot码加TMR的方法加固;为减小开销,对数据预处理模块中的SRAM使用汉明码加固;其他普通寄存器均采用TMR加固实现。本文最后对数字太敏So C的抗SEU加固设计进行功能验证和加固效果分析。使用Modelsim对流水线重启、强制Cache不命中和低速设备中FSM的加固进行验证,并使用FPGA对加固后设计进行实现,证明加固后整体功能正确,使用故障注入工具对寄存器进行故障注入,计算了寄存器加固后的故障率比加固前减小了6个数量级。
其他文献
根据浮山县小麦遭受冻害的情况,分析小麦发生冻害的原因,提出预防小麦冻害发生的栽培技术和冻害发生后的补救措施,使小麦生产趋利避害,达到高产稳产。
盐碱地属于主要的土地资源,它成为了在地球上广泛分布的一种土壤类别,大约占陆地总面积的25%,总合计约有10多亿hm~2,大约在世界各个大洲干旱区域之中所分布着,主要在非洲、北美西部地区所补集。我国大约有0.27多亿hm~2盐碱荒地,还有大约0.06亿hm~2耕地面积。主要在一些内陆地区以及长江以北沿海地区所分布着。从开发利用角度上来看,我国盐碱地资源主要分为几个主要的类别,即微咸水资源、盐渍土资源
期刊
为对学生的道德自我作一初步探究,借鉴心理学对自我的研究成果,参照了道德心理研究的主题和我国的现实情况,从形式和内容两个维度编制了道德自我问卷。测试结果表明,问卷有较高的
土地利用是人类对土地长期、动态的利用、改造。土地利用变化不仅直接影响社会经济的可持续发展,同时还对当今生态资源环境产生重要的影响。研究土地利用变化对土地,特别是农
探讨两种学习任务要求与两种时间压力是如何通过57名被试的临场情境评估状况而影响其实际自我调节学习活动水平的。结果表明,无论学习任务难易还是时间大小,被试的实际自我调节
作为工业自动化系统不可或缺的一部分,关节型机器人伴随着人工智能技术、虚拟样机技术和联合仿真技术的发展迅速崛起,尤其是协调控制技术的发展使得机器人轨迹跟踪控制向着更
随着我国生态环保战略的实施,人们的生态环保意识也在不断加强,生态环保是可持续发展理念的延伸,在我国生态环境日益恶化的发展形势下,加强湿地生态恢复发挥湿地系统的生态功
本文阐述了认知神经科学关于选择注意发生在感知觉中枢信息流加工较早阶段以及前扣带皮层(ACC)在丘脑与初级感觉皮层水平调制躯体感觉输入的研究证据,揭示了ACC在感知觉信息