Formal Verification of Structurally Complex Multipliers
by
Mahzoon, Alireza. author.
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.
Subject Term
:
Electronic circuits.
Electronic circuit design.
Computer science -- Mathematics.
Embedded computer systems.
Electronic Circuits and Systems.
Electronics Design and Verification.
Symbolic and Algebraic Manipulation.
Embedded Systems.
Added Author
:
Große, Daniel.
Drechsler, Rolf.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
| Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
|---|
| Online Library | E-Book | 527041-1001 | ONLINE | | Elektronik Kütüphane |