Techniques to Improve the Efficiency of SAT Based Path Delay Test Generation.

Kun Bian, D. M. H. Walker, Sunil P. Khatri

Browse the full VLSID paper archive.