Automatic test pattern generation on parallel processors

This publication has 11 references indexed in Scilit:

• A parallel branch and bound algorithm for test generation
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1990
• Logic verification algorithms and their parallel implementation
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1989
• A randomized parallel backtracking algorithm
  IEEE Transactions on Computers, 1988
• Parallel depth first search. Part II. Analysis
  International Journal of Parallel Programming, 1987
• Parallel depth first search. Part I. Implementation
  International Journal of Parallel Programming, 1987
• DIB—a distributed implementation of backtracking
  ACM Transactions on Programming Languages and Systems, 1987
• Coping with Anomalies in Parallel Branch-and-Bound Algorithms
  IEEE Transactions on Computers, 1986
• Anomalies in parallel branch-and-bound algorithms
  Communications of the ACM, 1984
• An Implicit Enumeration Algorithm to Generate Tests for Combinational Logic Circuits
  IEEE Transactions on Computers, 1981
• Polynomially Complete Fault Detection Problems
  IEEE Transactions on Computers, 1975