Formal verification of integer multipliers by combining Gröbner basis with logic reduction

Amr A. R. Sayed-Ahmed, Daniel Große, Ulrich Kühne, Mathias Soeken, Rolf Drechsler. Formal verification of integer multipliers by combining Gröbner basis with logic reduction. In Luca Fanucci, Jürgen Teich, editors, 2016 Design, Automation & Test in Europe Conference & Exhibition, DATE 2016, Dresden, Germany, March 14-18, 2016. pages 1048-1053, IEEE, 2016. [doi]

Abstract

Abstract is missing.