ProperTEST: A portable parallel test generator for sequential circuits

Parallel algorithms developed for CAD problems today suffer from two important drawbacks, First, they are machine specific, and tend to perform poorly on architectures other than the one for they were designed, Second, the quality of results degrades significantly during parallel execution. In this paper, we address these two problems for an important CAD application: test generation for sequential circuits, We have developed a new parallel test generator, ProperTEST, that is portable across a range of MIMD parallel architectures, This work is part of the ProperCAD project which aims to develop CAD algorithms that run unchanged on shared and nonshared memory machines, We present performance data for ProperTEST on ISCAS 89 sequential circuits on a Sequent Symmetry, an InteI i860 hypercube, an NCUBE/2 hypercube, a network of Sun workstations, and an Encore Multimax. Parallel processing can also be used to improve on the fault coverage possible on one processor in a given amount of time, This was not possible in earlier approaches due to search anomalies, Using ProperTEST, we provide results on ISCAS 89 benchmark programs demonstrating the improvements in fault coverage as the number of processors is increased.