Title :
Antisymmetries in the realization of Boolean functions
Author :
Rice, J.E. ; Muzio, J.C.
Author_Institution :
Dept. of Comput. Sci., Victoria Univ., BC, Canada
fDate :
6/24/1905 12:00:00 AM
Abstract :
New symmetries of degree two are introduced, along with spectral techniques for identifying these symmetries. Some applications of these symmetries are discussed, in particular their application to the construction of binary decision diagrams and the implementation of Boolean functions.
Keywords :
Boolean functions; binary decision diagrams; logic design; symmetric switching functions; Boolean function implementation; antisymmetries; binary decision diagrams; degree two symmetries; digital circuit synthesis; spectral techniques; symmetry identification; Application software; Binary decision diagrams; Boolean functions; Circuit synthesis; Computer science; Data structures; Digital circuits; Minimization methods; Testing; Very large scale integration;
Conference_Titel :
Circuits and Systems, 2002. ISCAS 2002. IEEE International Symposium on
Print_ISBN :
0-7803-7448-7
DOI :
10.1109/ISCAS.2002.1010390