Verifying Properties Using Sequential ATPG.

Jacob A. Abraham, Vivekananda M. Vedula, Daniel G. Saab

Browse the full ITC paper archive.