Journal article
INCREDYBLE: A new search strategy for design automation problems with applications to testing
IEEE transactions on computers, Vol.44(6), pp.792-804
06/1995
DOI: 10.1109/12.391182
Abstract
A new search strategy for design automation problems is proposed, that is directly applicable to circuits having a size parameter (e.g., operand size), and indirectly, to random-logic circuits as well. Under the proposed approach, exhaustive search for an optimal solution is performed for small versions of the target circuit, obtained by scaling-down all the size parameters of the circuit (e.g., by reducing the operand size). The optimal solutions obtained for the small circuits are studied, and analytic rules are derived to capture their common features. Using these rules, the solutions are scaled-up into a high-quality solution for the large target circuit. The method, its feasibility and limitations are described in this work. The method is applied to two problems related to testing of digital circuits, namely, test generation for stuck-at faults and test generation for path delay faults.< >
Details
- Title: Subtitle
- INCREDYBLE: A new search strategy for design automation problems with applications to testing
- Creators
- I Pomeranz - University of IowaS.M Reddy - University of Iowa
- Resource Type
- Journal article
- Publication Details
- IEEE transactions on computers, Vol.44(6), pp.792-804
- Publisher
- IEEE
- DOI
- 10.1109/12.391182
- ISSN
- 0018-9340
- eISSN
- 1557-9956
- Language
- English
- Date published
- 06/1995
- Academic Unit
- Electrical and Computer Engineering
- Record Identifier
- 9984197275002771
Metrics
6 Record Views