{"product_id":"formal-verification-of-structurally-complex-multipliers-9783031245701","title":"Formal Verification of Structurally Complex Multipliers","description":"\u003cp\u003e\u003c\/p\u003e\u003cblockquote\u003eThis 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. \u003c\/blockquote\u003e\u003cp\u003e\u003cstrong\u003eFormat\u003c\/strong\u003e: Hardback\u003cbr\u003e\u003cstrong\u003eLength\u003c\/strong\u003e: 130 pages\u003cbr\u003e\u003cstrong\u003ePublication date\u003c\/strong\u003e: 15 February 2023\u003cbr\u003e\u003cstrong\u003ePublisher\u003c\/strong\u003e: Springer International Publishing AG\u003cbr\u003e\u003c\/p\u003e \u003cp\u003e\u003cbr\u003eThis 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.\u003cbr\u003e\u003cbr\u003eBy 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.\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eWeight\u003c\/strong\u003e: 389g\u003cbr\u003e\u003cstrong\u003eDimension\u003c\/strong\u003e: 235 x 155 (mm)\u003cbr\u003e\u003cstrong\u003eISBN-13\u003c\/strong\u003e: 9783031245701\u003cbr\u003e \u003cstrong\u003eEdition number\u003c\/strong\u003e: 1st ed. 2023\u003c\/p\u003e","brand":"Alireza Mahzoon,Daniel Grosse,Rolf Drechsler","offers":[{"title":"Hardback","offer_id":44304002941178,"sku":"9783031245701","price":66.63,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0522\/4297\/2845\/products\/noImage_1_ff25fe4c-168f-4846-8a47-13f49a3dda89.jpg?v=1688020384","url":"https:\/\/shulphink.com\/products\/formal-verification-of-structurally-complex-multipliers-9783031245701","provider":"Shulph Ink","version":"1.0","type":"link"}