Title :
A spectral method for Boolean function matching
Author_Institution :
Dept. of Comput. Sci., Victoria Univ., BC, Canada
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;
Conference_Titel :
European Design and Test Conference, 1996. ED&TC 96. Proceedings
Conference_Location :
Paris
Print_ISBN :
0-8186-7424-5
DOI :
10.1109/EDTC.1996.494366
