On Processing Order for Obtaining Implication Relations in Static Learning
Search this article
Description
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.
Journal
-
- IEICE Transactions on Information and Systems
-
IEICE Transactions on Information and Systems E83-D (10), 1908-1911, 2000-10-20
電子情報通信学会(IEICE)
- Tweet
Details 詳細情報について
-
- CRID
- 1050015111530150656
-
- NII Article ID
- 110003210202
-
- NII Book ID
- AA10826272
-
- ISSN
- 09168532
-
- Text Lang
- en
-
- Article Type
- journal article
-
- Data Source
-
- IRDB
- CiNii Articles