
» 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]
|