Title :
Single variable symmetry conditions in Boolean functions through Reed-Muller transform
Author :
Kannurao, Sudha ; Falkowski, Bogdan J.
Abstract :
A new method to detect single variable symmetry and complement single variable symmetry in Boolean functions through the Reed-Muller transform is presented. The Reed-Muller spectral coefficients are used to identify all the four types of single variable symmetries. To reduce the time and to increase the efficiency in identifying the symmetries, necessary and spectral conditions are highlighted.
Keywords :
Boolean functions; decision diagrams; logic design; transforms; Boolean functions; Reed-Muller spectral coefficients; Reed-Muller transform; VLSI systems; necessary spectral conditions; single variable symmetry conditions; Adders; Arithmetic; Binary codes; Boolean functions; Circuit testing; Data structures; Galois fields; Libraries; Modems; Very large scale integration;
Conference_Titel :
Circuits and Systems, 2003. ISCAS '03. Proceedings of the 2003 International Symposium on
Print_ISBN :
0-7803-7761-3
DOI :
10.1109/ISCAS.2003.1206200
