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 条
  • [21] A SAT-Based Approach to Cost-Sensitive Temporally Expressive Planning
    Lu, Qiang
    Huang, Ruoyun
    Chen, Yixin
    Xu, You
    Zhang, Weixiong
    Chen, Guoliang
    ACM TRANSACTIONS ON INTELLIGENT SYSTEMS AND TECHNOLOGY, 2013, 5 (01)
  • [22] A SAT-Based Analysis of a Calculus for Wireless Sensor Networks
    Wu, Xi
    Nielson, Hanne Riis
    Zhu, Huibiao
    PROCEEDINGS 2015 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, 2015, : 23 - 30
  • [23] Increasing Robustness of SAT-based Delay Test Generation using Efficient Dynamic Learning Techniques
    Eggersgluess, Stephan
    Drechsler, Rolf
    ETS 2009: EUROPEAN TEST SYMPOSIUM, PROCEEDINGS, 2009, : 81 - 86
  • [24] Exploiting subproblem optimization in SAT-based MaxSAT algorithms
    Carlos Ansótegui
    Joel Gabàs
    Jordi Levy
    Journal of Heuristics, 2016, 22 : 1 - 53
  • [25] T-satplan: A SAT-based temporal planner
    Mali, Amol Dattatraya
    Liu, Ying
    INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, 2006, 15 (05) : 779 - 802
  • [26] SAT-Based Compilation to a non-vonNeumann Processor
    Chaudhuri, Samit
    Hetzel, Asmus
    2017 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 2017, : 675 - 682
  • [27] Exploiting subproblem optimization in SAT-based MaxSAT algorithms
    Ansotegui, Carlos
    Gabas, Joel
    Levy, Jordi
    JOURNAL OF HEURISTICS, 2016, 22 (01) : 1 - 53
  • [28] SAT-based planning in complex domains: Concurrency, constraints and nondeterminism
    Castellini, C
    Giunchiglia, E
    Tacchella, A
    ARTIFICIAL INTELLIGENCE, 2003, 147 (1-2) : 85 - 117
  • [29] A novel structure-exploiting encoding for SAT-based diagnosis
    Siddiqi, Sajjad Ahmed
    JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, 2024, 36 (06) : 939 - 952
  • [30] A SAT-Based Approach for Index Calculus on Binary Elliptic Curves
    Trimoska, Monika
    Ionica, Sorina
    Dequen, Gilles
    PROGRESS IN CRYPTOLOGY - AFRICACRYPT 2020, 2020, 12174 : 214 - 235
12345