A design validation methodology for high performance microprocessors | AMiner