Detecting symmetric variables in Boolean functions using generalized Reed-Muller forms

TitleDetecting symmetric variables in Boolean functions using generalized Reed-Muller forms
Publication TypeConference Paper
Year of Publication1994
AuthorsTsai, C-C, Marek-Sadowska, M
Conference NameCircuits and Systems, 1994. ISCAS '94., 1994 IEEE International Symposium on
Date Publishedmay-2 jun
Keywordsanalysis tool, Boolean functions, canonical forms, completely specified functions, generalized Reed-Muller forms, search space reduction, signatures set, symmetric variables detection, symmetry, totally symmetric functions
AbstractWe present a new method for detecting groups of symmetric variables in completely specified Boolean functions. The canonical Generalized Reed-Muller forms are used as a powerful analysis tool. To reduce the search space a set of signatures which identify quickly sets of potentially symmetric variables has been developed. Detecting symmetries of any number of inputs is done simultaneously. Totally symmetric functions can be detected very quickly. The traditional definitions of symmetry have been extended to include more types allowing the grouping of input variables into more classes. Experiments have been performed on MCNC benchmark circuits and the results are very encouraging
DOI10.1109/ISCAS.1994.408811