Verification of the UltraSPARC microprocessorS. Mehta, T. Yu, S. Al-Ashari et al.|Unknown|2002Cited by 16