Structural Detection of Symmetries in Boolean Functions

Functional symmetries provide significant benefits for multiple tasks in synthesis and verification. Many applications require the manual specification of symmetries using special language features such as symmetric data types. Methods for automatically detecting symmetries are based on functional analysis, e.g. using BDDs, or structural methods. The latter search for circuit graph automorphisms which imply functional symmetry. In this paper we present a method for finding symmetries of Boolean functions based on a two-step approach. First, the circuit structure is modified to maximize its structural regularity and thus the number of inherent automorphisms. The next step implements a fast algorithm for detecting the automorphism generators of the circuit graph. The generators provide a compact representation of all automorphisms which in turn encode a subset of the functional symmetries. Because of its pure structural nature, our approach avoids the complexity issues inherent to...

• Type: Conference
• Year: 2003
• Where: ICCD
• Authors: Guoqiang Wang, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli
• Keywords: Circuit Graph Automorphisms, Functional Symmetries, Hardware, ICCD 2003, Inherent Automorphisms