Amr A. R. Sayed-Ahmed

Publication Activity (10 Years)

Years Active: 2011-2016
Publications (10 Years): 3

Top Topics

Formal Verification

Polynomial Equations

Mathematical Theory

Numerically Stable

Top Venues

University of Bremen, Germany (PHD)

Education History

University of Bremen, Germany

PHD

Publications

Amr A. R. Sayed-Ahmed, Daniel Große, Mathias Soeken, Rolf Drechsler
Equivalence checking using Gröbner bases. FMCAD (2016)
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. DATE (2016)
Amr A. R. Sayed-Ahmed, Ulrich Kühne, Daniel Große, Rolf Drechsler
Recurrence Relations Revisited: Scalable Verification of Bit Level Multiplier Circuits. ISVLSI (2015)
Amr A. R. Sayed-Ahmed, Hossam A. H. Fahmy, Ulrich Kühne
Verification of the decimal floating-point square root operation. ETS (2014)
Amr A. R. Sayed-Ahmed, Hossam A. H. Fahmy, Rodina Samy
Verification of decimal floating-point fused-multiply-add operation. AICCSA (2011)