%0 Journal Article
%T 基于双模冗余的胚胎电子细胞阵列在线故障检测<br>Online fault detection based on dual modular redundancy for embryonics array
%A 李丹阳
%A 蔡金燕
%A 孟亚峰
%A 朱赛
%J 北京航空航天大学学报
%D 2017
%R 10.13700/j.bh.1001-5965.2016.0745
%X 摘要 针对胚胎电子细胞阵列在线故障检测设计困难、检测率低、检测率难以准确计算等问题，提出了一种基于双模冗余的在线故障检测方法和一种基于电路等价性验证的故障检测率分析方法。设计了一种适用于查找表型功能单元的新型检测器，并开发了自动化设计程序。针对单固定型故障，将电路转变为待验证电路，再通过故障注入和等价性验证，可以快速精确地计算电路的故障检测率。仿真实验选取16个不同规模的标准电路，分别映射在胚胎电子细胞阵列中，分析了双模冗余后面积、延时变化情况和双模冗余的故障检测率。仿真结果给出了较为详细的面积消耗、电路延时和故障检测率等数据，并验证了本文方法具有很高的故障检测率。<br>Abstract：In order to solve the problems for embryonics array that online fault detection is difficult to be designed, detection rate is low, and detection rate is difficult to be accurately calculated, an online fault detection method based on dual modular redundancy and a fault detection rate analysis method based on equivalence checking are proposed. A novel checker which is suitable for look up table style function module of embryonics 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 checking, 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 redundancy 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.
%K 胚胎电子细胞阵列
%K 在线故障检测
%K 双模冗余
%K 自动化设计
%K 等价性验证&lt
%K br&gt
%K embryonics array
%K online fault detection
%K dual modular redundancy
%K automated design
%K equivalence checking
%U http://bhxb.buaa.edu.cn/CN/abstract/abstract14171.shtml