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]
@inproceedings{Sayed-AhmedGKSD16,
title = {Formal verification of integer multipliers by combining Gröbner basis with logic reduction},
author = {Amr A. R. Sayed-Ahmed and Daniel Große and Ulrich Kühne and Mathias Soeken and Rolf Drechsler},
year = {2016},
url = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=7459464},
researchr = {https://researchr.org/publication/Sayed-AhmedGKSD16},
cites = {0},
citedby = {0},
pages = {1048-1053},
booktitle = {2016 Design, Automation & Test in Europe Conference & Exhibition, DATE 2016, Dresden, Germany, March 14-18, 2016},
editor = {Luca Fanucci and Jürgen Teich},
publisher = {IEEE},
isbn = {978-3-9815-3707-9},
}