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 条
  • [1] Efficient Data Structures and Methodologies for SAT-Based ATPG Providing High Fault Coverage in Industrial Application
    Eggersgluess, Stephan
    Drechsler, Rolf
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2011, 30 (09) : 1411 - 1415
  • [2] Dynamic Compaction in SAT-Based ATPG
    Czutro, Alexander
    Polian, Ilia
    Engelke, Piet
    Reddy, Sudhakar M.
    Becker, Bernd
    2009 ASIAN TEST SYMPOSIUM, PROCEEDINGS, 2009, : 187 - +
  • [3] A New SAT-based ATPG for Generating Highly Compacted Test Sets
    Eggersgluess, Stephan
    Krenz-Baath, Rene
    Glowatz, Andreas
    Hapke, Friedrich
    Drechsler, Rolf
    2012 IEEE 15TH INTERNATIONAL SYMPOSIUM ON DESIGN AND DIAGNOSTICS OF ELECTRONIC CIRCUITS & SYSTEMS (DDECS), 2012, : 230 - 235
  • [4] A Fast Untestability Proof for SAT-based ATPG
    Tille, Daniel
    Drechsler, Rolf
    PROCEEDINGS OF THE 2009 IEEE SYMPOSIUM ON DESIGN AND DIAGNOSTICS OF ELECTRONIC CIRCUITS AND SYSTEMS, 2009, : 38 - 43
  • [5] A Two-Variable Model for SAT-Based ATPG
    Chen, Huan
    Marques-Silva, Joao
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2013, 32 (12) : 1943 - 1956
  • [6] Incremental Solving Techniques for SAT-based ATPG
    Tille, Daniel
    Eggersgluess, Stephan
    Drechsler, Rolf
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2010, 29 (07) : 1125 - 1130
  • [7] TG-PRo: A New Model for SAT-Based ATPG
    Chen, Huan
    Marques-Silva, Joao
    2009 IEEE INTERNATIONAL HIGH LEVEL DESIGN VALIDATION AND TEST WORKSHOP, 2009, : 76 - 81
  • [8] Improved SAT-based ATPG: More Constraints, Better Compaction
    Eggersgluess, Stephan
    Wille, Robert
    Drechsler, Rolf
    2013 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 2013, : 85 - 90
  • [9] Recent Advances in SAT-based ATPG: Non-Standard Fault Models, Multi Constraints and Optimization
    Becker, Bernd
    Drechsler, Rolf
    Eggersgluss, Stephan
    Sauer, Matthias
    2014 9TH IEEE INTERNATIONAL CONFERENCE ON DESIGN & TECHNOLOGY OF INTEGRATED SYSTEMS IN NANOSCALE ERA (DTIS 2014), 2014,
  • [10] Speeding up SAT-based ATPG using Dynamic Clause Activation
    Eggersgluss, Stephan
    Tille, Daniel
    Drechsler, Rolf
    2009 ASIAN TEST SYMPOSIUM, PROCEEDINGS, 2009, : 177 - 182
12345