基于双模冗余的胚胎电子细胞阵列在线故障检测  

Online fault detection based on dual modular redundancy for embryonics array

作　　者：李丹阳[1] 蔡金燕[1] 孟亚峰[1] 朱赛[1] 

机构地区：[1]军械工程学院电子与光学工程系,石家庄050003

出　　处：《北京航空航天大学学报》2017年第6期1112-1122,共11页Journal of Beijing University of Aeronautics and Astronautics

基　　金：国家自然科学基金(61372039;61601495)~~

摘　　要：针对胚胎电子细胞阵列在线故障检测设计困难、检测率低、检测率难以准确计算等问题,提出了一种基于双模冗余的在线故障检测方法和一种基于电路等价性验证的故障检测率分析方法。设计了一种适用于查找表型功能单元的新型检测器,并开发了自动化设计程序。针对单固定型故障,将电路转变为待验证电路,再通过故障注入和等价性验证,可以快速精确地计算电路的故障检测率。仿真实验选取16个不同规模的标准电路,分别映射在胚胎电子细胞阵列中,分析了双模冗余后面积、延时变化情况和双模冗余的故障检测率。仿真结果给出了较为详细的面积消耗、电路延时和故障检测率等数据,并验证了本文方法具有很高的故障检测率。In order to designed, detection rate is solve the problems for embryonics low, and detection rate is difficult tection method based on dual modular redundancy and a fault array that online fault detection is difficult to be to be accurately calculated, an online fault de- detection rate analysis method based on equiva- lence checking are proposed. A novel checker which is suitable for look up table style function module of em- bryonics cell is designed, and the automated design program is developed. For single stuck at fault, the circuit is first converted to an equivalence checking circuit, and then through fault injection and equivalence chec- king, fault detection rate can be accurately calculated. In simulations, 16 different sizes of benchmark circuits are chosen, and mapped into embryonics array. Area, delay and fault detection rate of the dual modular re- dundancy circuit are analyzed. Simulation results are presented with detailed area consumption data, circuit delay data and fault detection rate data, and verify that the proposed method has a high fault detection rate.

关 键 词：胚胎电子细胞阵列 在线故障检测 双模冗余 自动化设计 等价性验证 

分 类 号：TP302.8[自动化与计算机技术—计算机系统结构]