A New Approach for Compiling Boolean Functions

TitleA New Approach for Compiling Boolean Functions
Publication TypeReports
Year of Publication1985
AuthorsJaJa JF, Wu SM
Date Published1985///
InstitutionInstitute for Systems Research, University of Maryland, College Park
KeywordsTechnical Report

We propose a new approach for laying out Boolean functions which is based on extracting the symmetries of a given set of functions and applying optimization procedures especially tailored to exploit these symmetries. This paper establishes a rigorous foundation for this approach and shows that it will outperform existing methods for many classes of the functions. The different components of a newly developed system, SYMBL, will be briefly described.