£74.43

Springer Generating Hardware Assertion Checkers: For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring

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

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 1 month ago.

£74 today · all-time low £74 (Sep 2026) · usually £76

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

Historical
Generating forecast…
£76.38 £73.94 £74.47 £75.00 £75.54 £76.07 £76.60 26 June 2026 16 July 2026 06 August 2026 26 August 2026 16 September 2026

Price Distribution

Price distribution over 83 days • 3 price levels

Days at Price
Current Price
7 days · current 53 days 23 days 0 13 27 40 53 £74 £75 £76 Days at Price

Price Analysis

Most common price: £75 (53 days, 63.9%)

Price range: £74 - £76

Price levels: 3 different prices over 83 days

Description

Assertion-based design is a powerful new paradigm that is facilitating quality improvement in electronic design. Assertions are statements used to describe properties of the design (I.e., design intent), that can be included to actively check correctness throughout the design cycle and even the lifecycle of the product. With the appearance of two new languages, PSL and SVA, assertions have already started to improve verification quality and productivity. This is the first book that presents an “under-the-hood” view of generating assertion checkers, and as such provides a unique and consistent perspective on employing assertions in major areas, such as: specification, verification, debugging, on-line monitoring and design quality improvement.

Product Specifications

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

Barcode

No barcode data available

Similar Products You Might Like

A Practical Guide for SystemVerilog Assertions
87% match

A Practical Guide for SystemVerilog Assertions

Springer

£112.24 15 Sep 2026
A Practical Guide for SystemVerilog Assertions
87% match

A Practical Guide for SystemVerilog Assertions

Springer

£108.01 04 Aug 2026
Creating Assertion-Based IP (Integrated Circuits and Systems)
87% match

Creating Assertion-Based IP (Integrated Circuits and Systems)

Springer

£80.67 12 Aug 2026
Assertion-Based Design
85% match

Assertion-Based Design

Springer

£108.01 06 Aug 2026
Design and Verification of Microprocessor Systems for High-Assurance Applications
85% match

Design and Verification of Microprocessor Systems for High-Assurance Applications

Springer

£80.67 29 Aug 2026
Writing Testbenches using SystemVerilog
85% match

Writing Testbenches using SystemVerilog

Springer

£88.21 06 Aug 2026
System-Level Validation: High-Level Modeling and Directed Test Generation Techniques
84% match

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

Springer

£65.61 08 Aug 2026
Post-Silicon and Runtime Verification for Modern Processors
84% match

Post-Silicon and Runtime Verification for Modern Processors

Springer

£107.98 07 Aug 2026
Constraint-Based Verification
84% match

Constraint-Based Verification

Springer

£40.88 07 Aug 2026
Advanced Techniques for Assertion-Based Verification in Hardware Designs Using Data Mining Algorithms
84% match

Advanced Techniques for Assertion-Based Verification in Hardware Designs Using Data Mining Algorithms

Springer

£76.42 16 Sep 2026
Breaking Barriers in HW-to-SW Stack Verification: Virtual Prototyping meets Metamorphic Testing and Dynamic Runtime Instrumentation
83% match

Breaking Barriers in HW-to-SW Stack Verification: Virtual Prototyping meets Metamorphic Testing and Dynamic Runtime Instrumentation

Springer

£99.99 15 Sep 2026
SystemVerilog Verification Methodology Manual,
83% match

SystemVerilog Verification Methodology Manual,

Springer

£48.84 15 Sep 2026
Hardware Verification with System Verilog: An Object-Oriented Framework
83% match

Hardware Verification with System Verilog: An Object-Oriented Framework

Springer

£51.23 15 Sep 2026
Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods
83% match

Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods

Springer

£82.51 07 Aug 2026
System-level Test and Validation of Hardware/Software Systems: 17 (Springer Series in Advanced Microelectronics, 17)
83% match

System-level Test and Validation of Hardware/Software Systems: 17 (Springer Series in Advanced Microelectronics, 17)

Springer

£75.68 06 Aug 2026
Application-Specific Hardware Architecture Design with VHDL (Signals and Communication Technology)
82% match

Application-Specific Hardware Architecture Design with VHDL (Signals and Communication Technology)

Springer

£71.94 24 Aug 2026
Knowledge-Driven AI for SystemVerilog Assertions: A Verification Framework of Methodologies, Processes, and Coding Rules
82% match

Knowledge-Driven AI for SystemVerilog Assertions: A Verification Framework of Methodologies, Processes, and Coding Rules

£93.00 15 Sep 2026
System-on-a-Chip Verification: Methodology and Techniques
82% match

System-on-a-Chip Verification: Methodology and Techniques

Springer

£109.63 15 Sep 2026
Systems and Software Verification: Model-Checking Techniques and Tools
82% match

Systems and Software Verification: Model-Checking Techniques and Tools

Springer

£100.11 08 Aug 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 13 Aug 2026
Enhanced Virtual Prototyping: Featuring RISC-V Case Studies
82% match

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Springer

£88.14 29 Jul 2026
High-Level System Modeling: Specification Languages: 3 (Current Issues in Electronic Modeling, 3)
82% match

High-Level System Modeling: Specification Languages: 3 (Current Issues in Electronic Modeling, 3)

Springer

£74.46 04 Aug 2026
Hardware Description Languages and their Applications: Specification, modelling, verification and synthesis of microelectronic systems (IFIP Advances in Information and Communication Technology)
82% match

Hardware Description Languages and their Applications: Specification, modelling, verification and synthesis of microelectronic systems (IFIP Advances in Information and Communication Technology)

Springer

£119.84 15 Sep 2026
Functional Verification Coverage Measurement and Analysis
82% match

Functional Verification Coverage Measurement and Analysis

Springer

£74.98 04 Aug 2026