|
|
Test Pattern Generation using Boolean Proof Engines
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-... |
 |
|
|
| Download PDF |
| Test Pattern Generation using Boolean Proof Engines |
|
