The Pitfalls of Necessary Assignments
Wu-Tung Cheng, Thompson, Rob, Aiman H. El‐Maleh, Don E. Ross, Janusz Rajski · Research Publication Repository of King Fahd University of Petroleum and Minerals (King Fahd University of Petroleum and Minerals) · 1997
It has been shown that, finding necessary assignments during a search process, such as Automatic Test Pattern Generation (ATPG) process, can significantly improve its search performance. The techniques to find necessary assignments include static learning, dynamic learning, and recursive learning. All these techniques did improve ATPG performance. However, in our experience with real circuits, we found that necessary assignments can create unnecessary requirements in an ATPG process. Sometimes, these unnecessary requirements are not justifiable such that a testable fault may be mistaken as untestable.