IEEE - Institute of Electrical and Electronics Engineers, Inc. - Functional approaches to generating orderings for efficient symbolic representations

Author(s): Mercer, M.R. ; Kapur, R. ; Ross, D.E.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1992
Conference Location: Anaheim, CA, USA
Conference Date: 8 June 1992
Page(s): 624 - 627
ISBN (Paper): 0-8186-2822-7
ISSN (Paper): 0738-100X
DOI: 10.1109/DAC.1992.227810
Regular:

The authors present a functional approach to generating orderings for representing functions. They develop a cost function which closely mimics the ordered binary decision diagram operations and... View More

Advertisement