Skip to main content

An Anytime Symmetry Detection Algorithm for ROBDDs

Kettle, Neil and King, Andy (2006) An Anytime Symmetry Detection Algorithm for ROBDDs. In: Onodera, H., ed. ASP-DAC '06 Proceedings of the 2006 Asia and South Pacific Design Automation Conference. IEEE, pp. 243-248. ISBN 0-7803-9451-8. (doi:10.1145/1118299.1118364) (KAR id:37604)

Language: English
Download (259kB) Preview
Official URL


Detecting symmetries is crucial to logic synthesis, technology mapping, detecting function equivalence under unknown input correspondence, and ROBDD minimization. State-of-the-art is represented by Mishchenko's algorithm. In this paper we present an efficient anytime algorithm for detecting symmetries in Boolean functions represented as ROBDDs, that output pairs of symmetric variables until a prescribed time bound is exceeded. The algorithm is complete in that given sufficient time it is guaranteed to find all symmetric pairs. The complexity of this algorithm is in O(n^4+n|G|+|G|^3) where n is the number of variables and |G| the number of nodes in the ROBDD, and it is thus competitive with Mishchenko's |G|^3 algorithm in the worst-case since n << |G|. However, our algorithm performs significantly better because the anytime approach only requires lightweight data structure support and it offers unique opportunities for optimization.

Item Type: Book section
DOI/Identification number: 10.1145/1118299.1118364
Additional information: Copyright held by IEEE 2006.
Uncontrolled keywords: ROBDDs, symmetry
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing > Theoretical Computing Group
Faculties > Sciences > School of Computing > Programming Languages and Systems Group
Depositing User: Andy King
Date Deposited: 12 Dec 2013 23:33 UTC
Last Modified: 15 Feb 2020 04:05 UTC
Resource URI: (The current URI for this page, for reference purposes)
King, Andy:
  • Depositors only (login required):


Downloads per month over past year