Automatic test pattern generation on multiprocessors: A summary of results

Sunil Arvindam, Vipin Kumar, V. Nageshwara Rao, Vineet Singh

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Abstract

Test generation of combinational circuits is an important step in the VLSI design process. Unfortunately, the problem is highly computation-intensive and, for circuits encountered in practice, test generation time can often be enormous. In this paper, we present a parallel formulation of a backtrack search algorithm called PODEM, which has been the most successful algorithm for this problem. The sequential PODEM algorithm consumes most of its execution time in generating a test for “hard-to-detect” (HTD) faults and is often unable to detect them even after a large number of backtracks. Our parallel formulation attempts to overcome these limitations by partitioning the search space in order to search it concurrently using multiple processors. We present speedup results and performance analyses of our formulation on a 128 processor Symult s2010 multicomputer. Our results show that parallel search techniques provide good speedups (45-106 on 128 processors) as well as high fault coverage of the HTD faults in reasonable time as compared to the uniprocessor implementation. Tree search is an integral part of several AI systems. Effective parallel processing of search problems is important in developing high performance knowledge-based systems. Results from this paper show that tree search can be effectively parallelized on large scale parallel processors in the context of practical problems.

Original languageEnglish (US)
Title of host publicationKnowledge Based Computer Systems - International Conference KBCS 1989, Proceedings
EditorsS. Ramani, R. Chandrasekar, K.S.R. Anjaneyulu
PublisherSpringer Verlag
Pages41-51
Number of pages11
ISBN (Print)9783540528500
DOIs
StatePublished - 1990
Event2nd International Conference on Knowledge Based Computer Systems, KBCS 1989 - Bombay, India
Duration: Dec 11 1989Dec 13 1989

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume444 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other2nd International Conference on Knowledge Based Computer Systems, KBCS 1989
CountryIndia
CityBombay
Period12/11/8912/13/89

Bibliographical note

Funding Information:
Acknowledgements: We thank Brian Kennedy for allowing us to borrow parts of his code for PODEM. We thank Dr. Jacob Abraham for many helpful discussions. We also thank Yacoub El-ziq for his comments, MCC for financial support and the use of its facilities, and Symult Corporation for providing access to its 128 processor machine.

Funding Information:
*This work was partially supported by Army Research Office grant ~ DAAG29-84-K-0060 to the Artificial Intelligence Laboratory, Office of Naval Research Grant N00014-86-K-0763 to the Computer Science Department, at the University of Texas at Austin. ?A large part of this research was performed while the first and second authors were at the University of Texas at Austin.

Fingerprint Dive into the research topics of 'Automatic test pattern generation on multiprocessors: A summary of results'. Together they form a unique fingerprint.

Cite this