High-coverage ATPG for datapath circuits with unimplemented blocks.

HyungWon KimJohn P. Hayes
Published in: ITC (1998)