Boolean Matching Using Binary Decision Diagrams with Applications to Logic Synthesis and Verification

Boolean matching using generalized Reed-Muller forms

DAC '94 Proceedings of the 31st annual Design Automation Conference

Boolean matching for incompletely specified functions

DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference

Combined spectral techniques for Boolean matching

Proceedings of the 1996 ACM fourth international symposium on Field-programmable gate arrays

Boolean Functions Classification via Fixed Polarity Reed-Muller Forms

IEEE Transactions on Computers

Library based technology mapping using multiple domain representations

EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation

An Algorithm for Total Symmetric OBDD Detection

IEEE Transactions on Computers

Detection of symmetry of Boolean functions represented by ROBDDs

ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design

Least Upper Bounds for the Size of OBDDs Using Symmetry Properties

IEEE Transactions on Computers

Limits of Using Signatures for Permutation Independent Boolean Comparison

Formal Methods in System Design

Formal Verification Using Edge-Valued Binary Decision Diagrams

IEEE Transactions on Computers

Efficient computation of canonical form for Boolean matching in large libraries

Proceedings of the 2004 Asia and South Pacific Design Automation Conference

An anytime symmetry detection algorithm for ROBDDs

ASP-DAC '06 Proceedings of the 2006 Asia and South Pacific Design Automation Conference

Detecting support-reducing bound sets using two-cofactor symmetries

Proceedings of the 2005 Asia and South Pacific Design Automation Conference

Fast Boolean Matching with Don't Cares

ISQED '06 Proceedings of the 7th International Symposium on Quality Electronic Design

Building a better Boolean matcher and symmetry detector

Proceedings of the conference on Design, automation and test in Europe: Proceedings

Improved SAT-based Boolean matching using implicants for LUT-based FPGAs

Proceedings of the 2007 ACM/SIGDA 15th international symposium on Field programmable gate arrays