Michael Kantrowitz, Lisa M. Noack. I'm Done Simulating: Now What? Verification Coverage Analysis and Correctness Checking of the DECchip 21164 Alpha Microprocessor. In Thomas Pennino, Ellen J. Yoffa, editors, Proceedings of the 33st Conference on Design Automation, Las Vegas, Nevada, USA, Las Vegas Convention Center, June 3-7, 1996. pages 325-330, ACM Press, 1996. [doi]
Abstract is missing.