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

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

Advanced Informatics Engineering

Theories and Applications

Hardcover

RRP $263.00

$262.75

Advanced Chemical and Biological Strategies for Detection and Remediation of Water Contaminants : Smart Technologies for Water Engineering & Sustainability - Sneha Gautam

$20.99

40%
OFF

Make: Electronics, 3e

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

Paperback

RRP $66.75

$34.99

48%
OFF

Blood in the Machine

The Origins of the Rebellion Against Big Tech

Hardcover

RRP $49.99

$38.75

22%
OFF

Power Electronics : Analysis and Design - Rick Jacobs

$60.99

36%
OFF

We Are Not Machines

The Fight for the Future of Work

Hardcover

RRP $49.99

$38.75

22%
OFF

Control Systems Engineering 8th Edition

Australia & New Zealand Edition

Paperback

RRP $164.95

$141.75

14%
OFF

The Secret Life of Circuits

An Illustrated Guide to Electronic Circuit Design

Hardcover

RRP $85.00

$65.99

22%
OFF

Make : Analog Synthesizers

A modern approach to old-school sound synthesis

Paperback

RRP $43.75

$24.75

43%
OFF

Apple

The First 50 Years

Hardcover

RRP $80.00

$58.99

26%
OFF

Managing Innovation 6ed

Integrating Technological, Market and Organizational Change

Paperback

RRP $109.95

$104.99

The Art of Electronics

3rd edition improved

Hardcover

RRP $171.95

$125.75

27%
OFF

The Art of Persuasion

Winning Without Intimidation

Paperback

RRP $26.99

$26.75

Encyclopedia of Electronic Components V1

Resistors, Capacitors, Inductors, Semiconductors, Electromagnetism

Paperback

RRP $47.75

$26.75

44%
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

Advanced Informatics Engineering

Theories and Applications

Advanced Chemical and Biological Strategies for Detection and Remediation of Water Contaminants

Smart Technologies for Water Engineering & Sustainability

Theory and Technique for Low Earth Orbit Satellite Internet of Things

Construction and Mechanics of Soft Machines

Frontiers in Soft Robotics

Screen Wise

Take back control of screen time for toddlers to teens

Make: Electronics, 3e

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

Blood in the Machine

The Origins of the Rebellion Against Big Tech

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

Open Circuits

The Inner Beauty of Electronic Components

We Are Not Machines

The Fight for the Future of Work

Control Systems Engineering 8th Edition

Australia & New Zealand Edition

The Secret Life of Circuits

An Illustrated Guide to Electronic Circuit Design

Make : Analog Synthesizers

A modern approach to old-school sound synthesis

Apple

The First 50 Years

Managing Innovation 6ed

Integrating Technological, Market and Organizational Change

The Art of Electronics

3rd edition improved

The Art of Persuasion

Winning Without Intimidation

Encyclopedia of Electronic Components V1

Resistors, Capacitors, Inductors, Semiconductors, Electromagnetism

This product is categorised by