CLEVER: Divide and Conquer Combinational Logic Equivalence VERification with False Negative Elimination - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

John Moondanos, Carl-Johan H. Seger, Ziyad Hanna, Daher Kaiss. CLEVER: Divide and Conquer Combinational Logic Equivalence VERification with False Negative Elimination. In Gérard Berry, Hubert Comon, Alain Finkel, editors, Computer Aided Verification, 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001, Proceedings. Volume 2102 of Lecture Notes in Computer Science, pages 131-143, Springer, 2001. [doi]

This author has not been identified. Look up 'John Moondanos' in GoogleThis author has not been identified. Look up 'Carl-Johan H. Seger' in GoogleThis author has not been identified. Look up 'Ziyad Hanna' in GoogleThis author has not been identified. Look up 'Daher Kaiss' in Google

runs on WebDSL