Title:
Formal Verification of Structurally Complex Multipliers
Author:
Mahzoon, Alireza. author.
ISBN:
9783031245718
Edition:
1st ed. 2023.
Physical Description:
XIII, 130 p. 36 illus., 23 illus. in color. online resource.
Contents:
Introduction -- Background -- Challenges of SCA-based Verification -- Local Vanishing Monomials Removal -- Reverse Engineering -- Dynamic Backward Rewriting -- SCA-based Verifier RevSCA-2.0 -- Debugging -- Conclusion and Outlook.
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-031-24571-8Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 527041-1001 | ONLINE | Searching... | Searching... |