Abstract
Symmetry input identification is an important technique in technology mapping, logic synthesis, and . Previous approaches deal with this problem by building BDD and developing algorithms to determine symmetric inputs. For the design whose corresponding BDDs cannot be built, BDD-based approaches cannot be applied on this problem. To avoid the limitations of BDD-based approach, simulation-based methods have been proposed. It is applicable to arbitrary level design description, especially to high level and black box design description. Previous simulation-based approaches focus on determining nonequivalence symmetry. In this paper, we propose a simulation-based approach to identify equivalence symmetric inputs. The experimental results on a set of ISCAS-85 and MCNC benchmarks demonstrate the effectiveness of our algorithm.