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

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 $0.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.

You Can Find This Book In

Non-Fiction Mathematics Algebra Mathematical Foundation Number Systems Engineering & Technology Electronics & Communications Engineering Electronics Engineering Circuits & Components

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 Circuits & Components

Circuits and Systems

A Modern Approach

Recent Advances in Compact Antennas

Open Circuits

The Inner Beauty of Electronic Components

Applied Embedded Electronics

Design Essentials for Robust Systems

Encyclopedia of Electronic Components

Resistors, Capacitors, Inductors, Semiconductors, Electromagnetism

Make: More Electronics

Journey Deep into the World of Logic Chips, Amplifiers, Sensors, and Randomicity

Encyclopedia of Electronic Components V3

Sensors for Location, Presence, Proximity, Orientation, Oscillation, Force, Load, Human Input, Liquid and Gas Properties, Light, Heat, Sound, and Electricity

Introductory Circuit Analysis, Global Edition

14th Edition

Bird's Electrical Circuit Theory and Technology

Computer-Aided Analysis and Design of Analog Electronic Circuits

Practical Electronics for Inventors

Electronics

Getting Started with Soldering

A Hands-On Guide to Making Electrical and Mechanical Connections

Make: Electronic Music from Scratch

A Beginner's Guide to Homegrown Audio Gizmos

Learn Electronics with Arduino

An Illustrated Beginner's Guide to Physical Computing

Easy Electronics

Make: Handbook

Advanced Pathways in Electrical, Communication, and Automation

Reconfigurable Systems, Smart Energy, and AI for Industry 5.0

Intelligent and Sustainable Systems

AI, Green IoT, and Adaptive Automation in Electrical and Communication Technologies

Transformative applied research

Breakthrough research in a changing world

Introduction to Semiconductor Devices for Engineering Students

Introduction to Semiconductor Devices for Engineering Students

Quantum Mechanics

An Introduction for Devices Physicists and Electrical Engineers

Further Electrical and Electronic Principles

Further Electrical and Electronic Principles

Integrated Technologies in Electrical, Electronics and Biotechnology Engineering Volume 1

This product is categorised by