Verification of the UltraSPARCTM MicroprocessorS. Mehta, T. Yu, S. Al-Ashari et al.|Unknown|1995Cited by 1