Verification of the UltraSPARC Microprocessor. - S. Mehta; S. Ahmed; S. Al-Ashari; Dennis Chen; Dev Chen; S. Cokmez; R. Eltejaein; P. Fu; Jeffery Gee; T. Granvold; Amaresh Iyer; A. K. Lin; et al. (COMPCON, 1995)