 |
"Learning" Techniques to Speed Up Search |
Automatic Test Pattern Generation (ATPG) may fail to find a solution in a bounded amount of time
Use information on internal nodes which correspond to each other
|
Hardware Verification
- Application of formal techniques to chip designs
|
Slide 18 of
30 |