£107.98

Springer Post-Silicon and Runtime Verification for Modern Processors

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

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.

£108 today · previous high £108 · all-time low £107

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 59 days • 59 data points (No recent data available)

Historical
Generating forecast...
£107.98 £107.38 £107.51 £107.64 £107.77 £107.90 £108.04 05 April 2026 19 April 2026 04 May 2026 18 May 2026 02 June 2026

Price Distribution

Price distribution over 59 days • 1 price levels

Days at Price
59 days 0 15 30 44 59 £108 Days at Price

Price Analysis

Most common price: £108 (59 days, 100.0%)

Price range: £108 - £108

Price levels: 1 different prices over 59 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

System-on-Chip Security: Validation and Verification
85% match

System-on-Chip Security: Validation and Verification

Springer

£80.64 17 Jun 2026
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
Multiprocessor System-on-Chip: Hardware Design and Tool Integration
84% match

Multiprocessor System-on-Chip: Hardware Design and Tool Integration

Springer

£90.77 03 Jun 2026
Enhanced Virtual Prototyping: Featuring RISC-V Case Studies
83% match

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Springer

£88.14 07 Jun 2026
Advanced Verification Techniques: A SystemC Based Approach for Successful Tapeout
83% match

Advanced Verification Techniques: A SystemC Based Approach for Successful Tapeout

Springer

£129.99 12 Jun 2026
Memory Controllers for Real-Time Embedded Systems: Predictable and Composable Real-Time Systems
82% match

Memory Controllers for Real-Time Embedded Systems: Predictable and Composable Real-Time Systems

Springer

£80.64 31 May 2026
Constraint-Based Verification
82% match

Constraint-Based Verification

Springer

£39.10 03 Jun 2026
Writing Testbenches using SystemVerilog
82% match

Writing Testbenches using SystemVerilog

Springer

£88.17 27 May 2026
Metric Driven Design Verification: An Engineer's and Executive's Guide to First Pass Success
82% match

Metric Driven Design Verification: An Engineer's and Executive's Guide to First Pass Success

Springer

£80.64 06 Jun 2026
Multiprocessor Scheduling for Real-Time Systems (Embedded Systems)
82% match

Multiprocessor Scheduling for Real-Time Systems (Embedded Systems)

Springer

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

Multiprocessor Scheduling for Real-Time Systems (Embedded Systems)

Springer

£95.43 19 May 2026
Symbolic Simulation Methods for Industrial Formal Verification
82% match

Symbolic Simulation Methods for Industrial Formal Verification

Springer

£73.60 27 May 2026
Creating Assertion-Based IP (Integrated Circuits and Systems)
82% match

Creating Assertion-Based IP (Integrated Circuits and Systems)

Springer

£80.64 11 Jun 2026
Multiprocessor Systems on Chip: Design Space Exploration
82% match

Multiprocessor Systems on Chip: Design Space Exploration

Springer

£76.38 24 May 2026
Hardware Security Primitives
82% match

Hardware Security Primitives

Springer

£78.41 27 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
SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems)
81% match

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

Springer

£80.64 12 Jun 2026
Functional Verification Coverage Measurement and Analysis
81% match

Functional Verification Coverage Measurement and Analysis

Springer

£73.67 22 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 28 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 31 May 2026
Assertion-Based Design
81% match

Assertion-Based Design

Springer

£107.98 29 May 2026
System-Level Validation: High-Level Modeling and Directed Test Generation Techniques
81% match

System-Level Validation: High-Level Modeling and Directed Test Generation Techniques

Springer

£78.07 06 Jun 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.98 28 May 2026
Retargetable Compiler Technology for Embedded Systems: Tools and Applications
81% match

Retargetable Compiler Technology for Embedded Systems: Tools and Applications

Springer

£73.16 23 May 2026