Ji He Kenneth J. Turner Protocol-Inspired Hardware Testing. 131-148 1999 conf/pts/1999 IWTCS db/conf/pts/pts1999.html#HeT99