£107.78

Springer Post-Silicon and Runtime Verification for Modern Processors

Price data checked 1 day ago

View at Amazon

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

About as cheap as it gets. The only time it was cheaper was 3 months ago.

£108 today · all-time low £106 (Feb 2026) · usually £108

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 90 days • 90 data points

Historical
Generating forecast...
£107.98 £105.84 £106.30 £106.77 £107.24 £107.71 £108.18 18 February 2026 12 March 2026 03 April 2026 25 April 2026 18 May 2026

Price Distribution

Price distribution over 90 days • 3 price levels

Days at Price
Current Price
4 days 80 days · current 6 days · current 0 20 40 60 80 £106 £107 £108 Days at Price

Price Analysis

Most common price: £107 (80 days, 88.9%)

Price range: £106 - £108

Price levels: 3 different prices over 90 days

Description

The purpose of this book is to survey the state of the art and evolving directions in post-silicon and runtime verification. The authors start by giving an overview of the state of the art in verification, particularly current post-silicon methodologies in use in the industry, both for the domain of processor pipeline design and for memory subsystems. They then dive into the presentation of several new post-silicon verification solutions aimed at boosting the verification coverage of modern processors, dedicating several chapters to this topic. The presentation of runtime verification solutions follows a similar approach. This is an area of processor design that is still in its early stages of exploration and that holds the promise of accomplishing the ultimate goal of achieving complete correctness guarantees for microprocessor-based computation. The authors conclude the book with a look towards the future of late-stage verification and its growing role in the processor life-cycle.

Product Specifications

Format
paperback
Domain
Amazon UK
Publication Date
28 September 2014
Listed Since
27 September 2014

Barcode

No barcode data available

Similar Products You Might Like

Processor Design: System-On-Chip Computing for ASICs and FPGAs
85% match

Processor Design: System-On-Chip Computing for ASICs and FPGAs

Springer

£108.92 18 May 2026
Writing Testbenches using SystemVerilog
82% match

Writing Testbenches using SystemVerilog

Springer

£88.17 18 May 2026
Multiprocessor Scheduling for Real-Time Systems (Embedded Systems)
82% match

Multiprocessor Scheduling for Real-Time Systems (Embedded Systems)

Springer

£76.38 11 May 2026
Multiprocessor Scheduling for Real-Time Systems (Embedded Systems)
82% match

Multiprocessor Scheduling for Real-Time Systems (Embedded Systems)

Springer

£99.69 04 May 2026
Symbolic Simulation Methods for Industrial Formal Verification
82% match

Symbolic Simulation Methods for Industrial Formal Verification

Springer

£73.01 18 May 2026
Multiprocessor Systems on Chip: Design Space Exploration
82% match

Multiprocessor Systems on Chip: Design Space Exploration

Springer

£76.38 18 May 2026
Hardware Security Primitives
82% match

Hardware Security Primitives

Springer

£78.41 18 May 2026
High-Performance Energy-Efficient Microprocessor Design (Integrated Circuits and Systems)
82% match

High-Performance Energy-Efficient Microprocessor Design (Integrated Circuits and Systems)

Springer

£80.64 18 May 2026
Functional Verification Coverage Measurement and Analysis
81% match

Functional Verification Coverage Measurement and Analysis

Springer

£74.30 11 May 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.10 18 May 2026
Clocking in Modern VLSI Systems (Integrated Circuits and Systems)
81% match

Clocking in Modern VLSI Systems (Integrated Circuits and Systems)

Springer

£107.98 18 May 2026
Assertion-Based Design
81% match

Assertion-Based Design

Springer

£107.98 18 May 2026
Adaptive Techniques for Dynamic Processor Optimization: Theory and Practice (Integrated Circuits and Systems)
81% match

Adaptive Techniques for Dynamic Processor Optimization: Theory and Practice (Integrated Circuits and Systems)

Springer

£107.86 18 May 2026
Retargetable Compiler Technology for Embedded Systems: Tools and Applications
81% match

Retargetable Compiler Technology for Embedded Systems: Tools and Applications

Springer

£73.77 18 May 2026
A Practical Guide for SystemVerilog Assertions
80% match

A Practical Guide for SystemVerilog Assertions

Springer

£107.98 18 May 2026
Memory Architecture Exploration for Programmable Embedded Systems
80% match

Memory Architecture Exploration for Programmable Embedded Systems

Springer

£76.33 18 May 2026
Embedded Processor-Based Self-Test: 28 (Frontiers in Electronic Testing, 28)
80% match

Embedded Processor-Based Self-Test: 28 (Frontiers in Electronic Testing, 28)

Springer

£107.98 18 May 2026
Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction
80% match

Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction

Springer

£73.10 17 May 2026
Embedded and Real-Time Operating Systems
80% match

Embedded and Real-Time Operating Systems

Springer

£66.52 18 May 2026
Embedded Software Design and Programming of Multiprocessor System-on-Chip: Simulink and System C Case Studies (Embedded Systems)
80% match

Embedded Software Design and Programming of Multiprocessor System-on-Chip: Simulink and System C Case Studies (Embedded Systems)

Springer

£80.64 18 May 2026
Advanced Multicore Systems-On-Chip: Architecture, On-Chip Network, Design
80% match

Advanced Multicore Systems-On-Chip: Architecture, On-Chip Network, Design

Springer

£103.00 16 May 2026
Intellectual Property Protection in VLSI Designs: Theory and Practice
80% match

Intellectual Property Protection in VLSI Designs: Theory and Practice

Springer

£92.18 18 May 2026
Open Verification Methodology Cookbook
80% match

Open Verification Methodology Cookbook

Springer

£103.23 18 May 2026
Scalable Multi-core Architectures: Design Methodologies and Tools
80% match

Scalable Multi-core Architectures: Design Methodologies and Tools

Springer

£65.57 18 May 2026