电子学报 ›› 2016, Vol. 44 ›› Issue (9): 2219-2226.DOI: 10.3969/j.issn.0372-2112.2016.09.029

• 学术论文 • 上一篇    下一篇

触发器可靠度计算的F-PTM方法

欧阳城添1,2, 江建慧1, 王曦2   

  1. 1. 同济大学软件学院, 上海 201804;
    2. 江西理工大学信息工程学院, 江西赣州 341000
  • 收稿日期:2014-08-14 修回日期:2015-10-10 出版日期:2016-09-25 发布日期:2016-09-25
  • 通讯作者: 欧阳城添
  • 作者简介:江建慧 男,1964年生,浙江淳安人,博士,教授,博士生导师,主要研究领域为可信系统与网络、软件可靠性工程、VLSI/SoC测试与容错.E-mail:jhjiang@tongji.edu.cn;王曦 女,1974年生,湖南双峰人,博士,主要研究领域为形式化方法、模型检测、高可信系统的安全性分析与评估.
  • 基金资助:

    国家自然科学基金(No.61561024,No.61432017,No.61462034);江西省教育厅项目(No.GJJ14429);江西省自然科学项目(No.20151BAB207035)

The F-PTM method of Reliability Estimation for Flip-Flops

OUYANG Cheng-tian1,2, JIANG Jian-hui1, WANG Xi2   

  1. 1. School of Software Engineering, Tongji University, Shanghai 201804, China;
    2. Faculty of Information Engineering, Jiangxi University of Science and Technology, Ganzhou, Jiangxi 341000, China
  • Received:2014-08-14 Revised:2015-10-10 Online:2016-09-25 Published:2016-09-25

摘要:

传统的概率转移矩阵(PTM)方法是一种用于估计软错误对组合电路可靠度影响的有效方法,但传统PTM方法只适用于组合逻辑电路的可靠度评估.触发器是时序逻辑电路的重要组成部分,其可靠度评估对时序电路的可靠度分析研究至关重要.为此,本文提出了基于PTM的触发器可靠度计算的F-PTM方法及电路PTM的判定定理.F-PTM方法首先建立触发器电路的特征方程,再用电路PTM的判定定理生成触发器的PTM,最后,根据输入信号的概率分布函数计算出电路的可靠度.与传统PTM方法相比较,F-PTM方法既能计算组合电路的PTM,又能计算触发器电路的PTM,其通用性强.对典型的触发器电路和74X系列电路中的触发器电路的实验结果表明,F-PTM方法合理可行.与多阶段方法和Monte Carlo方法的实验结果相比较,F-PTM方法得到的结果更精确.

关键词: 软错误, 触发器, 可靠度评估, 概率转移矩阵, 半张量积

Abstract:

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 PTM are proposed.Firstly,a logical function of the flip-flop circuit is expressed;and then its PTM is 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 PTM method,the F-PTM method can calculate PTMs for both combinational circuits and flip-flop circuits.Experimental results of the classical flip-flop circuits and 74X series circuits show that the F-PTM method 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-PTM method is more accurate.

Key words: soft error, flip-flop, reliability estimation, probabilistic transfer matrix, semi-tensor product

中图分类号: