IEEE - Institute of Electrical and Electronics Engineers, Inc. - Detection of symmetry of Boolean functions represented by ROBDDs

Proceedings of 1993 International Conference on Computer Aided Design (ICCAD)

Author(s): Moller, D. ; Mohnke, J. ; Weber, M.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1993
Conference Location: Santa Clara, CA, USA, USA
Conference Date: 7 November 1993
Page(s): 680 - 684
ISBN (Paper): 0-8186-4490-7
DOI: 10.1109/ICCAD.1993.580161
Regular:

Addresses the problem of the detection of symmetries of Boolean functions. To know these symmetries may be important in several stages of logic design, e.g. in logic optimization, in logic... View More

Advertisement