Abstract: In automatic test pattern generation (ATPG), SAT-based methods are typically used to complement structural approaches, especially for addressing hard-to-detect faults. However, as the size ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback