Homepage Sitemap Contact




Home « Team « Publications
» Publications of Alireza Mahzoon



BOOKS


BOOK CONTRIBUTIONS


JOURNALS


CONFERENCES



» 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
Hyperlink:

[To the Site of this Conference]



» 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


















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









Sitemap Kontakt

ISMVL2014 DUHDE