Formal verification of integer multipliers by combining Grbner basis with logic reduction.

Amr A. R. Sayed-Ahmed, Daniel Groe, Ulrich Khne, Mathias Soeken, Rolf Drechsler

Browse the full DATE paper archive.