Anneliese von Mayrhauser, Tom Chen, Jan Kok, Chuck Anderson, Anita Read, Amjad Hajjar. On choosing test criteria for behavioral level hardware design verification. In Proceedings of the IEEE International High-Level Design Validation and Test Workshop 2000, Berkeley, California, USA, November 8-10, 2000. pages 124-130, IEEE Computer Society, 2000. [doi]
Abstract is missing.