Efficient spectral techniques for sequential ATPG | IEEE Conference Publication | IEEE Xplore