Chih-Fan Lai, Jie-Hong R. Jiang, Kuo-Hua Wang
2010 Proceedings of the 47th Design Automation Conference on - DAC '10  
Boolean matching determines whether two given (in)completelyspecified Boolean functions can be identical or complementary to each other under permutation and/or negation of their input variables. Due to its broad applications in logic synthesis and verification, it attracted much attention. Most prior efforts however were incomplete and/or restricted to certain special matching conditions. In contrast, this paper focuses on the computation kernel of Boolean matching and proposes a complete
more » ... ic framework. Through conflictdriven learning and abstraction, the capacity of Boolean matching scales up due to the effective pruning of infeasible matching solutions. Experiments show encouraging results in resolving hard instances that are otherwise unsolvable.
doi:10.1145/1837274.1837398 dblp:conf/dac/LaiJW10 fatcat:fre2vbtntvcs3a76kf2px3czry