A Simple and Fast Solution for Fault Simulation Using Approximate Parallel Critical Path Tracing

IF 1.7 Q2 Engineering
Ahmad Ehteram, Hossein Sabaghian-Bidgoli, H. Ghasvari, S. Hessabi
{"title":"A Simple and Fast Solution for Fault Simulation Using Approximate Parallel Critical Path Tracing","authors":"Ahmad Ehteram, Hossein Sabaghian-Bidgoli, H. Ghasvari, S. Hessabi","doi":"10.1109/CJECE.2019.2950280","DOIUrl":null,"url":null,"abstract":"Due to the growing complexity of today’s digital circuits, the speed of fault simulation has become increasingly important. Although critical path tracing (CPT) is faster than conventional methods, it is not fast enough for fault simulation of complex circuits with a large number of faults and tests. Exact stem analysis is the most important obstacle in accelerating the CPT method. The simplification of stem analysis eliminates time-consuming computations and makes the CPT method more parallelizable. An approximate and bit-parallel CPT algorithm is proposed for ultrafast fault simulation for both stuck-at-fault (SAF) and transition delay fault (TDF) models. Time linearity, speedup, and accuracy of the proposed algorithm are examined and evaluated using ISCAS85, ISCAS89, and ITC99 benchmark circuits. In order to assess the accuracy, the false-positive and false-negative detection of faults are counted for each benchmark circuit. The experimental results reveal considerable speedup as well as acceptable accuracy of the proposed approach in comparison with the traditional methods and commercial fault simulators.","PeriodicalId":55287,"journal":{"name":"Canadian Journal of Electrical and Computer Engineering-Revue Canadienne De Genie Electrique et Informatique","volume":null,"pages":null},"PeriodicalIF":1.7000,"publicationDate":"2020-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1109/CJECE.2019.2950280","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Canadian Journal of Electrical and Computer Engineering-Revue Canadienne De Genie Electrique et Informatique","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CJECE.2019.2950280","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"Engineering","Score":null,"Total":0}
引用次数: 1

Abstract

Due to the growing complexity of today’s digital circuits, the speed of fault simulation has become increasingly important. Although critical path tracing (CPT) is faster than conventional methods, it is not fast enough for fault simulation of complex circuits with a large number of faults and tests. Exact stem analysis is the most important obstacle in accelerating the CPT method. The simplification of stem analysis eliminates time-consuming computations and makes the CPT method more parallelizable. An approximate and bit-parallel CPT algorithm is proposed for ultrafast fault simulation for both stuck-at-fault (SAF) and transition delay fault (TDF) models. Time linearity, speedup, and accuracy of the proposed algorithm are examined and evaluated using ISCAS85, ISCAS89, and ITC99 benchmark circuits. In order to assess the accuracy, the false-positive and false-negative detection of faults are counted for each benchmark circuit. The experimental results reveal considerable speedup as well as acceptable accuracy of the proposed approach in comparison with the traditional methods and commercial fault simulators.
一种基于近似并行关键路径跟踪的简单快速故障仿真方法
由于当今数字电路的日益复杂,故障仿真的速度变得越来越重要。关键路径跟踪(CPT)虽然比传统方法更快,但对于故障和测试数量较多的复杂电路的故障仿真,CPT的速度还不够快。精确的茎干分析是加速CPT方法发展的最大障碍。干分析的简化消除了耗时的计算,使CPT方法更具并行性。针对卡在故障(SAF)和过渡延迟故障(TDF)模型,提出了一种近似位并行CPT算法。采用ISCAS85、ISCAS89和ITC99基准电路对该算法的时间线性、加速和精度进行了测试和评估。为了评估准确率,对每个基准电路的故障检测假阳性和假阴性进行计数。实验结果表明,与传统方法和商用故障模拟器相比,该方法具有较高的速度和精度。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
27
期刊介绍: The Canadian Journal of Electrical and Computer Engineering (ISSN-0840-8688), issued quarterly, has been publishing high-quality refereed scientific papers in all areas of electrical and computer engineering since 1976
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信