Overview
- The first book giving a detailed overview on SAT-based ATPG
- All techniques are validated on industrial designs
- A comprehensive introduction to Boolean Satisfiability
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (11 chapters)
Keywords
About this book
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.
Authors and Affiliations
Bibliographic Information
Book Title: Test Pattern Generation using Boolean Proof Engines
Authors: Rolf Drechsler, Stephan Eggersglüβ, Görschwin Fey, Daniel Tille
DOI: https://doi.org/10.1007/978-90-481-2360-5
Publisher: Springer Dordrecht
eBook Packages: Engineering, Engineering (R0)
Copyright Information: Springer Science+Business Media B.V. 2009
Hardcover ISBN: 978-90-481-2359-9Published: 30 April 2009
Softcover ISBN: 978-90-481-8491-0Published: 19 October 2010
eBook ISBN: 978-90-481-2360-5Published: 22 April 2009
Edition Number: 1
Number of Pages: XII, 192
Topics: Circuits and Systems, Electronics and Microelectronics, Instrumentation
Industry Sectors: Aerospace, Automotive, Electronics, Energy, Utilities & Environment, Engineering, IT & Software, Oil, Gas & Geosciences, Telecommunications