HLDVT

P. Mishra, N. Dutt, and A. Nicolau, “Automatic Validation of Pipeline Specifications,” 6th IEEE International Workshop on High Level Design Validation and Test (HLDVT), pp 9-13, Monterey, CA, November 2001