Mahzoon, Alireza books & textbook
Formal Verification of Structurally Complex Multipliers
Mahzoon, Alireza Große, Daniel Drechsler, Rolf
Springer /2024-02-16 Paperback / 144 Pages
isbn-10: 3031245733 / isbn-13: 9783031245732
Polynomial Formal Verification of Arithmetic Circuits (Foundations and Trends(r) in Electronic Design Automation)
Mahzoon, Alireza Dreschler, Rolf
Now Publishers /2024-09-16 Paperback / 86 Pages
isbn-10: 1638284040 / isbn-13: 9781638284048
