Program Slicing for ATPG-Based Property Checking.

Vivekananda M. Vedula, Whitney J. Townsend, Jacob A. Abraham

Browse the full VLSID paper archive.