A spectral method for Boolean function matching

Authors:
D. M. Miller
Affiliations:
Department of Computer Science, University of Victoria, Victoria, BC, CANADA V8W -3P6
Venue:
EDTC '96 Proceedings of the 1996 European conference on Design and Test
Year:
1996

Citing 0
Cited 3

Decision Diagram Method for Calculation of Pruned Walsh Transform

IEEE Transactions on Computers
Spectral decision diagrams using graph transformations

Proceedings of the conference on Design, automation and test in Europe
A transform-parametric approach to Boolean matching

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Quantified Score

Hi-index	0.00

Visualization

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.