OpenSPARCTM T1 Processor Design and Verification User’s Guide