We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£113.93
Springer - Equivalence Checking of Digital Circuits Book
Price data last checked 48 day(s) ago - refreshing...
We'll watch every seller, every day. One email when your price arrives.
This is the most expensive it has ever been. Walk away.
£114 today · previous high £114 · all-time low £110
NEW HERE?
Amazon shows you one price. We show you all of them.
Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.
WHAT'S ON THIS PAGE
when this has been cheap or pricey
where the price is heading next
all-time high & low, recent range
name your number, we'll email you
Price History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 43 days • 43 data points (No recent data available)
Price Distribution
Price distribution over 43 days • 2 price levels
Price Analysis
Most common price: £110 (42 days, 97.7%)
Price range: £110 - £114
Price levels: 2 different prices over 43 days
Description
Key Features
Covers the fundamentals and principles of equivalence checking for digital circuits.
Explores methods used in hardware verification to ensure design conformity to specifications.
Addresses the growing importance of verification in VLSI and digital system design.
Provides context on the necessity of error-free designs in security-sensitive applications.
Discusses the economic and technical demands for accuracy in complex digital systems.
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 1441954236
- Domain
- Amazon UK
- Publication Date
- 07 December 2010
- Listed Since
- 20 September 2010
Barcode
No barcode data available
Similar Products You Might Like
Writing Testbenches using SystemVerilog
Springer
Principles of Verifiable RTL Design: A functional coding style supporting verification processes in Verilog
Springer
Springer Sequential Logic Testing and Verification - Book 163
Springer
Comprehensive Functional Verification: The Complete Industry Cycle (Systems on Silicon)
Morgan Kaufmann
Post-Silicon and Runtime Verification for Modern Processors
Springer
Formal Hardware Verification: Methods and Systems in Comparison: 1287 (Lecture Notes in Computer Science, 1287)
Springer
Digital Circuit Design for Computer Science Students: An Introductory Textbook
Springer
Formal Verification: An Essential Toolkit for Modern VLSI Design
Morgan Kaufmann
SystemVerilog for Verification: A Guide to Learning the Testbench Language Features
Springer
Reconfigurable System Design and Verification
CRC Press
SystemVerilog for Verification: A Guide to Learning the Testbench Language Features
Springer
The SECD Microprocessor: A Verification Case Study: 178 (The Springer International Series in Engineering and Computer Science, 178)
Springer
Writing Testbenches: Functional Verification of HDL Models
Springer
Digital VLSI Design and Simulation with Verilog
Wiley
Current Trends in Hardware Verification and Automated Theorem Proving
Springer
Statistical Performance Analysis and Modeling Techniques for Nanometer VLSI Designs
Springer
VLSI: Integrated Systems on Silicon: IFIP TC10 WG10.5 International Conference on Very Large Scale Integration 26–30 August 1997, Gramado, RS, Brazil ... in Information and Communication Technology)
Springer
VLSI: Integrated Systems on Silicon: IFIP TC10 WG10.5 International Conference on Very Large Scale Integration 26–30 August 1997, Gramado, RS, Brazil ... in Information and Communication Technology)
Springer
Essentials of Electronic Testing for Digital, Memory and Mixed-Signal VLSI Circuits: 17 (Frontiers in Electronic Testing, 17)
Springer
Scalable Hardware Verification with Symbolic Simulation
Springer
SystemVerilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications
Springer
Essentials of Electronic Testing for Digital, Memory and Mixed-Signal VLSI Circuits: 17 (Frontiers in Electronic Testing, 17)
Springer
Multi-Level Simulation for VLSI Design: 18 (The Springer International Series in Engineering and Computer Science, 18)
Springer
The Verilog Hardware Description Language
Springer