Homepage
Sitemap
Kontakt




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


BÜCHER


BUCHBEITRÄGE


ZEITSCHRIFTEN

» RevSCA-2.0: SCA-based Formal Verification of Non-trivial Multipliers using Reverse Engineering and Local Vanishing Removal
[Link zur Zeitschriften-Homepage]




Autor:

Alireza Mahzoon, Daniel Große, Rolf Drechsler
Zeitschrift:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)
Details:
accepted
Jahr:


2021





KONFERENZEN


» Polynomial Formal Verification of Arithmetic Circuits




Autor:

Rolf Drechsler, Alireza Mahzoon, Lennart Weingarten
Konferenz:
International Conference on Computational Intelligence and Data Engineering (ICCIDE)
Referenz:

Vijayawada, India, 2021
Hyperlink:

[Link zur Konferenz]


» Polynomial Word-Level Verification of Arithmetic Circuits




Autor:

Mohammed Barhoush, Alireza Mahzoon, Rolf Drechsler
Konferenz:
International Conference on Formal Methods and Models for System Design (MEMOCODE)
Referenz:

Beijing, China, 2021
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Polynomial Formal Verification of Prefix Adders




Autor:

Alireza Mahzoon, Rolf Drechsler
Konferenz:
Asian Test Symposium (ATS)
Referenz:

Virtual Conference, Japan, 2021
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Automated Debugging-Aware Visualization Technique for SystemC HLS Designs




Autor:

Mehran Goli, Alireza Mahzoon, Rolf Drechsler
Konferenz:
Euromicro Conference on Digital System Design (DSD)
Referenz:

Palermo, Sicily, Italy, 2021
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Late Breaking Results: Polynomial Formal Verification of Fast Adders




Autor:

Alireza Mahzoon, Rolf Drechsler
Konferenz:
Design Automation Conference (DAC)
Referenz:

San Francisco, USA, 2021
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Verifying Dividers Using Symbolic Computer Algebra and Don't Care Optimization




Autor:

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

Grenoble, France, 2021
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» ASCHyRO: Automatic Fault Localization of SystemC HLS Designs Using a Hybrid Accurate Rank Ordering Technique




Autor:

Mehran Goli, Alireza Mahzoon, Rolf Drechsler
Konferenz:
38th IEEE International Conference on Computer Design (ICCD)
Referenz:

Hartford, USA, 2020
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


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

[hier ansehen]


» 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


» Polynomial Formal Verification of Prefix Adders




Autor:

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

Virtual Conference, 2021
Hyperlink:

[Link zum Workshop]


» Polynomial Formal Verification of Area-efficient and Fast Adders




Autor:

Alireza Mahzoon, Rolf Drechsler
Workshop:
2021 Reed-Muller Workshop (RM2021)
Referenz:

Nursultan, Kazakhstan, 2021
PDF:

[hier ansehen]
Hyperlink:

[Link zum Workshop]


» GenMul: Generating Architecturally Complex Multipliers to Challenge Formal Verification Tools




Autor:

Alireza Mahzoon, Daniel Große, Rolf Drechsler
Workshop:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
Referenz:

München, Germany, 2021
Hyperlink:

[Link zum Workshop]


» 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