£76.02

Springer Professional Verification: A Guide to Advanced Functional Verification

Price data checked 5 days ago

View at Amazon

Price History & Forecast

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

Historical
Generating forecast...
£76.14 £75.63 £75.74 £75.85 £75.97 £76.08 £76.19 26 January 2026 16 February 2026 09 March 2026 30 March 2026 21 April 2026

Price Distribution

Price distribution over 86 days • 1 price levels

Days at Price
86 days 0 22 43 65 86 £76 Days at Price

Price Analysis

Most common price: £76 (86 days, 100.0%)

Price range: £76 - £76

Price levels: 1 different prices over 86 days

Description

Professional Verification is a guide to advanced functional verification in the nanometer era. It presents the best practices in functional verification used today and provides insights on how to solve the problems that verification teams face. Professional Verification is based on the experiences of advanced verification teams throughout the industry, along with work done at Cadence Design Systems. Professional Verification presents a complete and detailed Unified Verification Methodology based on the best practices in use today. It also addresses topics important to those doing advanced functional verification, such as assertions, functional coverage, formal verification, and reactive testbenches.

Product Specifications

Format
paperback
Domain
Amazon UK
Publication Date
14 March 2013
Listed Since
20 September 2013

Barcode

No barcode data available

Similar Products You Might Like

Standardized Functional Verification
93% match

Standardized Functional Verification

Springer

£72.86 15 Apr 2026
Advanced Formal Verification
93% match

Advanced Formal Verification

Springer

£73.25 20 Feb 2026
SystemVerilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications
93% match

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

Springer

£111.90 25 Feb 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
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
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
System Verilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications
92% 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
92% match

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

Springer

£88.79 13 Jan 2026
A Roadmap for Formal Property Verification
92% match

A Roadmap for Formal Property Verification

Springer

£75.30 26 Feb 2026
Writing Testbenches using SystemVerilog
92% match

Writing Testbenches using SystemVerilog

Springer

£155.97 20 Jan 2026
Effective Functional Verification: Principles and Processes
92% match

Effective Functional Verification: Principles and Processes

Springer

£76.02 20 Apr 2026
Generating Hardware Assertion Checkers: For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring
91% match

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

Springer

£74.22 05 Apr 2026
Embedded Software Verification and Debugging (Embedded Systems)
91% match

Embedded Software Verification and Debugging (Embedded Systems)

Springer

£87.51 14 Jan 2026
System Verification: Proving the Design Solution Satisfies the Requirements
91% match

System Verification: Proving the Design Solution Satisfies the Requirements

Academic Press

£68.89 30 Jan 2026
Verification Methodology Manual for SystemVerilog
91% match

Verification Methodology Manual for SystemVerilog

Springer

£85.01 02 Mar 2026
Scalable Hardware Verification with Symbolic Simulation
91% match

Scalable Hardware Verification with Symbolic Simulation

Springer

£57.40 23 Feb 2026
Advanced UVM
91% match

Advanced UVM

CREATESPACE

£73.00 12 Dec 2025
Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications
91% match

Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications

Springer

£66.21 25 Feb 2026
Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes: Better Early than Never
91% match

Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes: Better Early than Never

Springer

£90.00 25 Feb 2026
System Verification: Proving the Design Solution Satisfies the Requirements
91% match

System Verification: Proving the Design Solution Satisfies the Requirements

Academic Press

£69.99 17 Feb 2026
Systems and Software Verification: Model-Checking Techniques and Tools
91% match

Systems and Software Verification: Model-Checking Techniques and Tools

Springer

£118.59 10 Jan 2026
Principles of Verifiable RTL Design: A functional coding style supporting verification processes in Verilog
91% match

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

Springer

£75.40 08 Mar 2026
Applied Formal Verification: For Digital Circuit Design (ELECTRONICS)
91% match

Applied Formal Verification: For Digital Circuit Design (ELECTRONICS)

McGraw-Hill Education

£111.99 07 Mar 2026