Logic Optimization: Redundancy Addition and Removal Using Implication Relations

摘要

The logic optimization based on redundancy ad- dition and removal is one of methods which can deal with large- scale logic circuits. In this logic optimization a few redundant elements are added to a logic circuit, and then many other re- dundant elements which are generated by the redundancy addi- tion are identified and removed. In this paper an optimization method based on redundancy addition and removal using im- plication relations is proposed.