CLEVER: Divide and Conquer Combinational Logic Equivalence VERification with False Negative Elimination.

John Moondanos, Carl-Johan H. Seger, Ziyad Hanna, Daher Kaiss

Browse the full CAV paper archive.