On Processing Order for Obtaining Implication Relations in Static Learning
URI | http://harp.lib.hiroshima-u.ac.jp/hiroshima-cu/metadata/6030 | ||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
ファイル |
E83-D_10 _1908.pdf
( 181.0 KB )
公開日
:2010-03-18
|
||||||||||||||||||
タイトル |
On Processing Order for Obtaining Implication Relations in Static Learning
|
||||||||||||||||||
著者 |
|
||||||||||||||||||
キーワード |
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
|