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 条
  • [11] Evaluating the Effectiveness of D-chains in SAT-based ATPG and Diagnostic TPG
    Raiola, Pascal
    Burchard, Jan
    Neubauer, Felix
    Erb, Dominik
    Becker, Bernd
    JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 2017, 33 (06): : 751 - 767
  • [12] SAT-Based ATPG Testing of Inter- and Intra-Gate Bridging Faults
    Nakura, Toru
    Tatemura, Yutaro
    Fey, Goerschwin
    Ikeda, Makoto
    Komatsu, Satoshi
    Asada, Kunihiro
    2009 EUROPEAN CONFERENCE ON CIRCUIT THEORY AND DESIGN, VOLS 1 AND 2, 2009, : 643 - +
  • [13] A Test Pattern Compaction Method Using SAT-Based Fault Grouping
    Matsunaga, Yusuke
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2016, E99A (12): : 2302 - 2309
  • [14] ITSAT: An Efficient SAT-Based Temporal Planner
    Rankooh, Masood Feyzbakhsh
    Ghassem-Sani, Gholamreza
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2015, 53 : 541 - 632
  • [15] PASSAT:: Efficient SAT-based test pattern generation for industrial circuits
    Shi, J
    Fey, G
    Drechsler, R
    Glowatz, A
    Hapke, F
    Schlöffel, J
    IEEE COMPUTER SOCIETY ANNUAL SYMPOSIUM ON VLSI, PROCEEDINGS: NEW FRONTIERS IN VLSI DESIGN, 2005, : 212 - 217
  • [16] SAT-based Analysis of Sensitisable Paths
    Sauer, Matthias
    Czutro, Alexander
    Schubert, Tobias
    Hillebrecht, Stefan
    Polian, Ilia
    Becker, Bernd
    2011 IEEE 14TH INTERNATIONAL SYMPOSIUM ON DESIGN AND DIAGNOSTICS OF ELECTRONIC CIRCUITS AND SYSTEMS (DDECS), 2011, : 93 - 98
  • [17] Logic as energy:: A SAT-Based approach
    Lima, Priscila M. V.
    Mariela, M.
    Morveli-Espinoza, M.
    Franca, Felipe M. G.
    ADVANCES IN BRAIN, VISION, AND ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2007, 4729 : 458 - +
  • [18] Sat-based model checking for region automata
    Yu, Fang
    Wang, Bow-Yaw
    INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2006, 17 (04) : 775 - 795
  • [19] Simulation and SAT Based ATPG for Compressed Test Generation
    Balcarek, J.
    Fiser, P.
    Schmidt, J.
    16TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD 2013), 2013, : 445 - 452
  • [20] Towards Parallel Direct SAT-Based Cryptanalysis
    Dudek, Pawel
    Kurkowski, Miroslaw
    Srebrny, Marian
    PARALLEL PROCESSING AND APPLIED MATHEMATICS, PT I, 2012, 7203 : 266 - 275
12345