Alireza Mahzoon

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 26

Top Topics

Reverse Engineer

Formal Verification

Top Venues

Publications

Jan Kleinekathöfer, Alireza Mahzoon, Rolf Drechsler
Polynomial Formal Verification of Floating Point Adders. DATE (2023)
Alireza Mahzoon, Rolf Drechsler
Polynomial Formal Verification of Complex Circuits Using a Hybrid Proof Engine. Applicable Formal Methods for Safe Industrial Products (2023)
Lennart Weingarten, Alireza Mahzoon, Mehran Goli, Rolf Drechsler
Polynomial Formal Verification of a Processor: A RISC-V Case Study. ISQED (2023)
Rolf Drechsler, Alireza Mahzoon
Towards Polynomial Formal Verification of AI-Generated Arithmetic Circuits. ISDCS (2023)
Rolf Drechsler, Alireza Mahzoon
Divide and Verify: Using a Divide-and-Conquer Strategy for Polynomial Formal Verification of Complex Circuits. DATE (2023)
Rolf Drechsler, Alireza Mahzoon
Preserving Design Hierarchy Information for Polynomial Formal Verification. VLSI-SoC (2022)
Rolf Drechsler, Alireza Mahzoon, Mehran Goli
Towards Polynomial Formal Verification of Complex Arithmetic Circuits. DDECS (2022)
Jan Kleinekathöfer, Alireza Mahzoon, Rolf Drechsler
Lower Bound Proof for the Size of BDDs representing a Shifted Addition. CoRR (2022)
Alireza Mahzoon, Daniel Große, Christoph Scholl, Alexander Konrad, Rolf Drechsler
Formal verification of modular multipliers using symbolic computer algebra and boolean satisfiability. DAC (2022)
Alexander Konrad, Christoph Scholl, Alireza Mahzoon, Daniel Große, Rolf Drechsler
Divider Verification Using Symbolic Computer Algebra and Delayed Don't Care Optimization. FMCAD (2022)
Alireza Mahzoon, Daniel Große, Rolf Drechsler
RevSCA-2.0: SCA-Based Formal Verification of Nontrivial Multipliers Using Reverse Engineering and Local Vanishing Removal. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (5) (2022)
Alireza Mahzoon, Rolf Drechsler
Polynomial Formal Verification of Complex Multipliers. MBMV (2022)
Weiyan Zhang, Mehran Goli, Alireza Mahzoon, Rolf Drechsler
ANN-based Performance Estimation of Embedded Software for RISC-V Processors. RSP (2022)
Rolf Drechsler, Alireza Mahzoon
Polynomial Formal Verification: Ensuring Correctness under Resource Constraints. ICCAD (2022)
Mohammed Barhoush, Alireza Mahzoon, Rolf Drechsler
Polynomial word-level verification of arithmetic circuits. MEMOCODE (2021)
Mehran Goli, Alireza Mahzoon, Rolf Drechsler
Automated Debugging-Aware Visualization Technique for SystemC HLS Designs. DSD (2021)
Christoph Scholl, Alexander Konrad, Alireza Mahzoon, Daniel Große, Rolf Drechsler
Verifying Dividers Using Symbolic Computer Algebra and Don't Care Optimization. DATE (2021)
Alireza Mahzoon, Rolf Drechsler
Polynomial Formal Verification of Prefix Adders. ATS (2021)
Alireza Mahzoon, Rolf Drechsler
Late Breaking Results: Polynomial Formal Verification of Fast Adders. DAC (2021)
Mehran Goli, Alireza Mahzoon, Rolf Drechsler
ASCHyRO: Automatic Fault Localization of SystemC HLS Designs Using a Hybrid Accurate Rank Ordering Technique. ICCD (2020)
Alireza Mahzoon, Daniel Große, Christoph Scholl, Rolf Drechsler
Towards Formal Verification of Optimized and Industrial Multipliers. DATE (2020)
Alireza Mahzoon, Daniel Große, Rolf Drechsler
RevSCA: Using Reverse Engineering to Bring Light into Backward Rewriting for Big and Dirty Multipliers. DAC (2019)
Alireza Mahzoon, Daniel Große, Rolf Drechsler
PolyCleaner: clean your polynomials before backward rewriting to verify million-gate multipliers. ICCAD (2018)
Alireza Mahzoon, Daniel Große, Rolf Drechsler
Combining Symbolic Computer Algebra and Boolean Satisfiability for Automatic Debugging and Fixing of Complex Multipliers. ISVLSI (2018)
Alireza Mahzoon, Bijan Alizadeh
OptiFEX: A Framework for Exploring Area-Efficient Floating Point Expressions on FPGAs With Optimized Exponent/Mantissa Widths. IEEE Trans. Very Large Scale Integr. Syst. 25 (1) (2017)
Alireza Mahzoon, Bijan Alizadeh
Systematic Design Space Exploration of Floating-Point Expressions on FPGA. IEEE Trans. Circuits Syst. II Express Briefs (3) (2017)
Alireza Mahzoon, Bijan Alizadeh
Multi-objective Optimization of Floating Point Arithmetic Expressions Using Iterative Factorization. ISVLSI (2015)