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

Yung-Te Lai, Sarma Sastry, Massoud Pedram

Browse the full ICCD paper archive.