| 2023 | DATE | Divide and Verify: Using a Divide-and-Conquer Strategy for Polynomial Formal Verification of Complex Circuits. | Rolf Drechsler, Alireza Mahzoon |
| 2023 | DATE | Polynomial Formal Verification of Floating Point Adders. | Jan Kleinekathfer, Alireza Mahzoon, Rolf Drechsler |
| 2022 | DAC | Formal verification of modular multipliers using symbolic computer algebra and boolean satisfiability. | Alireza Mahzoon, Daniel Groe, Christoph Scholl, Alexander Konrad, Rolf Drechsler |
| 2022 | DDECS | Towards Polynomial Formal Verification of Complex Arithmetic Circuits. | Rolf Drechsler, Alireza Mahzoon, Mehran Goli |
| 2022 | FMCAD | Divider Verification Using Symbolic Computer Algebra and Delayed Don't Care Optimization. | Alexander Konrad, Christoph Scholl, Alireza Mahzoon, Daniel Groe, Rolf Drechsler |
| 2022 | ICCAD | Polynomial Formal Verification: Ensuring Correctness under Resource Constraints. | Rolf Drechsler, Alireza Mahzoon |
| 2022 | RSP | ANN-based Performance Estimation of Embedded Software for RISC-V Processors. | Weiyan Zhang, Mehran Goli, Alireza Mahzoon, Rolf Drechsler |
| 2021 | DAC | Late Breaking Results: Polynomial Formal Verification of Fast Adders. | Alireza Mahzoon, Rolf Drechsler |
| 2021 | DATE | Verifying Dividers Using Symbolic Computer Algebra and Don't Care Optimization. | Christoph Scholl, Alexander Konrad, Alireza Mahzoon, Daniel Groe, Rolf Drechsler |
| 2021 | DSD | Automated Debugging-Aware Visualization Technique for SystemC HLS Designs. | Mehran Goli, Alireza Mahzoon, Rolf Drechsler |
| 2021 | MEMOCODE | Polynomial word-level verification of arithmetic circuits. | Mohammed Barhoush, Alireza Mahzoon, Rolf Drechsler |
| 2020 | DATE | Towards Formal Verification of Optimized and Industrial Multipliers. | Alireza Mahzoon, Daniel Groe, Christoph Scholl, Rolf Drechsler |
| 2020 | ICCD | ASCHyRO: Automatic Fault Localization of SystemC HLS Designs Using a Hybrid Accurate Rank Ordering Technique. | Mehran Goli, Alireza Mahzoon, Rolf Drechsler |
| 2019 | DAC | RevSCA: Using Reverse Engineering to Bring Light into Backward Rewriting for Big and Dirty Multipliers. | Alireza Mahzoon, Daniel Groe, Rolf Drechsler |
| 2018 | ICCAD | PolyCleaner: clean your polynomials before backward rewriting to verify million-gate multipliers. | Alireza Mahzoon, Daniel Groe, Rolf Drechsler |