Alireza Mahzoon

No bio available. Add one in Open Library.

Books by Alireza Mahzoon (50 max)

+ shelf+ list

Formal Verification of Structurally Complex Multipliers

2023

Alireza Mahzoon, Daniel Große, Rolf Drechsler

+ shelf+ list

Polynomial Formal Verification of Arithmetic Circuits

2024

Alireza Mahzoon, Rolf Drechsler