Alireza Mahzoon

Alireza Mahzoon

2 ספרים במאגר

ספרים

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