Parallel-processing techniques for automatic test pattern generation
- 1 January 1992
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Computer
- Vol. 25 (1) , 71-84
- https://doi.org/10.1109/2.108056
Abstract
Some of the more widely used serial automatic test pattern generation (ATPG) algorithms and their stability for implementation on a parallel machine are discussed. The basic classes of parallel machines are examined to determine what characteristics they require of an algorithm if they are to implement it efficiently. Several techniques that have been used to parallelize ATPG are presented. They fall into five major categories: fault partitioning, heuristic parallelization, search-space partitioning, functional (algorithmic) partitioning, and topological partitioning. In each category, an overview is given of the technique, its advantages and disadvantages, the type of parallel machine it has been implemented on, and the results.Keywords
This publication has 14 references indexed in Scilit:
- Fault partitioning issues in an integrated parallel test generation/fault simulation environmentPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Test generation in a parallel processing environmentPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A method to generate tests for combinational logic circuits using an ultrahigh-speed logic simulatorPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Optimal granularity of test generation in a distributed systemIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1990
- A parallel branch and bound algorithm for test generationPublished by Association for Computing Machinery (ACM) ,1989
- SOCRATES: a highly efficient automatic test pattern generation systemIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1988
- Programming for ParallelismComputer, 1987
- Logic verification algorithms and their parallel implementationPublished by Association for Computing Machinery (ACM) ,1987
- A topological search algorithm for ATPGPublished by Association for Computing Machinery (ACM) ,1987
- Diagnosis of Automata Failures: A Calculus and a MethodIBM Journal of Research and Development, 1966