Homepage Sitemap Contact




Home « Team « Publications
» Publications of Alireza Mahzoon



BOOKS


BOOK CONTRIBUTIONS


JOURNALS

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




Author:

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


2021






CONFERENCES



» Polynomial Word-Level Verification of Arithmetic Circuits




Author:

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

Beijing, China, 2021
Hyperlink:

[To the Site of this Conference]



» Polynomial Formal Verification of Arithmetic Circuits




Author:

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

Vijayawada, India, 2021
Hyperlink:

[To the Site of this Conference]



» Polynomial Formal Verification of Prefix Adders




Author:

Alireza Mahzoon, Rolf Drechsler
Conference:
Asian Test Symposium (ATS)
Reference:

Virtual Conference, Japan, 2021
Hyperlink:

[To the Site of this Conference]



» Automated Debugging-Aware Visualization Technique for SystemC HLS Designs




Author:

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

Palermo, Sicily, Italy, 2021
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Late Breaking Results: Polynomial Formal Verification of Fast Adders




Author:

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

San Francisco, USA, 2021
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



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




Author:

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

Grenoble, France, 2021
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



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




Author:

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

Hartford, USA, 2020
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Towards Formal Verification of Optimized and Industrial Multipliers




Author:

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

Grenoble, France, 2020
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» 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




» Polynomial Formal Verification of Prefix Adders




Author:

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

Virtual Conference, 2021
Hyperlink:

[Link to the Workshop]



» Polynomial Formal Verification of Area-efficient and Fast Adders




Author:

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

Nursultan, Kazakhstan, 2021
PDF:

[view Pdf]
Hyperlink:

[Link to the Workshop]



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




Author:

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

München, Germany, 2021
Hyperlink:

[Link to the Workshop]



» 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