Test Pattern Generation Using Boolean Proof Engines

By: Rolf Drechsler, Stephan EggersglÃ¼Ã?, GÃ¶rschwin Fey

Write A Review

Hardcover | 30 April 2009

At a Glance

Hardcover
208 Pages

Dimensions(cm)
23.5 x 15.88 x 1.91

Hardcover

$169.00

or 4 interest-free payments of $42.25 with

or

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $49.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

More in Electronics Engineering

Molecular Self-Assemblies

Advanced Materials for Environmental and Sensing Applications

Hardcover

RRP $263.00

$228.75

13%
OFF

5G Mobile Terminal Multi-Antenna Technology

Hardcover

$306.99

Cost and Project Management of Modern Methods of Construction

Hardcover

RRP $194.00

$171.75

11%
OFF

Cost and Project Management of Modern Methods of Construction

Paperback

RRP $94.99

$85.75

10%
OFF

Control, Robotics and Sensors : Design, Control and Applications - Shaoping Bai

$23.75

Photonic Integrated Circuits for Sensing Applications : Application-Specific Design and Manufacturing - Anu Agarwal

$52.75

27%
OFF

Open Circuits

The Inner Beauty of Electronic Components

Hardcover

RRP $95.00

$60.75

36%
OFF

Stats

5th Edition - Data and Models, Global Edition

Paperback

RRP $157.45

$123.99

21%
OFF

Screen Wise

Take back control of screen time for toddlers to teens

Paperback

RRP $34.99

$28.75

18%
OFF

INCOSE Systems Engineering Handbook

5th Edition - A Guide for System Life Cycle Processes and Activities

Paperback

RRP $153.95

$94.75

38%
OFF

The Lego Technic Idea Book

Simple Machines

Paperback

RRP $55.00

$38.75

30%
OFF

Fundamentals of Applied Electromagnetics

8th Edition

Paperback

RRP $145.90

$117.75

19%
OFF

Make: Electronics, 3e

Learning by Discovery: A hands-on primer for the new electronics enthusiast

Paperback

RRP $66.75

$53.40

20%
OFF

Preface	p. v
Acknowledgments	p. vii
Introduction	p. 1
Preliminaries	p. 9
Circuits	p. 9
Fault Models	p. 10
Stuck-at Faults	p. 10
Delay Faults	p. 13
Simple ATPG Framework	p. 16
Classical ATPG Algorithms	p. 20
Stuck-at Faults	p. 20
Delay Faults	p. 23
Benchmarking	p. 26
Boolean Satisfiability	p. 29
SAT Solver	p. 29
Advances in SAT	p. 30
Boolean Constraint Propagation	p. 31
Conflict Analysis	p. 32
Variable Selection Strategies	p. 35
Correctness and Unsatisfiable Cores	p. 35
Optimization Techniques	p. 36
Circuit-to-CNF Conversion	p. 38
Circuit-Oriented SAT	p. 41
SAT-Based ATPG	p. 43
Basic Problem Transformation	p. 44
Structural Information	p. 46
Experimental Results	p. 49
Summary	p. 51
Learning Techniques	p. 53
Introductory Example	p. 54
Concepts for Reusing Learned Information	p. 55
Basic Idea	p. 55
Tracking Conflict Clauses	p. 57
Heuristics for ATPG	p. 59
Notation	p. 59
Incremental SAT-Based ATPG	p. 60
Enhanced Circuit-Based Learning	p. 63
Experimental Results	p. 66
Summary	p. 69
Multiple-Valued Logic	p. 71
Four-Valued Logic	p. 71
Industrial Circuits	p. 72
Boolean Encoding	p. 73
Encoding Efficiency	p. 75
Concrete Encoding	p. 77
Multi-input Gates	p. 79
Modeling of Multi-input Gates	p. 79
Bounded Multi-input Gates	p. 82
Clause Generation	p. 83
Experimental Results	p. 84
Four-Valued Logic	p. 84
Multi-input Gates	p. 85
Summary	p. 86
Improved Circuit-to-CNF Conversion	p. 89
Hybrid Logic	p. 90
Incremental Instance Generation	p. 94
Run Time Analysis	p. 94
Incremental Approach	p. 99
Experimental Results	p. 104
Hybrid Logic	p. 105
Incremental Instance Generation	p. 107
Summary	p. 110
Branching Strategies	p. 113
Standard Heuristics of SAT Solvers	p. 113
Decision Strategies	p. 114
Experimental Results	p. 115
Summary	p. 117
Integration into Industrial Flow	p. 119
Industrial Environment	p. 120
Integration of SAT-Based ATPG	p. 123
Test Pattern Compactness	p. 125
Observability at Outputs	p. 125
Applying Local Don't Cares	p. 127
Experimental Results	p. 129
Integration	p. 129
Test Pattern Compactness	p. 132
Summary	p. 135
Delay Faults	p. 137
Transition Delay	p. 138
Path Delay	p. 141
Non-robust Tests	p. 141
Robust Test Generation	p. 143
Industrial Application	p. 145
Structural Classification	p. 149
Encoding Efficiency for Path Delay Faults	p. 151
Compactness of Boolean Representation	p. 153
Efficiency of Compact Encodings	p. 155
Encoding Selection	p. 157
Incremental Approach	p. 158
Experimental Results	p. 161
Transition Delay Faults	p. 161
Encoding Efficiency for Path Delay Faults	p. 163
Robust and Non-robust Tests	p. 166
Incremental Approach	p. 168
Summary	p. 170
Summary and Outlook	p. 173
Bibliography	p. 177
Index	p. 189
Table of Contents provided by Ingram. All Rights Reserved.

Test Pattern Generation Using Boolean Proof Engines

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Electronics Engineering

Molecular Self-Assemblies

Advanced Materials for Environmental and Sensing Applications

5G Mobile Terminal Multi-Antenna Technology

Cost and Project Management of Modern Methods of Construction

Cost and Project Management of Modern Methods of Construction

Control, Robotics and Sensors

Design, Control and Applications

Trends in Advanced Unmanned Aerial Systems

Selected Contributions of ICAUAS 2025

Advanced Signal Processing Systems

Selected Proceedings of the 2025 7th International Symposium on Signal Processing Systems

Mockingbird

From the author of The Queen's Gambit now a major Netflix drama

Photonic Integrated Circuits for Sensing Applications

Application-Specific Design and Manufacturing

Power Electronics

Analysis and Design

Circuits and Systems

A Modern Approach

Digital Signal Processing

Theory, Practice and Applications

Elements of Power Electronics

Modeling, Planning and Control of Robotics

Fundamentals of Robotics

Construction in the Age of Automation and Robotics

Practical Electronics for Inventors

Electronics

Open Circuits

The Inner Beauty of Electronic Components

Stats

5th Edition - Data and Models, Global Edition

Screen Wise

Take back control of screen time for toddlers to teens

INCOSE Systems Engineering Handbook

5th Edition - A Guide for System Life Cycle Processes and Activities

The Lego Technic Idea Book

Simple Machines

Fundamentals of Applied Electromagnetics

8th Edition

Make: Electronics, 3e

Learning by Discovery: A hands-on primer for the new electronics enthusiast

This product is categorised by