DocumentCode
3442134
Title
A spectral method for Boolean function matching
Author
Miller, D.M.
Author_Institution
Dept. of Comput. Sci., Victoria Univ., BC, Canada
fYear
1996
fDate
11-14 Mar 1996
Firstpage
602
Abstract
An approach to Boolean matching with respect to NPN operations, i.e. negation of the function, permutation of the inputs and negation of the inputs, is presented. The method is based on a canonical form defined in the Hadamard spectral domain. When applied to technology mapping, the idea is to keep the canonical function with each library cell, and to compute the canonical function for a subcircuit. The match is then accomplished using hashing on the canonical functions
Keywords
Boolean functions; Hadamard transforms; logic partitioning; spectral analysis; Boolean function matching; Hadamard spectral domain; NPN operations; canonical form; hashing; library cell; negation; permutation; spectral method; subcircuit; technology mapping; Boolean functions; Computer science; Councils; Data structures; Libraries; Logic; Sun;
fLanguage
English
Publisher
ieee
Conference_Titel
European Design and Test Conference, 1996. ED&TC 96. Proceedings
Conference_Location
Paris
ISSN
1066-1409
Print_ISBN
0-8186-7424-5
Type
conf
DOI
10.1109/EDTC.1996.494366
Filename
494366
Link To Document