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

doi:10.3969/j.issn.0372-2112.2016.09.029

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

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

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

1. 同济大学软件学院, 上海 201804;
2. 江西理工大学信息工程学院, 江西赣州 341000

收稿日期:2014-08-14 修回日期:2015-10-10 出版日期: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-tian^1,2, JIANG Jian-hui¹, WANG Xi²

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

摘要/Abstract

摘要：

传统的概率转移矩阵（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

中图分类号:

TP302.8

欧阳城添, 江建慧, 王曦. 触发器可靠度计算的F-PTM方法[J]. 电子学报, 2016, 44(9): 2219-2226.

OUYANG Cheng-tian, JIANG Jian-hui, WANG Xi. The F-PTM method of Reliability Estimation for Flip-Flops[J]. Acta Electronica Sinica, 2016, 44(9): 2219-2226.

参考文献

[1] 王真,江建慧.基于概率转移矩阵的串行电路可靠度计算方法[J].电子学报,2009,37(2):241-247. Wang Z,Jiang J H.A serial method of circuit reliability calculation based on probabilistic transfer matrix[J].Acta Electronica Sinica,2009,37(2):241-247.(in Chinese)
[2] E Taylor,J Han,J Fortes.Towards accurate and efficient reliability modeling of nanoelectronic circuits[A].Proceedings ofSixth IEEE Conference on Nanotechnology[C].Ohio,USA:IEEE Computer Society,2006.395-398.
[3] J Han,E Taylor,J Gao,et al.Reliability modeling of nanoelectronic circuits[A].Proceedings of 5th IEEE Conference on Nanotechnology,2005[C].Nagoya,Japan:IEEE Computer Society,2005.104-107.
[4] G Norman,D Parker,M Kwiatkowska,et al.Evaluating the reliability of NAND multiplexing with PRISM[J].IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems,2005,24(10):1629-1637.
[5] 肖杰,江建慧,等.一个面向缺陷分析的电路成品率与可靠性的关系模型[J].电子学报,2014,(04):747-755. XIAO Jie;JIANG Jian-hui,et al.A defect analysis-oriented relation model of circuit yield and reliability[J].Acta Electronica Sinica,2005,24(10):1629-1637.(in Chinese)
[6] N Miskov-Zivanov,D Marculescu.Soft error rate analysis for sequential circuits[A].Proceedings of Design,Automation & Test in Europe Conference & Exhibition[C].Nice,France:IEEE Computer Society,2007.1-6.
[7] N Miskov-Zivanov,D Marculescu.Modeling and optimization for soft-error reliability of sequential circuits[J].IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems,2008,27(5):803-816.
[8] H Asadi,et al.Soft error modeling and protection for sequential elements[A].Proceedings of the 20th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems[C].Monterey,USA:IEEE Computer Society,2005.463-471.
[9] S J S Mahdavi,K Mohammadi.SCRAP:Sequential circuits reliability analysis program[J].Microelectronics Reliability,2009,49(7):924-933.
[10] M R Choudhury,K Mohanram.Accurate and scalable reliability analysis of logic circuits[A].Proceedings of IEEE/ACM Conference on Design,Automation & Test in Europe Conference & Exhibition,2007[C].Nice Acropolis,France:IEEE Computer Society,2007.1-6.
[11] M R Choudhury,K Mohanram.Reliability analysis of logic circuits[J].IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems,2009,28(3):392-405.
[12] K Lingasubramanian,S Bhanja.Probabilistic error modeling for sequential logic[A].Proceedings of the 7th IEEE Conference on Nanotechnology[C].Hong Kong:IEEE Computer Society,2007.616-620.
[13] K Lingasubramanian,S Bhanja.An error model to study the behavior of transient errors in sequential circuits[A].Proceedings of the 22nd International Conference on VLSI Design[C].New Delhi,India:IEEE Computer Society,2009.485-490.
[14] S Krishnaswamy,G F Viamontes,I L Markov,et al.Accurate reliability evaluation and enhancement via probabilistic transfer matrices[A].Proceedings of the IEEE/ACM Conference on Design,Automation and Test in Europe[C].Orlando,USA:IEEE Computer Society,2005.282-287.
[15] C Ouyang,j Jiang,j Xiao.Reliability evaluation of flip-flops based on probabilistic transfer matrices[A].Proceedings of the 16th IEEE Pacific Rim International Symposium on Dependable Computing(PRDC)[C].Tokyo:IEEE Computer Society,2010.239-240.
[16] D Cheng.Semi-tensor product of matrices and its application to Morgen's problem[J].Science in China Series F:Information Sciences,2001,44(3):195-212.
[17] 欧阳城添,江建慧.基于概率转移矩阵的时序电路可靠度计算方法[J].电子学报,2013,41(1):171-177. Ouyang C,Jiang J.Reliability estimation of sequential circuit based on probabilistic transfer matrices[J].Acta Electronica Sinica,2013,41(1):171-177.(in Chinese)

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

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

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

[1]	吴钰, 王伦耀, 储著飞, 夏银水. 一种功能可配置的可逆触发器设计[J]. 电子学报, 2022, 50(6): 1466-1471.
[2]	孙梦博, 吕洪君, 张永强, 解光军. 量子元胞自动机全加器的性能分析与设计[J]. 电子学报, 2018, 46(7): 1774-1780.
[3]	王金铭, 叶时平, 徐振宇, 陈超祥, 蒋燕君. 半张量积低存储压缩感知方法研究[J]. 电子学报, 2018, 46(4): 797-804.
[4]	杜化鲲, 吕洪君, 黄程, 张永强, 解光军. 基于QCA的双边沿JK触发器的实现[J]. 电子学报, 2017, 45(8): 2044-2048.
[5]	蔡烁, 邝继顺, 刘铁桥, 凌纯清, 尤志强. 基于伯努利分布的逻辑电路可靠度计算方法[J]. 电子学报, 2015, 43(11): 2292-2297.
[6]	蔡烁, 邝继顺, 刘铁桥, 王伟征. 考虑信号相关性的逻辑电路可靠度计算方法[J]. 电子学报, 2014, 42(8): 1660-1664.
[7]	杨晓阔, 蔡理, 张明亮, 段小虎, 王卓. 基于形状工程的可靠磁性逻辑器件和触发器实现[J]. 电子学报, 2013, 41(8): 1609-1614.
[8]	欧阳城添, 江建慧. 基于概率转移矩阵的时序电路可靠度估计方法[J]. 电子学报, 2013, 41(1): 171-177.
[9]	徐建军;谭庆平;熊磊;叶俊. 一种针对软错误的程序可靠性定量分析方法[J]. 电子学报, 2011, 39(3): 675-679.
[10]	王真;江建慧. 基于概率转移矩阵的串行电路可靠度计算方法[J]. 电子学报, 2009, 37(2): 241-247.
[11]	孙建伟;张胜利;王绍伟;谢亮;祝宁华. 用白噪声源实现高速真随机码[J]. 电子学报, 2003, 31(8): 1255-1256.
[12]	方振贤;汪鹏君;刘莹. 二值、多值和绝热电路通用的电路理论[J]. 电子学报, 2003, 31(2): 303-305.
[13]	杭国强;吴训威. 一种单锁存器CMOS三值D型边沿触发器设计[J]. 电子学报, 2002, 30(5): 760-762.
[14]	王子宇. 复合多晶硅双极晶体管DC~3Gb/sLD/EA驱动器[J]. 电子学报, 2002, 30(11): 1701-1703.
[15]	吴训威;韦健;汪鹏君. 时钟信号竞争型三值CMOS边沿触发器[J]. 电子学报, 2000, 28(9): 126-127.