Computer Graphics & Delay Fault Test Pattern Generator Using Indirect Implication Algorithms in Scan Environment 


Vol. 6,  No. 6, pp. 1656-1666, Jun.  1999
10.3745/KIPSTE.1999.6.6.1656


PDF
  Abstract

The more complex and large digital circuits become, the more important delay test becomes which guarantees that circuits operate in time. In this paper, the proposed algorithm is developed, which enable the fast indirect implication for efficient test pattern generation in sequential circuits of standard scan environment. Static learning algorithm enables application of a new implication value using contrapositive proposition. The static learning procedure found structurally, analyzes the gate structure in the preprocessing phase and store the information of learning occurrence so that it can be used in the test pattern generation procedure if it satisfies the implication condition. If there exists a signal line which include all paths from some particular primary inputs, it is a partitioning point. If paths passing that point have the same partial path from primary input to the signal or from the signal to primary output, they will need the same primary input values which separated by the partitioning point. In this paper test pattern generation can be more effective by using this partitioning technique. Finally, an efficient delay fault test pattern generator using indirect implication is developed and the effectiveness of these algorithms is demonstrated by experiments.

  Statistics


  Cite this article

[IEEE Style]

K. W. Gi, K. M. Gyun, K. S. Ho, "Computer Graphics & Delay Fault Test Pattern Generator Using Indirect Implication Algorithms in Scan Environment," The Transactions of the Korea Information Processing Society (1994 ~ 2000), vol. 6, no. 6, pp. 1656-1666, 1999. DOI: 10.3745/KIPSTE.1999.6.6.1656.

[ACM Style]

Kim Won Gi, Kim Myoung Gyun, and Kang Sung Ho. 1999. Computer Graphics & Delay Fault Test Pattern Generator Using Indirect Implication Algorithms in Scan Environment. The Transactions of the Korea Information Processing Society (1994 ~ 2000), 6, 6, (1999), 1656-1666. DOI: 10.3745/KIPSTE.1999.6.6.1656.