Architectural Validation for Processors (1995)

by R C Ho, C H Yang, M A Horowitz, David L Dill
Venue:In Proceedings of the International Symposium on Computer Architecture