|
|
High Quality Test Pattern Generation and Boolean Satisfiability
From the contents:
Part I: Preliminaries and Previous Work.- Circuits and Testing.- Boolean Satisfiability.- ATPG Based on Boolean Satisfiability.- Part II: New SAT Techniques and their Application in... |
 |
|
|
| Download PDF |
| High Quality Test Pattern Generation and Boolean Satisfiability |
|
