Amr A. R. Sayed-Ahmed

According to our database, Amr A. R. Sayed-Ahmed authored at least 6 papers between 2011 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Highly Automated Formal Verification of Arithmetic Circuits.

Amr A. R. Sayed-Ahmed

PhD thesis, 2017

2016

Equivalence checking using Gröbner bases.

Amr A. R. Sayed-Ahmed, Daniel Große, Mathias Soeken, Rolf Drechsler

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

Formal verification of integer multipliers by combining Gröbner basis with logic reduction.

Amr A. R. Sayed-Ahmed, Daniel Große, Ulrich Kühne, Mathias Soeken, Rolf Drechsler

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

2015

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

Amr A. R. Sayed-Ahmed, Ulrich Kühne, Daniel Große, Rolf Drechsler

Proceedings of the 2015 IEEE Computer Society Annual Symposium on VLSI, 2015

2014

Verification of the decimal floating-point square root operation.

Amr A. R. Sayed-Ahmed, Hossam A. H. Fahmy, Ulrich Kühne

Proceedings of the 19th IEEE European Test Symposium, 2014

2011

Verification of decimal floating-point fused-multiply-add operation.

Amr A. R. Sayed-Ahmed, Hossam A. H. Fahmy, Rodina Samy

Proceedings of the 9th IEEE/ACS International Conference on Computer Systems and Applications, 2011