On choosing test criteria for behavioral level hardware design verification. - Anneliese von Mayrhauser; Tom Chen 001; Jan Kok; Chuck Anderson 001; Anita Read; Amjad Hajjar (HLDVT, 2000)