Delwedd Flaen

Formal Verification of Structurally Complex Multipliers

This book addresses the challenging tasks of verifying and debugging structurally complex multipliers. In the area of verification, the authors first investigate the challenges of Symbolic Computer Algebra (SCA)-based verification, when it comes to proving the correctness of multipliers. They then d...

Disgrifiad llawn

Wedi'i Gadw mewn:
Manylion Llyfryddiaeth
Prif Awduron: Mahzoon, Alireza (Awdur), Große, Daniel (Awdur), Drechsler, Rolf (Awdur)
Awdur Corfforaethol: SpringerLink (Online service)
Fformat: Electronig eLyfr
Iaith:Saesneg
Cyhoeddwyd: Cham : Springer International Publishing : Imprint: Springer, 2023.
Rhifyn:1st ed. 2023.
Pynciau:
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.
Mynediad Ar-lein:https://doi.org/10.1007/978-3-031-24571-8
Tagiau: Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
Tabl Cynhwysion:
  • 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.

Eitemau Tebyg