Formal Verification of Structurally Complex Multipliers

This book provides techniques to improve and extend Symbolic Computer Algebra (SCA)-based verification of multipliers, enabling the verification of complex and optimized industrial benchmarks. It also describes a complete debugging flow to locate and fix bugs in structurally complex multipliers.

Format: Hardback
Length: 130 pages
Publication date: 15 February 2023
Publisher: Springer International Publishing AG

This book delves into the intricate challenges of verifying and debugging structurally complex multipliers, presenting a comprehensive approach to address these complex tasks. In the realm of verification, the authors commence by exploring the complexities associated with Symbolic Computer Algebra (SCA)-based verification, particularly in proving the correctness of multipliers. Recognizing the limitations of traditional verification methods, they introduce three innovative techniques: vanishing monomials removal, reverse engineering, and dynamic backward rewriting. These techniques empower readers to verify a diverse range of multipliers, including highly complex and optimized industrial benchmarks. Moreover, the authors provide a comprehensive debugging flow, encompassing bug localization and fixing, to accurately identify the source of bugs in structurally complex multipliers and implement necessary corrections.

By employing these advanced techniques, the book empowers engineers and researchers to ensure the reliability and correctness of multipliers in various applications, ranging from digital signal processing to computer architecture. The comprehensive coverage of verification and debugging methodologies, coupled with real-world examples and case studies, makes this text an invaluable resource for anyone seeking to excel in the field of multiplier design and analysis.

Weight: 389g
Dimension: 235 x 155 (mm)
ISBN-13: 9783031245701
Edition number: 1st ed. 2023