Permutation and phase independent Boolean comparison

This publication has 4 references indexed in Scilit:

• Logic verification using binary decision diagrams in a logic synthesis environment
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Boolean matching using binary decision diagrams with applications to logic synthesis and verification
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Efficient Boolean function matching
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1992
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986