£113.93

Springer - Equivalence Checking of Digital Circuits Book

Price data checked 2 days ago

View at Amazon

Price History & Forecast

Last 89 days • 89 data points

Historical
Generating forecast...
£113.93 £105.24 £107.14 £109.03 £110.93 £112.82 £114.72 27 January 2026 18 February 2026 12 March 2026 03 April 2026 25 April 2026

Price Distribution

Price distribution over 89 days • 5 price levels

Days at Price
Current Price
10 days 13 days 5 days 60 days 1 day · current 0 15 30 45 60 £106 £107 £109 £110 £114 Days at Price

Price Analysis

Most common price: £110 (60 days, 67.4%)

Price range: £106 - £114

Price levels: 5 different prices over 89 days

Description

Hardware verification is a vital process for ensuring that a design meets its specific functionality and timing requirements. As Very Large Scale Integrated (VLSI) circuits and digital systems become more prevalent in daily life, the need for error-free designs grows. This book by Springer addresses the increasing importance of hardware verification in modern design processes. From security-sensitive applications to complex digital systems that control airplanes, banks, and intensive-care units, the demand for reliability is higher than ever. This text explores the fundamentals, principles, and methods of equivalence checking to help meet these rigorous standards. By understanding these core concepts, designers can address both the technical necessity for accuracy and the economic demands of the modern semiconductor industry. This resource is essential for those working with complex digital systems where error-free performance is a requirement.

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

Format
paperback
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
95% match

Writing Testbenches using SystemVerilog

Springer

£155.97 20 Jan 2026
Computation Engineering: Applied Automata Theory and Logic
93% match

Computation Engineering: Applied Automata Theory and Logic

Springer

£28.99 25 Feb 2026
Springer Sequential Logic Testing and Verification - Book 163
93% match

Springer Sequential Logic Testing and Verification - Book 163

Springer

£129.56 25 Apr 2026
Formal Equivalence Checking and Design Debugging: 12 (Frontiers in Electronic Testing, 12)
93% match

Formal Equivalence Checking and Design Debugging: 12 (Frontiers in Electronic Testing, 12)

Springer

£139.52 23 Apr 2026
Springer Formal Equivalence Checking and Design Debugging
93% match

Springer Formal Equivalence Checking and Design Debugging

Springer

£129.86 03 Mar 2026
Introduction to Logic Circuits & Logic Design with Verilog
93% match

Introduction to Logic Circuits & Logic Design with Verilog

Springer

£89.37 25 Apr 2026
Springer Digital Timing Macromodeling for VLSI Design Verification
93% match

Springer Digital Timing Macromodeling for VLSI Design Verification

Springer

£107.98 24 Apr 2026
Scalable Hardware Verification with Symbolic Simulation
93% match

Scalable Hardware Verification with Symbolic Simulation

Springer

£57.40 23 Feb 2026
Introduction to Logic Circuits & Logic Design with Verilog
93% match

Introduction to Logic Circuits & Logic Design with Verilog

£57.01 13 Jan 2026
Formal Verification: An Essential Toolkit for Modern VLSI Design
93% match

Formal Verification: An Essential Toolkit for Modern VLSI Design

Morgan Kaufmann

£68.64 25 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
Design Systems for VLSI Circuits: Logic Synthesis and Silicon Compilation: 136 (NATO Science Series E:, 136)
93% match

Design Systems for VLSI Circuits: Logic Synthesis and Silicon Compilation: 136 (NATO Science Series E:, 136)

Springer

£160.63 10 Mar 2026
Introduction to Analog VLSI Design Automation: 95 (The Springer International Series in Engineering and Computer Science)
93% match

Introduction to Analog VLSI Design Automation: 95 (The Springer International Series in Engineering and Computer Science)

Springer

£85.55 23 Apr 2026
Advanced Digital System Design: A Practical Guide to Verilog Based FPGA and ASIC Implementation
93% 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
93% match

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

£58.00 13 Jan 2026
Digital VLSI Design and Simulation with Verilog
93% match

Digital VLSI Design and Simulation with Verilog

Wiley

£88.19 09 Mar 2026
Digital VLSI Systems Design: A Design Manual for Implementation of Projects on FPGAs and ASICs Using Verilog
93% match

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

Springer

£163.34 13 Jan 2026
Springer - Design of Systems on a Chip: Design and Test Book
93% match

Springer - Design of Systems on a Chip: Design and Test Book

Springer

£113.63 23 Apr 2026
Functional Design Errors in Digital Circuits: Diagnosis Correction and Repair: 32 (Lecture Notes in Electrical Engineering, 32)
93% match

Functional Design Errors in Digital Circuits: Diagnosis Correction and Repair: 32 (Lecture Notes in Electrical Engineering, 32)

Springer

£105.43 09 Mar 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

£118.03 11 Jan 2026
Principles of Verilog Digital Design
92% match

Principles of Verilog Digital Design

£54.37 09 Jan 2026
Quality by Design for Electronics
92% match

Quality by Design for Electronics

Springer

£130.34 22 Jan 2026
ASIC/SoC Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies
92% 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
92% match

ASIC/SoC Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies

Springer

£115.91 25 Jan 2026