Formal Verification of Structurally Complex Multipliers
- Indbinding:
- Hardback
- Sideantal:
- 144
- Udgivet:
- 15. februar 2023
- Udgave:
- 23001
- Størrelse:
- 160x14x241 mm.
- Vægt:
- 389 g.
- 8-11 hverdage.
- 10. december 2024
På lager
Forlænget returret til d. 31. januar 2025
Normalpris
Abonnementspris
- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
Beskrivelse af 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 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.
Brugerbedømmelser af Formal Verification of Structurally Complex Multipliers
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.Andre købte også..
Find lignende bøger
Bogen Formal Verification of Structurally Complex Multipliers findes i følgende kategorier:
- Business og læring > Computer og IT
- Teknologi, ingeniørvidenskab og landbrug > Elektronik og kommunikationsteknik > Elektronik teknik > Elektronik: kredse og komponenter
- Databehandling og informationsteknologi > Computere og hardware > Indbyggede systemer
- Databehandling og informationsteknologi > Informatik > Matematisk datateori > Matematik til informatikfag
© 2024 Pling BØGER Registered company number: DK43351621