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.
Tüzel Kişi Ek Girişi:
Elektronik Erişim:
https://doi.org/10.1007/978-3-031-24571-8Kopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
|---|---|---|---|---|---|
Arıyor... | E-Kitap | 527041-1001 | ONLINE | Arıyor... | Arıyor... |