Conflict-Driven Learning in Test Pattern Generation

Abstract:

Article Preview

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)

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:

$35.00

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

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