High-Level Test Generation SAT-Based Diagnosis Test Generation by Enhancing Validation Test Sets* * L. Lingappan, et al., VLSI Design, 2007 (Paper available on the class…