Automated Test Procedure to Detect Permanent Faults Inside SRAM-based FPGAs
NASA/ESA Conference on Adaptive Hardware and Systems(2017)
摘要
Using commercial FPGAs in harsh environments such as space applications, enables high processing power. Temporary faults such as single-event upsets, which can be mitigated by well-known methods, are not as critical as permanent faults, since they may endanger the application in case of a defective FPGA. To overcome the impact of permanent faults, we introduce hardware fault detection, isolation, and recovery. In this paper we focus on the first step, the fault detection, performed by an automated test procedure. We separate the procedure in three subtasks: The source file generation, the build process, and the test process itself. With such a modular concept each subtask can be replaced by customized solutions. Each subtask runs autonomous and may be integrated into the automated test procedure. Moreover, our generic design strategy aims to achieve FPGA type and vendor independence, whereby we address SRAM-based FPGAs. We conduct a case study for a Xilinx Artix-7 to evaluate our implementation. In this first verification step, we only consider look-up tables as essential FPGA primitives. We achieve a fault coverage of approx. 96 % with only four bit files and an overall test process time of less than 20 s. The complete test procedure is based on tool command language scripting. Our frame-based fault injection confirms the successful detection of permanent faults within the covered region. Furthermore, we verify the procedure also for a Virtex-5QV.
更多查看译文
关键词
Xilinx Artix-7,look-up tables,FPGA primitives,tool command language scripting,frame-based fault injection,Virtex-5QV,generic design strategy,test process,build process,source file generation,fault recovery,fault isolation,defective FPGA,SRAM-based FPGA,permanent fault detection,automated test procedure
AI 理解论文
溯源树
样例
![](https://originalfileserver.aminer.cn/sys/aminer/pubs/mrt_preview.jpeg)
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要