£84.49

Springer Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

Price data last checked 147 day(s) ago - refreshing...

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

This is the usual price. Wait for it to drop, or tell us your number.

£84 today · usual range £0–£0 · best ever £80

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey
↓ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 105 days • 105 data points (No recent data available)

Historical
Generating forecast...
£87.29 £79.25 £81.00 £82.76 £84.51 £86.27 £88.02 01 October 2025 27 October 2025 22 November 2025 18 December 2025 13 January 2026

Price Distribution

Price distribution over 105 days • 3 price levels

Days at Price
Current Price
58 days 45 days · current 2 days 0 15 29 44 58 £80 £85 £87 Days at Price

Price Analysis

Most common price: £80 (58 days, 55.2%)

Price range: £80 - £87

Price levels: 3 different prices over 105 days

Description

This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification of Floating-Point Hardware Design, Second Edition advances a verification methodology based on a unified theory of register-transfer logic and floating-point arithmetic that has been developed and applied to the formal verification of commercial floating-point units over the course of more than two decades, during which the author was employed by several major microprocessor design companies. The theory is extended to the analysis of several algorithms and optimization techniques that are commonly used in commercial implementations of elementary arithmetic operations. As a basis for the formal verification of such implementations, high-level specifications of the basic arithmetic instructions of several major industry-standard floating-point architectures are presented, including all details pertaining to the handling of exceptional conditions. The methodology is illustrated in the comprehensive verification of a variety of state-of-the-art commercial floating-point designs developed by Arm Holdings. This revised edition reflects the evolving microarchitectures and increasing sophistication of Arm processors, and the variation in the design goals of execution speed, hardware area requirements, and power consumption. Many new results have been added to Parts I—III (Register-Transfer Logic, Floating-Point Arithmetic, and Implementation of Elementary Operations), extending the theory and describing new techniques. These were derived as required in the verification of the new RTL designs described in Part V.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
05 March 2023
Listed Since
05 February 2023

Barcode

No barcode data available

Similar Products You Might Like

Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
99% match

Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

Springer

£107.73 28 Feb 2026
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
98% match

Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

Springer

£61.56 14 Apr 2026
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
98% match

Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

Springer

£74.99 08 Mar 2026
ARM Assembly Language: Fundamentals and Techniques
96% match

ARM Assembly Language: Fundamentals and Techniques

£57.95 12 Jan 2026
Modern Assembly Language Programming with the ARM Processor
96% match

Modern Assembly Language Programming with the ARM Processor

Newnes

£56.18 22 Feb 2026
Embedded Microprocessor System Design using FPGAs
96% match

Embedded Microprocessor System Design using FPGAs

Springer

£98.63 13 Mar 2026
Digital VLSI Design and Simulation with Verilog
96% match

Digital VLSI Design and Simulation with Verilog

Wiley

£88.19 09 Mar 2026
Modern Arm Assembly Language Programming: Covers Armv8-A 32-bit, 64-bit, and SIMD
96% match

Modern Arm Assembly Language Programming: Covers Armv8-A 32-bit, 64-bit, and SIMD

Apress

£40.72 08 Jan 2026
SystemVerilog for Verification: A Guide to Learning the Testbench Language Features
96% match

SystemVerilog for Verification: A Guide to Learning the Testbench Language Features

Springer

£79.98 22 Jan 2026
SystemVerilog for Verification: A Guide to Learning the Testbench Language Features
96% match

SystemVerilog for Verification: A Guide to Learning the Testbench Language Features

Springer

£45.56 01 Feb 2026
Fundamentals of Digital Logic and Microcomputer Design
96% match

Fundamentals of Digital Logic and Microcomputer Design

Wiley

£143.99 24 Jan 2026
Application Analysis Tools for ASIP Design: Application Profiling and Instruction-set Customization
96% match

Application Analysis Tools for ASIP Design: Application Profiling and Instruction-set Customization

Springer

£102.99 14 Apr 2026
Advanced Digital System Design: A Practical Guide to Verilog Based FPGA and ASIC Implementation
96% match

Advanced Digital System Design: A Practical Guide to Verilog Based FPGA and ASIC Implementation

£61.49 13 Jan 2026
Computer Architecture: Software Aspects, Coding, and Hardware
96% match

Computer Architecture: Software Aspects, Coding, and Hardware

CRC Press

£110.40 06 Feb 2026
Advanced Digital System Design: A Practical Guide to Verilog Based FPGA and ASIC Implementation
96% match

Advanced Digital System Design: A Practical Guide to Verilog Based FPGA and ASIC Implementation

£58.00 13 Jan 2026
Synthesis of Arithmetic Circuits: FPGA, ASIC and Embedded Systems
96% match

Synthesis of Arithmetic Circuits: FPGA, ASIC and Embedded Systems

Wiley

£118.92 13 Jan 2026
Technology Mapping for LUT-Based FPGA: 713 (Lecture Notes in Electrical Engineering, 713)
96% match

Technology Mapping for LUT-Based FPGA: 713 (Lecture Notes in Electrical Engineering, 713)

Springer

£76.14 08 Apr 2026
Design of Digital Systems and Devices: 79 (Lecture Notes in Electrical Engineering, 79)
96% match

Design of Digital Systems and Devices: 79 (Lecture Notes in Electrical Engineering, 79)

Springer

£88.94 12 Apr 2026
PLD Based Design with VHDL: RTL Design, Synthesis and Implementation
96% match

PLD Based Design with VHDL: RTL Design, Synthesis and Implementation

Springer

£123.45 15 Feb 2026
Assertion-Based Design
96% match

Assertion-Based Design

Springer

£78.46 03 Mar 2026
Guide to FPGA Implementation of Arithmetic Functions: 149 (Lecture Notes in Electrical Engineering, 149)
96% match

Guide to FPGA Implementation of Arithmetic Functions: 149 (Lecture Notes in Electrical Engineering, 149)

Springer

£159.81 13 Mar 2026
Computer Systems: Digital Design, Fundamentals of Computer Architecture and ARM Assembly Language
96% match

Computer Systems: Digital Design, Fundamentals of Computer Architecture and ARM Assembly Language

Springer

£40.49 02 Apr 2026
Mastering Verilog for FPGA Design: From Fundamentals to Advanced Digital Systems (Maker Innovations Series)
96% match

Mastering Verilog for FPGA Design: From Fundamentals to Advanced Digital Systems (Maker Innovations Series)

Apress

£44.93 22 Feb 2026
RTL Hardware Design Using VHDL: Coding for Efficiency, Portability, and Scalability (IEEE Press)
96% match

RTL Hardware Design Using VHDL: Coding for Efficiency, Portability, and Scalability (IEEE Press)

Wiley

£116.88 25 Jan 2026