£80.64

Springer Creating Assertion-Based IP (Integrated Circuits and Systems)

Price data checked 1 day ago

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.

£81 today · previous high £81 · all-time low £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 90 days • 90 data points

Historical
Generating forecast...
£80.64 £80.04 £80.17 £80.30 £80.43 £80.56 £80.70 09 March 2026 31 March 2026 22 April 2026 14 May 2026 06 June 2026

Price Distribution

Price distribution over 90 days • 2 price levels

Days at Price
Current Price
48 days 42 days · current 0 12 24 36 48 £80 £81 Days at Price

Price Analysis

Most common price: £80 (48 days, 53.3%)

Price range: £80 - £81

Price levels: 2 different prices over 90 days

Description

A project’s functional verification testplan is the specification for the verification process. Developing this testplan usually involves the entire engineering team (architects, designers, and verification engineers). This book presents formal testplanning guidelines with examples focused on creating assertion-based verification IP. This is the first book published on this subject. It demonstrates a systematic process for formal specification and formal testplanning, and also demonstrates effective use of assertions languages beyond the traditional language construct discussions. Note that there many books published on assertion languages (such as SystemVerilog assertions and PSL). Yet, none of them discuss the important process of testplanning and using these languages to create verification IP.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
19 November 2010
Listed Since
14 June 2010

Barcode

No barcode data available

Similar Products You Might Like

A Practical Guide for SystemVerilog Assertions
86% match

A Practical Guide for SystemVerilog Assertions

Springer

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

Assertion-Based Design

Springer

£107.98 29 May 2026
Constraint-Based Verification
84% match

Constraint-Based Verification

Springer

£39.10 03 Jun 2026
Functional Verification Coverage Measurement and Analysis
83% match

Functional Verification Coverage Measurement and Analysis

Springer

£73.67 22 May 2026
System-Level Validation: High-Level Modeling and Directed Test Generation Techniques
83% match

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

Springer

£78.07 06 Jun 2026
Writing Testbenches using SystemVerilog
83% match

Writing Testbenches using SystemVerilog

Springer

£88.17 27 May 2026
Advanced Verification Techniques: A SystemC Based Approach for Successful Tapeout
82% match

Advanced Verification Techniques: A SystemC Based Approach for Successful Tapeout

Springer

£129.99 03 Jun 2026
Open Verification Methodology Cookbook
82% match

Open Verification Methodology Cookbook

Springer

£103.24 29 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
Post-Silicon and Runtime Verification for Modern Processors
82% match

Post-Silicon and Runtime Verification for Modern Processors

Springer

£107.98 02 Jun 2026
SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems)
82% match

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

Springer

£80.64 06 Jun 2026
Systems and Software Verification: Model-Checking Techniques and Tools
82% match

Systems and Software Verification: Model-Checking Techniques and Tools

Springer

£100.08 05 Jun 2026
Test and Design-for-Testability in Mixed-Signal Integrated Circuits
81% match

Test and Design-for-Testability in Mixed-Signal Integrated Circuits

Springer

£107.98 02 Jun 2026
Test and Design-for-Testability in Mixed-Signal Integrated Circuits
81% match

Test and Design-for-Testability in Mixed-Signal Integrated Circuits

Springer

£92.91 27 May 2026
Verification Plans: The Five-Day Verification Strategy for Modern Hardware Verification Languages
81% match

Verification Plans: The Five-Day Verification Strategy for Modern Hardware Verification Languages

Springer

£78.90 18 May 2026
System-on-Chip Security: Validation and Verification
81% match

System-on-Chip Security: Validation and Verification

Springer

£80.64 06 Jun 2026
Symbolic Simulation Methods for Industrial Formal Verification
81% match

Symbolic Simulation Methods for Industrial Formal Verification

Springer

£73.60 27 May 2026
System Design: A Practical Guide with SpecC
80% match

System Design: A Practical Guide with SpecC

Springer

£111.83 26 May 2026
System Design: A Practical Guide with SpecC
80% match

System Design: A Practical Guide with SpecC

Springer

£108.01 25 May 2026
Specification and Verification of Multi-agent Systems
80% match

Specification and Verification of Multi-agent Systems

Springer

£107.98 25 May 2026
Advanced Techniques for Embedded Systems Design and Test
80% match

Advanced Techniques for Embedded Systems Design and Test

Springer

£108.63 24 May 2026
Open Verification Methodology Cookbook
80% match

Open Verification Methodology Cookbook

Springer

£80.64 18 May 2026
Sequential Logic Testing and Verification: 163 (The Springer International Series in Engineering and Computer Science, 163)
80% match

Sequential Logic Testing and Verification: 163 (The Springer International Series in Engineering and Computer Science, 163)

Springer

£113.76 28 May 2026
Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems)
80% match

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

Springer

£73.10 28 May 2026