Paper Title:
Conflict-Driven Learning in Test Pattern Generation
  Abstract

SAT-based automatic test pattern generation (ATPG) is built on a SAT-solver, which can be scalable is that it is able to take into account the information of high-level structure of formulas. Paper analyzes specific structure of circuit instances where correlations among signals have been established. This analysis is a heuristic learning method by earlier detecting assignment conflicts. Reconvergent fanout is a fundamental cause of the difficulty in testing generation, because they introduce dependencies in the values that can be assigned to nodes. Paper exploits reconvergent fanout analysis of circuit to gather information about local signal correlation through BDD learning, and then used the learned information in the conjunctive normal form (CNF) clauses to restrict and focus the overall search space of test pattern generation. The experimental results demonstrate the effectiveness of these learning techniques.

  Info
Periodical
Advanced Materials Research (Volumes 301-303)
Chapter
Chapter 2: Measuring and Testing Techniques
Edited by
Riza Esa and Yanwen Wu
Pages
1089-1092
DOI
10.4028/www.scientific.net/AMR.301-303.1089
Citation
X. Liu, "Conflict-Driven Learning in Test Pattern Generation", Advanced Materials Research, Vols. 301-303, pp. 1089-1092, 2011
Online since
July 2011
Authors
Export
Price
$32.00
Share

In order to see related information, you need to Login.

In order to see related information, you need to Login.

Authors: Zhong Liang Pan, Ling Chen
Abstract:The crosstalk fault in VLSI circuits is one of the interference effects being caused by parasitic capacitance and inductance coupling, it...
641
Authors: Ling Chen, Zhong Liang Pan
Abstract:A new test generation method for the bridging faults in digital circuits is proposed in this paper, the method is based on shared binary...
1235
Authors: Hong Yan Li
Chapter 5: Algorithm Design and Applications
Abstract:The nonlinear Boolean function (NBF) is an indispensable tool in design and analysis of cryptosystem. Algorithm of the same judgment on two...
1428
Authors: Xu Zhang, Dong Hua Hu
Chapter 4: Computing Methods and Algorithms
Abstract:This paper presents a brief introduction of BDD. Through the analysis of the question existing in BDD construction, such as a lot of useless...
267