Homepage Sitemap Contact




Home « Team « Publications
» Publications of Alireza Mahzoon



BOOKS


BOOK CONTRIBUTIONS


JOURNALS


CONFERENCES



» RevSCA: Using Reverse Engineering to Bring Light into Backward Rewriting for Big and Dirty Multipliers




Author:

Alireza Mahzoon, Daniel Große, Rolf Drechsler
Conference:
Design Automation Conference (DAC)
Reference:

Las Vegas, USA, 2019
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» PolyCleaner: Clean your Polynomials before Backward Rewriting to Verify Million-gate Multipliers




Author:

Alireza Mahzoon, Daniel Große, Rolf Drechsler
Conference:
International Conference on Computer Aided Design (ICCAD)
Reference:

San Diego, USA, 2018
Best Paper Award
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Combining Symbolic Computer Algebra and Boolean Satisfiability for Automatic Debugging and Fixing of Complex Multipliers




Author:

Alireza Mahzoon, Daniel Große, Rolf Drechsler
Conference:
IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
Reference:

pp. 351-356, Hong Kong SAR, China, 2018
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]


WORKSHOPS




» GenMul: Generating architecturally complex multipliers to challenge formal verification tools




Author:

Alireza Mahzoon, Daniel Große, Rolf Drechsler
Workshop:
International Workshop on Logic & Synthesis (IWLS)
Reference:

Lausanne, Switzerland, 2019
Hyperlink:

[Link to the Workshop]

















Die deutsche Version ist von dieser Seite nicht erreichbar - bitte gehen Sie eine Seite zurück.









Sitemap Kontakt

ISMVL2014 DUHDE