Formal verification of integer multipliers by combining Gröbner basis with logic reduction - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Amr A. R. Sayed-Ahmed' in GoogleThis author has not been identified. Look up 'Daniel Große' in GoogleThis author has not been identified. Look up 'Ulrich Kühne' in GoogleThis author has not been identified. Look up 'Mathias Soeken' in GoogleThis author has not been identified. Look up 'Rolf Drechsler' in Google

runs on WebDSL