Alireza Mahzoon – författare

Visar alla böcker från författaren Alireza Mahzoon. Handla med fri frakt och snabb leverans.

4 produkter

1. 

   Formal Verification of Structurally Complex Multipliers

   Av Alireza Mahzoon, Daniel Große m. fl.

   Inbunden, 2023

   987 kr

   Lägg i varukorg

   This book addresses the challenging tasks of verifying and debugging structurally complex multipliers. In the area of verification, the authors first investigate the challenges of Symbolic Computer Algebra (SCA)-based verification, when it comes to proving the correctness of multipliers. They then …

2. 

   Formal Verification of Structurally Complex Multipliers

   Av Rolf Drechsler, Daniel Groe m. fl.

   E-bok, 2023

   1255 kr

   Lägg i varukorg

   This book addresses the challenging tasks of verifying and debugging structurally complex multipliers. In the area of verification, the authors first investigate the challenges of Symbolic Computer Algebra (SCA)-based verification, when it comes to proving the correctness of multipliers. They then …

3. 

   Formal Verification of Structurally Complex Multipliers

   Av Alireza Mahzoon, Daniel Große

   2023

   667 kr

   Lägg i varukorg

4. 

   Formal Verification of Structurally Complex Multipliers

   Av Alireza Mahzoon, Daniel Große m. fl.

   Häftad, 2024

   987 kr

   Lägg i varukorg

   This book addresses the challenging tasks of verifying and debugging structurally complex multipliers. In the area of verification, the authors first investigate the challenges of Symbolic Computer Algebra (SCA)-based verification, when it comes to proving the correctness of multipliers. They then …