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

Open Circuits

The Inner Beauty of Electronic Components

Encyclopedia of Electronic Components

Resistors, Capacitors, Inductors, Semiconductors, Electromagnetism

Circuits and Systems

A Modern Approach

Recent Advances in Compact Antennas

Make: Electronic Music from Scratch

A Beginner's Guide to Homegrown Audio Gizmos

Learning the Art of Electronics

A Hands-On Lab Course

Make: More Electronics

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

Introductory Circuit Analysis, Global Edition

14th Edition

Make: Electronics, 3e

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

Practical Electronics for Inventors

Electronics

Smart Grids

Sustainable Energy Systems

Signal Integrity in Digital Systems

Principles and Practice

Bridge Structural Health Monitoring

The Truss Bridge Management System

Nanowire

Materials, Devices, Circuits, and Applications

Electricity for the Entertainment Electrician and Technician

Electricity, Power Distribution, and Electrical Safety for the Stage and Set

Electricity for the Entertainment Electrician and Technician

Electricity, Power Distribution, and Electrical Safety for the Stage and Set

Tiny Machine Learning Techniques for Constrained Devices

Electronic Design Automation for IC Implementation, Circuit Design, and Process Technology

Volume 2

Electronic Design Automation for Integrated Circuits Handbook

Volume 1

Energy Storage

Systems and Components

IET Wiring Regulations

Electric Wiring for Domestic Installers

Digital Design and Computer Architecture

2nd Edition

Electronic Devices, Global Edition

The Audio Circuits Cookbook

Building Blocks and Tools to Design Professional Audio Devices

This product is categorised by