Test Pattern Generation Using Boolean Proof Engines

by Rolf Drechsler, Stephan Eggersglüß, Görschwin Fey, et al.

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

• Format: Hardcover
• Language: English
• ISBN: 9048123593
• ISBN13: 9789048123599
• Release Date: April 2009
• Publisher: Springer
• Length: 192 Pages
• Weight: 1.03 lbs.
• Dimensions: 0.5" x 6.1" x 9.2"