Innovative Verification Techniques Used in the Implementation of a Third-Generation 1.1GHz 64b Microprocessor. - Victor Melamed; Harry Stuimer; David Wilkins; Lawrence Chang; Kevin Normoyle; Sutikshan Bhutani (FORTE, 2002)

Implementation of a third-generation 1.1-GHz 64-bit microprocessor. - Georgios K. Konstadinidis; Kevin Normoyle; Samson Wong; Sutikshan Bhutani; Harry Stuimer; Timothy Johnson; Alan P. Smith 002; Daniel Y. Cheung; Fabrizio Romano; Shifeng Yu; Sung-Hun Oh; Victor Melamed; et al. (IEEE J. Solid State Circuits, 2002)