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