Test pattern generation for sequential circuits on a network of workstations

A sequential circuit test generation program is parallelized to run on a network of Sparc 2 workstations connected through ethernet. The program attempts to compute tests to detect all faults in a given list. The fault list is equally divided among the processors. The entire process consists of a series of parallel computing passes with synchronization occurring between passes. During a pass, each processor independently generates test sequencies for the assigned faults through vector generation and fault simulation. A fixed per-fault CPU time limit is used within a pass. Faults requiring more time are abandoned for later passes. Each processor simulates the entire fault list with its vectors and communicates the list of undetected faults to all other processors. Processors then combine these fault lists to create a list of faults that were not detected by all processors. This list is again equally divided and the next pass begins with a larger per-fault time limit for test generation. The process stops after either the required fault coverage is achieved or the pass with given maximum per-fault time limit is completed. Some benchmark results are given to show the advantage of distributed system for large circuits. Finally, the authors study a speedup model that considers duplicated computation and interprocessor communication.<<ETX>>

[1]  Wu-Tung Cheng,et al.  Gentest: an automatic test-generation system for sequential circuits , 1989, Computer.

[2]  S. Davidson,et al.  The architecture of the GenTest sequential test generator , 1991, Proceedings of the IEEE 1991 Custom Integrated Circuits Conference.

[3]  Janak H. Patel,et al.  Parallel test generation for sequential circuits on general-purpose multiprocessors , 1991, 28th ACM/IEEE Design Automation Conference.

[4]  Vishwani D. Agrawal,et al.  Performance Analysis of Synchronized Iterative Algorithms on Multiprocessor Systems , 1992, IEEE Trans. Parallel Distributed Syst..

[5]  Prithviraj Banerjee,et al.  Portable parallel test generation for sequential circuits , 1992, 1992 IEEE/ACM International Conference on Computer-Aided Design.

[6]  Janak H. Patel,et al.  PROOFS: a fast, memory-efficient sequential circuit fault simulator , 1992, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[7]  Alfred V. Aho,et al.  The awk programming language , 1988 .