Logic Optimization: Redundancy Addition and Removal Using Implication Relations
-
- ICHIHARA Hideyuki
- Department of Applied Physics, Faculty of Engineering, Osaka University
-
- KINOSHITA Kozo
- Department of Applied Physics, Faculty of Engineering, Osaka University
Search this article
Abstract
The logic optimization based on redundancy addition and removal is one of methods which can deal with largescale logic circuits. In this logic optimization a few redundant elements are added to a logic circuit, and then many other redundant elements which are generated by the redundancy addition are identified and removed. In this paper an optimization method based on redundancy addition and removal using implication relations is proposed. The advantage of the proposed method is to identify removable redundant elements with short time, because the proposed method directly identifies redundant elements using implication relations from two illegal signal assignments which are produced by redundancy addition. The experimental results compared this method with another method show that this method is faster than the another method without declining the optimization ability.
Journal
-
- IEICE transactions on information and systems
-
IEICE transactions on information and systems 81 (7), 724-730, 1998-07-25
The Institute of Electronics, Information and Communication Engineers
- Tweet
Details
-
- CRID
- 1570291227535606400
-
- NII Article ID
- 110003219786
-
- NII Book ID
- AA10826272
-
- ISSN
- 09168532
-
- Text Lang
- en
-
- Data Source
-
- CiNii Articles