We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£44.82
Springer Formal Hardware Verification: Methods and Systems in Comparison: 1287 (Lecture Notes in Computer Science, 1287)
Price data last checked 9 day(s) ago - will refresh soon
Price History & Forecast
Last 82 days • 82 data points (No recent data available)
Price Distribution
Price distribution over 82 days • 1 price levels
Price Analysis
Most common price: £45 (82 days, 100.0%)
Price range: £45 - £45
Price levels: 1 different prices over 82 days
Description
This state-of-the-art monograph presents a coherent survey of a variety of methods and systems for formal hardware verification. It emphasizes the presentation of approaches that have matured into tools and systems usable for the actual verification of nontrivial circuits. All in all, the book is a representative and well-structured survey on the success and future potential of formal methods in proving the correctness of circuits. The various chapters describe the respective approaches supplying theoretical foundations as well as taking into account the application viewpoint. By applying all methods and systems presented to the same set of IFIP WG10.5 hardware verification examples, a valuable and fair analysis of the strenghts and weaknesses of the various approaches is given.
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 3540634754
- Category
- Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
- Domain
- Amazon UK
- Release Date
- 27 August 1997
- Listed Since
- 16 December 2006
Barcode
No barcode data available
Similar Products You Might Like
98% match
Comprehensive Functional Verification: The Complete Industry Cycle (Systems on Silicon)
Morgan Kaufmann
£59.77
14 Apr 2026
98% match
Post-Silicon and Runtime Verification for Modern Processors
Springer
£106.78
09 Apr 2026
98% match
Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification
Springer
£87.61
14 Apr 2026
98% match
Principles of Functional Verification
Newnes
£63.99
14 Apr 2026
98% match
Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected ... (Lecture Notes in Computer Science, 10712)
Springer
£41.15
14 Apr 2026
98% match
SVA: The Power of Assertions in SystemVerilog
Springer
£111.43
14 Apr 2026
98% match
The e Hardware Verification Language (Information Technology: Transmission, Processing & Storage)
Springer
£164.44
14 Apr 2026
98% match
Enhanced Virtual Prototyping: Featuring RISC-V Case Studies
Springer
£61.44
18 Apr 2026
97% match
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
Springer
£61.56
14 Apr 2026
97% match
Functional Design Errors in Digital Circuits: Diagnosis Correction and Repair: 32 (Lecture Notes in Electrical Engineering, 32)
Springer
£107.61
18 Apr 2026
97% match
SystemVerilog for Hardware Description: RTL Design and Verification
Springer
£61.59
17 Mar 2026
97% match
Proof in V.D.M.: Case Studies (Formal Approaches to Computing and Information Technology (FACIT))
Springer
£64.66
19 Apr 2026
97% match
Digital Design: A Systems Approach
Cambridge University Press
£58.46
12 Apr 2026
97% match
Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings: 8174 (Lecture Notes in Computer Science, 8174)
Springer
£41.15
15 Apr 2026
97% match
Assertion-Based Design
Springer
£41.03
16 Apr 2026
97% match
Digital Design (VHDL): An Embedded Systems Approach Using VHDL
Morgan Kaufmann
£66.99
10 Apr 2026
97% match
Semiconductor Process and Product Quality Assurance Techniques
£46.99
13 Apr 2026
97% match
Functional Verification of Programmable Embedded Architectures: A Top-Down Approach
Springer
£76.14
12 Apr 2026
97% match
Hochintegrierte Schaltungen: Prüfgerechter Entwurf und Test
Springer
£46.99
14 Apr 2026
97% match
Design of Digital Systems and Devices: 79 (Lecture Notes in Electrical Engineering, 79)
Springer
£88.94
12 Apr 2026
97% match
Digital Logic Design Using Verilog: Coding and RTL Synthesis
Springer
£111.19
12 Apr 2026
97% match
Hardware for A+ Technicians
PEARSON EDUCATION
£47.99
31 Mar 2026
97% match
Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised ... (Lecture Notes in Computer Science, 5902)
Springer
£44.78
19 Apr 2026
97% match
Guide to FPGA Implementation of Arithmetic Functions: 149 (Lecture Notes in Electrical Engineering, 149)
Springer
£159.81
13 Mar 2026