On Processing Order for Obtaining Implication Relations in Static Learning

Hideyuki ICHIHARA  Seiji KAJIHARA  Kozo KINOSHITA  

Publication
IEICE TRANSACTIONS on Information and Systems   Vol.E83-D   No.10   pp.1908-1911
Publication Date: 2000/10/25
Online ISSN: 
DOI: 
Print ISSN: 0916-8532
Type of Manuscript: LETTER
Category: Fault Tolerance
Keyword: 
test generation,  implication,  static learning,  

Full Text: PDF>>
Buy this Article




Summary: 
Static learning is a procedure to extract implication relations of a logic circuit. In this paper we point out that the number of the extracted implication relations by static learning depends on the order of signal lines processed. Also, we show four procedures for ordering signal lines processed and the effectiveness of the ordering procedures by experiments.