£74.22

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

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

View at Amazon

Price History & Forecast

Last 71 days • 71 data points (No recent data available)

Historical
Generating forecast...
£74.22 £70.51 £71.99 £73.48 £74.96 £76.45 £77.93 25 January 2026 11 February 2026 01 March 2026 18 March 2026 05 April 2026

Price Distribution

Price distribution over 71 days • 1 price levels

Days at Price
71 days 0 18 36 53 71 £74 Days at Price

Price Analysis

Most common price: £74 (71 days, 100.0%)

Price range: £74 - £74

Price levels: 1 different prices over 71 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
hardcover
Domain
Amazon UK
Release Date
03 July 2008
Listed Since
23 April 2008

Barcode

No barcode data available

Similar Products You Might Like

SVA: The Power of Assertions in SystemVerilog
94% match

SVA: The Power of Assertions in SystemVerilog

Springer

£88.81 07 Feb 2026
SystemVerilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications
94% match

SystemVerilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications

Springer

£111.90 25 Feb 2026
Assertion-Based Design
94% match

Assertion-Based Design

Springer

£78.46 03 Mar 2026
Writing Testbenches using SystemVerilog
93% match

Writing Testbenches using SystemVerilog

Springer

£155.97 20 Jan 2026
System Verilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications
93% match

System Verilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications

Springer

£66.35 26 Feb 2026
System Verilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications
93% match

System Verilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications

Springer

£88.79 13 Jan 2026
ASIC/SoC Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies
93% match

ASIC/SoC Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies

Springer

£90.32 08 Mar 2026
ASIC/SoC Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies
93% match

ASIC/SoC Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies

Springer

£115.91 25 Jan 2026
Formal System Verification: State-of the-Art and Future Trends
93% match

Formal System Verification: State-of the-Art and Future Trends

Springer

£89.13 11 Jan 2026
A Roadmap for Formal Property Verification
92% match

A Roadmap for Formal Property Verification

Springer

£75.30 26 Feb 2026
SystemVerilog for Hardware Description: RTL Design and Verification
92% match

SystemVerilog for Hardware Description: RTL Design and Verification

Springer

£79.93 24 Jan 2026
Scalable Hardware Verification with Symbolic Simulation
92% match

Scalable Hardware Verification with Symbolic Simulation

Springer

£57.40 23 Feb 2026
Advanced Formal Verification
92% match

Advanced Formal Verification

Springer

£73.25 20 Feb 2026
Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)
92% match

Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)

Springer

£60.27 15 Feb 2026
Computation Engineering: Applied Automata Theory and Logic
92% match

Computation Engineering: Applied Automata Theory and Logic

Springer

£28.99 25 Feb 2026
Writing Testbenches: Functional Verification of HDL Models
92% match

Writing Testbenches: Functional Verification of HDL Models

Springer

£199.99 27 Jan 2026
Applied Formal Verification: For Digital Circuit Design (ELECTRONICS)
92% match

Applied Formal Verification: For Digital Circuit Design (ELECTRONICS)

McGraw-Hill Education

£111.99 07 Mar 2026
Springer - Verification Plans: Five-Day Hardware Strategy
92% match

Springer - Verification Plans: Five-Day Hardware Strategy

Springer

£115.51 20 Apr 2026
Introduction to SystemVerilog
92% match

Introduction to SystemVerilog

Springer

£99.11 05 Feb 2026
Standardized Functional Verification
92% match

Standardized Functional Verification

Springer

£72.86 15 Apr 2026
Writing Testbenches: Functional Verification of HDL Models
92% match

Writing Testbenches: Functional Verification of HDL Models

Springer

£160.15 20 Jan 2026
Logic Design and Verification Using SystemVerilog (Revised)
92% match

Logic Design and Verification Using SystemVerilog (Revised)

CREATESPACE

£49.47 12 Jan 2026
Verification Methodology Manual for SystemVerilog
92% match

Verification Methodology Manual for SystemVerilog

Springer

£85.01 02 Mar 2026
Springer Formal Equivalence Checking and Design Debugging
91% match

Springer Formal Equivalence Checking and Design Debugging

Springer

£129.86 03 Mar 2026