Improving coverage analysis and test generation for large designs (1999)

by J Bergmann, M Horowitz
Venue:In Proceedings of the International Conference on Computer Design