A New Approach for Compiling Boolean Functions.

Thumbnail Image
Files
TR_85-39.pdf(829.37 KB)
No. of downloads: 403
Publication or External Link
Date
1985
Authors
JaJa, Joseph F.
Wu, S.M.
Advisor
Citation
DRUM DOI
Abstract
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.
Notes
Rights