"CLEVER: Divide and Conquer Combinational Logic Equivalence VERification ..."

John Moondanos et al. (2001)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics