A Highly Fault-Efficient SAT-Based ATPG Flow

被引：12
作者：
Eggersgluess, Stephan [1 ,2 ]
Drechsler, Rolf
机构：
[1] German Res Ctr Artificial Intelligence DFKI, D-28359 Bremen, Germany
[2] Univ Bremen, Inst Comp Sci, D-28359 Bremen, Germany
来源：
IEEE DESIGN & TEST OF COMPUTERS | 2012年 / 29卷 / 04期
关键词：
GENERATION; SATISFIABILITY; ACCELERATION;
D O I：
10.1109/MDT.2012.2205479
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：63 / 70
页数：8
相关论文
共 50 条
  • [41] Incremental SAT-Based Accurate Auto-Correction of Sequential Circuits Through Automatic Test Pattern Generation
    Alizadeh, Bijan
    Sharafinejad, Seyyed Reza
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2019, 38 (02) : 245 - 252
  • [42] An RTL ATPG Flow Using the Gate Inherent Fault (GIF) Model Applied On Non-, Standard- And Random-Access-Scan (RAS)
    Strauch, Tobias
    2019 22ND EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD), 2019, : 51 - 60
  • [43] Highly Efficient Continuous Flow Reactions Using Singlet Oxygen as a "Green" Reagent
    Levesque, Francois
    Seeberger, Peter H.
    ORGANIC LETTERS, 2011, 13 (19) : 5008 - 5011
  • [44] Highly Efficient Solar Evaporator Based On a Hydrophobic Association Hydrogel
    Zhang, Xiaoyu
    Peng, Yinjie
    Shi, Lingying
    Ran, Rong
    ACS SUSTAINABLE CHEMISTRY & ENGINEERING, 2020, 8 (49) : 18114 - 18125
  • [45] Highly efficient coherent detection of terahertz pulses based on ethanol
    Xiao, Wen
    Zhang, Minghao
    Zhang, Rui
    Zhang, Cunlin
    Zhang, Liangliang
    APPLIED PHYSICS LETTERS, 2023, 122 (06)
  • [46] Highly Efficient Polarization Control Based on All-Dielectric Metasurfaces
    Wang, Fudong
    Li, Zhiwei
    Wang, Wenjie
    Wu, Lejia
    Wei, Yunbing
    IEEE ACCESS, 2022, 10 : 32172 - 32179
  • [47] Highly efficient large-scale lentiviral vector concentration by tandem tangential flow filtration
    Cooper, Aaron R.
    Patel, Sanjeet
    Senadheera, Shantha
    Plath, Kathrin
    Kohn, Donald B.
    Hollis, Roger P.
    JOURNAL OF VIROLOGICAL METHODS, 2011, 177 (01) : 1 - 9
  • [48] Highly efficient vaccines for Bluetongue virus and a related Orbivirus based on reverse genetics
    Roy, Polly
    CURRENT OPINION IN VIROLOGY, 2020, 44 : 35 - 41
  • [49] Efficient techniques for fault detection and location of multiple controlled Toffoli-based reversible circuit
    Kheirandish, Davar
    Haghparast, Majid
    Reshadi, Midia
    Hosseinzadeh, Mehdi
    QUANTUM INFORMATION PROCESSING, 2021, 20 (11)
  • [50] Fabrication of highly efficient hybrid device structure based white light emitting diodes
    Verma, Akta
    Sharma, S. K.
    Lin, Chih-Hao
    Manikandan, Arumugam
    Kuo, Hao-Chung
    OPTICAL AND QUANTUM ELECTRONICS, 2020, 52 (07)
12345