Compaction of Test Sets for Combinational Circuits Based on Symbolic Fault Simulation

Hiroyuki HIGUCHI  Nagisa ISHIURA  Shuzo YAJIMA  

IEICE TRANSACTIONS on Information and Systems   Vol.E76-D   No.9   pp.1121-1127
Publication Date: 1993/09/25
Online ISSN: 
Print ISSN: 0916-8532
Type of Manuscript: Special Section PAPER (Special Issue on Synthesis and Verification of Hardware Design)
Category: Test
test generation,  combinational circuits,  compact test sets,  binary decision diagrams,  

Full Text: PDF>>
Buy this Article

Since the time required for testing logic circuits is proportional to the number of test vectors, the size of test sets as well as test generation time is one of the most important factors to be considered in test generation. The size of test sets becomes an essential issue, especially for scan designed circuits, because of the need to shift a test vector serially into the scan path. In this paper, we propose new methods of generating compact test sets to detect al the irredundant single stuck-at faults in combinational circuits. The proposed algorithms calculate a test function for each fault which corresponds to the set of all test vectors for the fault and generate a compact test set by analyzing the test functions. The analysis is based on finding a test vector which detects the largest number of remaining faults. Since our methods select a test vector among all the test vectors, represented by a test function, for a target fault, smaller test sets can be generated, in general, than that by conventional test set compaction methods. The experimental results show that the size of test sets generated by our method is about one-third as large as that without compaction.