Homepage
Sitemap
Kontakt




Universität Bremen Universität Bremen Fachbereich 3 Informatik
Home « Team « Publikationen
» Publikationen von Amr Sayed Ahmed


BÜCHER


BUCHBEITRÄGE


ZEITSCHRIFTEN


KONFERENZEN


» 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)
Referenz:

Mountain View, USA, 2016
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» 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)
Referenz:

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

[Link zur Konferenz]
PDF:

[hier ansehen]


» 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).
Referenz:

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

[Link zur Konferenz]
PDF:

[hier ansehen]


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




Autor:

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

Paderborn, Germany, 2014.
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


WORKSHOPS

















Die englische Version ist  
von hier aus nicht erreichbar -  
bitte eine Seite zurück gehen.









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt