Test Pattern Generation using Boolean Proof Engines

by RolfDrechsler (Author), StephanEggersglüß (Author), Görschwin Fey (Author), Daniel Tille (Author)

New
Hardcover
2009
$175.67

Providing an introduction to ATPG, this book reviews the basic concept and classical ATPG algorithms. It is the first book to give a detailed overview on SAT-based ATPG. It describes the state-of-the-art in the field and shows directions for future work.

Synopsis

Providing an introduction to ATPG, this book reviews the basic concept and classical ATPG algorithms. It is the first book to give a detailed overview on SAT-based ATPG. It describes the state-of-the-art in the field and shows directions for future work.

$175.67

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 192
Publisher: Springer
Published: 30 Apr 2009
ISBN 10: 9048123593
ISBN 13: 9789048123599

Test Pattern Generation using Boolean Proof Engines

New

$175.67

Synopsis

$175.67

More Information