We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£80.67
It has never been this cheap. We have no record of a lower price.
£81 today · cheaper than every other day in the last 3 months
Springer - Formal Verification of Floating-Point Hardware Design
Price data last checked 65 day(s) ago - refreshing...
We'll watch every seller, every day. One email when your price arrives.
Price History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 26 days · 26 data points (no recent data)
Price data last checked 65 day(s) ago - refreshing...
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
when this has been cheap or pricey
where the price is heading next
all-time high & low, recent range
name your number, we'll email you
Price Distribution
Price distribution over 26 days • 1 price levels
Price Analysis
Most common price: £81 (26 days, 100.0%)
Price range: £81 - £81
Price levels: 1 different prices over 26 days
Description
Key Features
This Springer book offers a mathematical approach to ensuring the correctness of floating-point hardware designs.
The second edition advances a verification methodology based on a unified theory of register-transfer logic and floating-point arithmetic.
The methodology presented has been applied to the formal verification of commercial floating-point units for more than two decades.
Content is informed by the author's professional experience at several major microprocessor design companies.
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 3030871835
- Category
- Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
- 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
Springer
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
Springer
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
Springer
CRC Press ARM Assembly Language: Fundamentals and Techniques
CRC Press
Modern Assembly Language Programming with the ARM Processor
Newnes
Embedded Microprocessor System Design using FPGAs
Springer
Digital VLSI Design and Simulation with Verilog
Wiley
Modern Arm Assembly Language Programming: Covers Armv8-A 32-bit, 64-bit, and SIMD
Apress
Springer SystemVerilog for Verification - 3rd Edition Guide
Springer
SystemVerilog for Verification: A Guide to Learning the Testbench Language Features
Springer
Fundamentals of Digital Logic and Microcomputer Design
Wiley
Rapid Prototyping of Digital Systems: A Tutorial Approach
Springer
Application Analysis Tools for ASIP Design: Application Profiling and Instruction-set Customization
Springer
Advanced Digital System Design: A Practical Guide to Verilog Based FPGA and ASIC Implementation
Springer
Computer Architecture: Software Aspects, Coding, and Hardware
CRC Press
Springer Advanced Digital System Design - Verilog HDL Guide
Springer
Computers as Components: Principles of Embedded Computing System Design (The Morgan Kaufmann Series in Computer Architecture and Design)
Elsevier
Synthesis of Arithmetic Circuits: FPGA, ASIC and Embedded Systems
Wiley
Technology Mapping for LUT-Based FPGA: 713 (Lecture Notes in Electrical Engineering, 713)
Springer
Design of Digital Systems and Devices: 79 (Lecture Notes in Electrical Engineering, 79)
Springer
PLD Based Design with VHDL: RTL Design, Synthesis and Implementation
Springer
Assertion-Based Design
Springer
Guide to FPGA Implementation of Arithmetic Functions: 149 (Lecture Notes in Electrical Engineering, 149)
Springer
Computer Systems: Digital Design, Fundamentals of Computer Architecture and ARM Assembly Language
Springer