Alireza Mahzoon

Alireza Mahzoon

2 books in the database

Books

Polynomial Formal Verification of Arithmetic CircuitsAlireza Mahzoon

Polynomial Formal Verification of Arithmetic Circuits

Alireza Mahzoon · 2024

Formal Verification of Structurally Complex MultipliersAlireza Mahzoon

Formal Verification of Structurally Complex Multipliers

Alireza Mahzoon · 2023