Homepage
Sitemap
Kontakt




Universität Bremen Universität Bremen Fachbereich 3 Informatik
Home « Team « Publikationen
» Publikationen von Alireza Mahzoon


BÜCHER


BUCHBEITRÄGE


ZEITSCHRIFTEN


KONFERENZEN


» Towards Formal Verification of Optimized and Industrial Multipliers




Autor:

Alireza Mahzoon, Daniel Große, Christoph Scholl, Rolf Drechsler
Konferenz:
Design, Automation and Test in Europe (DATE)
Referenz:

Grenoble, France, 2020
Hyperlink:

[Link zur Konferenz]


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




Autor:

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

Las Vegas, USA, 2019
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


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




Autor:

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

San Diego, USA, 2018
Best Paper Award
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


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




Autor:

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

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

[Link zur Konferenz]
PDF:

[hier ansehen]


WORKSHOPS


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




Autor:

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

Lausanne, Switzerland, 2019
Hyperlink:

[Link zum Workshop]

















Die englische Version ist  
von hier aus nicht erreichbar -  
bitte eine Seite zurück gehen.









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt