loading...
Parallel test generation with low communication overhead
New Delhi, India January 04-January 07
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICVD.1995.5120888th International Conference on VLSI ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
S. Venkatraman, LSI Logic Corp., Milpitas, CA, USA
S. Seth, LSI Logic Corp., Milpitas, CA, USA
P. Agrawal, LSI Logic Corp., Milpitas, CA, USA
In this paper we present a method of parallelizing test generation for combinational logic using boolean satisfiability. We propose a dynamic search-space allocation strategy to split work between the available processors. This strategy is easy to implement with a greedy heuristic and is economical in its demand for inter-processor communication. We derive an analytical model to predict the performance of the parallel versus sequential implementations. The effectiveness of our method and analysis is demonstrated by an implementation on a Sequent (shared memory) multiprocessor. The experimental data shows significant performance improvement in parallel implementation, validates our analytical model, and allows predictions of performance for a range of time-out limits and degrees of parallelism.
Index Terms:
combinational circuits; logic testing; Boolean functions; software performance evaluation; processor scheduling; parallel algorithms; shared memory systems; parallel test generation; low communication overhead; combinational logic; boolean satisfiability; dynamic search-space allocation strategy; greedy heuristic; analytical model; Sequent multiprocessor; shared memory multiprocessor
Citation:
S. Venkatraman, S. Seth, P. Agrawal, "Parallel test generation with low communication overhead," vlsid, pp.116, 8th International Conference on VLSI Design, 1995
Usage of this product signifies your acceptance of the Terms of Use.