£68.52

Springer Formal Verification of Structurally Complex Multipliers

Price data last checked 21 day(s) ago - will refresh soon

View at Amazon

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

This is the most expensive it has ever been. Walk away.

£69 today · previous high £69 · all-time low £68

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 70 days · 70 data points (no recent data)

Historical
Generating forecast…
£68.52 £68.49 £68.49 £68.50 £68.51 £68.52 £68.52 09 July 2026 26 July 2026 12 August 2026 29 August 2026 16 September 2026

Price Distribution

Price distribution over 70 days • 1 price levels

Days at Price
70 days 0 18 35 53 70 £69 Days at Price

Price Analysis

Most common price: £69 (70 days, 100.0%)

Price range: £69 - £69

Price levels: 1 different prices over 70 days

Description

This book addresses the challenging tasks of verifying and debugging structurally complex multipliers. In the area of verification, the authors first investigate the challenges of Symbolic Computer Algebra (SCA)-based verification, when it comes to proving the correctness of multipliers. They then describe three techniques to improve and extend SCA: vanishing monomials removal, reverse engineering, and dynamic backward rewriting. This enables readers to verify a wide variety of multipliers, including highly complex and optimized industrial benchmarks. The authors also describe a complete debugging flow, including bug localization and fixing, to find the location of bugs in structurally complex multipliers and make corrections.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
16 February 2024
Listed Since
20 January 2024

Barcode

No barcode data available

Similar Products You Might Like

Design and Verification of Microprocessor Systems for High-Assurance Applications
82% match

Design and Verification of Microprocessor Systems for High-Assurance Applications

Springer

£80.67 29 Aug 2026
Design and Verification of Microprocessor Systems for High-Assurance Applications
82% match

Design and Verification of Microprocessor Systems for High-Assurance Applications

Springer

£104.34 15 Sep 2026
SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems)
81% match

SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems)

Springer

£80.67 14 Aug 2026
Formal Verification of Circuits
81% match

Formal Verification of Circuits

Springer

£108.67 15 Sep 2026
Symbolic Simulation Methods for Industrial Formal Verification
81% match

Symbolic Simulation Methods for Industrial Formal Verification

Springer

£74.31 06 Aug 2026
Specification and Verification of Multi-agent Systems
81% match

Specification and Verification of Multi-agent Systems

Springer

£108.01 05 Aug 2026
Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems)
81% match

Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems)

Springer

£73.14 06 Aug 2026
Systems and Software Verification: Model-Checking Techniques and Tools
80% match

Systems and Software Verification: Model-Checking Techniques and Tools

Springer

£100.11 08 Aug 2026
Constraint-Based Verification
80% match

Constraint-Based Verification

Springer

£40.88 07 Aug 2026
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach (Princeton Series in Computer Science)
80% match

Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach (Princeton Series in Computer Science)

Princeton University Press

£67.50 29 Jul 2026
Formal Semantics and Proof Techniques for Optimizing VHDL Models
79% match

Formal Semantics and Proof Techniques for Optimizing VHDL Models

Springer

£74.46 07 Aug 2026
Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification
79% match

Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification

Springer

£108.01 07 Aug 2026
Post-Silicon and Runtime Verification for Modern Processors
79% match

Post-Silicon and Runtime Verification for Modern Processors

Springer

£107.98 07 Aug 2026
Verification Techniques for System-Level Design (Systems on Silicon)
79% match

Verification Techniques for System-Level Design (Systems on Silicon)

Elsevier

£56.98 30 Aug 2026
Software Verification and Validation: An Engineering and Scientific Approach
79% match

Software Verification and Validation: An Engineering and Scientific Approach

Springer

£95.17 15 Sep 2026
Verification and Control of Hybrid Systems: A Symbolic Approach
79% match

Verification and Control of Hybrid Systems: A Symbolic Approach

Springer

£92.21 08 Aug 2026
Verification and Control of Hybrid Systems: A Symbolic Approach
79% match

Verification and Control of Hybrid Systems: A Symbolic Approach

Springer

£92.22 08 Aug 2026
Formal Methods: State of the Art and New Directions
79% match

Formal Methods: State of the Art and New Directions

Springer

£75.68 14 Sep 2026
Advanced Verification Techniques: A SystemC Based Approach for Successful Tapeout
78% match

Advanced Verification Techniques: A SystemC Based Approach for Successful Tapeout

Springer

£129.99 13 Aug 2026
Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings: 4144 (Lecture Notes in Computer Science, 4144)
78% match

Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings: 4144 (Lecture Notes in Computer Science, 4144)

Springer

£83.77 15 Sep 2026
Synchronous Equivalence: Formal Methods for Embedded Systems
78% match

Synchronous Equivalence: Formal Methods for Embedded Systems

Springer

£79.14 06 Aug 2026
Synchronous Equivalence: Formal Methods for Embedded Systems
78% match

Synchronous Equivalence: Formal Methods for Embedded Systems

Springer

£74.08 05 Aug 2026
Approximate Commutative Algebra (Texts & Monographs in Symbolic Computation)
78% match

Approximate Commutative Algebra (Texts & Monographs in Symbolic Computation)

Springer

£73.85 06 Aug 2026
Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, ... (Lecture Notes in Computer Science, 13466)
78% match

Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, ... (Lecture Notes in Computer Science, 13466)

Springer

£49.14 14 Sep 2026