We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£73.25
Springer Advanced Formal Verification
Price data last checked 64 day(s) ago - refreshing...
Price History & Forecast
Last 27 days • 27 data points (No recent data available)
Price Distribution
Price distribution over 27 days • 2 price levels
Current Price
Price Analysis
Most common price: £73 (19 days, 70.4%)
Price range: £73 - £75
Price levels: 2 different prices over 27 days
Description
Advanced Formal Verification shows the latest developments in the verification domain from the perspectives of the user and the developer. World leading experts describe the underlying methods of today's verification tools and describe various scenarios from industrial practice. In the first part of the book the core techniques of today's formal verification tools, such as SAT and BDDs are addressed. In addition, multipliers, which are known to be difficult, are studied. The second part gives insight in professional tools and the underlying methodology, such as property checking and assertion based verification. Finally, analog components have to be considered to cope with complete system on chip designs.
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 1441954201
- Domain
- Amazon UK
- Publication Date
- 07 December 2010
- Listed Since
- 06 July 2010
Barcode
No barcode data available
Similar Products You Might Like
94% match
Formal System Verification: State-of the-Art and Future Trends
Springer
£89.13
11 Jan 2026
93% match
Professional Verification: A Guide to Advanced Functional Verification
Springer
£76.02
21 Apr 2026
93% match
ASIC/SoC Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies
Springer
£90.32
08 Mar 2026
93% match
ASIC/SoC Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies
Springer
£115.91
25 Jan 2026
93% match
Applied Formal Verification: For Digital Circuit Design (ELECTRONICS)
McGraw-Hill Education
£111.99
07 Mar 2026
93% match
Scalable Hardware Verification with Symbolic Simulation
Springer
£57.40
23 Feb 2026
93% match
Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)
Springer
£60.27
15 Feb 2026
93% match
SystemVerilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications
Springer
£111.90
25 Feb 2026
92% match
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Springer
£85.99
08 Mar 2026
92% match
Standardized Functional Verification
Springer
£72.86
15 Apr 2026
92% match
A Roadmap for Formal Property Verification
Springer
£75.30
26 Feb 2026
92% match
Generating Hardware Assertion Checkers: For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring
Springer
£74.22
05 Apr 2026
92% match
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
Springer
£107.73
28 Feb 2026
92% match
System Verilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications
Springer
£66.35
26 Feb 2026
92% match
System Verilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications
Springer
£88.79
13 Jan 2026
92% match
Systems and Software Verification: Model-Checking Techniques and Tools
Springer
£118.59
10 Jan 2026
92% match
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
Springer
£84.49
13 Jan 2026
92% match
Embedded Software Verification and Debugging (Embedded Systems)
Springer
£87.51
14 Jan 2026
92% match
Formal Verification: An Essential Toolkit for Modern VLSI Design
Morgan Kaufmann
£68.64
25 Jan 2026
92% match
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
Springer
£74.99
08 Mar 2026
92% match
Formal System Verification: State-of the-Art and Future Trends
Springer
£88.40
06 Mar 2026
92% match
Writing Testbenches using SystemVerilog
Springer
£155.97
20 Jan 2026
92% match
Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)
Springer
£71.74
26 Feb 2026
92% match
Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes: Better Early than Never
Springer
£90.00
25 Feb 2026