Formal Verification of Integer Multipliers by Combining Gröbner Basis with Logic Reduction

@inproceedings{pub8148,
    author = {

Ahmed, Amr Sayed
 and 

Große, Daniel
 and 

Kühne, Ulrich
 and 

Soeken, Mathias
 and 

Drechsler, Rolf
},
    title = {Formal Verification of Integer Multipliers by Combining Gröbner Basis with Logic Reduction},
    booktitle = {Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE), March 14-18, Dresden, Germany},
    year = {2016},
    pages = {1048--1053}
}