Minimum Test Set for Locally Exhaustive Testing of Multiple Output Combinational Circuits

Hiroyuki MICHINISHI  Tokumi YOKOHIRA  Takuji OKAMOTO  

Publication
IEICE TRANSACTIONS on Information and Systems   Vol.E76-D   No.7   pp.791-799
Publication Date: 1993/07/25
Online ISSN: 
DOI: 
Print ISSN: 0916-8532
Type of Manuscript: Special Section PAPER (Special Issue on VLSI Testing and Testable Design)
Category: 
Keyword: 
built-in-self-test,  pseudoexhaustive testing,  verification testing,  locally exhaustive testing,  test pattern generation,  

Full Text: PDF(734.4KB)>>
Buy this Article




Summary: 
The locally exhaustive testing of multiple output combinational circuits is the test which provides exhaustive test patterns for each set of inputs on which each output depends. First, this paper presents a sufficient condition under which a minimum test set (MLTS) for the locally exhaustive testing has 2w test patterns, where w is the maximum number of inputs on which any output depends. Next, we clarify that any CUT with up to four outputs satisfies the condition, independently of w and n, where n is the number of inputs of the CUT. Finally, we clarify that any CUT with five outputs also satisfies the condition for 1w2 or n2wn.