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

Abhijit Ghosh, Srinivas Devadas, A. Richard Newton (1990)
a service of Schloss Dagstuhl - Leibniz Center for Informatics