BDD minimization using symmetries
Christoph Scholl, Dirk Möller, Paul Molitor, Rolf Drechsler · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1999
In this paper we study the effect of using information about (partial) symmetries for the minimization of reduced ordered binary decision diagrams (ROBDD's). The influence of symmetries for the integration in dynamic variable ordering is studied for both completely and incompletely specified Boolean functions. The problems above are studied from a theoretical and practical point of view. Statistical results and benchmark results are reported to underline the efficiency of the approach. They prove that our techniques lead to improvements of the ROBDD sizes by up to 70%.