Loading [a11y]/accessibility-menu.js
High level equivalence symmetric input identification | IEEE Conference Publication | IEEE Xplore

High level equivalence symmetric input identification


Abstract:

Symmetric input identification is an important technique in logic synthesis. Previous approaches deal with this problem by building BDDs and developing algorithms to dete...Show More

Abstract:

Symmetric input identification is an important technique in logic synthesis. Previous approaches deal with this problem by building BDDs 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 approaches, simulation-based methods have been proposed. It is applicable to designs described in arbitrary level, especially to high-level and black box designs. Previous simulation-based approaches focus on determining the inputs of 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 are also presented.
Date of Conference: 24-27 January 2006
Date Added to IEEE Xplore: 13 March 2006
Print ISBN:0-7803-9451-8

ISSN Information:

Conference Location: Yokohama, Japan

Contact IEEE to Subscribe

References

References is not available for this document.