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



» Formal Verification of Floating Point Adders using Case Splitting




Author:

Jan Kleinekathöfer, Alireza Mahzoon, Rolf Drechsler
Conference:
Design, Automation and Test in Europe Conference (DATE)
Reference:

Antwerp, Belgium, 2023
Hyperlink:

[To the Site of this Conference]



» Monitoring the Effects of Static Variable Orders on the Construction of BDDs




Author:

Khushboo Qayyum, Alireza Mahzoon, Rolf Drechsler
Conference:
International Interdisciplinary Conference on Mathematics, Engineering and Science (MESIICON)
Reference:

Virtual Conference, 2022
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Polynomial Formal Verification: Ensuring Correctness under Resource Constraints




Author:

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

San Diego, USA, 2022
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Divider Verification Using Symbolic Computer Algebra and Delayed Don’t Care Optimization




Author:

Alexander Konrad, Christoph Scholl, Alireza Mahzoon, Daniel Große, Rolf Drechsler
Conference:
Formal Methods in Computer-Aided Design (FMCAD)
Reference:

Trento, Italy, 2022
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Preserving Design Hierarchy Information for Polynomial Formal Verification




Author:

Rolf Drechsler, Alireza Mahzoon
Conference:
IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC)
Reference:

Patras, Greece, 2022
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Design Modification for Polynomial Formal Verification




Author:

Rolf Drechsler, Alireza Mahzoon
Conference:
2022 International Symposium on Electrical, Electronics and Information Engineering (ISEEIE)
Reference:

Virtual Conference, 2022
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Formal Verification of Modular Multipliers using Symbolic Computer Algebra and Boolean Satisfiability




Author:

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

San Francisco, USA, 2022
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Towards Polynomial Formal Verification of Complex Arithmetic Circuits




Author:

Rolf Drechsler, Alireza Mahzoon, Mehran Goli
Conference:
25th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)
Reference:

Prague, Czech Republic, 2022
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



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

[view Pdf]



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

[view Pdf]



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

[view Pdf]



» 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




» One is not Enough: Using Hybrid Proof Engines for Polynomial Formal Verification




Author:

Rolf Drechsler, Alireza Mahzoon
Workshop:
24th Workshop on Synthesis And System Integration of Mixed Information technologies (SASIMI)
Reference:

Hirosaki, Japan, 2022
Hyperlink:

[Link to the Workshop]



» Polynomial Formal Verification of Complex Multipliers




Author:

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

Virtual, 2022
Hyperlink:

[Link to the Workshop]



» 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