Generation of search state equivalence for automatic test pattern generation.

Xinghao Chen, Michael L. Bushnell

Browse the full VLSID paper archive.