On Processing Order for Obtaining Implication Relations in Static Learning

URI http://harp.lib.hiroshima-u.ac.jp/hiroshima-cu/metadata/6030
ファイル
タイトル
On Processing Order for Obtaining Implication Relations in Static Learning
著者
氏名 ICHIHARA Hideyuki
ヨミ イチハラ ヒデユキ
別名 市原 英行
氏名 KAJIHARA Seiji
ヨミ カジハラ セイジ
別名
氏名 KINOSHITA Kozo
ヨミ キノシタ コウゾウ
別名
キーワード
test generation
implication
static learning
抄録

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.

査読の有無
掲載雑誌名
IEICE TRANSACTIONS on Information and Systems
E83-D
10
開始ページ
1908
終了ページ
1911
出版年月日
2000-10-20
出版者
電子情報通信学会(IEICE)
ISSN
0916-8532
本文言語
英語
資料タイプ
学術雑誌論文
著者版フラグ
出版社版
権利情報
copyright©2000 IEICE
関連URL
旧URI
区分
hiroshima-cu