Sequential Test Generation at the Register-Transfer and Logic Levels.

Abhijit Ghosh, Srinivas Devadas, A. Richard Newton

Browse the full DAC paper archive.