Digital Circuit Testing on a Network of Workstations

This paper presents preliminary results of research being conducted in the application of distributed/parallel algorithms to automatic test pattern generation for synchronous sequential circuits. The system is required to be portable across a wide variety of architectures -from workstations to dedicated parallel machines. This requirement necessitates the use of a parallel programming environment that provides a layer of abstraction between the application and the hardware. The first phase of the proposed system involves generation of circuit covers - input patterns that control the circuit outputs.

[1]  Andrew S. Grimshaw,et al.  Easy-to-use object-oriented parallel processing with Mentat , 1993, Computer.

[2]  Srinivas Devadas,et al.  Test generation and verification for highly sequential circuits , 1991, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

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

[4]  Randal E. Bryant,et al.  Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.