£78.46

Springer Assertion-Based Design

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

View at Amazon

Price History & Forecast

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

Historical
Generating forecast...
£78.46 £77.47 £77.69 £77.90 £78.12 £78.33 £78.55 25 January 2026 03 February 2026 12 February 2026 21 February 2026 03 March 2026

Price Distribution

Price distribution over 38 days • 2 price levels

Days at Price
Current Price
22 days 16 days · current 0 6 11 17 22 £78 £78 Days at Price

Price Analysis

Most common price: £78 (22 days, 57.9%)

Price range: £78 - £78

Price levels: 2 different prices over 38 days

Description
Product Description The focus of Assertion-Based Design is three-fold: *How to specify assertions; *How to create and adopt a methodology that supports assertion-based design (predominately for RTL design); *What to do with the assertions and methodology once you have them. To support these three over-arching goals, the authors showcase multiple forms of assertion specification: Accellera Open Verification Library (OVL), Accellera Property Specification Language (PSL), and Accellera SystemVerilog. The recommendations and claims the authors make in this book are based on their combined actual experiences in applying an assertion-based methodology to real design and verification as well as their work in developing industry assertion standards. Review "By combining its three authors' extensive experience in engineering, applying, and standardizing assertions, this book provides a solid foundation for assertion-based logic design quality and productivity. It is mandatory reading by all computing product design teams. Teams that don't read and apply the assertion-based design ideas in this book will flunk out of the competition." (Lionel Bening, Hewlett-Packard - Co-Author of "Principles of Verifiable RTL Design") Synopsis The focus of Assertion-Based Design is three-fold: How to specify assertions; how to create and adopt a methodology that supports assertion-based design (predominately for RTL design); and what to do with the assertions and methodology once you have them. To support these three over-arching goals, the authors showcase multiple forms of assertion specification: Accellera Open Verification Library (OVL), Accellera Property Specification Language (PSL), and Accellera SystemVerilog. The recommendations and claims the authors make in this book are based on their combined actual experiences in applying an assertion-based methodology to real design and verification as well as their work in developing industry assertion standards.

Key Features

Used Book in Good Condition

Product Specifications
Brand
Springer
Format
hardcover
ASIN
1402074980
Category
Books > Subjects > Arts & Photography
Domain
Amazon UK
Release Date
30 June 2003
Listed Since
12 December 2006

Barcode

No barcode data available

Similar Products You Might Like

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

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

Springer

£74.22 05 Apr 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
Principles of Verifiable RTL Design: A functional coding style supporting verification processes in Verilog
93% match

Principles of Verifiable RTL Design: A functional coding style supporting verification processes in Verilog

Springer

£75.40 08 Mar 2026
Computation Engineering: Applied Automata Theory and Logic
93% match

Computation Engineering: Applied Automata Theory and Logic

Springer

£28.99 25 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
Writing Testbenches using SystemVerilog
92% match

Writing Testbenches using SystemVerilog

Springer

£155.97 20 Jan 2026
Digital VLSI Design with Verilog: A Textbook from Silicon Valley Polytechnic Institute
92% match

Digital VLSI Design with Verilog: A Textbook from Silicon Valley Polytechnic Institute

Springer

£86.34 08 Apr 2026
Digital System Test and Testable Design: Using HDL Models and Architectures
92% match

Digital System Test and Testable Design: Using HDL Models and Architectures

Springer

£99.99 01 Mar 2026
The Verilog Hardware Description Language
92% match

The Verilog Hardware Description Language

Springer

£71.99 08 Jan 2026
Understanding Behavioral Synthesis: A Practical Guide to High-Level Design
92% match

Understanding Behavioral Synthesis: A Practical Guide to High-Level Design

Springer

£90.59 02 Mar 2026
Advanced Digital System Design: A Practical Guide to Verilog Based FPGA and ASIC Implementation
92% match

Advanced Digital System Design: A Practical Guide to Verilog Based FPGA and ASIC Implementation

£61.49 13 Jan 2026
Advanced Digital System Design: A Practical Guide to Verilog Based FPGA and ASIC Implementation
92% match

Advanced Digital System Design: A Practical Guide to Verilog Based FPGA and ASIC Implementation

£58.00 13 Jan 2026
Introduction to SystemVerilog
92% match

Introduction to SystemVerilog

Springer

£99.11 05 Feb 2026
Logic Design and Verification Using SystemVerilog (Revised)
92% match

Logic Design and Verification Using SystemVerilog (Revised)

CREATESPACE

£49.47 12 Jan 2026
Digital VLSI Systems Design: A Design Manual for Implementation of Projects on FPGAs and ASICs Using Verilog
92% match

Digital VLSI Systems Design: A Design Manual for Implementation of Projects on FPGAs and ASICs Using Verilog

Springer

£163.34 13 Jan 2026
Principles of Verilog Digital Design
92% match

Principles of Verilog Digital Design

£54.37 09 Jan 2026
Writing Testbenches: Functional Verification of HDL Models
92% match

Writing Testbenches: Functional Verification of HDL Models

Springer

£199.99 27 Jan 2026
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
92% match

Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

Springer

£74.99 08 Mar 2026
A Roadmap for Formal Property Verification
92% match

A Roadmap for Formal Property Verification

Springer

£75.30 26 Feb 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
PLD Based Design with VHDL: RTL Design, Synthesis and Implementation
92% match

PLD Based Design with VHDL: RTL Design, Synthesis and Implementation

Springer

£123.45 15 Feb 2026
SystemVerilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications
92% match

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

Springer

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

Writing Testbenches: Functional Verification of HDL Models

Springer

£75.73 08 Jan 2026