Loading...
Please wait, while we are loading the content...
Similar Documents
Symmetry detection for large boolean functions using circuit representation, simulation and satisfiability (2006)
| Content Provider | CiteSeerX |
|---|---|
| Author | Brayton, Robert Zhang, Jin S. Chrzanowska-Jeske, Malgorzata Mishchenko, Alan |
| Abstract | Abstract- Classical two-variable symmetries play an important role in many EDA applications, ranging from logic synthesis to formal verification. This paper proposes a complete circuit-based method which makes uses of structural analysis, integrated simulation and Boolean satisfiability for fast and scalable detection of classical symmetries of completely-specified Boolean functions. This is in contrast to previous incomplete circuit-based methods and complete BDD-based methods. Experimental results demonstrate that the proposed method works for large Boolean functions, for which BDDs cannot be constructed. 1. |
| File Format | |
| Publisher Date | 2006-01-01 |
| Access Restriction | Open |
| Subject Keyword | Previous Incomplete Circuit-based Method Abstract Classical Two-variable Symmetry Scalable Detection Structural Analysis Complete Circuit-based Method Boolean Satisfiability Important Role Classical Symmetry Completely-specified Boolean Function Many Eda Application Large Boolean Function Formal Verification Circuit Representation Symmetry Detection Experimental Result Logic Synthesis Complete Bdd-based Method Bdds Cannot |
| Content Type | Text |
| Resource Type | Article |
