Formal Verification of Structurally Complex Multipliers

Name: Formal Verification of Structurally Complex Multipliers
Brand: Springer, Berlin
SKU: 9783031245732
Price: 496.96 RON
Availability: InStock

Autor: Alireza Mahzoon, Daniel Große, Rolf Drechsler

Limbă:

Legare: Carte broșată

Editura: Springer, Berlin

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

496.96 lei

This book addresses the challenging tasks of verifying and debugging structurally complex multiplier...

Informații despre carte

Autor

Alireza Mahzoon, Daniel Große, Rolf Drechsler

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2024

Pagini

130

EAN

9783031245732

Enbook ID

44743015

Editura

Springer, Berlin

Greutate

213

Dimensiuni

155 x 235

Descriere completă

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 describe three techniques to improve and extend SCA: vanishing monomials removal, reverse engineering, and dynamic backward rewriting. This enables readers to verify a wide variety of multipliers, including highly complex and optimized industrial benchmarks. The authors also describe a complete debugging flow, including bug localization and fixing, to find the location of bugs in structurally complex multipliers and make corrections.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Formal Verification of Structurally Complex Multipliers

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și