ICAT: incremental combinational ATPG.

Byung S. So, Charles R. Kime

Browse the full VTS paper archive.