Verification of the UltraSPARC Microprocessor.
S. MehtaS. AhmedS. Al-AshariDennis ChenDev ChenS. CokmezR. EltejaeinP. FuJeffery GeeT. GranvoldAmaresh IyerA. K. LinGuillermo MaturanaD. McConnH. MohammedJamshid MostoufiA. MoudgalSrinivas NoriGary PetersonM. SplainT. YuPublished in: COMPCON (1995)