May 11 2006High-Level Spectral ATPGHigh-Level Test Generationfor Gate-level Fault CoverageNitin Yogi and Vishwani D. AgrawalAuburn UniversityDepartment of ECEAuburn AL 36849May 11 20061High-Level Sp