£69.40

Springer Test Pattern Generation using Boolean Proof Engines

biography

Price data last checked 70 day(s) ago - refreshing...

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

It has never been this cheap. We have no record of a lower price.

£69 today · cheaper than every other day in the last 3 months

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

↓ Price chart
when this has been cheap or pricey
↓ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
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 21 days • 21 data points (No recent data available)

Historical
Generating forecast...
£72.84 £69.06 £69.88 £70.71 £71.53 £72.36 £73.18 11 March 2026 16 March 2026 21 March 2026 26 March 2026 31 March 2026

Price Distribution

Price distribution over 21 days • 2 price levels

Days at Price
Current Price
1 day · current 20 days 0 5 10 15 20 £69 £73 Days at Price

Price Analysis

Most common price: £73 (20 days, 95.2%)

Price range: £69 - £73

Price levels: 2 different prices over 21 days

Description

In Test Pattern Generation using Boolean Proof Engines, we give an introduction to ATPG. The basic concept and classical ATPG algorithms are reviewed. Then, the formulation as a SAT problem is considered. As the underlying engine, modern SAT solvers and their use on circuit related problems are comprehensively discussed. Advanced techniques for SAT-based ATPG are introduced and evaluated in the context of an industrial environment. The chapters of the book cover efficient instance generation, encoding of multiple-valued logic, usage of various fault models, and detailed experiments on multi-million gate designs. The book describes the state of the art in the field, highlights research aspects, and shows directions for future work. From the Back Cover After producing a chip, the functional correctness of the integrated circuit has to be checked. Otherwise products with malfunctions would be delivered to customers, which is not acceptable for any company. Many algorithms for "Automatic Test Pattern Generation" (ATPG) have been proposed in the last 30 years. But due to the ever increasing design complexity, new techniques have to be developed that can cope with today’s circuits. While classical approaches are based on backtracking on the circuit structure, several approaches based on "Boolean Satisfiability" (SAT) have been proposed since the early 80s. In Test Pattern Generation using Boolean Proof Engines, we give an introduction to ATPG. The basic concept and classical ATPG algorithms are reviewed. Then, the formulation as a SAT problem is considered. As the underlying engine, modern SAT solvers and their use on circuit related problems are comprehensively discussed. Advanced techniques for SAT-based ATPG are introduced and evaluated in the context of an industrial environment. The chapters of the book cover efficient instance generation, encoding of multiple-valued logic, usage of various fault models, and detailed experiments on multi-million gate designs. The book describes the state of the art in the field, highlights research aspects, and shows directions for future work.

Product Specifications

Barcode

No barcode data available

Similar Products You Might Like

Boolean Circuit Rewiring: Bridging Logical and Physical Designs
97% match

Boolean Circuit Rewiring: Bridging Logical and Physical Designs

Wiley

£75.06 05 Mar 2026
Computation Engineering: Applied Automata Theory and Logic
96% match

Computation Engineering: Applied Automata Theory and Logic

Springer

£28.99 25 Feb 2026
Scalable Hardware Verification with Symbolic Simulation
95% match

Scalable Hardware Verification with Symbolic Simulation

Springer

£57.40 23 Feb 2026
Theory and Applications of Satisfiability Testing – SAT 2021: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings: 12831 (Lecture Notes in Computer Science, 12831)
95% match

Theory and Applications of Satisfiability Testing – SAT 2021: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings: 12831 (Lecture Notes in Computer Science, 12831)

Springer

£85.03 15 Feb 2026
Logic Synthesis and Verification Algorithms
95% match

Logic Synthesis and Verification Algorithms

Springer

£62.45 10 Feb 2026
Technology Mapping for LUT-Based FPGA: 713 (Lecture Notes in Electrical Engineering, 713)
95% match

Technology Mapping for LUT-Based FPGA: 713 (Lecture Notes in Electrical Engineering, 713)

Springer

£76.14 08 Apr 2026
Digital Logic Techniques: Principles and practice Third edition (Tutorial Guides in Electronic Engineering)
95% match

Digital Logic Techniques: Principles and practice Third edition (Tutorial Guides in Electronic Engineering)

CRC Press

£65.88 11 Jan 2026
Digital Logic Techniques: Principles and practice Third edition (Tutorial Guides in Electronic Engineering)
95% match

Digital Logic Techniques: Principles and practice Third edition (Tutorial Guides in Electronic Engineering)

CRC Press

£174.29 12 Feb 2026
Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)
95% match

Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)

Springer

£103.00 07 Mar 2026
SAT 2005: Satisfiability Research in the Year 2005
95% match

SAT 2005: Satisfiability Research in the Year 2005

Springer

£83.87 02 Mar 2026
From Boolean Logic to Switching Circuits and Automata: Towards Modern Information Technology: 335 (Studies in Computational Intelligence, 335)
95% match

From Boolean Logic to Switching Circuits and Automata: Towards Modern Information Technology: 335 (Studies in Computational Intelligence, 335)

Springer

£128.30 13 Apr 2026
Springer SAT 2005: Satisfiability Research in the Year 2005
95% match

Springer SAT 2005: Satisfiability Research in the Year 2005

Springer

£110.57 20 Feb 2026
Assertion-Based Design
95% match

Assertion-Based Design

Springer

£78.46 03 Mar 2026
Handbook of Satisfiability: Second Edition (Frontiers in Artificial Intelligence and Applications (IOS Press))
95% match

Handbook of Satisfiability: Second Edition (Frontiers in Artificial Intelligence and Applications (IOS Press))

Sage Publications

£146.98 27 Jan 2026
Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis: 270 (The Springer International Series in Engineering and Computer Science, 270)
95% match

Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis: 270 (The Springer International Series in Engineering and Computer Science, 270)

Springer

£83.05 08 Mar 2026
Lectures on Digital Design Principles (River Publishers Series in Electronic Materials, Circuits and Devices)
95% match

Lectures on Digital Design Principles (River Publishers Series in Electronic Materials, Circuits and Devices)

£87.44 08 Jan 2026
Springer - Formal Methods and Models for System Design Book
95% match

Springer - Formal Methods and Models for System Design Book

Springer

£104.85 18 Apr 2026
Synthesis of Finite State Machines: Logic Optimization
95% match

Synthesis of Finite State Machines: Logic Optimization

Springer

£83.54 08 Mar 2026
Switching Theory for Logic Synthesis
95% match

Switching Theory for Logic Synthesis

Springer

£89.48 09 Feb 2026
Robustness and Usability in Modern Design Flows
95% match

Robustness and Usability in Modern Design Flows

Springer

£74.61 08 Mar 2026
Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016 (Logic in Asia: Studia Logica Library)
95% match

Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016 (Logic in Asia: Studia Logica Library)

Springer

£107.43 10 Mar 2026
Digital Integrated Circuits: Design-for-Test Using Simulink and Stateflow
95% match

Digital Integrated Circuits: Design-for-Test Using Simulink and Stateflow

CRC Press

£20.27 07 Jan 2026
On the Learnability of Physically Unclonable Functions (T-Labs Series in Telecommunication Services)
95% match

On the Learnability of Physically Unclonable Functions (T-Labs Series in Telecommunication Services)

Springer

£74.81 28 Feb 2026
Digital VLSI Design and Simulation with Verilog
95% match

Digital VLSI Design and Simulation with Verilog

Wiley

£88.19 09 Mar 2026