检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]同济大学软件学院,上海201804 [2]江西理工大学信息工程学院,江西赣州341000
出 处:《电子学报》2016年第9期2219-2226,共8页Acta Electronica Sinica
基 金:国家自然科学基金(No.61561024;No.61432017;No.61462034);江西省教育厅项目(No.GJJ14429);江西省自然科学项目(No.20151BAB207035)
摘 要:传统的概率转移矩阵(PTM)方法是一种用于估计软错误对组合电路可靠度影响的有效方法,但传统PTM方法只适用于组合逻辑电路的可靠度评估.触发器是时序逻辑电路的重要组成部分,其可靠度评估对时序电路的可靠度分析研究至关重要.为此,本文提出了基于PTM的触发器可靠度计算的F-PTM方法及电路PTM的判定定理.F-PTM方法首先建立触发器电路的特征方程,再用电路PTM的判定定理生成触发器的PTM,最后,根据输入信号的概率分布函数计算出电路的可靠度.与传统PTM方法相比较,F-PTM方法既能计算组合电路的PTM,又能计算触发器电路的PTM,其通用性强.对典型的触发器电路和74X系列电路中的触发器电路的实验结果表明,F-PTM方法合理可行.与多阶段方法和Monte Carlo方法的实验结果相比较,F-PTM方法得到的结果更精确.The traditional method based on probabilistic transfer matrices( PTM) enables accurate evaluation of reliability for moderately large combinational circuits,but it can only be applied to combinational circuits. Flip-flop is an important component of sequential circuits,and its reliability estimation is essential for reliability analysis of sequential circuits.Therefore,a general computational framework for reliability estimation of flip-flops based on PTM( F-PTM) and a decision theorem of circuit's PTMare proposed. Firstly,a logical function of the flip-flop circuit is expressed; and then its PTMis calculated by deduction employing the proposed decision theorem; finally,the circuit's reliability is estimated by probability distribution of its inputs. Compared with the traditional PTMmethod,the F-PTMmethod can calculate PTMs for both combinational circuits and flip-flop circuits. Experimental results of the classical flip-flop circuits and 74 X series circuits showthat the F-PTMmethod is efficient and feasible. The comparison of our method with multiple-pass method and Monte Carlo simulation also demonstrate that the reliability results estimated by the F-PTMmethod is more accurate.
关 键 词:软错误 触发器 可靠度评估 概率转移矩阵 半张量积
分 类 号:TP302.8[自动化与计算机技术—计算机系统结构]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.3