论文部分内容阅读
针对胚胎电子细胞阵列在线故障检测设计困难、检测率低、检测率难以准确计算等问题,提出了一种基于双模冗余的在线故障检测方法和一种基于电路等价性验证的故障检测率分析方法。设计了一种适用于查找表型功能单元的新型检测器,并开发了自动化设计程序。针对单固定型故障,将电路转变为待验证电路,再通过故障注入和等价性验证,可以快速精确地计算电路的故障检测率。仿真实验选取16个不同规模的标准电路,分别映射在胚胎电子细胞阵列中,分析了双模冗余后面积、延时变化情况和双模冗余的故障检测率。仿真结果给出了较为详细的面积消耗、电路延时和故障检测率等数据,并验证了本文方法具有很高的故障检测率。
In order to solve the problems of on-line fault detection of embryonic electronic array, such as difficult design, low detection rate and difficult computation, the paper proposes an on-line fault detection method based on dual-mode redundancy and a fault detection rate based on circuit equivalence verification Analytical method. A new detector suitable for finding phenotypic functional units was designed and an automated design program was developed. For a single fixed fault, the circuit into the circuit to be verified, and then through fault injection and equivalence verification, you can quickly and accurately calculate the circuit fault detection rate. Sixteen standard circuits with different scales were selected in the simulation experiment and mapped into embryonic electronic arrays respectively. The area, delay variation and redundancy of dual-mode redundancy were analyzed. The simulation results give more detailed data of area consumption, circuit delay and fault detection rate, and verify that the proposed method has high fault detection rate.