Formal Verification of Structurally Complex Multipliers
tarafından
Mahzoon, Alireza. author.
Başlık
:
Formal Verification of Structurally Complex Multipliers
Yazar
:
Mahzoon, Alireza. author.
ISBN
:
9783031245718
Basım Bilgisi
:
1st ed. 2023.
Fiziksel Tanımlama
:
XIII, 130 p. 36 illus., 23 illus. in color. online resource.
İçerik
:
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.
Konu Terimleri
:
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.
Yazar Ek Girişi
:
Große, Daniel.
Drechsler, Rolf.
Tüzel Kişi Ek Girişi
:
SpringerLink (Online service)
Elektronik Erişim
:
| Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | [[missing key: search.ChildField.HOLDING]] | Durumu/İade Tarihi |
|---|
| Çevrimiçi Kütüphane | E-Kitap | 527041-1001 | ONLINE | | Elektronik Kütüphane |