Boolean Functions Classification via Fixed Polarity Reed-Muller Forms
IEEE Transactions on Computers
A new canonical form for fast boolean matching in logic synthesis and verification
Proceedings of the 42nd annual Design Automation Conference
A unified approach to canonical form-based Boolean matching
Proceedings of the 44th annual Design Automation Conference
Signature based Boolean matching in the presence of don't cares
Proceedings of the 45th annual Design Automation Conference
A transform-parametric approach to Boolean matching
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Hi-index | 0.00 |