Logic Optimization: Redundancy Addition and Removal Using Implication Relations

13 References
  • 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

Description

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

References(13)*help

See more

Keywords

Details 詳細情報について

  • CRID
    1570291227535606400
  • NII Article ID
    110003219786
  • NII Book ID
    AA10826272
  • ISSN
    09168532
  • Text Lang
    en
  • Data Source
    • CiNii Articles

Report a problem

Back to top