Bob Bentley. High level validation of next-generation microprocessors. In Seventh IEEE International High-Level Design Validation and Test Workshop 2002, Cannes, France, October 27-29, 2002. pages 31-35, IEEE Computer Society, 2002. [doi]
Abstract is missing.