On Processing Order for Obtaining Implication Relations in Static Learning
URI | http://harp.lib.hiroshima-u.ac.jp/hiroshima-cu/metadata/6030 | ||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
File |
E83-D_10 _1908.pdf
( 181.0 KB )
Open Date
:2010-03-18
|
||||||||||||||||||
Title |
On Processing Order for Obtaining Implication Relations in Static Learning
|
||||||||||||||||||
Author |
|
||||||||||||||||||
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
|