For Full-Text PDF, please login, if you are a member of IEICE,|
or go to Pay Per View on menu list, if you are a nonmember of IEICE.
On Processing Order for Obtaining Implication Relations in Static Learning
Hideyuki ICHIHARA Seiji KAJIHARA Kozo KINOSHITA
IEICE TRANSACTIONS on Information and Systems
Publication Date: 2000/10/25
Print ISSN: 0916-8532
Type of Manuscript: LETTER
Category: Fault Tolerance
test generation, implication, static learning,
Full Text: PDF>>
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.