HOME | KONTAKT

Logo Universität Bremen
LOGO AGRA | AG Rechnerarchitektur



Arbeitsgruppe Rechnerarchitektur / AGRA | Informatik | FB03 | Universität Bremen

Dr. Amr Sayed Ahmed


Mein Forschungsschwerpunkt liegt auf der formalen Verifikation von Hardware-Designs für Gleitkommaarithmetik. Insbesondere entwickle ich entsprechende Techniken für dezimale Floating-Point-Designs. Da dezimale Gleitkommaarithmetik erst vor wenigen Jahren im IEEE-Standard spezifiziert worden ist (IEEE Std754-2008), sind neue Techniken erforderlich, um die Einhaltung des Standards zu überprüfen.

WiMi

Equivalence Checking Using Gröbner Bases
Autor: Amr Sayed Ahmed, Daniel Große, Mathias Soeken, Rolf Drechsler
Konferenz: Formal Methods in Computer Aided Design (FMCAD)
Pdf | Referenz: Mountain View, USA, 2016

Formal Verification of Integer Multipliers by Combining Gröbner Basis with Logic Reduction
Autor: Amr Sayed Ahmed, Daniel Große, Ulrich Kühne, Mathias Soeken, Rolf Drechsler
Konferenz: Design, Automation and Test in Europe (DATE)
Pdf | Referenz: pp. 1048-1053, Dresden, Germany, 2016
Best Paper Candidate

Recurrence Relations Revisited: Scalable Verification of Bit Level Multiplier Circuits
Autor: Amr Sayed Ahmed, Ulrich Kühne, Daniel Große, Rolf Drechsler
Konferenz: IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2015).
Pdf | Referenz: pp. 1-6, Montpellier, France, 2015.

Verification of the Decimal Floating-Point Square Root Operation,
Autor: Amr Sayed Ahmed, Hossam Fahmy, Ulrich Kühne
Konferenz: 19th IEEE European Test Symposium,
Pdf | Referenz: Paderborn, Germany, 2014.

« zurück


©2023 | AG Rechnerarchitektur | Kontakt | Impressum & Datenschutz