Boolean Matching Filters Based on Row and Column Weights of Reed–Muller Polarity Coefficient Matrix

Chip-Hong Chang, Bogdan J. Falkowski
2002 VLSI design (Print)  
In this article, we have shown, by means of the EXOR Ternary Decision Diagram that the number of literals and product terms of the Fixed Polarity Reed–Muller (FPRM) expansions can be used to fully classify all Boolean functions in NP equivalent class and NPN equivalent class, respectively. Efficient graph based algorithms to compute the complete weight vectors have been presented. The proof and computation method has led to the derivation of a set of characteristic signatures that has low
more » ... ility of aliasing when used as the Boolean matching filters in library mapping.
doi:10.1080/10655140290011069 fatcat:mdavkvrzzzhxpj7yy2yz6f6x5m