On Processing Order for Obtaining Implication Relations in Static Learning
-
- ICHIHARA Hideyuki
- Dept. of Information Sciences, Hiroshima City Univ.
-
- KAJIHARA Seiji
- Computer Science and Electronics Dept., Kyushu Institute of Technology
-
- KINOSHITA Kozo
- Faculty of Informatics, Osaka Gakuin University
Access this Article
Search this Article
Author(s)
-
- ICHIHARA Hideyuki
- Dept. of Information Sciences, Hiroshima City Univ.
-
- KAJIHARA Seiji
- Computer Science and Electronics Dept., Kyushu Institute of Technology
-
- KINOSHITA Kozo
- Faculty of Informatics, Osaka Gakuin University
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.
Journal
-
- IEICE TRANSACTIONS on Information and Systems
-
IEICE TRANSACTIONS on Information and Systems 83(10), 1908-1911, 2000-10-25
The Institute of Electronics, Information and Communication Engineers
References: 6
-
1
- Multi-level logic optimization by implication analysis
-
KUNZ W.
Proc. Int'l Conf. On CAD, 6-13, 1994
Cited by (1)
-
2
- On acceleration of logic circuits optimization using implication relations
-
ICHIHARA H.
Proc. 6th ATS, 222-227, 1997
Cited by (1)
-
3
- HANNIBAL: An efficient tool for logic verification based on recursive learning
-
KUNZ W.
Proc. Int'l Conf. On CAD, 538-543, 1993
Cited by (1)
-
4
- A method for identifying robust dependent and funtionally unsensitizable paths
-
KAJIHARA S.
Proc. 10th IEEE Int'l Conf. On VLSI Design, 82-87, 1997
Cited by (1)
-
5
- An efficient procedure for obraining implication relations and its application to redundancy identification
-
ICHIHARA H.
The Seventh Asian Test Symposium, 58-63, 1998
Cited by (1)
-
6
- SOCRATES : A highly efficient automatic test pattern generation system
-
SCHULZ M. H.
IEEE Trans. CAD, 126-137, 1988
DOI Cited by (43)
Cited by: 9
-
1
- On Efficient Identification and Preservation of Indirect Implications in Static Learning [in Japanese]
-
SARUWATARI Keitaro , KAJIHARA Seiji
Technical report of IEICE. VLD 102(476), 25-28, 2002-11-21
References (13)
-
2
- On Efficient Identification and Preservation of Indirect Implications in Static Learning [in Japanese]
-
SARUWATARI Keitaro , KAJIHARA Seiji
Technical report of IEICE. VLD 102(476), 25-28, 2002-11-21
References (13)
-
3
- On Efficient Identification and Preservation of Indirect Implications in Static Learning [in Japanese]
-
SARUWATARI Keitaro , KAJIHARA Seiji
Technical report of IEICE. ICD 102(477), 25-28, 2002-11-21
References (13)
-
4
- On Efficient Identification and Preservation of Indirect Implications in Static Learning [in Japanese]
-
SARUWATARI Keitaro , KAJIHARA Seiji
Technical report of IEICE. ICD 102(477), 25-28, 2002-11-21
References (13)
-
5
- 1 Multiple Primary Output Detection Test Pattern Generation [in Japanese]
-
NAKAZATO Daisuke , HOSOKAWA Toshinori , YAMAZAKI Koji , ISHIGURO Tsukasa , DATE Hiroshi
IEICE technical report. Dependable computing 104(664), 21-26, 2005-02-18
References (12) Cited by (1)
-
6
- Efficient generation method of indirect implication on ATPG [in Japanese]
-
YOSHIMURA Masayoshi , KAJIHARA Seiji , MATSUNAGA Yusuke
IEICE technical report 106(32), 19-23, 2006-05-05
References (6)
-
7
- Efficient generation method of indirect implication on ATPG [in Japanese]
-
YOSHIMURA Masayoshi , KAJIHARA Seiji , MATSUNAGA Yusuke
情報処理学会研究報告. SLDM, [システムLSI設計技術] 125, 49-53, 2006-05-11
References (6)
-
8
- On Efficient Identification and Preservation of Indirect Implications in Static Learning [in Japanese]
-
SARUWATARI Keitaro , KAJIHARA Seiji
IEICE technical report. Dependable computing 102(479), 25-28, 2002-11-21
References (13)
-
9
- On Efficient Identification and Preservation of Indirect Implications in Static Learning [in Japanese]
-
SARUWATARI Keitaro , KAJIHARA Seiji
IEICE technical report. Dependable computing 102(479), 25-28, 2002-11-21
References (13)