High level equivalence symmetric input identification

• Published in: Asia and South Pacific Conference on Design Automation, 2006 p. 5 pp.
• Main Authors: Ming-Hong Su, Chun-Yao Wang
• Format: Conference Proceeding
• Language: English
• Published: IEEE 2006
• Subjects: Binary decision diagrams; Boolean functions; Buildings; Circuit simulation; Computational modeling; Computer science; Councils; Data structures; Logic; Testing
• DOI: 10.1109/ASPDAC.2006.1594690
• ISBN: 9780780394513; 0780394518
• ISSN: 2153-6961

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