On Processing Order for Obtaining Implication Relations in Static Learning

URI http://harp.lib.hiroshima-u.ac.jp/hiroshima-cu/metadata/6030
File
Title
On Processing Order for Obtaining Implication Relations in Static Learning
Author
氏名 ICHIHARA Hideyuki
ヨミ イチハラ ヒデユキ
別名 市原 英行
氏名 KAJIHARA Seiji
ヨミ カジハラ セイジ
別名
氏名 KINOSHITA Kozo
ヨミ キノシタ コウゾウ
別名
Subject
test generation
implication
static learning
Abstract

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.

Description Peer Reviewed
Journal Title
IEICE TRANSACTIONS on Information and Systems
Volume
E83-D
Issue
10
Spage
1908
Epage
1911
Published Date
2000-10-20
Publisher
電子情報通信学会(IEICE)
ISSN
0916-8532
Language
eng
NIIType
Journal Article
Text Version
出版社版
Rights
copyright©2000 IEICE
Relation URL
Old URI
Set
hiroshima-cu