{"product_id":"formal-verification-of-floatingpoint-hardware-design-a-mathematical-approach-9783030871833","title":"Formal Verification of Floating-Point Hardware Design: A Mathematical Approach","description":"\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cblockquote\u003e\n\u003cbr\u003eThe book Formal Verification of Floating-Point Hardware Design, Second Edition, focuses on ensuring the correctness of floating-point hardware designs through mathematical methods. It presents a verification methodology based on a unified theory of register-transfer logic and floating-point arithmetic, applied to the formal verification of commercial floating-point units. The theory is extended to analyze algorithms and optimization techniques, and high-level specifications of arithmetic instructions are provided for formal verification. The methodology is illustrated through the verification of state-of-the-art commercial floating-point designs by Arm Holdings. The revised edition reflects evolving microarchitectures and design goals and includes new results. \u003c\/blockquote\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eFormat\u003c\/strong\u003e: Paperback \/ softback\u003cbr\u003e\u003cstrong\u003eLength\u003c\/strong\u003e: 436 pages\u003cbr\u003e\u003cstrong\u003ePublication date\u003c\/strong\u003e: 05 March 2023\u003cbr\u003e\u003cstrong\u003ePublisher\u003c\/strong\u003e: Springer Nature Switzerland AG\u003cbr\u003e\u003c\/p\u003e\u003cp\u003e\u003cbr\u003eThis groundbreaking book is the first to delve into the critical issue of ensuring the accuracy of floating-point hardware designs through mathematical methods. Formal Verification of Floating-Point Hardware Design, Second Edition, authored by the esteemed author, presents a comprehensive verification methodology rooted in a unified theory of register-transfer logic and floating-point arithmetic. This theory has been meticulously developed and applied over two decades, during which the author held positions at various prominent microprocessor design companies.\u003cbr\u003e\u003cbr\u003eThe theory is further extended to analyze various algorithms and optimization techniques commonly employed in commercial implementations of elementary arithmetic operations. As a foundation for formal verification, high-level specifications of the fundamental arithmetic instructions of several major industry-standard floating-point architectures are presented, encompassing all details related to handling exceptional conditions. The methodology is exemplified through the comprehensive verification of a diverse range of state-of-the-art commercial floating-point designs developed by Arm Holdings.\u003cbr\u003e\u003cbr\u003eThis revised edition takes into account the evolving microarchitectures and increasing sophistication of Arm processors, as well as the diverse design goals of execution speed, hardware area requirements, and power consumption. Numerous new results have been added to Parts I–III (Register-Transfer Logic, Floating-Point Arithmetic, and Implementation of Elementary Operations), expanding the theory and introducing novel techniques. These results were derived as necessary during the verification of the new RTL designs outlined in Part V.\u003cbr\u003e\u003cbr\u003eBy presenting a holistic approach to floating-point hardware verification, Formal Verification of Floating-Point Hardware Design, Second Edition serves as a valuable resource for researchers, engineers, and practitioners in the field of computer engineering. Its comprehensive coverage and rigorous analysis provide a solid foundation for developing reliable and efficient floating-point systems.\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eWeight\u003c\/strong\u003e: 706g\u003cbr\u003e\u003cstrong\u003eDimension\u003c\/strong\u003e: 235 x 155 (mm)\u003cbr\u003e\u003cstrong\u003eISBN-13\u003c\/strong\u003e: 9783030871833\u003cbr\u003e \u003cstrong\u003eEdition number\u003c\/strong\u003e: 2nd ed. 2022\u003c\/p\u003e","brand":"David M. Russinoff","offers":[{"title":"Paperback \/ softback","offer_id":44307600769274,"sku":"9783030871833","price":83.29,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0522\/4297\/2845\/products\/noImage_1_6a75e4bb-940a-424a-9e89-e266aaffc3ae.jpg?v=1688110265","url":"https:\/\/shulphink.com\/products\/formal-verification-of-floatingpoint-hardware-design-a-mathematical-approach-9783030871833","provider":"Shulph Ink","version":"1.0","type":"link"}