DocumentCode
3257335
Title
Characterization of Boolean functions for rapid matching in EPGA technology mapping
Author
Schlichtmann, Ulf ; Brglez, Franc ; Hermann, Michael
Author_Institution
Inst. of Electron. Design Autom., Tech. Univ. of Munich, Germany
fYear
1992
fDate
8-12 Jun 1992
Firstpage
374
Lastpage
379
Abstract
The authors introduce characteristic signatures for Boolean functions. The signatures do not exhibit sensitivity to permutations of input variables. These signatures are used to develop a method of rapidly matching subcircuits with cells in a large library. The procedure is analogous to hashing. Filters are discussed that were found to be useful in improving the matching of variables before applying the equivalence verification. Experimental results and the figure of merit of various signatures are outlined
Keywords
Boolean functions; logic CAD; logic arrays; logic testing; Boolean functions; EPGA technology mapping; characteristic signatures; electrically programmable gate arrays; hashing; rapid matching; subcircuits; Automation; Boolean functions; Circuits; Data structures; Digital systems; Logic arrays; Microelectronics; PROM; Software libraries; Tree graphs;
fLanguage
English
Publisher
ieee
Conference_Titel
Design Automation Conference, 1992. Proceedings., 29th ACM/IEEE
Conference_Location
Anaheim, CA
ISSN
0738-100X
Print_ISBN
0-8186-2822-7
Type
conf
DOI
10.1109/DAC.1992.227775
Filename
227775
Link To Document