Embedding test vectors in accumulator - based TPG using progressive search | IEEE Conference Publication | IEEE Xplore