Homepage Sitemap Contact




Home « Team « Publications
» Publications of Amr Sayed Ahmed



BOOKS


BOOK CONTRIBUTIONS


JOURNALS


CONFERENCES



» Equivalence Checking Using Gröbner Bases




Author:

Amr Sayed Ahmed, Daniel Große, Mathias Soeken, Rolf Drechsler
Conference:
Formal Methods in Computer Aided Design (FMCAD)
Reference:

Mountain View, USA, 2016
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



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




Author:

Amr Sayed Ahmed, Daniel Große, Ulrich Kühne, Mathias Soeken, Rolf Drechsler
Conference:
Design, Automation and Test in Europe (DATE)
Reference:

pp. 1048-1053, Dresden, Germany, 2016
Best Paper Candidate
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Recurrence Relations Revisited: Scalable Verification of Bit Level Multiplier Circuits




Author:

Amr Sayed Ahmed, Ulrich Kühne, Daniel Große, Rolf Drechsler
Conference:
IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2015).
Reference:

pp. 1-6, Montpellier, France, 2015.
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Verification of the Decimal Floating-Point Square Root Operation,




Author:

Amr Sayed Ahmed, Hossam Fahmy, Ulrich Kühne
Conference:
19th IEEE European Test Symposium,
Reference:

Paderborn, Germany, 2014.
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]


WORKSHOPS


















Die deutsche Version ist von dieser Seite nicht erreichbar - bitte gehen Sie eine Seite zurück.









Sitemap Kontakt

ISMVL2014 DUHDE