An approach to Boolean matching with respect to NPN operations,i.e. negation of the function, permutation of the inputs and negation ofthe inputs, is presented. The method is based on a canonical formdefined in the Hadamard spectral domain. When applied to technologymapping, the idea is to keep the canonical function with each librarycell, and to compute the canonical function for a subcircuit. The matchis then accomplished using hashing on the canonical functions
展开▼
