On choosing test criteria for behavioral level harware design verification (2000)

by A von Mayrhauser, T Chen, J Kok, C Anderson, A Read, A Hajjar
Venue:in High Level Design Validation and Test Workshop